ENTITY open_path SUBTYPE OF (path); DERIVE ne : INTEGER := SIZEOF(SELF\path.edge_list); WHERE wr1: (SELF\path.edge_list[1].edge_element.edge_start) :<>: (SELF\path.edge_list[ne].edge_element.edge_end); END_ENTITY; -- open_path |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - path edge_list: LIST [1:?] OF UNIQUE oriented_edge; open_path (DER) ne: INTEGER; |
Global rules for this entity data type- |
public interface EOpen_path extends EPathne (derived attribute)int getNe(EOpen_path type)boolean testNe(EOpen_path type) |
public class COpen_path implements EOpen_pathstatic EAttribute attributeNe(EOpen_path type) |
public class AOpen_path extends AEntitypublic EOpen_path getByIndex(int index)public EOpen_path getCurrentMember(SdaiIterator it) |