Class: TSJSON::SchemaBuilder

Inherits:
Object
  • Object
show all
Defined in:
lib/schema/schema_builder.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize ⇒ SchemaBuilder

Returns a new instance of SchemaBuilder.



7
8
9
10
 
# File 'lib/schema/schema_builder.rb', line 7

def initialize
  @schema = Schema.new
  @generics = {}
end

Instance Attribute Details

#schema ⇒ Object (readonly)

Returns the value of attribute schema.



5
6
7
 
# File 'lib/schema/schema_builder.rb', line 5

def schema
  @schema
end

Instance Method Details

#add_generic(name, parameters_ast, type_ast) ⇒ Object 



12
13
14
15
16
17
18
 
# File 'lib/schema/schema_builder.rb', line 12

def add_generic(name, parameters_ast, type_ast)
  check_duplicate_type(name)

  parameters = parameters_ast.map { |p| { name: p[:name][:value] } }

  @generics[name] = { parameters: parameters, type_ast: type_ast }
end

#add_type(name, type_ast) ⇒ Object 



20
21
22
23
24
 
# File 'lib/schema/schema_builder.rb', line 20

def add_type(name, type_ast)
  check_duplicate_type(name)

  @schema.add_type(name, type_definition(type_ast))
end

#check_duplicate_type(name) ⇒ Object 



26
27
28
29
30
 
# File 'lib/schema/schema_builder.rb', line 26

def check_duplicate_type(name)
  if @schema.type(name) || @generics.key?(name)
    raise "duplicate type #{name}"
  end
end

#definition(node) ⇒ Object 



39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
 
# File 'lib/schema/schema_builder.rb', line 39

def definition(node)
  case node[:kind]
  when AST::Kind::TypeAlias
    name = node[:name][:value]
    parameters = node[:parameters]
    type_node = node[:definition]

    if parameters.length > 0
      add_generic(name, parameters, type_node)
    else
      add_type(name, type_node)
    end
    return
  when AST::Kind::Enum
    name = node[:name][:value]
    members =
      node[:members].reduce({}) do |acc, m|
        acc.merge(
          {
            m[:name][:value] =>
              Literal.new(m.dig(:value, :value) || m.dig(:name, :value)) # use name as value if value is not defined
          }
        )
      end
    type = Enum.new(members)
    @schema.add_type(name, type)
    return
  end

  raise "Can't build definition. Kind: #{node[:kind]}"
end

#parse_source(source) ⇒ Object 



32
33
34
35
36
37
 
# File 'lib/schema/schema_builder.rb', line 32

def parse_source(source)
  parser = Parser.new(source)
  ast = parser.parse_document

  ast[:definitions].each { |node| definition(node) }
end

#reference(node, scope) ⇒ Object 



124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
 
# File 'lib/schema/schema_builder.rb', line 124

def reference(node, scope)
  name = node[:name][:value]

  if type = scope[name] || @schema.type(name)
    return type
  elsif generic = @generics[name]
    parameters = generic[:parameters]
    args = node[:args]

    new_scope =
      generic[:parameters]
        .each_with_index
        .reduce(scope) do |memo, (param, idx)|
          name = param[:name]
          type_ast = args[idx]
          raise "argument #{name} was not provided" if (!type_ast)

          memo.merge({ name => type_definition(type_ast, scope) })
        end
    return type_definition(generic[:type_ast], new_scope)
  end
  raise "Type doesn't exist: #{name}" unless type
end

#type_definition(node, scope = {}) ⇒ Object 



71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
 
# File 'lib/schema/schema_builder.rb', line 71

def type_definition(node, scope = {})
  case node[:kind]
  when AST::Kind::TypeReference
    return reference(node, scope)
  when AST::Kind::ArrayType
    return List.new(type_definition(node[:type], scope))
  when AST::Kind::StringLiteral
    return Literal.new(node[:value])
  when AST::Kind::Int
    return Literal.new(node[:value])
  when AST::Kind::Float
    return Literal.new(node[:value])
  when AST::Kind::TypeLiteral
    return(
      ObjectType.new do
        node[:properties].reduce({}) do |map, f|
          map[f[:name][:value]] = {
            type: type_definition(f[:type], scope),
            optional: f[:optional]
          }
          map
        end
      end
    )
  when AST::Kind::IntersectionType
    return(
      Intersection.new(node[:types].map { |t| type_definition(t, scope) })
    )
  when AST::Kind::UnionType
    types = node[:types].map { |t| type_definition(t, scope) }
    t = types.first

    if t.is_a?(ObjectType) || t.is_a?(Union) || t.is_a?(Intersection)
      return Union.new(types)
    elsif t.is_a?(ScalarType)
      return ScalarUnion.new(types)
    elsif t.is_a?(Literal)
      return LiteralUnion.new(types)
    end
    raise "can't create union with type #{t.class.name}"
  when AST::Kind::ParenthesizedType
    return type_definition(node[:type], scope)
  when AST::Kind::PropertyAccess
    target = type_definition(node[:target], scope)
    return target.property(node[:property][:value])
  when AST::Kind::IndexAccess
    target = type_definition(node[:target], scope)
    return target.index(node[:index][:value])
  end

  raise "Can't build type definition. Kind: #{node[:kind]}"
end