public static final class ErrorProvider.Context extends Object
Constructor and Description |
---|
Context(FileObject file,
ErrorProvider.Kind errorKind)
Construct a new
Context . |
Context(FileObject file,
int offset,
ErrorProvider.Kind errorKind)
Construct a new
Context . |
Context(FileObject file,
int offset,
ErrorProvider.Kind errorKind,
FileObject hintsConfigFile)
Construct a new
Context . |
Modifier and Type | Method and Description |
---|---|
void |
cancel()
Cancel the computation.
|
ErrorProvider.Kind |
errorKind()
The type of errors/warnings should be computed.
|
FileObject |
file()
The file for which the errors/warnings should be computed.
|
FileObject |
getHintsConfigFile()
The file which contains preferences for the the errors/warnings to be computed.
|
int |
getOffset()
The offset for which the errors/warnings should be computed.
|
boolean |
isCancelled()
Checks if the computation should be cancelled.
|
void |
registerCancelCallback(Runnable r)
Register a Runnable which will be called when this
computation is cancelled.
|
public Context(FileObject file, ErrorProvider.Kind errorKind)
Context
.file
- file for which the errors/warnings should be computederrorKind
- the type of errors/warnings that should be computedpublic Context(FileObject file, int offset, ErrorProvider.Kind errorKind)
Context
.file
- file for which the errors/warnings should be computedoffset
- offset for which the errors/warnings should be computederrorKind
- the type of errors/warnings that should be computedpublic Context(FileObject file, int offset, ErrorProvider.Kind errorKind, FileObject hintsConfigFile)
Context
.file
- file for which the errors/warnings should be computedoffset
- offset for which the errors/warnings should be computederrorKind
- the type of errors/warnings that should be computedhintsConfigFile
- file which contains preferences for the the errors/warnings to be computedpublic FileObject getHintsConfigFile()
public FileObject file()
public int getOffset()
public ErrorProvider.Kind errorKind()
public boolean isCancelled()
public void cancel()