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