wip - refactoring

features/README.md

@@ -302,7 +302,7 @@ in earlier schema versions.
 
 ```
 Given A model with Schema "IFC4.3"
-Given An IfcAlignment
+Given an .IfcAlignment.
 Then ...
 ```
 

features/ALB002_Alignment-layout.feature → features/Rules/ALB-Alignment_Business_Logic/ALB002_Alignment-layout.feature

@@ -41,7 +41,7 @@ Feature: ALB002 - Alignment Layout Verification
 
     Given an <AlignmentComponentType>
 
-    Then It is nested by a list of only instance(s) of IfcAlignmentSegment
+    Then It is nested by a list of only instance(s) of .IfcAlignmentSegment.
 
       Examples:
       | AlignmentComponentType  |
@@ -52,7 +52,7 @@ Feature: ALB002 - Alignment Layout Verification
 @E00010
   Scenario Outline: Agreement of the segments of alignment
 
-    Given an IfcAlignmentSegment
+    Given an .IfcAlignmentSegment.
     Given The element nests an <AlignmentComponentType>
 
     Then The type of attribute DesignParameters must be <SegmentType>

features/ALB003_Alignment-nesting.feature → features/Rules/ALB-Alignment_Business_Logic/ALB003_Alignment-nesting.feature

@@ -10,6 +10,8 @@ or with Referents (e.g., mileage markers). And not with any other entity.
   Scenario: Agreement on nested elements of IfcAlignment
 
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignment
+    Given An .IfcAlignment.
+    Given Its attribute .IfcRelNests.
+    Given Its attribute .RelatedObjects.
 
-    Then It must be nested by only the following entities: IfcAlignmentHorizontal, IfcAlignmentVertical, IfcAlignmentCant, IfcReferent
+    Then [Its type] *is equal to* .IfcAlignmentHorizontal. or .IfcAlignmentVertical. or .IfcAlignmentCant. or .IfcReferent.

features/ALB004_Alignment-in-spatial-structure-relationships.feature → features/Rules/ALB-Alignment_Business_Logic/ALB004_Alignment-in-spatial-structure-relationships.feature

@@ -9,6 +9,6 @@ In this case, only the parent alignment shall be related to the project.
   Scenario: Agreement on each IfcAlignment being aggregated to IfcProject
 
       Given A model with Schema "IFC4.3"
-      Given An IfcAlignment
+      Given An .IfcAlignment.
 
-      Then It must be aggregated to IfcProject directly or indirectly
+      Then [It is aggregated] to .IfcProject. <directly or indirectly>

features/ALB005_Positioning-of-referents.feature → features/Rules/ALB-Alignment_Business_Logic/ALB005_Positioning-of-referents.feature

@@ -9,7 +9,7 @@ The rule verifies that IfcReferents (typed POSITION or STATION) linked to IfcAli
   Scenario: Agreement on each IfcAlignment being aggregated to IfcProject and not contained in IfcSpatialElement
 
       Given A model with Schema "IFC4.3"
-      Given An IfcReferent
-      Given PredefinedType = 'POSITION' or 'STATION'
+      Given An .IfcReferent.
+      Given .PredefinedType. *is equal to* "POSITION" or "STATION"
 
       Then It must be positioned to IfcAlignment directly

features/ALB010_Alignment-nesting-referents.feature → features/Rules/ALB-Alignment_Business_Logic/ALB010_Alignment-nesting-referents.feature

@@ -10,6 +10,6 @@ IfcReferent is associated to IfcAlignment via the IfcRelNests relationship.
   Scenario: Agreement on each IfcAlignment nesting at least one IfcReferent
 
       Given A model with Schema "IFC4.3"
-      Given An IfcAlignment
+      Given An .IfcAlignment.
 
-      Then A relationship IfcRelNests must exist from IfcAlignment to IfcReferent
+      Then a relationship .IfcRelNests. *must exist* from .IfcAlignment. to .IfcReferent.

features/Rules/ALB-Alignment_Business_Logic/ALB012_Alignment-vertical-segment-radius-of-curvature.feature

@@ -0,0 +1,21 @@
+@implementer-agreement
+@ALB
+@version1
+@E00020
+Feature: ALB012 - Alignment vertical segment radius of curvature
+  The rule verifies the 'RadiusOfCurvature' design parameter for vertical alignment segments.
+
+  Background:
+    Given A model with Schema "IFC4.3"
+    Given An .IfcAlignmentVertical.
+    Given A relationship .IfcRelNests. exists from .IfcAlignmentVertical. to .IfcAlignmentSegment. &and following that&
+    Given Its attribute .DesignParameters.
+    Given [Its type] is .IfcAlignmentVerticalSegment.
+
+  Scenario: Validating the absence of curvature radius for specific predefined types of vertical segment
+    Given .PredefinedType. *is not equal to* "CIRCULARARC" or "PARABOLICARC"
+    Then .RadiusOfCurvature. must be *empty*
+
+  Scenario: Validating the radius of curvature for parabolic segments
+    Given .PredefinedType. *is equal to* "PARABOLICARC"
+    Then .RadiusOfCurvature. must be *equal to* the expression: .HorizontalLength. / ( .EndGradient. - .StartGradient. )

