ENTITY zone_of_structure_sequence_lot
(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* New for LPM/6 - see Issue 98 *)
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);
(*
A lot must have a sequence as its parent
*)
WRZ6 : SIZEOF (SELF\zone_of_structure_sequence.lots) = 0;
(*
A lot cannot be sub-divided into other lots
*)
WRZ7 : (SELF\zone_of_structure_sequence.parent_zone) :<>: (SELF);
(*
A lot cannot be its own parent
*)
END_ENTITY;
Explicit Attributes
Entity zone_of_structure_sequence_lot has the following local and inherited explicit attributes:
Derived Attributes
Entity zone_of_structure_sequence_lot has the following local and inherited derived attributes:
Inverse Attributes
No Inverse AttributesSupertypes
Entity zone_of_structure_sequence_lot inherits from the following supertypes:
zone
zone_of_structure
zone_of_structure_sequence
Subtypes
No subtypesReferenced By
Entity zone_of_structure_sequence_lot 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