Uses of Class
util.ExceptionTracker

Packages that use ExceptionTracker

Package	Description
util

Uses of ExceptionTracker in util

Fields in util declared as ExceptionTracker

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

Methods in 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 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.

Constructors in 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.