public class NoSuchSubgoalException
extends java.util.NoSuchElementException
NoSuchElementException
thrown by the
_RegularRule.nextSubgoal()
and
_BranchExistsRule.nextBranchExistsSubgoal()
to to indicate that there
are no more subgoal returned by the rule.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() . |
public NoSuchSubgoalException()
NoSuchConclusionException
with null
as its error message string.public NoSuchSubgoalException(java.lang.String message)
NoSuchConclusionException
, saving a reference to
the error message string str
for later retrieval by the
Throwable.getMessage()
.message
- the message.public NoSuchSubgoalException(int undefinedBranch)
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()
.undefinedBranch
- the index of the undefined subgoal