zone_of_structure_sequence_lot

EXPRESS specification:

ENTITY zone_of_structure_sequence_lot
SUBTYPE OF ( | zone_of_structure_sequence);
DERIVE
parent_sequence | : | zone_of_structure := SELF\zone_of_structure_sequence.parent_zone;
WHERE
WRZ5 | : | 'STRUCTURAL_FRAME_SCHEMA.ZONE_OF_STRUCTURE_SEQUENCE' IN TYPEOF(parent_sequence);
WRZ6 | : | SIZEOF (SELF\zone_of_structure_sequence.lots) = 0;
WRZ7 | : | (SELF\zone_of_structure_sequence.parent_zone) :<>: (SELF);
END_ENTITY;

References (2):

Name | Type | Referred through | Express-G
zone_of_structure_sequence | Entity |
Subtype
Attribute 'lots'
| No Diagram

Inheritance graph

ENTITY zone_of_structure_sequence_lot;
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'));
ENTITY zone_of_structure_sequence_lot;
DERIVE
parent_sequence | : | zone_of_structure := SELF\zone_of_structure_sequence.parent_zone;
END_ENTITY;