OCL Primer (1)

In use console, make queries by using ? followed by OCL expression(s).

use> help
use> quit

use> ? 1+1=2
use> ? Set{1,3,2}->size() -- sum()
use> ? let s = Set{1,3,2} in s->select(v|v>2)
use> ? let s = Set{1,3,2} in s->forAll(v|v<5)

use> ... How to get the max value ?

Thus, OCL knows numbers and collections (sets, sequences, ...) with logical expressions (e.g. forAll).

? let s = Set{1,3,2} in s->select(v|s->forAll(w|w<=v))