de.uni_tuebingen.sfb.lichtenstein.exceptions
Class SubformulaIndexOutOfBoundsException

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

Constructor Summary
SubformulaIndexOutOfBoundsException(int index)
          Constructs a new SubformulaIndexOutOfBoundsException 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

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