ENTITY complete_membership SUBTYPE OF (classification_assignment); DERIVE containing_set : class := SELF\classification_assignment.assigned_class; END_ENTITY; -- complete_membership |
Entity data types and their attributesclassification_assignmentassigned_class: group; role: classification_role; complete_membership (DER) containing_set: class; |
complete_membership_of_empty_set (CLASSIFICATION_SCHEMA) |
complete_membership_of_non_empty_set (CLASSIFICATION_SCHEMA) |
Usersclassification_assignmentcomplete_membership |
Global rules for this entity data type- |
public interface EComplete_membership extends EClassification_assignmentcontaining_set (derived attribute)EClass getContaining_set(EComplete_membership type)boolean testContaining_set(EComplete_membership type) |
public class CComplete_membership implements EComplete_membershipstatic EAttribute attributeContaining_set(EComplete_membership type)static int usedinContaining_set(EComplete_membership type, EClass instance, ASdaiModel domain, AComplete_membership result) |
public class AComplete_membership extends AEntitypublic EComplete_membership getByIndex(int index)public EComplete_membership getCurrentMember(SdaiIterator it) |