zone_of_structure_sequence

EXPRESS specification:

ENTITY zone_of_structure_sequence
SUBTYPE OF ( | zone_of_structure);
parent_zone | : | zone_of_structure;
DERIVE
lots | : | SET OF zone_of_structure_sequence_lot := bag_to_set (USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.' + 'ZONE_OF_STRUCTURE_SEQUENCE_LOT.' + 'PARENT_SEQUENCE'));
assemblies | : | SET [1:?] OF located_assembly := bag_to_set (USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.LOCATED_ASSEMBLY.PARENT_STRUCTURE'));
WHERE
WRZ3 | : | parent_zone :<>: (SELF);
WRZ4 | : | NOT ('STRUCTURAL_FRAME_SCHEMA.ZONE_OF_STRUCTURE_SEQUENCE_LOT' IN TYPEOF (parent_zone));
END_ENTITY;

References (2):

Name | Type | Referred through | Express-G
zone_of_structure | Entity |
Subtype
| No Diagram
zone_of_structure_sequence_lot | Entity |
Supertype
| No Diagram

Inheritance graph

ENTITY zone_of_structure_sequence;
ENTITY zone;
zone_name | : | label;
zone_description | : | OPTIONAL text;
ENTITY zone_of_structure;
zone_for_structure | : | structure;
ENTITY zone_of_structure_sequence;
parent_zone | : | zone_of_structure;
DERIVE
lots | : | SET OF zone_of_structure_sequence_lot := bag_to_set (USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.' + 'ZONE_OF_STRUCTURE_SEQUENCE_LOT.' + 'PARENT_SEQUENCE'));
assemblies | : | SET [1:?] OF located_assembly := bag_to_set (USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.LOCATED_ASSEMBLY.PARENT_STRUCTURE'));
END_ENTITY;