Class: TypeProf::Core::Builtin

Inherits:
Object
  • Object
show all
Defined in:
lib/typeprof/core/builtin.rb

Instance Method Summary collapse

Constructor Details

#initialize(genv) ⇒ Builtin

Returns a new instance of Builtin.



3
4
5
 
# File 'lib/typeprof/core/builtin.rb', line 3

def initialize(genv)
  @genv = genv
end

Instance Method Details

#array_aref(changes, node, ty, a_args, ret) ⇒ Object 



36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
 
# File 'lib/typeprof/core/builtin.rb', line 36

def array_aref(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 1
    case ty
    when Type::Array
      idx = node.positional_args[0]
      if idx.is_a?(AST::IntegerNode)
        idx = idx.lit
      else
        idx = nil
      end
      vtx = ty.get_elem(@genv, idx)
      changes.add_edge(@genv, vtx, ret)
      true
    else
      false
    end
  else
    false
  end
end

#array_aset(changes, node, ty, a_args, ret) ⇒ Object 



57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
 
# File 'lib/typeprof/core/builtin.rb', line 57

def array_aset(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 2
    case ty
    when Type::Array
      val = a_args.positionals[1]
      idx = node.positional_args[0]
      if idx.is_a?(AST::IntegerNode) && ty.get_elem(@genv, idx.lit)
        changes.add_edge(@genv, val, ty.get_elem(@genv, idx.lit))
      else
        changes.add_edge(@genv, val, ty.get_elem(@genv))
      end
      true
    else
      false
    end
  elsif a_args.positionals.size == 3
    # ary[start, len] = val
    # Use SplatBox to extract element types from the assigned value
    elem_vtx = case ty
    when Type::Array
      ty.get_elem(@genv)
    when Type::Instance
      ty.mod == @genv.mod_ary ? ty.args[0] : nil
    end
    return false unless elem_vtx
    val = a_args.positionals[2]
    splat_ret = changes.add_splat_box(@genv, val).ret
    changes.add_edge(@genv, splat_ret, elem_vtx)
    true
  else
    false
  end
end

#array_push(changes, node, ty, a_args, ret) ⇒ Object 



91
92
93
94
95
96
97
98
99
100
101
102
 
# File 'lib/typeprof/core/builtin.rb', line 91

def array_push(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 1
    if ty.is_a?(Type::Array)
      val = a_args.positionals[0]
      changes.add_edge(@genv, val, ty.get_elem(@genv))
    end
    recv = Source.new(ty)
    changes.add_edge(@genv, recv, ret)
  else
    false
  end
end

#class_new(changes, node, ty, a_args, ret) ⇒ Object 



7
8
9
10
11
12
13
14
 
# File 'lib/typeprof/core/builtin.rb', line 7

def class_new(changes, node, ty, a_args, ret)
  type_param_vtxs = ty.mod.type_params.map { Vertex.new(node) }
  temp_instance_ty = Type::Instance.new(@genv, ty.mod, type_param_vtxs)
  recv = Source.new(temp_instance_ty)
  changes.add_method_call_box(@genv, recv, :initialize, a_args, false)
  changes.add_edge(@genv, recv, ret)
  true
end

#deploy ⇒ Object 



302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
 
# File 'lib/typeprof/core/builtin.rb', line 302

def deploy
  [
    [method(:class_new), [:Class], false, :new],
    [method(:object_class), [:Object], false, :class],
    [method(:proc_call), [:Proc], false, :call],
    [method(:array_aref), [:Array], false, :[]],
    [method(:array_aset), [:Array], false, :[]=],
    [method(:array_push), [:Array], false, :<<],
    [method(:hash_aref), [:Hash], false, :[]],
    [method(:hash_aset), [:Hash], false, :[]=],
    [method(:object_method), [:Kernel], false, :method],
    [method(:method_call), [:Method], false, :call],
    [method(:kernel_send), [:BasicObject], false, :__send__],
    [method(:kernel_send), [:Kernel], false, :public_send],
    [method(:kernel_send), [:Kernel], false, :send],
    [method(:kernel_array), [:Kernel], false, :Array],
  ].each do |builtin, cpath, singleton, mid|
    me = @genv.resolve_method(cpath, singleton, mid)
    me.builtin = builtin
  end
end

#hash_aref(changes, node, ty, a_args, ret) ⇒ Object 



104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
 
# File 'lib/typeprof/core/builtin.rb', line 104

def hash_aref(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 1
    case ty
    when Type::Hash
      idx = node.positional_args[0]
      idx = idx.is_a?(AST::SymbolNode) ? idx.lit : nil
      value = ty.get_value(idx)
      if value
        changes.add_edge(@genv, value, ret)
      else
        # Return untyped for unknown fields
        changes.add_edge(@genv, Source.new(), ret)
      end
      true
    when Type::Record
      idx = node.positional_args[0]
      idx = idx.is_a?(AST::SymbolNode) ? idx.lit : nil
      value = ty.get_value(idx)
      if value
        changes.add_edge(@genv, value, ret)
      else
        changes.add_edge(@genv, Source.new(@genv.nil_type), ret)
      end
      # Symbol variable access - add nil possibility
      if idx.nil?
        changes.add_edge(@genv, Source.new(@genv.nil_type), ret)
      end
      true
    else
      false
    end
  else
    false
  end
end

#hash_aset(changes, node, ty, a_args, ret) ⇒ Object 



140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
 
# File 'lib/typeprof/core/builtin.rb', line 140

def hash_aset(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 2
    case ty
    when Type::Hash
      val = a_args.positionals[1]
      idx = node.positional_args[0]
      if idx.is_a?(AST::SymbolNode) && ty.get_value(idx.lit)
        # TODO: how to handle new key?
        changes.add_edge(@genv, val, ty.get_value(idx.lit))
      else
        # TODO: literal_pairs will not be updated
        changes.add_edge(@genv, a_args.positionals[0], ty.get_key)
        changes.add_edge(@genv, val, ty.get_value)
      end
      changes.add_edge(@genv, val, ret)
      true
    when Type::Record
      val = a_args.positionals[1]
      idx = node.positional_args[0]
      if idx.is_a?(AST::SymbolNode)
        field_vtx = ty.get_value(idx.lit)
        changes.add_edge(@genv, val, field_vtx) if field_vtx
      end
      changes.add_edge(@genv, val, ret)
      true
    else
      false
    end
  else
    false
  end
end

#kernel_array(changes, node, ty, a_args, ret) ⇒ Object 



264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
 
# File 'lib/typeprof/core/builtin.rb', line 264

def kernel_array(changes, node, ty, a_args, ret)
  return false unless a_args.positionals.size == 1

  arg_vtx = a_args.positionals[0]
  elem_vtx = Vertex.new(node)
  handled = false
  needs_elem_wrap = false

  arg_vtx.each_type do |arg_ty|
    handled = true
    case arg_ty
    when Type::Instance
      if arg_ty.mod == @genv.mod_range && arg_ty.args && !arg_ty.args.empty?
        changes.add_edge(@genv, arg_ty.args[0], elem_vtx)
        needs_elem_wrap = true
      elsif arg_ty.mod == @genv.mod_ary
        changes.add_edge(@genv, Source.new(arg_ty), ret)
      else
        changes.add_edge(@genv, Source.new(arg_ty), elem_vtx)
        needs_elem_wrap = true
      end
    when Type::Array
      changes.add_edge(@genv, Source.new(arg_ty), ret)
    else
      changes.add_edge(@genv, Source.new(arg_ty), elem_vtx)
      needs_elem_wrap = true
    end
  end

  return false unless handled

  if needs_elem_wrap
    ary_ty = @genv.gen_ary_type(elem_vtx)
    changes.add_edge(@genv, Source.new(ary_ty), ret)
  end
  true
end

#kernel_send(changes, node, ty, a_args, ret) ⇒ Object 



197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
 
# File 'lib/typeprof/core/builtin.rb', line 197

def kernel_send(changes, node, ty, a_args, ret)
  return false if a_args.positionals.empty?

  if a_args.splat_flags[0]
    # send(*array) case: extract method name and args from array elements
    splat_vtx = a_args.positionals[0]
    changes.add_edge(@genv, splat_vtx, changes.target)

    rest_positionals = a_args.positionals[1..]
    rest_splat_flags = a_args.splat_flags[1..]

    splat_vtx.each_type do |ary_ty|
      next unless ary_ty.is_a?(Type::Array)

      if ary_ty.elems && ary_ty.elems.size >= 1
        # Tuple: use per-element precision
        method_name_vtx = ary_ty.elems[0]
        changes.add_edge(@genv, method_name_vtx, changes.target)

        elem_args = ary_ty.elems[1..] + rest_positionals
        elem_flags = ::Array.new(ary_ty.elems.size - 1, false) + rest_splat_flags
        send_a_args = ActualArguments.new(elem_args, elem_flags, a_args.keywords, a_args.block)

        method_name_vtx.each_type do |sym_ty|
          if sym_ty.is_a?(Type::Symbol)
            recv = Source.new(ty)
            box = changes.add_method_call_box(@genv, recv, sym_ty.sym, send_a_args, false)
            changes.add_edge(@genv, box.ret, ret)
          end
        end
      else
        # Non-tuple array: use unified element type for method name
        elem_vtx = ary_ty.get_elem(@genv)
        next unless elem_vtx
        changes.add_edge(@genv, elem_vtx, changes.target)

        send_a_args = ActualArguments.new(rest_positionals, rest_splat_flags, a_args.keywords, a_args.block)

        elem_vtx.each_type do |sym_ty|
          if sym_ty.is_a?(Type::Symbol)
            recv = Source.new(ty)
            box = changes.add_method_call_box(@genv, recv, sym_ty.sym, send_a_args, false)
            changes.add_edge(@genv, box.ret, ret)
          end
        end
      end
    end
  else
    # send(:sym, ...) case
    changes.add_edge(@genv, a_args.positionals[0], changes.target)
    send_a_args = ActualArguments.new(
      a_args.positionals[1..],
      a_args.splat_flags[1..],
      a_args.keywords,
      a_args.block,
    )
    a_args.positionals[0].each_type do |sym_ty|
      if sym_ty.is_a?(Type::Symbol)
        recv = Source.new(ty)
        box = changes.add_method_call_box(@genv, recv, sym_ty.sym, send_a_args, false)
        changes.add_edge(@genv, box.ret, ret)
      end
    end
  end
  true
end

#method_call(changes, node, ty, a_args, ret) ⇒ Object 



185
186
187
188
189
190
191
192
193
194
195
 
# File 'lib/typeprof/core/builtin.rb', line 185

def method_call(changes, node, ty, a_args, ret)
  case ty
  when Type::Method
    recv = Source.new(ty.recv_ty)
    box = changes.add_method_call_box(@genv, recv, ty.mid, a_args, false)
    changes.add_edge(@genv, box.ret, ret)
    true
  else
    false
  end
end

#object_class(changes, node, ty, a_args, ret) ⇒ Object 



16
17
18
19
20
21
22
23
 
# File 'lib/typeprof/core/builtin.rb', line 16

def object_class(changes, node, ty, a_args, ret)
  ty = ty.base_type(@genv)
  mod = ty.is_a?(Type::Instance) ? ty.mod : @genv.mod_class
  ty = Type::Singleton.new(@genv, mod)
  vtx = Source.new(ty)
  changes.add_edge(@genv, vtx, ret)
  true
end

#object_method(changes, node, ty, a_args, ret) ⇒ Object 



173
174
175
176
177
178
179
180
181
182
183
 
# File 'lib/typeprof/core/builtin.rb', line 173

def object_method(changes, node, ty, a_args, ret)
  if a_args.positionals.size == 1
    sym_node = node.positional_args[0]
    if sym_node.is_a?(AST::SymbolNode)
      method_ty = Type::Method.new(@genv, ty, sym_node.lit)
      changes.add_edge(@genv, Source.new(method_ty), ret)
      return true
    end
  end
  false
end

#proc_call(changes, node, ty, a_args, ret) ⇒ Object 



25
26
27
28
29
30
31
32
33
34
 
# File 'lib/typeprof/core/builtin.rb', line 25

def proc_call(changes, node, ty, a_args, ret)
  case ty
  when Type::Proc
    ty.block.accept_args(@genv, changes, a_args.positionals)
    ty.block.add_ret(@genv, changes, ret)
    true
  else
    false
  end
end