org.eclipse.ocl.examples.pivot.context

Class DiagnosticContext

java.lang.Object

org.eclipse.ocl.examples.pivot.context.AbstractParserContext

org.eclipse.ocl.examples.pivot.context.ClassContext

org.eclipse.ocl.examples.pivot.context.DiagnosticContext

All Implemented Interfaces:

ParserContext

public class DiagnosticContext
extends ClassContext

DiagnosticContext supports parsing an OCL diagnostic expression reusing the context of an invariant.

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.context.ClassContext

classContext

Fields inherited from class org.eclipse.ocl.examples.pivot.context.AbstractParserContext

metaModelManager, uri

Constructor Summary

Constructors

Constructor and Description
DiagnosticContext(ClassContext parserContext, Constraint constraint)

Method Summary

Methods inherited from class org.eclipse.ocl.examples.pivot.context.ClassContext

getClassContext, initialize

Methods inherited from class org.eclipse.ocl.examples.pivot.context.AbstractParserContext

createBaseResource, getExpression, getMetaModelManager, parse

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DiagnosticContext

public DiagnosticContext(ClassContext parserContext,
                 Constraint constraint)