nitc :: ANode :: check_callsite
private fun check_callsite(v: CallSiteVisitor) do end
src/contracts.nit:286,2--54
redef fun check_callsite(v)
do
v.visited_method = self
end
src/contracts.nit:771,2--774,4
redef fun check_callsite(v)
do
var actual_callsite = callsite
if actual_callsite != null then
callsite = v.drive_method_contract(actual_callsite)
end
end
src/contracts.nit:917,2--923,4
redef fun check_callsite(v)
do
var actual_callsite = callsite
if actual_callsite != null then
callsite = v.drive_method_contract(actual_callsite)
end
end
src/contracts.nit:927,2--933,4