Uses of Class
com.luchersol.core.util.ExceptionTracker
Packages that use ExceptionTracker
Package
Description
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 ExceptionTrackerModifier and TypeFieldDescriptionprotected ExceptionTrackerAbstractChecker.exceptionTrackerTracks exceptions thrown or not thrown during checks.Methods in com.luchersol.core.util that return ExceptionTrackerModifier and TypeMethodDescriptionstatic ExceptionTrackerCreates an empty ExceptionTracker for the given name.Methods in com.luchersol.core.util with parameters of type ExceptionTrackerModifier and TypeMethodDescriptionvoidExceptionTracker.merge(ExceptionTracker exceptionTracker) Merges another ExceptionTracker's exceptions into this one, combining all categories by name.AbstractChecker.setExceptionTracker(ExceptionTracker exceptionTracker) Sets the exception tracker.Constructors in com.luchersol.core.util with parameters of type ExceptionTrackerModifierConstructorDescriptionAbstractChecker(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.