public class JIPErrorEvent extends JIPEvent
JIPEventListener
Modifier and Type | Field and Description |
---|---|
static int |
ID_ERROR
ID of an Error Event
|
ID_CLOSE, ID_ENCODINGCHANGED, ID_END, ID_MORE, ID_OPEN, ID_SINGLETONVARS, ID_SOLUTION, ID_UNDEFPREDICATE, ID_USERINPUTDONE, ID_WAITFORUSERINPUT
Modifier and Type | Method and Description |
---|---|
String |
getError()
Gets the error message
|
int |
getErrorNumber()
Gets the error number
|
JIPRuntimeException |
getException()
Gets the error number
|
String |
getFileName()
Gets the file name where the error was raised
|
int |
getLineNumber()
Gets the line number where the error was raised
|
int |
getPosition()
Gets the position where the error was raised
|
String |
toString()
Gets a string representation of this JIPErrorEvent object
|
public static final int ID_ERROR
public String getError()
public String getFileName()
public int getLineNumber()
public int getPosition()
public int getErrorNumber()
public JIPRuntimeException getException()