Serialized Form

Package org.checkerframework.checker.formatter

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

serialVersionUID:

17000126L

Serialized Fields

expected

int expected

found

int found

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

serialVersionUID:

17000126L

Serialized Fields

expected

ConversionCategory expected

found

ConversionCategory found

Package org.checkerframework.checker.regex

Class org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException extends Exception implements Serializable

serialVersionUID:

6266881831979001480L

Serialized Fields

pse

PatternSyntaxException pse

The PatternSyntaxException that this is a wrapper around.

Package org.checkerframework.dataflow.cfg

Class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap extends HashMap<Name,CFGBuilder.Label> implements Serializable

Serialized Fields

accessedNames

Map<K,V> accessedNames

Package org.checkerframework.framework.source

Class org.checkerframework.framework.source.SourceChecker.CheckerError extends RuntimeException implements Serializable

Serialized Fields

userError

boolean userError

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

Package org.checkerframework.framework.util

Class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException extends Exception implements Serializable

serialVersionUID:

2L

Serialized Fields

errorKey

String errorKey

args

Object[] args

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

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

serialVersionUID:

6911459752070485818L