Description of the method
|Description:||div method returns the integer quotient of the division of the given value and the parameter.|
|OCL:||self.Id.toInteger() div 9 = 3|
|Description:||The example rule compares the integer quotient of the division of the <Id> and 9 to the integer 3. If the integer quotient is 3, true will be returned. Notice the syntax is different from the normal syntax of methods.|
The XML snippet below would pass this check.
Also the XML snippet below would pass this check. (35/9=3.89)
The snippet below however would not pass this check. (9/9=1 and it's not equal to 3)