Class

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)