org.checkerframework.framework.source

Class SourceChecker.CheckerError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.checkerframework.framework.source.SourceChecker.CheckerError

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

SourceChecker

public static class SourceChecker.CheckerError
extends java.lang.RuntimeException

Exception type used only internally to abort processing. Only public to allow tests.AnnotationBuilderTest; this class should be private.

TODO: nicer way?

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
boolean	userError Whether this error is caused by a user error, e.g.

Constructor Summary

Constructors

Constructor and Description
CheckerError(java.lang.String msg, java.lang.Throwable cause, boolean userError)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

userError

public final boolean userError

Whether this error is caused by a user error, e.g. incorrect command-line arguments.

Constructor Detail

CheckerError

public CheckerError(java.lang.String msg,
                    java.lang.Throwable cause,
                    boolean userError)