Package org.checkerframework.javacutil
Class TypeSystemError
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- org.checkerframework.javacutil.TypeSystemError
-
- All Implemented Interfaces:
java.io.Serializable
public class TypeSystemError extends java.lang.RuntimeException
Exception type indicating a mistake by a type system built using the Checker Framework. For example, misusing a meta-annotation on a qualifier.To indicate a bug in the framework, use
BugInCF
. To indicate that an end user made a mistake, useUserError
.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description TypeSystemError(java.lang.String message)
Constructs a new TypeSystemError with the specified detail message.TypeSystemError(java.lang.String fmt, @Nullable java.lang.Object... args)
Constructs a new TypeSystemError with a detail message composed from the given arguments.
-
-
-
Constructor Detail
-
TypeSystemError
public TypeSystemError(java.lang.String message)
Constructs a new TypeSystemError with the specified detail message.- Parameters:
message
- the detail message
-
TypeSystemError
@FormatMethod public TypeSystemError(java.lang.String fmt, @Nullable java.lang.Object... args)
Constructs a new TypeSystemError with a detail message composed from the given arguments.- Parameters:
fmt
- the format stringargs
- the arguments for the format string
-
-