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.

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, setSelfName

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DiagnosticContext

public DiagnosticContext(ClassContext parserContext,
                         Constraint constraint)