org.eclipse.ocl.examples.domain.messages
Classes
EvaluatorMessages
StatusCodes