ENTITY verification_evidence SUBTYPE OF (group_assignment); SELF\group_assignment.assigned_group : verification; items : SET [1:?] OF verification_evidence_item; END_ENTITY; -- verification_evidence |
Entity data types and their attributesgroup_assignmentassigned_group: group; (DER) role: object_role; verification_evidence (RT) assigned_group: verification; items: SET [1:?] OF verification_evidence_item; |
ds_characterizable_verification_evidence (DECISION_SUPPORT_MIM) |
Global rules for this entity data type- |
public interface EVerification_evidence extends EGroup_assignmentitems (explicit attribute)boolean testItems(EVerification_evidence type)AVerification_evidence_item getItems(EVerification_evidence type) AVerification_evidence_item createItems(EVerification_evidence type) void unsetItems(EVerification_evidence type) |
public class CVerification_evidence implements EVerification_evidencestatic EAttribute attributeItems(EVerification_evidence type)static int usedinItems(EVerification_evidence type, EEntity instance, ASdaiModel domain, AVerification_evidence result) |
public class AVerification_evidence extends AEntitypublic EVerification_evidence getByIndex(int index)public EVerification_evidence getCurrentMember(SdaiIterator it) |