jpaul.DataStructs
Class InterruptTraversalException

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