public interface EditorAdapter
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getCurrFile() |
void |
pasteToCaretPos(java.lang.String text)
Paste text into the current caret position of the editor.
|
void |
saveContents()
Save the contents of the current file being edited.
|
void |
showSourceLine(int lineNumber,
boolean highlight)
Seek the editor to a source line in the current file.
|
void |
showSourceLine(ISourceLocation sourceLocation,
boolean highlight)
Seek the editor to a SourceLocation and highlight if specified.
|
void |
showSourceLine(java.lang.String filePath,
int lineNumber,
boolean highlight)
Seek the editor to a source line in the file specified.
|
void |
showSourcelineAnnotation(java.lang.String filePath,
int lineNumber,
java.util.List items)
Implement if inline annotations are supported by the editor.
|
void showSourceLine(java.lang.String filePath,
int lineNumber,
boolean highlight)
void showSourceLine(ISourceLocation sourceLocation, boolean highlight)
void showSourceLine(int lineNumber,
boolean highlight)
java.lang.String getCurrFile()
void saveContents()
throws java.io.IOException
java.io.IOExceptionvoid pasteToCaretPos(java.lang.String text)
void showSourcelineAnnotation(java.lang.String filePath,
int lineNumber,
java.util.List items)
filePath - path to the file that should get the annotationlineNumber - line number for the annotationitems - list of relations to be rendered as the annotation