public class Diagnostic
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Diagnostic.Kind |
| Constructor and Description |
|---|
Diagnostic(Diagnostic.Kind kind)
Initialize a new Diagnostic.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getColumn()
Get the column associated with this diagnostic.
|
Diagnostic.Kind |
getKind()
Get the kind of this diagnostic.
|
int |
getLine()
Get the line associated with this diagnostic.
|
java.lang.String |
getMessage()
Get the message associated with this diagnostic.
|
oracle.ide.navigation.NavigationPoint |
getNavigationPoint()
Get the override of the default NavigationPoint, which is based on
the Storage/line/column combination, for this diagnostic.
|
int |
getNumber()
Get the number associated with this diagnostic.
|
Storage |
getStorage()
Get the Storage associated with this diagnostic.
|
void |
setColumn(int column)
Set the column associated with this diagnostic.
|
void |
setLine(int line)
Set the line associated with this diagnostic.
|
void |
setMessage(java.lang.String message)
Set the message associated with this diagnostic.
|
void |
setNavigationPoint(oracle.ide.navigation.NavigationPoint navigationPoint)
Set the NavigationPoint used to navigate to the diagnostic location.
|
void |
setNumber(int number)
Set the number associated with this diagnostic.
|
void |
setStorage(Storage storage)
Set the Storage associated with this diagnostic.
|
public Diagnostic(Diagnostic.Kind kind)
kind - The kind of the diagnosticpublic void setStorage(Storage storage)
storage - A Storage which can be nullpublic Storage getStorage()
public void setLine(int line)
line - A line numberpublic int getLine()
public void setColumn(int column)
column - A column numberpublic int getColumn()
public void setNumber(int number)
number - A column numberpublic int getNumber()
public void setMessage(java.lang.String message)
message - A messagepublic java.lang.String getMessage()
public void setNavigationPoint(oracle.ide.navigation.NavigationPoint navigationPoint)
navigationPoint - The new NavigationPointpublic oracle.ide.navigation.NavigationPoint getNavigationPoint()
public Diagnostic.Kind getKind()