public class TypeSystemError extends RuntimeException
To indicate a bug in the framework, use BugInCF
. To indicate that an end user made a
mistake, use UserError
.
Constructor and Description |
---|
TypeSystemError(String message)
Constructs a new TypeSystemError with the specified detail message.
|
TypeSystemError(String fmt,
Object... args)
Constructs a new TypeSystemError with a detail message composed from the given arguments.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public TypeSystemError(String message)
message
- the detail message@FormatMethod public TypeSystemError(String fmt, Object... args)
fmt
- the format stringargs
- the arguments for the format string