do
var mmodule = npropdef.mpropdef.mclassdef.mmodule
var mclassdef = npropdef.mpropdef.mclassdef
- var nclassdef = toolcontext.modelbuilder.mclassdef2nclassdef[mclassdef]
var mclass_type = mclassdef.bound_mtype
- var mtype = toolcontext.modelbuilder.resolve_mtype(nclassdef, n_type)
+ var mtype = toolcontext.modelbuilder.resolve_mtype(mmodule, mclassdef, n_type)
if mtype == null then return
do
var mmodule = npropdef.mpropdef.mclassdef.mmodule
var mclassdef = npropdef.mpropdef.mclassdef
- var nclassdef = toolcontext.modelbuilder.mclassdef2nclassdef[mclassdef]
- var mtype = toolcontext.modelbuilder.resolve_mtype(nclassdef, n_type)
+ var mtype = toolcontext.modelbuilder.resolve_mtype(mmodule, mclassdef, n_type)
if mtype == null then return
if not mtype isa MClassType then
redef fun verify_and_collect(npropdef, callback_set, toolcontext)
do
- var parent_aclassdef = npropdef.parent.as(AClassdef)
- toolcontext.modelbuilder.resolve_mtype_unchecked(parent_aclassdef, n_from_type, true)
- toolcontext.modelbuilder.resolve_mtype_unchecked(parent_aclassdef, n_to_type, true)
+ var mclassdef = npropdef.mpropdef.mclassdef
+ var mmodule = mclassdef.mmodule
+ toolcontext.modelbuilder.resolve_mtype_unchecked(mmodule, mclassdef, n_from_type, true)
+ toolcontext.modelbuilder.resolve_mtype_unchecked(mmodule, mclassdef, n_to_type, true)
super
end
end
redef fun verify_and_collect(npropdef, callback_set, toolcontext)
do
- var parent_aclassdef = npropdef.parent.as(AClassdef)
- toolcontext.modelbuilder.resolve_mtype_unchecked(parent_aclassdef, n_type, true)
+ var mclassdef = npropdef.mpropdef.mclassdef
+ var mmodule = mclassdef.mmodule
+ toolcontext.modelbuilder.resolve_mtype_unchecked(mmodule, mclassdef, n_type, true)
super
end
end
redef fun verify_and_collect(npropdef, callback_set, toolcontext)
do
- var parent_aclassdef = npropdef.parent.as(AClassdef)
- toolcontext.modelbuilder.resolve_mtype_unchecked(parent_aclassdef, n_type, true)
+ var mclassdef = npropdef.mpropdef.mclassdef
+ var mmodule = mclassdef.mmodule
+ toolcontext.modelbuilder.resolve_mtype_unchecked(mmodule, mclassdef, n_type, true)
super
end
end