Overview Schemas Index

ISO13584_IEC61360_DICTIONARY_SCHEMA (jsdai.SIso13584_iec61360_dictionary_schema)

ENTITY class
          ABSTRACT SUPERTYPE OF (item_class)
          SUBTYPE OF (class_and_property_elements);
          SELF\dictionary_element.identified_by : class_bsu;
          its_superclass : OPTIONAL class_bsu;
          described_by : LIST [0:?] OF UNIQUE property_bsu;
          defined_types : SET [0:?] OF data_type_bsu;
DERIVE
          subclasses : SET [0:?] OF class :=  identified_by . subclasses ;
          known_applicable_properties : SET [0:?] OF property_bsu :=  compute_known_applicable_properties ( SELF \ dictionary_element . identified_by ) ;
          known_applicable_data_types : SET [0:?] OF data_type_bsu :=  compute_known_applicable_data_types ( SELF \ dictionary_element . identified_by ) ;
INVERSE
          associated_items : SET [0:?] OF class_bsu_relationship FOR relating_class;
WHERE
          wr1:  acyclic_superclass_relationship ( SELF . identified_by , [ ] ) ;
          wr2:  NOT all_class_descriptions_reachable ( SELF  \ dictionary_element . identified_by ) OR ( list_to_set ( SELF  . described_by ) <= SELF \ dictionary_element . identified_by \ class_bsu . known_visible_properties ) ;
          wr3:  NOT all_class_descriptions_reachable ( SELF  \ dictionary_element . identified_by ) OR ( SELF  . defined_types <= SELF \ dictionary_element . identified_by \ class_bsu . known_visible_data_types ) ;
          wr4:  check_properties_applicability ( SELF ) ;
          wr5:  check_datatypes_applicability ( SELF ) ;
END_ENTITY; -- class

Entity data types and their attributes

dictionary_element
          identified_by: basic_semantic_unit;
          (OPT) time_stamps: dates;
          revision: revision_type;
class_and_property_elements
          names: item_names;
          definition: definition_type;
          (OPT) source_doc_of_definition: document;
          (OPT) note: note_type;
          (OPT) remark: remark_type;
class
          (RT) identified_by: class_bsu;
          (OPT) its_superclass: class_bsu;
          described_by: LIST [0:?] OF UNIQUE property_bsu;
          defined_types: SET [0:?] OF data_type_bsu;
          (DER) subclasses: SET [0:?] OF class;
          (DER) known_applicable_properties: SET [0:?] OF property_bsu;
          (DER) known_applicable_data_types: SET [0:?] OF data_type_bsu;
          (INV) associated_items: SET [0:?] OF class_bsu_relationship FOR relating_class;

Known subtypes

          item_class (ISO13584_IEC61360_DICTIONARY_SCHEMA)

Users

dictionary_element
class_and_property_elements
class
          class.subclasses
          class_bsu_relationship.relating_class
          property_det.describes_classes

Global rules for this entity data type

          -

public interface EClass extends EClass_and_property_elements

its_superclass (explicit attribute)

          boolean testIts_superclass(EClass type)
          EClass_bsu getIts_superclass(EClass type)
          void setIts_superclass(EClass type, EClass_bsu value)
          void unsetIts_superclass(EClass type)

described_by (explicit attribute)

          boolean testDescribed_by(EClass type)
          AProperty_bsu getDescribed_by(EClass type)
          AProperty_bsu createDescribed_by(EClass type)
          void unsetDescribed_by(EClass type)

defined_types (explicit attribute)

          boolean testDefined_types(EClass type)
          AData_type_bsu getDefined_types(EClass type)
          AData_type_bsu createDefined_types(EClass type)
          void unsetDefined_types(EClass type)

subclasses (derived attribute)

          AClass getSubclasses(EClass type)
          boolean testSubclasses(EClass type)

known_applicable_properties (derived attribute)

          AProperty_bsu getKnown_applicable_properties(EClass type)
          boolean testKnown_applicable_properties(EClass type)

known_applicable_data_types (derived attribute)

          AData_type_bsu getKnown_applicable_data_types(EClass type)
          boolean testKnown_applicable_data_types(EClass type)

associated_items (inverse attribute)

          AClass_bsu_relationship getAssociated_items(EClass type, ASdaiModel domain)

public class CClass implements EClass

          static EAttribute attributeIts_superclass(EClass type)
          static int usedinIts_superclass(EClass type, EClass_bsu instance, ASdaiModel domain, AClass result)
          static EAttribute attributeDescribed_by(EClass type)
          static int usedinDescribed_by(EClass type, EProperty_bsu instance, ASdaiModel domain, AClass result)
          static EAttribute attributeDefined_types(EClass type)
          static int usedinDefined_types(EClass type, EData_type_bsu instance, ASdaiModel domain, AClass result)
          static EAttribute attributeSubclasses(EClass type)
          static int usedinSubclasses(EClass type, EClass instance, ASdaiModel domain, AClass result)
          static EAttribute attributeKnown_applicable_properties(EClass type)
          static int usedinKnown_applicable_properties(EClass type, EProperty_bsu instance, ASdaiModel domain, AClass result)
          static EAttribute attributeKnown_applicable_data_types(EClass type)
          static int usedinKnown_applicable_data_types(EClass type, EData_type_bsu instance, ASdaiModel domain, AClass result)
          static EAttribute attributeAssociated_items(EClass type)

public class AClass extends AEntity

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