de.uni_tuebingen.sfb.lichtenstein.exceptions
Class SubformulaIndexOutOfBoundsException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
java.lang.IndexOutOfBoundsException
de.uni_tuebingen.sfb.lichtenstein.exceptions.SubformulaIndexOutOfBoundsException
- All Implemented Interfaces:
- Serializable
public class SubformulaIndexOutOfBoundsException
- extends IndexOutOfBoundsException
An exception thrown by formulas to indicate that an index is either negative or greater than the number of
subformulas.
- 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 |
SubformulaIndexOutOfBoundsException
public SubformulaIndexOutOfBoundsException(int index)
- Constructs a new
SubformulaIndexOutOfBoundsException
class with an argument indicating the illegal
index.
- Parameters:
index
- the illegal index.
© Copyright 2008 Hendrik Maryns