https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/parser/OCLLexerprs.BaseCheck.html
OCLLexerprs.BaseCheck (MDT-OCL Documentation)
mdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/parser/OCLLexerprs.ProsthesesIndex.html
OCLLexerprs.ProsthesesIndex (MDT-OCL Documentation)
mdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/parser/OCLLexerprs.TermCheck.html
OCLLexerprs.TermCheck (MDT-OCL Documentation)
mdtocldocumentation