features/ALB015_Alignment-business-logic-zero-length-final-segment.feature → features/Rules/ALB-Alignment_Business_Logic/ALB015_Alignment-business-logic-zero-length-final-segment.feature

@@ -8,24 +8,24 @@ Feature: ALB015 - Alignment business logic zero length final segment
 
   Scenario: Validating final segment of horizontal alignment business logic
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignmentHorizontal
-    Given A relationship IfcRelNests from IfcAlignmentHorizontal to IfcAlignmentSegment and following that
+    Given An .IfcAlignmentHorizontal.
+    Given A relationship .IfcRelNests. exists from .IfcAlignmentHorizontal. to IfcAlignmentSegment &and following that&
     Given Its final element at depth 1
-    Given Its attribute DesignParameters
-    Then The SegmentLength of the IfcAlignmentHorizontalSegment must be 0
+    Given Its attribute .DesignParameters.
+    Then The .SegmentLength. of the .IfcAlignmentHorizontalSegment. must be "0"
 
   Scenario: Validating final segment of vertical alignment business logic
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignmentVertical
-    Given A relationship IfcRelNests from IfcAlignmentVertical to IfcAlignmentSegment and following that
+    Given An .IfcAlignmentVertical.
+    Given A relationship .IfcRelNests. exists from .IfcAlignmentVertical. to .IfcAlignmentSegment. &and following that&
     Given Its final element at depth 1
     Given Its attribute DesignParameters
-    Then The HorizontalLength of the IfcAlignmentVerticalSegment must be 0
+    Then The HorizontalLength of the IfcAlignmentVerticalSegment must be "0"
 
   Scenario: Validating final segment of cant alignment business logic
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignmentCant
-    Given A relationship IfcRelNests from IfcAlignmentCant to IfcAlignmentSegment and following that
+    Given An .IfcAlignmentCant.
+    Given A relationship .IfcRelNests. exists from .IfcAlignmentCant. to .IfcAlignmentSegment. &and following that&
     Given Its final element at depth 1
-    Given Its attribute DesignParameters
-    Then The HorizontalLength of the IfcAlignmentCantSegment must be 0
+    Given Its attribute .DesignParameters.
+    Then The .HorizontalLength. of the .IfcAlignmentCantSegment. must be "0"

features/ALB021_Alignment-overall-agreement-of-business-logic-and-geometry.feature → features/Rules/ALB-Alignment_Business_Logic/ALB021_Alignment-overall-agreement-of-business-logic-and-geometry.feature

@@ -8,22 +8,22 @@ Feature: ALB021 - Alignment overall agreement of business logic and geometry
 
 Background: Validating overall agreement on presence of cant in business logic
   Given A model with Schema "IFC4.3"
-  Given An IfcAlignment
+  Given An .IfcAlignment.
 
 Scenario: Validating the presence of cant layout for IfcSegmentedReferenceCurve
-  Then  A representation by IfcSegmentedReferenceCurve requires the presence of IfcAlignmentCant in the business logic
+  Then  A representation by .IfcSegmentedReferenceCurve. requires the presence of .IfcAlignmentCant. in the business logic
 
 Scenario: Validating the presence of vertical layout for IfcGradientCurve
-  Then  A representation by IfcGradientCurve requires the presence of IfcAlignmentVertical in the business logic
+  Then  A representation by .IfcGradientCurve. requires the presence of .IfcAlignmentVertical. in the business logic
 
 Scenario: Validating the presence of vertical layout for 3D IfcIndexedPolyCurve
-  Then A representation by 3D IfcIndexedPolyCurve requires the presence of IfcAlignmentVertical in the business logic
+  Then A representation by 3D .IfcIndexedPolyCurve. requires the presence of .IfcAlignmentVertical. in the business logic
 
 Scenario: Validating the presence of vertical layout for 3D IfcPolyline
-  Then A representation by 3D IfcPolyline requires the presence of IfcAlignmentVertical in the business logic
+  Then A representation by 3D .IfcPolyline. requires the presence of .IfcAlignmentVertical. in the business logic
 
 Scenario: Validating the absence of vertical and cant layout for IfcCompositeCurve as Axis
