de.uka.ilkd.pp
Class UnbalancedBlocksException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              java.lang.IllegalStateException
                  de.uka.ilkd.pp.UnbalancedBlocksException

All Implemented Interfaces:

java.io.Serializable

public class UnbalancedBlocksException
extends java.lang.IllegalStateException

Thrown by many methods of Layouter to indicate illegal usage. This exception indicates that the sequence of method calls was illegal, i.e. more blocks were ended than begun, the Layouter is closed before all blocks are ended, a break occurs outside of any block, etc.

This is a RuntimeException, and if it is ever thrown, it means that there is a mistake in the program using the Layouter class.

See Also:

Serialized Form

Constructor Summary

UnbalancedBlocksException()

UnbalancedBlocksException(java.lang.String s)

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

UnbalancedBlocksException

public UnbalancedBlocksException()

UnbalancedBlocksException

public UnbalancedBlocksException(java.lang.String s)