Module dev.civl.gmc

Package dev.civl.gmc

Class ExcessiveErrorException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.gmc.ExcessiveErrorException

All Implemented Interfaces:

Serializable

public class ExcessiveErrorException
extends RuntimeException

An exception thrown when the number of errors encountered in the course of a search of a state-transition system exceeds some specified bound. Typical applications will catch this exception and then truncate the search.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ExcessiveErrorException(int numErrors)	Constructs new instance with given numErrors.

Method Summary

Modifier and Type	Method	Description
int	numErrors()	Returns the number of errors encountered when this exception was thrown

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 Details

ExcessiveErrorException

public ExcessiveErrorException(int numErrors)

Constructs new instance with given numErrors.

Parameters:

numErrors - : the number of errors encountered when this exception was thrown

Method Details

numErrors

public int numErrors()

Returns the number of errors encountered when this exception was thrown

Returns:

the number of errors encountered when this exception was thrown