| Field and Description |
|---|
| org.checkerframework.dataflow.analysis.Analysis.env
as
env is moved to CFAbstractAnalysis, this field will be removed in
next major update |
| org.checkerframework.dataflow.analysis.Analysis.types
as
types is moved to CFAbstractAnalysis, this field will be removed in
next major update |
| Method and Description |
|---|
| org.checkerframework.javacutil.AnnotationUtils.annotationOrdering()
Use the method reference
AnnotationUtils::compareAnnotationMirrors
instead |
| org.checkerframework.dataflow.analysis.Analysis.getEnv()
as
Analysis.getEnv() is moved to CFAbstractAnalysis, this method will be removed in
next major update |
| org.checkerframework.framework.type.QualifierHierarchy.getTypeQualifiers() |
| org.checkerframework.framework.util.MultiGraphQualifierHierarchy.getTypeQualifiers() |
| org.checkerframework.dataflow.analysis.Analysis.getTypes()
as
Analysis.getTypes() is moved to CFAbstractAnalysis, this method will be removed in
next major update |
| org.checkerframework.framework.util.AnnotatedTypes.hasTypeQualifierElementTypes(ElementType[], Class<?>) |
| org.checkerframework.framework.util.AnnotatedTypes.isTypeAnnotation(AnnotationMirror, Class<?>) |
| Constructor and Description |
|---|
| org.checkerframework.dataflow.analysis.Analysis(ProcessingEnvironment)
as
env is moved to CFAbstractAnalysis, this helper constructor will be
removed in next major update. Use Analysis.Analysis(), Analysis.Analysis(TransferFunction,
int), Analysis.Analysis(TransferFunction) or Analysis.Analysis(int) instead |
| org.checkerframework.dataflow.analysis.Analysis(T, int, ProcessingEnvironment)
as
env is moved to CFAbstractAnalysis, this constructor will be removed
in next major update. Use Analysis.Analysis(TransferFunction, int) instead. |
| org.checkerframework.dataflow.analysis.Analysis(T, ProcessingEnvironment)
as
env is moved to CFAbstractAnalysis, this constructor will be removed
in next major update. Use Analysis.Analysis(TransferFunction, int) instead. |