Deprecated API

Contents

• Methods
• Constructors

Deprecated Methods

Method	Description
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda.getMethod()	use #getEnclosingMethod()
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda.getMethodName()	use #getEnclosingMethodName()
org.checkerframework.dataflow.util.PurityUtils.isSideEffectFree(AnnotationProvider, MethodTree)	use AnnotationProvider.isSideEffectFree(javax.lang.model.element.ExecutableElement)

Deprecated Constructors

Constructor	Description
org.checkerframework.dataflow.cfg.node.ReturnNode(ReturnTree, Node, Types, LambdaExpressionTree, Symbol.MethodSymbol)	use ReturnNode(ReturnTree, Node, Types)
org.checkerframework.dataflow.cfg.node.ReturnNode(ReturnTree, Node, Types, MethodTree)	use ReturnNode(ReturnTree, Node, Types)