de.uni_tuebingen.sfb.lichtenstein.exceptions
Class VariableReplacementException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException
              extended by de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableReplacementException
All Implemented Interfaces:
Serializable

public class VariableReplacementException
extends VisitorException

A class for indicating a variable could not be replaced while visiting a formula.

Author:
Hendrik Maryns
See Also:
Serialized Form

Constructor Summary
VariableReplacementException(Variable var1, Variable var2)
          Initialize a new VariableReplacementException, indicating one variable could not be replaced by another.
 
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

VariableReplacementException

public VariableReplacementException(Variable var1,
                                    Variable var2)
Initialize a new VariableReplacementException, indicating one variable could not be replaced by another.

Parameters:
var1 - The variable that could not be replaced.
var2 - The variable that was supposed to replace the other one.


© Copyright 2008 Hendrik Maryns   Creative Commons License