org.mutabilitydetector.checkers
Class UnhandledExceptionBuilder
java.lang.Object
org.mutabilitydetector.checkers.UnhandledExceptionBuilder
public final class UnhandledExceptionBuilder
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UnhandledExceptionBuilder
public UnhandledExceptionBuilder()
unhandledException
public MutabilityAnalysisException unhandledException(Throwable cause,
Iterable<AnalysisResult> resultsSoFar,
AsmMutabilityChecker checker,
Dotted className)
Copyright © 2013. All Rights Reserved.