-  Then A representation by IfcCompositeCurve as Axis requires the absence of IfcAlignmentVertical and IfcAlignmentCant in the business logic
+  Then A representation by .IfcCompositeCurve. as Axis requires the absence of .IfcAlignmentVertical. and .IfcAlignmentCant. in the business logic
 
 Scenario: Validating the absence of cant layout for IfcGradientCurve
-  Then A representation by IfcGradientCurve requires the absence of IfcAlignmentCant in the business logic
+  Then A representation by .IfcGradientCurve. requires the absence of .IfcAlignmentCant. in the business logic

features/ALB022_Alignment-agreement-on-number-of-segments.feature → features/Rules/ALB-Alignment_Business_Logic/ALB022_Alignment-agreement-on-number-of-segments.feature

@@ -10,14 +10,14 @@ Background: Validating overall agreement on number of segments
   Given A model with Schema "IFC4.3"
 
 Scenario: Validating the same number of segments for horizontal layout and representation
-  Given An IfcAlignmentHorizontal
+  Given An .IfcAlignmentHorizontal.
   Then  The representation must have the correct number of segments indicated by the layout
 
 Scenario: Validating the same number of segments for vertical layout and representation
-  Given An IfcAlignmentVertical
+  Given An .IfcAlignmentVertical.
   Then  The representation must have the correct number of segments indicated by the layout
 
 Scenario: Validating the same number of segments for cant layout and representation
-  Given An IfcAlignmentCant
+  Given An .IfcAlignmentCant.
   Then  The representation must have the correct number of segments indicated by the layout
 

features/ALB023_Alignment-same-segment-types-in-business-logic-and-geometry.feature → features/Rules/ALB-Alignment_Business_Logic/ALB023_Alignment-same-segment-types-in-business-logic-and-geometry.feature

@@ -10,38 +10,38 @@ Background: Validating schema version
   Given A model with Schema "IFC4.3"
 
 Scenario: Validating the same geometry types for representation of the alignment
-  Given An IfcAlignment
-  Given Its attribute Representation
-  Given Its attribute Representations
+  Given An .IfcAlignment.
+  Given Its attribute .Representation.
+  Given Its attribute .Representations.
   Given Its attribute Item
   Then  Each segment must have the same geometry type as its corresponding segment in the applicable IfcAlignment layout
 
 Scenario: Validating the same geometry type for representation of the horizontal layout
-  Given An IfcAlignmentHorizontal
-  Given Its attribute Representation
-  Given Its attribute Representations
-  Given Its attribute Items
+  Given an .IfcAlignmentHorizontal.
+  Given Its attribute .Representation.
+  Given Its attribute .Representations.
+  Given its attribute .Items.
   Then  Each segment must have the same geometry type as its corresponding segment in the horizontal layout
 
 Scenario: Validating the same geometry type for representation of the vertical layout
-  Given An IfcAlignmentVertical
-  Given Its attribute Representation
-  Given Its attribute Representations
-  Given Its attribute Items
+  Given an .IfcAlignmentVertical.
+  Given Its attribute .Representation.
+  Given Its attribute .Representations.
+  Given its attribute .Items.
   Then  Each segment must have the same geometry type as its corresponding segment in the vertical layout
 
 Scenario: Validating the same geometry type for representation of the cant layout
-  Given An IfcAlignmentCant
-  Given Its attribute Representation
-  Given Its attribute Representations
-  Given Its attribute Items
+  Given an .IfcAlignmentCant.
+  Given Its attribute .Representation.
+  Given Its attribute .Representations.
+  Given its attribute .Items.
   Then  Each segment must have the same geometry type as its corresponding segment in the cant layout
 
 Scenario: Validating the same geometry type for representation of the individual segments
-  Given An IfcAlignmentSegment
-  Given Its attribute Representation
-  Given Its attribute Representations
-  Given Its attribute Items
+  Given an .IfcAlignmentSegment.
+  Given Its attribute .Representation.
+  Given Its attribute .Representations.
+  Given its attribute .Items.
   Then  Each segment must have the same geometry type as its corresponding alignment segment
 
 

features/ALB030_Alignment-local-placement.feature → features/Rules/ALB-Alignment_Business_Logic/ALB030_Alignment-local-placement.feature

@@ -8,7 +8,7 @@ Feature: ALB030 - Alignment local placement
 
   Scenario: Every instance of IfcAlignment must have an ObjectPlacement of type IfcLocalPlacement
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignment
-    Given Its attribute ObjectPlacement 
+    Given an .IfcAlignment.
+    Given its attribute .ObjectPlacement. 
 
-    Then Its Entity Type is 'IfcLocalPlacement'
+    Then [Its type] is "IfcLocalPlacement"

