Navigation

oriented_path

EXPRESS specification:

ENTITY oriented_path
SUBTYPE OF ( path);
path_element  :  path;
orientation  :  BOOLEAN;
DERIVE
SELF\path.edge_list  :  LIST [1:?] OF oriented_edge :=  conditional_reverse 
(SELF.orientation, SELF.path_element.edge_list);
WHERE
WRO9  :  NOT ('STRUCTURAL_FRAME_SCHEMA.ORIENTED_PATH' IN TYPEOF (SELF.path_element));
END_ENTITY;

References (1):

Name Type Referred through Express-G
path Entity
Subtype
No Diagram

Inheritance graph

ENTITY oriented_path;
ENTITY representation_item;
name  :  label;
ENTITY topological_representation_item;
ENTITY path;
ENTITY oriented_path;
path_element  :  path;
orientation  :  BOOLEAN;
DERIVE
edge_list  :  LIST [1:?] OF oriented_edge :=  conditional_reverse 
(SELF.orientation, SELF.path_element.edge_list);
END_ENTITY;