zone_bounded

EXPRESS specification:

ENTITY zone_bounded
SUBTYPE OF ( | zone);
bounding_gridlines | : | SET [2:4] OF gridline;
bounding_levels | : | OPTIONAL SET [1:2] OF grid_level;
DERIVE
bounding_grid | : | grid := bounding_gridlines[1].parent_grid;
WHERE
WRZ1 | : | SIZEOF(QUERY(line <* bounding_gridlines | line.parent_grid :<>: (bounding_grid)) ) = 0;
WRZ2 | : | NOT (EXISTS(bounding_levels) AND (SIZEOF(QUERY(level <* bounding_levels | level.parent_grid :<>: (bounding_grid)) ) <> 0));
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
zone | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY zone_bounded;
ENTITY zone;
zone_name | : | label;
zone_description | : | OPTIONAL text;
ENTITY zone_bounded;
bounding_gridlines | : | SET [2:4] OF gridline;
bounding_levels | : | OPTIONAL SET [1:2] OF grid_level;
DERIVE
bounding_grid | : | grid := bounding_gridlines[1].parent_grid;
END_ENTITY;