jtabwb.engine

Class NoSuchSubgoalException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.util.NoSuchElementException

jtabwb.engine.NoSuchSubgoalException

All Implemented Interfaces:

java.io.Serializable

public class NoSuchSubgoalException
extends java.util.NoSuchElementException

Specialised version of NoSuchElementException thrown by the _RegularRule.nextSubgoal() and _BranchExistsRule.nextBranchExistsSubgoal() to to indicate that there are no more subgoal returned by the rule.

Author:

Mauro Ferrari

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NoSuchSubgoalException() Constructs a NoSuchConclusionException with null as its error message string.
NoSuchSubgoalException(int undefinedBranch) Constructs a NoSuchConclusionException, saving a reference to the error message string "Undefined branch: i" where i is the specified integer, for later retrieval by the Throwable.getMessage().
NoSuchSubgoalException(java.lang.String message) Constructs a NoSuchConclusionException, saving a reference to the error message string str for later retrieval by the Throwable.getMessage().

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NoSuchSubgoalException

public NoSuchSubgoalException()

Constructs a NoSuchConclusionException with null as its error message string.

NoSuchSubgoalException

public NoSuchSubgoalException(java.lang.String message)

Constructs a NoSuchConclusionException, saving a reference to the error message string str for later retrieval by the Throwable.getMessage().

Parameters:

message - the message.

NoSuchSubgoalException

public NoSuchSubgoalException(int undefinedBranch)

Constructs a NoSuchConclusionException, saving a reference to the error message string "Undefined branch: i" where i is the specified integer, for later retrieval by the Throwable.getMessage().

Parameters:

undefinedBranch - the index of the undefined subgoal