de.uni_tuebingen.sfb.lichtenstein.exceptions
Class VisitorException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by 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

Constructor Summary
VisitorException()
          Initialize a new visitor exception.
VisitorException(String message)
          Initialize a new VisitorException, with given error message.
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

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   Creative Commons License