Uses of Class
com.luchersol.core.util.CheckerException
Packages that use CheckerException
Package
Description
Core utility classes and base abstractions for the Checker framework.
-
Uses of CheckerException in com.luchersol.core.util
Methods in com.luchersol.core.util that return CheckerExceptionModifier and TypeMethodDescriptionCheckerException.negate()static CheckerExceptionFactory method to create a CheckerException from another exception.Methods in com.luchersol.core.util that return types with arguments of type CheckerExceptionModifier and TypeMethodDescriptionExceptionTracker.getPassedChecks()Returns the map of not thrown exceptions categorized by name.ExceptionTracker.getThrownExceptions()Returns the map of thrown exceptions categorized by name.