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