org.eclipse.ocl.examples.xtext.base.cs2pivot
Class LibraryDiagnostic

java.lang.Object
  org.eclipse.xtext.diagnostics.ExceptionDiagnostic
      org.eclipse.ocl.examples.xtext.base.cs2pivot.LibraryDiagnostic

All Implemented Interfaces:

org.eclipse.emf.ecore.resource.Resource.Diagnostic, org.eclipse.xtext.diagnostics.Diagnostic

public class LibraryDiagnostic
extends org.eclipse.xtext.diagnostics.ExceptionDiagnostic

Field Summary

Fields inherited from interface org.eclipse.xtext.diagnostics.Diagnostic

LINKING_DIAGNOSTIC, SYNTAX_DIAGNOSITC, SYNTAX_DIAGNOSTIC

Constructor Summary

LibraryDiagnostic(java.lang.Exception exception)

Method Summary

java.lang.String

getMessage()

Methods inherited from class org.eclipse.xtext.diagnostics.ExceptionDiagnostic

getColumn, getException, getLength, getLine, getLocation, getOffset, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LibraryDiagnostic

public LibraryDiagnostic(java.lang.Exception exception)

Method Detail

getMessage

public java.lang.String getMessage()

Specified by:

getMessage in interface org.eclipse.emf.ecore.resource.Resource.Diagnostic

Overrides:

getMessage in class org.eclipse.xtext.diagnostics.ExceptionDiagnostic