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