6 Type Model for ObjectTypes and VariableTypes ToC Previous Next

6.3 Subtyping of ObjectTypes and VariableTypes ToC Previous Next

6.3.1 Overview ToC Previous Next

The HasSubtype ReferenceType defines subtypes of types. Subtyping can only occur between Nodes of the same NodeClass. Rules for subtyping ReferenceTypes are described in 5.3.3.3. There is no common definition for subtyping DataTypes, as described in 5.8.3. The remainder of 6.3 specify subtyping rules for single inheritance on ObjectTypes and VariableTypes.

Previous Next