conformance_scd.alh 536 B

123456789
  1. Boolean function wrap_conformance(model : Element)
  2. Boolean function is_direct_instance(model: Element, instance: String, type: String)
  3. Boolean function is_nominal_instance(model: Element, instance: String, type: String)
  4. Boolean function is_nominal_subtype(metamodel : Element, subclass : String, superclass : String)
  5. String function conformance_scd(model: Element)
  6. Element function set_model_constraints(model: Element, func: Element)
  7. Element function generate_bottom_type_mapping(model: Element)
  8. Element function set_copy(a : Element)