text/x-ocl
*.ocl
--
"
"
and
attr
body
context
derive
def
endpackage
false
in
init
inv
let
oper
package
post
pre
self
true
abs
and
concat
if
implies
else
endif
floor
then
or
not
size
substring
xor
select
exists
forAll
notEmpty
reject
Boolean
boolean
Integer
int
Real
real
String
string