Overview Schemas Index

ISO13584_IEC61360_DICTIONARY_SCHEMA (jsdai.SIso13584_iec61360_dictionary_schema)


ENTITY dependent_p_det
          SUBTYPE OF (property_det);
          depends_on : SET [1:?] OF property_bsu;
WHERE
          wr1: QUERY(p <* depends_on | NOT(definition_available_implies(
        p, ('ISO13584_IEC61360_DICTIONARY_SCHEMA.CONDITION_DET'
        IN TYPEOF(p.definition[1]))))) = [];
END_ENTITY; -- dependent_p_det

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;
property_det
          (RT) identified_by: property_bsu;
          (OPT) preferred_symbol: mathematical_string;
          synonymous_symbols: SET [0:2] OF mathematical_string;
          (OPT) figure: graphics;
          (OPT) det_classification: det_classification_type;
          domain: data_type;
          (OPT) formula: mathematical_string;
          (DER) describes_classes: SET [0:?] OF class;
dependent_p_det
          depends_on: SET [1:?] OF property_bsu;

Users

dictionary_element
class_and_property_elements
property_det
dependent_p_det

Global rules for this entity data type

          -

public interface EDependent_p_det extends EProperty_det

depends_on (explicit attribute)

          boolean testDepends_on(EDependent_p_det type)
          AProperty_bsu getDepends_on(EDependent_p_det type)
          AProperty_bsu createDepends_on(EDependent_p_det type)
          void unsetDepends_on(EDependent_p_det type)

public class CDependent_p_det implements EDependent_p_det

          static EAttribute attributeDepends_on(EDependent_p_det type)
          static int usedinDepends_on(EDependent_p_det type, EProperty_bsu instance, ASdaiModel domain, ADependent_p_det result)

public class ADependent_p_det extends AEntity

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