Enumeration

Description
An enumeration defines a set of literals that can be used as its values.

Attributes

Semantics
An enumeration defines a finite ordered set of values, such as {red, green, blue}.

The values denoted by typed elements whose type is an enumeration must be taken from this set.

Notation
The notation for Basic::Enumeration is the same as that for Constructs::Enumeration with the omission of those aspects
of the notation that cannot be represented by the Basic model.