Uses of Class
com.luchersol.core.util.ExceptionTracker

Packages that use ExceptionTracker

Package	Description
com.luchersol.core.util	Core utility classes and base abstractions for the Checker framework.

Uses of ExceptionTracker in com.luchersol.core.util

Fields in com.luchersol.core.util declared as ExceptionTracker

Modifier and Type	Field	Description
protected ExceptionTracker	AbstractChecker.exceptionTracker	Tracks exceptions thrown or not thrown during checks.

Methods in com.luchersol.core.util that return ExceptionTracker

Modifier and Type	Method	Description
static ExceptionTracker	ExceptionTracker.empty(String name)	Creates an empty ExceptionTracker for the given name.

Methods in com.luchersol.core.util with parameters of type ExceptionTracker

Modifier and Type	Method	Description
void	ExceptionTracker.merge(ExceptionTracker exceptionTracker)	Merges another ExceptionTracker's exceptions into this one, combining all categories by name.
C	AbstractChecker.setExceptionTracker(ExceptionTracker exceptionTracker)	Sets the exception tracker.

Constructors in com.luchersol.core.util with parameters of type ExceptionTracker

Modifier	Constructor	Description
	AbstractChecker(String name, ExceptionTracker exceptionTracker)	Constructor initializing the checker with a name and an existing exception tracker.
	AbstractChecker(T object, String name, ExceptionTracker exceptionTracker)	Constructor initializing the checker with an object, its name, and an exception tracker.