https://github.com/pierre-24/pygments-ocl
OCL (object constraint language) pygments parser
https://github.com/pierre-24/pygments-ocl
Last synced: about 2 months ago
JSON representation
OCL (object constraint language) pygments parser
- Host: GitHub
- URL: https://github.com/pierre-24/pygments-ocl
- Owner: pierre-24
- Created: 2019-11-19T08:31:55.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2021-03-29T21:29:11.000Z (about 4 years ago)
- Last Synced: 2025-03-28T06:02:29.243Z (2 months ago)
- Language: Python
- Size: 11.7 KB
- Stars: 3
- Watchers: 2
- Forks: 2
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Pygments OCL
A pygments plugin for OCL ([Object Constraint Language](https://en.wikipedia.org/wiki/Object_Constraint_Language)).
Packaged from [the work](https://github.com/soundasleep/iaml/tree/master/org.openiaml.docs.tools/latex/pygments-ocl) of [@soundasleep](https://github.com/soundasleep/).To **install** it, just use pip:
```bash
pip3 install git+ssh://[email protected]/pierre-24/pygments-ocl.git
```Then, `ocl` should appear as a lexer:
```text
$ 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,
```text
echo "context Car: inv: self.stuff->forAll(p1, p2|p1 <> p2 implies p1.ID <> p2.id)" | pygmentize -l "ocl" -f "terminal"
```