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
;