Serialized Form

Package org.checkerframework.checker.formatter.util

Class org.checkerframework.checker.formatter.util.FormatUtil.ExcessiveOrMissingFormatArgumentException extends MissingFormatArgumentException implements Serializable

serialVersionUID:

17000126L

Serialized Fields

expected

int expected

found

int found

Class org.checkerframework.checker.formatter.util.FormatUtil.IllegalFormatConversionCategoryException extends IllegalFormatConversionException implements Serializable

serialVersionUID:

17000126L

Serialized Fields

expected

ConversionCategory expected

found

ConversionCategory found

Package org.checkerframework.checker.regex.util

Class org.checkerframework.checker.regex.util.RegexUtil.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 extends HashMap<Pair<String,TypeUseLocation>,Set<String>> implements Serializable

serialVersionUID:

20200321L

Package org.checkerframework.dataflow.util

Class org.checkerframework.dataflow.util.UnmodifiableIdentityHashMap extends IdentityHashMap<K,V> implements Serializable

serialVersionUID:

-5147442142854693854L

Serialized Fields

map

IdentityHashMap<K,V> map

The wrapped map.

Package org.checkerframework.framework.stub

Class org.checkerframework.framework.stub.AnnotationFileParser.AnnotationFileParserException extends Exception implements Serializable

serialVersionUID:

20201222L

Package org.checkerframework.framework.util

Class org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionParseException extends Exception implements Serializable

serialVersionUID:

2L

Serialized Fields

errorKey

String errorKey

The error message key.

args

Object[] args

The arguments to the error message key.

Package org.checkerframework.framework.util.element

Class org.checkerframework.framework.util.element.ElementAnnotationUtil.ErrorTypeKindException extends Error implements Serializable

Class org.checkerframework.framework.util.element.ElementAnnotationUtil.UnexpectedAnnotationLocationException extends Exception implements Serializable

Package org.checkerframework.framework.util.typeinference.solver

Class org.checkerframework.framework.util.typeinference.solver.InferenceResult extends LinkedHashMap<TypeVariable,InferredValue> implements Serializable

serialVersionUID:

6911459752070485818L

Package org.checkerframework.javacutil

Class org.checkerframework.javacutil.BugInCF extends RuntimeException implements Serializable

Class org.checkerframework.javacutil.TypeSystemError extends RuntimeException implements Serializable

Class org.checkerframework.javacutil.UserError extends RuntimeException implements Serializable