features/ALS004_Alignment-segment-shape-representation.feature → features/Rules/ALS-Alignment_Geometry/ALS004_Alignment-segment-shape-representation.feature

@@ -6,27 +6,24 @@ The rule verifies that each IfcAlignmentSegment uses correct representation.
 
     Background:
         Given A model with Schema "IFC4.3"
-        Given An IfcAlignmentSegment
-        Given Its attribute Representation
-        Given Its attribute Representations 
+        Given an .IfcAlignmentSegment.
+        Given Its attribute .Representation.
+        Given Its attribute .Representations. 
 
 
         @E00020
         Scenario: Agreement on each IfcAlignmentSegment using correct representation - Value
 
-            Given Its attribute RepresentationIdentifier
-            Then The value must be "Axis"
+            Then .RepresentationIdentifier. must *be equal to* "Axis"
 
 
         @E00020
         Scenario: Agreement on each IfcAlignmentSegment using correct representation - Type
 
-            Given Its attribute RepresentationType
-            Then The value must be "Segment"
+            Then .RepresentationType. must *be equal to* "Segment"
 
 
         @E00010
         Scenario: Agreement on each IfcAlignmentSegment using correct representation items - Type
 
-            Given Its attribute Items 
-            Then  The value must be "IfcCurveSegment"
+            Then .Items. must *be equal to* "IfcCurveSegment"

features/ALS005_Alignment-shape-representation.feature → features/Rules/ALS-Alignment_Geometry/ALS005_Alignment-shape-representation.feature

@@ -6,32 +6,37 @@ The rule verifies that each IfcAlignment uses correct representation.
 
   Background:
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignment
-    Given Its attribute Representation
-    Given Its attribute Representations
+    Given an .IfcAlignment.
+    Given Its attribute .Representation.
+    Given Its attribute .Representations.
 
 
   @E00020
   Scenario: Agreement on each IfcAlignment using correct representation - Value
 
-    Then The value of attribute RepresentationIdentifier must be FootPrint or Axis
+    Then .RepresentationIdentifier. must be "FootPrint" or "Axis"
 
 
   @E00010
   Scenario: Agreement on each IfcAlignment using correct representation - Type = 'Axis'
 
-    Given RepresentationIdentifier = 'Axis'
-    Then The value of attribute RepresentationType must be Curve3D
+    Given .RepresentationIdentifier. is "Axis"
+
+    Then .RepresentationType. must be "Curve3D"
+
 
 
   @E00010
   Scenario: Agreement on each IfcAlignment using correct representation - Type = 'FootPrint'
 
-    Given RepresentationIdentifier = 'FootPrint'
-    Then The value of attribute RepresentationType must be Curve2D
+    Given .RepresentationIdentifier is 'FootPrint'
+
+    Then .RepresentationType. must be "Curve2D"
 
 
   @E00010
   Scenario: Agreement on each IfcAlignment using correct representation items - Type
 
-    Then The type of attribute Items must be IfcGradientCurve or IfcSegmentedReferenceCurve or IfcCompositeCurve or IfcIndexedPolycurve or IfcPolyline or IfcOffsetCurveByDistance
+    Given its attribute .Items.
+
+    Then [Its type] must be .IfcGradientCurve. or .IfcSegmentedReferenceCurve. or .IfcCompositeCurve. or .IfcIndexedPolycurve. or .IfcPolyline. or .IfcOffsetCurveByDistance.

features/ALS006_Alignment-horizontal-shape-representation.feature → features/Rules/ALS-Alignment_Geometry/ALS006_Alignment-horizontal-shape-representation.feature

@@ -6,18 +6,20 @@ The rule verifies that IfcAlignmentHorizontal is represented correctly with repr
 
   Background:
     Given A model with Schema "IFC4.3"
-    Given An IfcAlignmentHorizontal
-    Given Its attribute Representation
-    Given Its attribute Representations
+    Given an .IfcAlignmentHorizontal.
+    Given Its attribute .Representation.
+    Given Its attribute .Representations.
 
   @E00020
   Scenario: Agreement on each IfcAlignmentHorizontal using correct representation - Value
 
-    Then The value of attribute RepresentationIdentifier must be Axis
-    Then The value of attribute RepresentationType must be Curve2D
+    Then .RepresentationIdentifier. must be "Axis"
+    Then .RepresentationType. must be "Curve2D"
 
 
   @E00010
   Scenario: Agreement on each IfcAlignmentHorizontal using correct representation - Type
 
-    Then The type of attribute Items must be IfcCompositeCurve or IfcIndexedPolycurve or IfcPolyline
+    Given Its attribute .Items.
+
+    Then [Its type] must be .IfcCompositeCurve. or .IfcIndexedPolycurve. or .IfcPolyline.