This chapter describes all the OCL constructs that refer to information in user-defined types.
When a user-defined type is specified in an UML diagram, a number of features of that type are given. The features of a user-defined type include the following:
Association ends that are derived from associations and aggregations
Each feature can be used in an OCL expression. This section explains how the first four features may be used. Section 8.2 explains how to use the information in an association.
Attributes of user-defined types may be used in expressions by writing a dot followed by the attribute name. As with ...