Public Member Functions | |
int | getLineNo () |
LogicParseException () | |
LogicParseException (int lineNo) | |
Protected Attributes | |
int | lineNo |
This exception is thrown when an parse error occurs while parsing logical sentences.
Definition at line 35 of file LogicParseException.java.
ATPInterface.LogicParseException.LogicParseException | ( | ) | [inline] |
Definition at line 39 of file LogicParseException.java.
ATPInterface.LogicParseException.LogicParseException | ( | int | lineNo | ) | [inline] |
Definition at line 43 of file LogicParseException.java.
int ATPInterface.LogicParseException.getLineNo | ( | ) | [inline] |
Definition at line 47 of file LogicParseException.java.
int ATPInterface.LogicParseException.lineNo [protected] |
Definition at line 37 of file LogicParseException.java.