ENTITY oriented_path SUBTYPE OF (path); path_element : path; orientation : BOOLEAN; DERIVE SELF\path.edge_list : LIST [1:?] OF UNIQUE oriented_edge := conditional_reverse(SELF.orientation, SELF.path_element.edge_list); WHERE wr1: NOT ('TOPOLOGY_SCHEMA.ORIENTED_PATH' IN TYPEOF (SELF.path_element)); END_ENTITY; -- oriented_path |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - path edge_list: LIST [1:?] OF UNIQUE oriented_edge; oriented_path path_element: path; orientation: BOOLEAN; (RT) (DER) edge_list: LIST [1:?] OF UNIQUE oriented_edge; |
Global rules for this entity data type- |
public interface EOriented_path extends EPathpath_element (explicit attribute)boolean testPath_element(EOriented_path type)EPath getPath_element(EOriented_path type) void setPath_element(EOriented_path type, EPath value) void unsetPath_element(EOriented_path type) orientation (explicit attribute)boolean testOrientation(EOriented_path type)boolean getOrientation(EOriented_path type) void setOrientation(EOriented_path type, boolean value) void unsetOrientation(EOriented_path type) |
public class COriented_path implements EOriented_pathstatic EAttribute attributePath_element(EOriented_path type)static int usedinPath_element(EOriented_path type, EPath instance, ASdaiModel domain, AOriented_path result) static EAttribute attributeOrientation(EOriented_path type) static EAttribute attributeEdge_list(EOriented_path type) static int usedinEdge_list(EOriented_path type, EOriented_edge instance, ASdaiModel domain, AOriented_path result) |
public class AOriented_path extends AEntitypublic EOriented_path getByIndex(int index)public EOriented_path getCurrentMember(SdaiIterator it) |