|
Dresden OCL Toolkit | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
OCLEditor
.OCLEditor
add
.OclRoot
object
given as argument
*
and /
operators defined.Ocl
and OclFactory
.Ocl.getOclRepresentationFor(...)
to get
instances of library classes
size
that is
defined on the OCL Collections and on the type String.OclAny
s operation
oclInState
is used.-
that is defined for
the OCL types Set
, Real
and Integer
.and
, or
and xor
have precedence
over implies
(and
binds as strongly as
or
)
|
Dresden OCL Toolkit | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |