private fun accept_rapid_type_visitor(v: RapidTypeVisitor)
do
end
src/rapid_type_analysis.nit:539,2--541,4
redef fun accept_rapid_type_visitor(v)
do
v.add_callsite(self.method_iterator)
v.add_callsite(self.method_is_ok)
if self.variables.length == 1 then
v.add_callsite(self.method_item)
else if self.variables.length == 2 then
v.add_callsite(self.method_key)
v.add_callsite(self.method_item)
else
abort
end
v.add_callsite(self.method_next)
var mf = self.method_finish
if mf != null then v.add_callsite(mf)
end
src/rapid_type_analysis.nit:752,2--767,4
redef fun accept_rapid_type_visitor(v)
do
if can_explain_assert(v.analysis.modelbuilder) then
var str = explain_assert_str
if str != null then str.accept_rapid_type_visitor(v)
end
end
src/rapid_type_analysis.nit:676,2--682,4
redef fun accept_rapid_type_visitor(v)
do
allocate_mtype(v)
end
src/rapid_type_analysis.nit:556,2--559,4
redef fun accept_rapid_type_visitor(v)
do
allocate_mtype(v)
end
src/rapid_type_analysis.nit:563,2--566,4
redef fun accept_rapid_type_visitor(v)
do
var mtype = self.mtype.as(MClassType)
v.add_type(mtype)
var native = v.analysis.mainmodule.native_array_type(mtype.arguments.first)
v.add_type(native)
mtype = v.cleanup_type(mtype).as(not null)
var prop = v.get_method(mtype, "with_native")
v.add_monomorphic_send(mtype, prop)
v.add_callsite(with_capacity_callsite)
v.add_callsite(push_callsite)
end
src/rapid_type_analysis.nit:577,2--588,4
redef fun accept_rapid_type_visitor(v)
do
v.add_callsite(callsite)
end
src/rapid_type_analysis.nit:701,2--704,4
redef fun accept_rapid_type_visitor(v)
do
allocate_mtype(v)
end
src/rapid_type_analysis.nit:570,2--573,4
redef fun accept_rapid_type_visitor(v)
do
var mtype = self.mtype
if not mtype isa MClassType then return
v.add_type(mtype)
v.add_callsite(init_callsite)
end
src/rapid_type_analysis.nit:624,2--630,4
redef fun accept_rapid_type_visitor(v)
do
var mtype = self.mtype
if not mtype isa MClassType then return
v.add_type(mtype)
v.add_callsite(init_callsite)
end
src/rapid_type_analysis.nit:634,2--640,4
redef fun accept_rapid_type_visitor(v)
do
allocate_mtype(v)
end
src/rapid_type_analysis.nit:644,2--647,4
redef fun accept_rapid_type_visitor(v)
do
allocate_mtype(v)
end
src/rapid_type_analysis.nit:651,2--654,4
redef fun accept_rapid_type_visitor(v)
do
var cast_type = self.cast_type
if cast_type == null then return
v.add_cast_type(cast_type)
end
src/rapid_type_analysis.nit:658,2--663,4
redef fun accept_rapid_type_visitor(v)
do
var mtype = self.mtype
if mtype == null then return
v.add_cast_type(mtype)
end
src/rapid_type_analysis.nit:667,2--672,4
redef fun accept_rapid_type_visitor(v)
do
if foreign_callbacks_cache == null then return
for cb in foreign_callbacks.callbacks do v.add_send(cb.recv_mtype, cb.mproperty.as(MMethod))
for cast in foreign_callbacks.casts do v.add_cast_type(cast.to)
for sup in foreign_callbacks.supers do
v.analysis.add_super_send(sup.from.mclassdef.mclass.mclass_type, sup.from.as(MMethodDef))
end
for t in foreign_callbacks.types do if t isa MClassType then v.add_type t
end
src/nitni/nitni_callbacks.nit:143,2--153,4
redef fun accept_rapid_type_visitor(v)
do
v.add_callsite(reassign_callsite)
end
src/rapid_type_analysis.nit:725,2--728,4
redef fun accept_rapid_type_visitor(v)
do
var native = v.analysis.mainmodule.c_string_type
v.add_type(native)
var prop = v.get_method(native, "to_s_unsafe")
v.add_monomorphic_send(native, prop)
v.add_callsite(to_re)
v.add_callsite(ignore_case)
v.add_callsite(newline)
v.add_callsite(extended)
v.add_callsite(to_bytes_with_copy)
end
src/rapid_type_analysis.nit:592,2--603,4
redef fun accept_rapid_type_visitor(v)
do
var mmodule = v.analysis.mainmodule
var object_type = mmodule.string_type
var arraytype = mmodule.array_type(object_type)
v.add_type(arraytype)
var nattype = mmodule.native_array_type(object_type)
v.add_type(nattype)
var prop = v.get_method(arraytype, "join")
v.add_monomorphic_send(arraytype, prop)
var prop2 = v.get_method(arraytype, "with_native")
v.add_monomorphic_send(arraytype, prop2)
v.add_monomorphic_send(nattype, v.get_method(nattype, "native_to_s"))
end
src/rapid_type_analysis.nit:607,2--620,4
redef fun accept_rapid_type_visitor(v)
do
super
v.add_type(mtype.as(MClassType))
end
src/rapid_type_analysis.nit:708,9--712,11
redef fun accept_rapid_type_visitor(v)
do
v.add_callsite(callsite)
v.add_callsite(reassign_callsite)
v.add_callsite(write_callsite)
end
src/rapid_type_analysis.nit:716,2--721,4
redef fun accept_rapid_type_visitor(v)
do
v.add_callsite(reassign_callsite)
end
src/rapid_type_analysis.nit:732,2--735,4