|
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) |