Original filename: OclLibraryEssenceByPawełWichary.pdf
Author: Paweł Wichary
This PDF 1.5 document has been generated by Microsoft® Word 2013, and has been sent on pdf-archive.com on 24/06/2017 at 10:03, from IP address 156.17.x.x.
The current document download page has been viewed 189 times.
File size: 244 KB (1 page).
Privacy: public file
Download original PDF file
OCL (ver. 2.4) Standard Library essence
For my friends Paweł Wichary
True if self and the argument are the same
True if self and the argument are not the same
True if self was created during the operation
True if self is undefined self as of the given type, type
True if self is an instance of the given type, type
True if self conforms to the given type, type
True if self is in the given state, state
Evaluates to the type of which self is an instance.
Evaluates to true if the self is equal to OclInvalid.
Converse object to one element collection
Set of all instances of the type T
or, and, xor, not, implies, toString()
+, -, *, /, mod(), div(), abs(), max(), min(), toString() [Integer is a subtype of Real, so we can use ‘<’]
<, >, <=, >=, +, -, *, /, abs(), max(), min(), round(), floor(), toString()
+s,concat(s), size(), toLowerCase(), toUpperCase(), substring(i,i), toInteger(), toReal(), indexOf(s),
equalsIgnoreCase(s), at(i), characters():Sequence(string), toBoolean()
Number of occurrences of o in the collection
True if o is not an element of the collection
True if all elements of c are not present in the collection
True if o is an element of the collection
True if all the elements of c contained in the collection
isEmpty() / notEmpty()
True if collection contain no element/ has elements
including(o) / excluding(o)
Returns new collection with o element added/removed
Number of elements in the collection
Addition of all elements in the collection
The element with the min/max value of all elements
The cartesian product operation of self and c2.
Returns the sub-Collection whose type is type but which are/aren’t a
subtype of type. The returned Collection element type T is the type
specified as type.
Recursively flatten collections inside
Change collection type
Everybody is free to use this document for learning purposes. Modifications are not allowed. Ver.1.2