org.eclipse.ocl.edit (MDT-OCL Documentation)