Package de.uni_tuebingen.sfb.lichtenstein.exceptions

Class Summary

Messages

A class automatically generated by Eclipse for externalising strings.

Exception Summary

FormatException	An exception indicating the format of a NEGRA corpus could not be determined.
FunctionArgumentsMismatchException	An exception class for signalling the mismatch of the arguments to a function.
LispFormulaParseException	An exception indicating something went wrong when parsing the formula.
SubformulaIndexOutOfBoundsException	An exception thrown by formulas to indicate that an index is either negative or greater than the number of subformulas.
VariableIndexOutOfBoundsException	An exception thrown by formulas to indicate that an index is either negative or greater than the number of variables.
VariableReplacementException	A class for indicating a variable could not be replaced while visiting a formula.
VisitorException	A class for indicating an error occurred while a visitor was visiting a formula.