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 attributesclassification_assignmentassigned_class: group; role: classification_role; complete_membership (DER) containing_set: class; complete_membership_of_non_empty_set members: SET [1:?] OF complete_membership_select; |
Usersclassification_assignmentcomplete_membership complete_membership_of_non_empty_set |
Global rules for this entity data type- |
public interface EComplete_membership_of_non_empty_set extends EComplete_membershipmembers (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_setstatic 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 AEntitypublic EComplete_membership_of_non_empty_set getByIndex(int index)public EComplete_membership_of_non_empty_set getCurrentMember(SdaiIterator it) |