Navigation

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;