Checker User's Guide
Section 2 - CHECKER

2 CHECKER
Constraint Checking Details
<<Property Set Table Size>> Full

Checked by rules_checker.

<<General Axis Constraints>> Partial

Part 1 is not completely enforced. Although syntax_checker checks that such <Axis> instances use numeric values, it does not check the underlying binding of the SE_Element_Type. Part 1.2 and 1.3 are enforced, although the scale restriction for 1.3 is not.

Part 2 is enforced by syntax_checker.

Part 3 is partially enforced by syntax_checker; distinct values are enforced, although not the disjoint or monotonic properties.

Part 4 is partially enforced by syntax_checker; the monotonicity and EA type-binding are not enforced.

Part 5 is not fully enforced; syntax_checker checks that the type is numeric and is not an interval type, but does not fully check for consistency of usage.

<<Spatial Axis Constraints>> Partial

Part (a) is a definition of spatial <Axis> rather than a checkable constraint; that is provided by (b). Parts (b), (c), and (d) are enforced by rules_checker.

<<Colour Mapping Constraints>> Partial

Part (a) is enforced by rules_checker.

Parts (b), (c), and (d) are not enforced.

<<Colour Table Size>> Full Checked by rules_checker.
<<Valid Node Edge Relationships>> Partial

Part 1.3 is enforced.

<<Contained Node Constraints>> None  
<<Continuous LOD Constraints>> Partial

Part 1 is enforced by rules_checker. Part 2 is not enforced.

<<Cylindrical Structure>> None

 

<<Distinct Link Objects>> Partial

Checked by rules_checker for the following classes:

Still unchecked:

<<Edges Bordering Faces>> None  
<<Environment Root SRF>> Partial

All parts are enforced by rules_checker, although 'extended' coordinates are not allowed for.

<<Face Direction Levels 0 3>> None  
<<Face Ring Edge Consistency>> None  
<<Feature Edge Constraints>> Partial

Part 1 is enforced by rules_checker.

Parts 2, 3, and 4 are not enforced.

<<Hierarchy Summary Constraints>> Partial

Part 1 is enforced by syntax_checker.

Parts 2, 3, and 4 are enforced by rules_checker.

Part 5 is enforced by rules_checker to the extent that the associates shall match the class value, but does not check the DRM Class and EDCS Usage summary information against the structure being summarized.

<<Homogeneous Light Rendering Properties>> Full

Enforced by rules_checker.

<<Image Anchor SRF>> None  
<<Image Mapping Functions and Texture Coordinates>> None  
<<Index Codes within Tables>> Partial

Part 1 is enforced by rules_checker.

<<Legal Time Ranges>> Full

Checked by syntax_checker.

<<LOD Related Organizing Principle>> Partial

Part 1 is enforced by rules_checker.

Parts 2 and 3 are not enforced.

<<Linear Geometry Structure>> None

 

<<LSR Transformation Components>> Partial

The rules_checker utility verifies that the presence of the components conforms with the constraint, but if both representations are present, does not check that they are mathematically equivalent.

<<Mandatory Metadata>> Partial

The syntax_checker utility enforces this constraint, except for the following:

  • URN validation
  • email address validation
  • web_site validation

<<Finite Element Mesh Structure>> None  
<<Model Reference Type Constraints>> Partial

Part 1 is enforced by rules_checker.

Part 2.1 is not checked.

Part 2.2 is checked by syntax_checker.

<<Model SRF>> Partial

Part 1 is partially enforced. Part 1.1 is not checked, while part 1.2 is enforced by syntax_checker.

Part 2 is not enforced.

Part 3 is enforced by rules_checker.

<<Nested Primitive Geometry>> None  
<<Property Constraints>> Full

Enforced by rules_checker.

<<Property Meaning Constraints>> Full

Enforced by rules_checker.

<<Constraints On Components>> None  
<<Constraints On Associates>> Partial

Enforced for <Interface Template> associations to <Variable> instances.

<<Non Cyclic Aggregations>> None  
<<Non Empty Environment Root Instance>> Full

Enforced by rules_checker.

<<Non Empty Model Instance>> Full

Checked by rules_checker.

<<Non Overlapping DRM Class Summary Item Instances>> Full

Checked by rules_checker, which checks whether the list is overlapping. However, currently rules_checker does not guarantee that the DRM class summary actually corresponds to the data being summarized.

<<Non Self Overlapping Perimeter Data Locations>> Partial

Checked by rules_checker, which checks only whether the <Perimeter Data> <Location> components specify distinct locations in space.

<<Octant Related Organizing Principle>> Partial

Partially enforced by rules_checker, which currently ensures that the required <Spatial Extent> instances are present, but not that their relationships with one another are compliant.

<<Parallelepiped Structure>> None

 

<<Perimeter Related Organizing Principle>> None

 

<<Polygon As Bounded Plane>> None

 

<<Precedence of Property Set Index>> None

Not applicable; this is not a checkable constraint but rather specifies precedence for operations.

<<Property Characteristic Constraints>> None

 

<<Property Meaning Constraints>> Partial

Parts 1 and 2 are not currently enforced.

Part 3 is enforced by syntax_checker.

Part 4 is partially enforced by syntax_checker.

<<Quadrant Related Organizing Principle>> Partial

Part 1 is enforced by rules_checker.

Part 2.1 is partially enforced.

<<Characteristics Of Property Table Reference>> Partial

Part 1 is enforced by rules_checker, the rest is not currently enforced.

<<Required Reference Vector Location>> Full

Enforced by rules_checker.

<<Separating Plane Related Organizing Principle>> Partial

Part 1 is enforced by rules_checker, which also checks that each <Separating Plane> is an actual geometric plane.

<<Spatial Index Related Organizing Principle>> Partial

Part 1 is enforced by syntax_checker, apart from 1.3.3, which is not enforced.

Part 2 is not enforced.

<<State Related Organizing Principle>> Partial

Parts 1 and 2 are enforced by syntax_checker.

Part 3 is not enforced.

<<Time Dependency>> Full

Part 5 is enforced by syntax_checker, the rest by rules_checker.

<<Time Interval Calculation>> Full

Enforced by rules_checker.

<<Union Organizing Principle>> None  
<<Variable Meaning Constraints>> Partial

Part 1 is partially enforced by syntax_checker, in that EEs, EMs, and <Data Table> index types may not be specified, but full enforcement is not yet provided.

Part 2 is enforced by syntax_checker.

Part 3 is partially enforced by syntax_checker.


Return to:Top of this Page, Table of Contents

Last updated: August 23, 2005 Copyright © 2005 SEDRIS