jpaul.DataStructs
Class InterruptTraversalException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by jpaul.DataStructs.InterruptTraversalException
All Implemented Interfaces:
java.io.Serializable

public class InterruptTraversalException
extends java.lang.RuntimeException

InterruptTraversalException is a special exception for prematurely terminating the traversal of a data structure. Some data structures (including non-trivial ones, like jpaul.Graphs.DiGraph) offer methods to traverse all their elements (e.g., Relation.forAllEntries, DiGraph.dfs). As a general rule, these methods take as arguments Visitors (or similar classes), and invoke their code on all relevant entries. If a visitor decides that the enclosing traversal should stop, it may throw an InterruptTraversalException.

Version:
$Id: InterruptTraversalException.java,v 1.3 2006/01/29 16:05:28 adam_kiezun Exp $
Author:
Alex Salcianu - salcianu@alum.mit.edu
See Also:
Serialized Form

Constructor Summary
InterruptTraversalException()
          Creates a InterruptTraversalException.
InterruptTraversalException(java.lang.String message)
          Creates a InterruptTraversalException with a certain message.
 
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

InterruptTraversalException

public InterruptTraversalException()
Creates a InterruptTraversalException.


InterruptTraversalException

public InterruptTraversalException(java.lang.String message)
Creates a InterruptTraversalException with a certain message.



Copyright 2005 Alexandru Salcianu - salcianu@alum.mit.edu