public class ErrorHandler extends Object
Modifier and Type | Field and Description |
---|---|
protected int |
current |
protected int |
currentOffset |
protected List<org.scijava.ui.swing.script.ErrorHandler.Error> |
list |
protected org.scijava.ui.swing.script.ErrorHandler.Parser |
parser |
protected JTextArea |
textArea |
Constructor and Description |
---|
ErrorHandler(JTextArea textArea) |
ErrorHandler(ScriptLanguage language,
JTextArea textArea,
int startOffset) |
Modifier and Type | Method and Description |
---|---|
void |
addError(String path,
int line,
String text) |
int |
getErrorCount() |
int |
getLine() |
String |
getPath() |
Position |
getPosition() |
void |
markLine() |
boolean |
nextError(boolean forward) |
void |
scrollToVisible(int offset) |
boolean |
setCurrent(int index) |
protected List<org.scijava.ui.swing.script.ErrorHandler.Error> list
protected int current
protected JTextArea textArea
protected int currentOffset
protected org.scijava.ui.swing.script.ErrorHandler.Parser parser
public ErrorHandler(JTextArea textArea)
public ErrorHandler(ScriptLanguage language, JTextArea textArea, int startOffset)
public int getErrorCount()
public boolean setCurrent(int index)
public boolean nextError(boolean forward)
public String getPath()
public int getLine()
public Position getPosition()
public void markLine() throws BadLocationException
BadLocationException
public void scrollToVisible(int offset)
Copyright © 2015–2022 SciJava. All rights reserved.