-# Concrete local properties
-class MMConcreteProperty
-special MMLocalProperty
- # Redefinition hierarchy of the concrete property
- readable attr _cprhe: PartialOrderElement[MMConcreteProperty]
-
- # Is the concrete property contain a `super' in the body?
- readable writable attr _need_super: Bool
-
- # Introduce a new global property for this local one
- meth new_global
- do
- assert _global == null
- _global = new MMGlobalProperty(self)
- _local_class.register_global_property(_global)
- end
-end
-