de.uni_tuebingen.sfb.lichtenstein.exceptions
Class VariableReplacementException
java.lang.Object
java.lang.Throwable
java.lang.Exception
de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException
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
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
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