6.1.3.29 IfcRampFlightType

Rampenlauf - Typ
Type de volée

The building element type IfcRampFlightType defines commonly shared information for occurrences of ramp flights. The set of shared information may include:

It is used to define a ramp flight type specification indicating the specific product information that is common to all occurrences of that product type. The IfcRampFlightType may be declared within IfcProject or IfcProjectLibrary using IfcRelDeclares and may be exchanged with or without occurrences of the type. Occurrences of IfcRampFlightType are represented by instances of IfcRampFlight. Refer to the documentation at IfcRampFlight for supported property sets, materials, and composition.

HISTORY  New entity in IFC2x2.

Common Use Definitions

The following concepts are inherited at supertypes:

 Instance diagram

Type Body Geometry

The Type Body Geometry concept applies to this entity.




XSD Specification:

 <xs:element name="IfcRampFlightType" type="ifc:IfcRampFlightType" substitutionGroup="ifc:IfcBuildingElementType" nillable="true"/>
 <xs:complexType name="IfcRampFlightType">
  <xs:complexContent>
   <xs:extension base="ifc:IfcBuildingElementType">
    <xs:attribute name="PredefinedType" type="ifc:IfcRampFlightTypeEnum" use="optional"/>
   </xs:extension>
  </xs:complexContent>
 </xs:complexType>

EXPRESS Specification:

ENTITY IfcRampFlightType
SUBTYPE OF IfcBuildingElementType;
PredefinedType : IfcRampFlightTypeEnum;
WHERE
CorrectPredefinedType : (PredefinedType <> IfcRampFlightTypeEnum.USERDEFINED) OR ((PredefinedType = IfcRampFlightTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcElementType.ElementType));
END_ENTITY;

Link to EXPRESS-G diagram EXPRESS-G diagram

Attribute Definitions:

PredefinedType : Identifies the predefined types of a ramp flight element from which the type required may be set.

Formal Propositions:

CorrectPredefinedType : The inherited attribute ElementType shall be provided, if the PredefinedType is set to USERDEFINED.

Inheritance Graph:

ENTITY IfcRampFlightType
ENTITY IfcRoot
GlobalId : IfcGloballyUniqueId;
OwnerHistory : OPTIONAL IfcOwnerHistory;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
ENTITY IfcObjectDefinition
INVERSE
HasAssignments : SET OF IfcRelAssigns FOR RelatedObjects;
Nests : SET [0:1] OF IfcRelNests FOR RelatedObjects;
IsNestedBy : SET OF IfcRelNests FOR RelatingObject;
HasContext : SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions;
IsDecomposedBy : SET OF IfcRelAggregates FOR RelatingObject;
Decomposes : SET [0:1] OF IfcRelAggregates FOR RelatedObjects;
HasAssociations : SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcTypeObject
ApplicableOccurrence : OPTIONAL IfcIdentifier;
HasPropertySets : OPTIONAL SET [1:?] OF IfcPropertySetDefinition;
INVERSE
Types : SET [0:1] OF IfcRelDefinesByType FOR RelatingType;
ENTITY IfcTypeProduct
RepresentationMaps : OPTIONAL LIST [1:?] OF UNIQUE IfcRepresentationMap;
Tag : OPTIONAL IfcLabel;
INVERSE
ReferencedBy : SET OF IfcRelAssignsToProduct FOR RelatingProduct;
ENTITY IfcElementType
ElementType : OPTIONAL IfcLabel;
ENTITY IfcBuildingElementType
ENTITY IfcRampFlightType
PredefinedType : IfcRampFlightTypeEnum;
END_ENTITY;

Link to this page  Link to this page