de.uni_tuebingen.sfb.lichtenstein.exceptions
Class VisitorException
java.lang.Object
java.lang.Throwable
java.lang.Exception
de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException
- All Implemented Interfaces:
- Serializable
- Direct Known Subclasses:
- VariableReplacementException
public class VisitorException
- extends Exception
A class for indicating an error occurred while a visitor was visiting a formula.
- Author:
- Hendrik Maryns
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
VisitorException
public VisitorException()
- Initialize a new visitor exception.
VisitorException
public VisitorException(String message)
- Initialize a new VisitorException, with given error message.
- Parameters:
message
- The error message.
© Copyright 2008 Hendrik Maryns