Class CARDINALITY

Express constraints on the cardinality of container objects which are the values of
multiply-valued attributes, including uniqueness and ordering, providing the
means to state that a container acts like a logical list, set or bag. The cardinality
cannot contradict the cardinality of the corresponding attribute within the relevantreference model.

Attribut is_ordered

True if the members of the container attribute
to which this cardinality refers are ordered.

Declaration :

Uml : + is_ordered : Boolean, multiplicity : 1
C++ : public: bool is_ordered
Java : public boolean is_ordered

Attribut is_unique

True if the members of the container attribute
to which this cardinality refers are unique.

Declaration :

Uml : + is_unique : Boolean, multiplicity : 1
C++ : public: bool is_unique
Java : public boolean is_unique

Attribut interval

The interval of this cardinality.

Declaration :

Uml : + interval : INTERVAL<Integer>, multiplicity : 1
C++ : public: INTERVAL<Integer> interval
Java : public INTERVAL<Integer> interval

Operation is_bag

True if the semantics of this cardinality represent a set, i.e. unordered, unique membership.

Declaration :

Uml : + is_bag() : Boolean
C++ : public: bool is_bag()
Java : public boolean is_bag()

Operation is_list

True if the semantics of this cardinality represent a list, i.e. ordered, non-unique membership.

Declaration :

Uml : + is_list() : Boolean
C++ : public: bool is_list()
Java : public boolean is_list()

Operation is_set

True if the semantics of this cardinality represent a bag, i.e. unordered, non-unique membership.

Declaration :

Uml : + is_set() : Boolean
C++ : public: bool is_set()
Java : public boolean is_set()