Deprecated API

Contents

• Methods

Deprecated Methods

Method	Description
org.checkerframework.dataflow.cfg.node.InstanceOfNode.getBindingVariable()	Use InstanceOfNode.getPatternNode() or InstanceOfNode.getBindingVariables() instead.
org.checkerframework.dataflow.cfg.node.ObjectCreationNode.getConstructor()	use ObjectCreationNode.getTypeToInstantiate()
org.checkerframework.dataflow.util.PurityUtils.isSideEffectFree(AnnotationProvider, MethodTree)	use AnnotationProvider.isSideEffectFree(javax.lang.model.element.ExecutableElement)