All Packages Class Hierarchy This Package Previous Next Index
Class term.TermFaultException
java.lang.Object
|
+----java.lang.Throwable
|
+----java.lang.Exception
|
+----java.lang.RuntimeException
|
+----term.TermFaultException
- public class TermFaultException
- extends RuntimeException
Exception thrown during parsing or calculating a Term/TermBaum.
Includes the error type and position inside the Term string.
-
Termposition
- The location where the error occurred in the Term string.
-
TermFaultException(int, String)
- Builds a new Exception for the specified error at the given location.
-
TermFaultException(String)
- Short form if the location inside the Term string is unknown.
-
toString()
-
-
where()
-
Termposition
protected int Termposition
- The location where the error occurred in the Term string.
-1 = unknown
TermFaultException
public TermFaultException(int Position,
String Fehler)
- Builds a new Exception for the specified error at the given location.
TermFaultException
public TermFaultException(String Fehler)
- Short form if the location inside the Term string is unknown.
toString
public String toString()
- Overrides:
- toString in class Throwable
where
public int where()
All Packages Class Hierarchy This Package Previous Next Index