Previous Table of Contents Next


9.20.1 Type


   A type constrains the values represented by a typed element.

   Description

   A type serves as a constraint on the range of values represented by a typed element. Type is an abstract metaclass.

   Generalizations

   • “NamedElement? on page 71

   Attributes

   No additional attributes

   Associations

   No additional associations

   Constraints

   No additional constraints

   Additional Operations

   [1] The query conformsTo() gives true for a type that conforms to another. By default, two types do not conform to each other. This query is intended to be redefined for specific conformance situations.

   conformsTo(other: Type): Boolean;

   conformsTo = false

   Semantics

   A type represents a set of values. A typed element that has this type is constrained to represent values within this set.

   Notation

   No general notation