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()