OJT001 Object predefined type - v3

001 | @implementer-agreement
002 | @OJT
003 | @version3
004 | Feature: OJT001 - Object Predefined Type
005 |
006 |   The rule verifies that the attribute 'PredefinedType' for object occurrences
007 |   is used in accordance with Concept Template 4.1.3.2 - Object Predefined Type.
008 |   Ref: https://standards.buildingsmart.org/IFC/RELEASE/IFC4_3/HTML/concepts/Object_Attributes/Object_Predefined_Type/content.html
009 |
010 | Background:
011 |   Given a model with Schema 'IFC4' or 'IFC4.3'
012 |
013 | Scenario: Validating the proper use of USERDEFINED PredefinedType for an object typed at the occurrence
014 |   Given An .IfcObject. ^with subtypes^
015 |   Given .IsTypedBy. ^is^ empty
016 |   Given .PredefinedType. ^is^ 'USERDEFINED'
017 |   Then The value of attribute .ObjectType. must be ^not empty^
018 |
019 | Scenario: Validating the proper use of USERDEFINED PredefinedType for an object typed by IfcTypeObject
020 |   Given An .IfcTypeObject. ^with subtypes^
021 |   Given .PredefinedType. ^is^ 'USERDEFINED'
022 |   Then The value of attribute .ElementType. must be ^not empty^
023 |
024 | Scenario: Validating the proper use of PredefinedType for an Object typed by IfcTypeObject
025 |   Given A model with Schema 'IFC4' or 'IFC4.3'
026 |   Given An .IfcTypeObject. ^with subtypes^
027 |   Given Its .PredefinedType. attribute ^does not start^ with 'NOTDEFINED'
028 |   Given A relationship .IfcRelDefinesByType. from .IfcTypeObject. to .IfcObject. and following that
029 |   Then The value of attribute .PredefinedType. must be ^empty^ [and display entity instance]

Version history

Version

Tag

Date

Commit

Rule link

v1

v0.6.6

2024-06-06

81645563

view

v2

v0.6.6

2024-07-10

b8442214

view

v3

v0.8.3

2025-11-13

45a7c115

view