ENTITY zone_of_structure_sequence
(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* New for LPM/6 - see Issue 98 *)
ENTITY zone_of_structure_sequence
SUPERTYPE OF (ONEOF(zone_of_structure_sequence_lot))
SUBTYPE OF (zone_of_structure);
parent_zone : zone_of_structure;
DERIVE
lots : SET[0:?] 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);
(*
A sequence cannot be its own parent
*)
WRZ4 : NOT ('STRUCTURAL_FRAME_SCHEMA.ZONE_OF_STRUCTURE_SEQUENCE_LOT' IN
TYPEOF (parent_zone));
(*
A sequence cannot have a lot as its parent
*)
END_ENTITY;
Explicit Attributes
Entity zone_of_structure_sequence has the following local and inherited explicit attributes:
Derived Attributes
Entity zone_of_structure_sequence has the following local and inherited derived attributes:
Inverse Attributes
No Inverse AttributesSupertypes
Entity zone_of_structure_sequence inherits from the following supertypes:
zone
zone_of_structure
Subtypes
Entity zone_of_structure_sequence has the following subtypes:
zone_of_structure_sequence_lot*
* - Immediate Subtypes
Referenced By
Entity zone_of_structure_sequence and its supertypes are referenced by the following definitions:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00