11.3.25 MultiplicityElement

*Generalizations

   •

    MultiplicityElement (from Kernel ) on page 96 (merge increment)

*Operations

   [1] The operation compatibleWith takes another multiplicity as input. It checks if one multiplicity is compatible with another.

   compatibleWith(other : Multiplicity) : Boolean;compatibleWith(other) = Integer.allInstances()->forAll(i : Integer | self.includesCardinality(i) implies other.includesCardinality(i))

   [2] The operation is determines if the upper and lower bound of the ranges are the ones given.

Issue 8170 - add semicolon

   is(lowerbound : integer, upperbound : integer) : Boolean;is(lowerbound, upperbound) = (lowerbound = self.lowerbound and upperbound = self.upperbound)