Serialized Form

Package org.checkerframework.checker.formatter

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

serialVersionUID:

17000126L

Serialized Fields

expected

int expected

found

int found

Class org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException extends java.util.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 java.lang.Exception implements Serializable

serialVersionUID:

6266881831979001480L

Serialized Fields

pse

java.util.regex.PatternSyntaxException pse

The PatternSyntaxException that this is a wrapper around.

Package org.checkerframework.dataflow.cfg

Class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap extends java.util.HashMap<javax.lang.model.element.Name,CFGBuilder.Label> implements Serializable

Serialized Fields

accessedNames

java.util.Map<K,V> accessedNames

Package org.checkerframework.framework.source

Class org.checkerframework.framework.source.SourceChecker.CheckerError extends java.lang.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 java.lang.Exception implements Serializable

serialVersionUID:

2L

Serialized Fields

errorKey

java.lang.String errorKey

args

java.lang.Object[] args

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

Class org.checkerframework.framework.util.typeinference.solver.InferenceResult extends java.util.LinkedHashMap<javax.lang.model.type.TypeVariable,InferredValue> implements Serializable

serialVersionUID:

6911459752070485818L