public class LibraryDiagnostic
extends org.eclipse.xtext.diagnostics.ExceptionDiagnostic
Constructor and Description |
---|
LibraryDiagnostic(java.lang.Exception exception) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getMessage() |