org.eclipse.ocl.pivot.internal.context

Class DiagnosticContext

java.lang.Object

org.eclipse.ocl.pivot.internal.context.AbstractParserContext

org.eclipse.ocl.pivot.internal.context.ClassContext

org.eclipse.ocl.pivot.internal.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.pivot.internal.context.ClassContext

classContext, instanceContext

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

environmentFactory, rootElement, uri

Constructor Summary

Constructors

Constructor and Description
DiagnosticContext(ClassContext parserContext, Constraint constraint)

Method Summary

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

getClassContext, getInstanceContext, initialize

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

createBaseResource, getDoSetupMessage, getEnvironmentFactory, getExpression, getMetamodelManager, getRootElement, parse, setRootElement

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)