Serialized Form

Package org.checkerframework.checker.formatter.util

Exception org.checkerframework.checker.formatter.util.FormatUtil.ExcessiveOrMissingFormatArgumentException

class ExcessiveOrMissingFormatArgumentException extends MissingFormatArgumentException implements Serializable

serialVersionUID:

17000126L

Serialized Fields

expected

int expected

found

int found

Exception org.checkerframework.checker.formatter.util.FormatUtil.IllegalFormatConversionCategoryException

class IllegalFormatConversionCategoryException extends IllegalFormatConversionException implements Serializable

serialVersionUID:

17000126L

Serialized Fields

expected

ConversionCategory expected

found

ConversionCategory found

Package org.checkerframework.checker.regex.util

Exception org.checkerframework.checker.regex.util.RegexUtil.CheckedPatternSyntaxException

class CheckedPatternSyntaxException extends Exception implements Serializable

serialVersionUID:

6266881831979001480L

Serialized Fields

pse

PatternSyntaxException pse

The PatternSyntaxException that this is a wrapper around.

Package org.checkerframework.common.wholeprograminference

Class org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage.AnnotationsInContexts

class AnnotationsInContexts extends HashMap<org.plumelib.util.IPair<String,TypeUseLocation>,Set<String>> implements Serializable

serialVersionUID:

20200321L

Package org.checkerframework.framework.stub

Exception org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileParserException

class AnnotationFileParserException extends Exception implements Serializable

serialVersionUID:

20201222L

Package org.checkerframework.framework.util

Exception org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionParseException

class JavaExpressionParseException extends Exception implements Serializable

serialVersionUID:

2L

Serialized Fields

args

Object[] args

The arguments to the error message key.

errorKey

@CompilerMessageKey String errorKey

The error message key.

Package org.checkerframework.framework.util.element

Error org.checkerframework.framework.util.element.ElementAnnotationUtil.ErrorTypeKindException

class ErrorTypeKindException extends Error implements Serializable

Exception org.checkerframework.framework.util.element.ElementAnnotationUtil.UnexpectedAnnotationLocationException

class UnexpectedAnnotationLocationException extends Exception implements Serializable

Package org.checkerframework.framework.util.typeinference8.util

Exception org.checkerframework.framework.util.typeinference8.util.FalseBoundException

class FalseBoundException extends RuntimeException implements Serializable

serialVersionUID:

1L

Class org.checkerframework.framework.util.typeinference8.util.Theta

class Theta extends LinkedHashMap<TypeVariable,Variable> implements Serializable

serialVersionUID:

42L

Package org.checkerframework.javacutil

Exception org.checkerframework.javacutil.BugInCF

class BugInCF extends RuntimeException implements Serializable

Serialized Fields

location

@Nullable Tree location

Tree at which to report the bug.

Exception org.checkerframework.javacutil.TypeSystemError

class TypeSystemError extends RuntimeException implements Serializable

Exception org.checkerframework.javacutil.UserError

class UserError extends RuntimeException implements Serializable