ENTITY subface SUBTYPE OF (face); parent_face : face; WHERE wr1: NOT (mixed_loop_type_set(list_to_set(list_face_loops(SELF)) + list_to_set(list_face_loops(parent_face)))); END_ENTITY; -- subface |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - face bounds: SET [1:?] OF face_bound; subface parent_face: face; |
Global rules for this entity data type- |
public interface ESubface extends EFaceparent_face (explicit attribute)boolean testParent_face(ESubface type)EFace getParent_face(ESubface type) void setParent_face(ESubface type, EFace value) void unsetParent_face(ESubface type) |
public class CSubface implements ESubfacestatic EAttribute attributeParent_face(ESubface type)static int usedinParent_face(ESubface type, EFace instance, ASdaiModel domain, ASubface result) |
public class ASubface extends AEntitypublic ESubface getByIndex(int index)public ESubface getCurrentMember(SdaiIterator it) |