Overview Index

SDAI_DICTIONARY_SCHEMA (jsdai.dictionary)

ENTITY sub_supertype_constraint;
          name : OPTIONAL express_id;
          generic_supertype : entity_or_view_definition;
          total_cover : OPTIONAL SET [0:?] OF entity_definition;
          constraint : OPTIONAL subtype_expression;
          abstract_supertype : BOOLEAN;
DERIVE
          super_type : entity_definition := get_entity_definition(generic_supertype);
END_ENTITY; -- sub_supertype_constraint

Entity data types and their attributes

sub_supertype_constraint
          (OPT) name: express_id;
          generic_supertype: entity_or_view_definition;
          (OPT) total_cover: SET [0:?] OF entity_definition;
          (OPT) constraint: subtype_expression;
          abstract_supertype: BOOLEAN;
          (DER) super_type: entity_definition;

Users

sub_supertype_constraint
          annotation.target
                    documentation_object
          declaration.definition
                    declaration_type

Global rules for this entity data type

          -

public interface ESub_supertype_constraint extends EEntity

name (explicit attribute)

          boolean testName(ESub_supertype_constraint type)
          String getName(ESub_supertype_constraint type)
          void setName(ESub_supertype_constraint type, String value)
          void unsetName(ESub_supertype_constraint type)

generic_supertype (explicit attribute)

          boolean testGeneric_supertype(ESub_supertype_constraint type)
          EEntity_or_view_definition getGeneric_supertype(ESub_supertype_constraint type)
          void setGeneric_supertype(ESub_supertype_constraint type, EEntity_or_view_definition value)
          void unsetGeneric_supertype(ESub_supertype_constraint type)

total_cover (explicit attribute)

          boolean testTotal_cover(ESub_supertype_constraint type)
          AEntity_definition getTotal_cover(ESub_supertype_constraint type)
          AEntity_definition createTotal_cover(ESub_supertype_constraint type)
          void unsetTotal_cover(ESub_supertype_constraint type)

constraint (explicit attribute)

          boolean testConstraint(ESub_supertype_constraint type)
          ESubtype_expression getConstraint(ESub_supertype_constraint type)
          void setConstraint(ESub_supertype_constraint type, ESubtype_expression value)
          void unsetConstraint(ESub_supertype_constraint type)

abstract_supertype (explicit attribute)

          boolean testAbstract_supertype(ESub_supertype_constraint type)
          boolean getAbstract_supertype(ESub_supertype_constraint type)
          void setAbstract_supertype(ESub_supertype_constraint type, boolean value)
          void unsetAbstract_supertype(ESub_supertype_constraint type)

super_type (derived attribute)

          EEntity_definition getSuper_type(ESub_supertype_constraint type)
          boolean testSuper_type(ESub_supertype_constraint type)

public class CSub_supertype_constraint implements ESub_supertype_constraint

          static EAttribute attributeName(ESub_supertype_constraint type)
          static EAttribute attributeGeneric_supertype(ESub_supertype_constraint type)
          static int usedinGeneric_supertype(ESub_supertype_constraint type, EEntity_or_view_definition instance, ASdaiModel domain, ASub_supertype_constraint result)
          static EAttribute attributeTotal_cover(ESub_supertype_constraint type)
          static int usedinTotal_cover(ESub_supertype_constraint type, EEntity_definition instance, ASdaiModel domain, ASub_supertype_constraint result)
          static EAttribute attributeConstraint(ESub_supertype_constraint type)
          static int usedinConstraint(ESub_supertype_constraint type, ESubtype_expression instance, ASdaiModel domain, ASub_supertype_constraint result)
          static EAttribute attributeAbstract_supertype(ESub_supertype_constraint type)
          static EAttribute attributeSuper_type(ESub_supertype_constraint type)
          static int usedinSuper_type(ESub_supertype_constraint type, EEntity_definition instance, ASdaiModel domain, ASub_supertype_constraint result)

public class ASub_supertype_constraint extends AEntity

          public ESub_supertype_constraint getByIndex(int index)
          public ESub_supertype_constraint getCurrentMember(SdaiIterator it)