Method: Ikra::TypeInference::ObjectTracer#trace_all

Defined in:
lib/types/inference/object_tracer.rb

#trace_all ⇒ Object 



26
27
28
29
30
31
32
33
34
35
36
37
38
39
 
# File 'lib/types/inference/object_tracer.rb', line 26

def trace_all
    @worklist = Set.new(@roots)

    while @worklist.size > 0
        current_obj = @worklist.first
        @worklist.delete(current_obj)

        trace_object(current_obj)
    end

    Log.info("Traced #{@num_traced_objects} objects with #{@objects.size} distinct types")

    @objects
end