de.uni_tuebingen.sfb.lichtenstein.exceptions
Class VariableIndexOutOfBoundsException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              java.lang.IndexOutOfBoundsException
                  de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableIndexOutOfBoundsException

All Implemented Interfaces:

Serializable

public class VariableIndexOutOfBoundsException
extends IndexOutOfBoundsException

An exception thrown by formulas to indicate that an index is either negative or greater than the number of variables.

Author:

Hendrik Maryns

See Also:

Serialized Form

Constructor Summary

VariableIndexOutOfBoundsException(Formula form, int index)
Constructs a new VariableIndexOutOfBoundsException class with an argument indicating the illegal index.

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

VariableIndexOutOfBoundsException

public VariableIndexOutOfBoundsException(Formula form,
                                         int index)

Constructs a new VariableIndexOutOfBoundsException class with an argument indicating the illegal index.

Parameters:

form - The formula which threw the exception.

index - The illegal index.