Overview Schemas Index

LKSOFT_EXTENSIONS_XIM (jsdai.SLksoft_extensions_xim)

ENTITY stratum_technology_occurrence_group_xim
          ABSTRACT SUPERTYPE OF (ONEOF (sequential_stratum_technology_occurrence_group_xim, parallel_stratum_technology_occurrence_group_xim, optional_stratum_technology_occurrence_group_xim))
          SUBTYPE OF (ignorable_xim);
          name : OPTIONAL label;
          elements : LIST [0:?] OF UNIQUE sto_or_group_xim;
          implementation : SET [0:?] OF stratum_technology_occurrence_link_armx;
DERIVE
          stack : local_linear_stack_armx := get_group_stack(SELF);
INVERSE
          parent : SET [0:1] OF stratum_technology_occurrence_group_xim FOR elements;
WHERE
          wr1: implementation <= stack.stratum_technology_sequence;
          wr2: SIZEOF(QUERY(elem <* elements | ('FABRICATION_TECHNOLOGY_XIM.STRATUM_TECHNOLOGY_OCCURRENCE_ARMX' IN  TYPEOF(elem)
                    AND NOT (elem IN get_stack(implementation))))) = 0;
          wr3: SIZEOF(QUERY(stol <* implementation | NOT (stol.precedent_sto IN  elements) AND NOT(stol.subsequent_sto IN elements))) = 0;
END_ENTITY; -- stratum_technology_occurrence_group_xim
This AO and its subtypes provide capabilities to represent stratum stack (subset of capabilities provided by Stratum_technology_occurrence_link), but unlike Stratum_technology_occurrence_link is modeled in a way best suitable for the GUI (Layer Stack Editor). Each Stratum_technology_occurrence_group_xim is a node in a tree. It has one and only one parent node and a list of children nodes (attribute elements). The root node of the tree is a Local_linear_stack_armx derived as stack attribute. IP1: Each node in this subtree shall be unique. So for example same Stratum_technology_occurrence shall show up at most once in the entire tree starting from the root. Same goes for groups.

Entity data types and their attributes

ignorable_xim
          -
stratum_technology_occurrence_group_xim
          (OPT) name: label;
          elements: LIST [0:?] OF UNIQUE sto_or_group_xim;
          implementation: SET [0:?] OF stratum_technology_occurrence_link_armx;
          (DER) stack: local_linear_stack_armx;
          (INV) parent: SET [0:1] OF stratum_technology_occurrence_group_xim FOR elements;

Known subtypes

          optional_stratum_technology_occurrence_group_xim (LKSOFT_EXTENSIONS_XIM)
          parallel_stratum_technology_occurrence_group_xim (LKSOFT_EXTENSIONS_XIM)
          sequential_stratum_technology_occurrence_group_xim (LKSOFT_EXTENSIONS_XIM)

Users

ignorable_xim
stratum_technology_occurrence_group_xim
          stratum_technology_occurrence_group_xim.elements
                    sto_or_group_xim

Global rules for this entity data type

          -

public interface EStratum_technology_occurrence_group_xim extends EIgnorable_xim

name (explicit attribute)

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

elements (explicit attribute)

          boolean testElements(EStratum_technology_occurrence_group_xim type)
          ASto_or_group_xim getElements(EStratum_technology_occurrence_group_xim type)
          ASto_or_group_xim createElements(EStratum_technology_occurrence_group_xim type)
          void unsetElements(EStratum_technology_occurrence_group_xim type)

implementation (explicit attribute)

          boolean testImplementation(EStratum_technology_occurrence_group_xim type)
          AStratum_technology_occurrence_link_armx getImplementation(EStratum_technology_occurrence_group_xim type)
          AStratum_technology_occurrence_link_armx createImplementation(EStratum_technology_occurrence_group_xim type)
          void unsetImplementation(EStratum_technology_occurrence_group_xim type)

stack (derived attribute)

          ELocal_linear_stack_armx getStack(EStratum_technology_occurrence_group_xim type)
          boolean testStack(EStratum_technology_occurrence_group_xim type)

parent (inverse attribute)

          AStratum_technology_occurrence_group_xim getParent(EStratum_technology_occurrence_group_xim type, ASdaiModel domain)

public class CStratum_technology_occurrence_group_xim implements EStratum_technology_occurrence_group_xim

          static EAttribute attributeName(EStratum_technology_occurrence_group_xim type)
          static EAttribute attributeElements(EStratum_technology_occurrence_group_xim type)
          static int usedinElements(EStratum_technology_occurrence_group_xim type, EEntity instance, ASdaiModel domain, AStratum_technology_occurrence_group_xim result)
          static EAttribute attributeImplementation(EStratum_technology_occurrence_group_xim type)
          static int usedinImplementation(EStratum_technology_occurrence_group_xim type, EStratum_technology_occurrence_link_armx instance, ASdaiModel domain, AStratum_technology_occurrence_group_xim result)
          static EAttribute attributeStack(EStratum_technology_occurrence_group_xim type)
          static int usedinStack(EStratum_technology_occurrence_group_xim type, ELocal_linear_stack_armx instance, ASdaiModel domain, AStratum_technology_occurrence_group_xim result)
          static EAttribute attributeParent(EStratum_technology_occurrence_group_xim type)

public class AStratum_technology_occurrence_group_xim extends AEntity

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