# Virtual type properties
class MMTypeProperty
-special MMLocalProperty
+ super MMLocalProperty
# The virtual static type associated
fun stype_for(recv: MMType): nullable MMVirtualType
do
end
class MMVirtualType
-special MMTypeFormal
+ super MMTypeFormal
# The property associed
readable var _property: MMTypeProperty
_recv = recv
end
- redef fun module do return _recv.module
+ redef fun mmmodule do return _recv.mmmodule
redef fun for_module(mod)
do
- if mod == module then return self
+ if mod == mmmodule then return self
return adapt_to(recv.for_module(mod))
end