A pygments plugin for OCL (Object Constraint Language). Packaged from the work of @soundasleep.
To install it, just use pip:
pip3 install git+ssh://git@github.com/pierre-24/pygments-ocl.git
Then, ocl
should appear as a lexer:
$ pygmentize -L lexers | grep -i "ocl"
* ocl:
OCL (filenames *.ocl)
To use it, just use the "ocl" language.
You can check the effect by using, for example,
echo "context Car: inv: self.stuff->forAll(p1, p2|p1 <> p2 implies p1.ID <> p2.id)" | pygmentize -l "ocl" -f "terminal"