Previous | Table of Contents | Next |
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