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.

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.