public class DiagnosticSupport extends Object
Constructor and Description |
---|
DiagnosticSupport()
Constructor, will instantiate a default diagnostic.
|
DiagnosticSupport(BasicDiagnostic diagnostic)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected BasicDiagnostic |
createDiagnostic()
Creates the BasicDiagnostic that will be used by this computation.
|
BasicDiagnostic |
getDiagnostic() |
void |
merge(Diagnostic resourceDiagnostic)
Thread safely merge the given diagnostic to the
diagnostic field. |
public DiagnosticSupport(BasicDiagnostic diagnostic)
diagnostic
- The diagnostic to wrap, must not be null
.public DiagnosticSupport()
public BasicDiagnostic getDiagnostic()
protected BasicDiagnostic createDiagnostic()
public void merge(Diagnostic resourceDiagnostic)
diagnostic
field.resourceDiagnostic
- the diagnostic to be added to the global diagnostic.
Copyright (c) 2006, 2015 Obeo and others. All rights reserved.