public class PolychronyDiagnostic
extends java.lang.Object
Constructor and Description |
---|
PolychronyDiagnostic() |
Modifier and Type | Method and Description |
---|---|
static void |
add(int severity,
java.lang.String message,
org.eclipse.emf.ecore.EObject obj) |
static void |
clear() |
static org.eclipse.emf.common.util.BasicDiagnostic |
getCurrentDiagnostic() |
static org.eclipse.emf.common.util.Diagnostic |
getUniqueDiagnostics()
Iterates on all the Diagnostics contained by the BasicDiagnostic and removes those which appears more than once.
|
public static void add(int severity, java.lang.String message, org.eclipse.emf.ecore.EObject obj)
public static void clear()
public static org.eclipse.emf.common.util.BasicDiagnostic getCurrentDiagnostic()
public static org.eclipse.emf.common.util.Diagnostic getUniqueDiagnostics()