Overview Schemas Index

CLASSIFICATION_SCHEMA (jsdai.SClassification_schema)


ENTITY complete_membership_of_non_empty_set
          SUBTYPE OF (complete_membership);
          members : SET [1:?] OF complete_membership_select;
END_ENTITY; -- complete_membership_of_non_empty_set

Entity data types and their attributes

classification_assignment
          assigned_class: group;
          role: classification_role;
complete_membership
          (DER) containing_set: class;
complete_membership_of_non_empty_set
          members: SET [1:?] OF complete_membership_select;

Users

classification_assignment
complete_membership
complete_membership_of_non_empty_set

Global rules for this entity data type

          -

public interface EComplete_membership_of_non_empty_set extends EComplete_membership

members (explicit attribute)

          boolean testMembers(EComplete_membership_of_non_empty_set type)
          AComplete_membership_select getMembers(EComplete_membership_of_non_empty_set type)
          AComplete_membership_select createMembers(EComplete_membership_of_non_empty_set type)
          void unsetMembers(EComplete_membership_of_non_empty_set type)

public class CComplete_membership_of_non_empty_set implements EComplete_membership_of_non_empty_set

          static EAttribute attributeMembers(EComplete_membership_of_non_empty_set type)
          static int usedinMembers(EComplete_membership_of_non_empty_set type, EEntity instance, ASdaiModel domain, AComplete_membership_of_non_empty_set result)

public class AComplete_membership_of_non_empty_set extends AEntity

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