org.eclipse.ocl.examples.xtext.essentialocl.services
Class EssentialOCLLinkingDiagnosticMessageProvider

java.lang.Object
  org.eclipse.xtext.linking.impl.LinkingDiagnosticMessageProvider
      org.eclipse.ocl.examples.xtext.essentialocl.services.EssentialOCLLinkingDiagnosticMessageProvider

All Implemented Interfaces:

org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider, org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider.Extended

public class EssentialOCLLinkingDiagnosticMessageProvider
extends org.eclipse.xtext.linking.impl.LinkingDiagnosticMessageProvider

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider

org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider.Extended, org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider.ILinkingDiagnosticContext

Constructor Summary

EssentialOCLLinkingDiagnosticMessageProvider()

Method Summary

org.eclipse.xtext.diagnostics.DiagnosticMessage

getUnresolvedProxyMessage(org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider.ILinkingDiagnosticContext context)

Methods inherited from class org.eclipse.xtext.linking.impl.LinkingDiagnosticMessageProvider

getIllegalCrossReferenceMessage, getIllegalNodeMessage, getViolatedBoundsConstraintMessage, getViolatedUniqueConstraintMessage

Methods inherited from class java.lang.Object

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

Constructor Detail

EssentialOCLLinkingDiagnosticMessageProvider

public EssentialOCLLinkingDiagnosticMessageProvider()

Method Detail

getUnresolvedProxyMessage

public org.eclipse.xtext.diagnostics.DiagnosticMessage getUnresolvedProxyMessage(org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider.ILinkingDiagnosticContext context)

Specified by:

getUnresolvedProxyMessage in interface org.eclipse.xtext.linking.ILinkingDiagnosticMessageProvider

Overrides:

getUnresolvedProxyMessage in class org.eclipse.xtext.linking.impl.LinkingDiagnosticMessageProvider