Package org.checkerframework.checker.resourceleak

Class ResourceLeakVisitor

java.lang.Object

com.sun.source.util.TreeScanner<R,P>

com.sun.source.util.TreePathScanner<R,P>

org.checkerframework.framework.source.SourceVisitor<Void,Void>

org.checkerframework.common.basetype.BaseTypeVisitor<AccumulationAnnotatedTypeFactory>

org.checkerframework.common.accumulation.AccumulationVisitor

org.checkerframework.checker.calledmethods.CalledMethodsVisitor

org.checkerframework.checker.resourceleak.ResourceLeakVisitor

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<Void,Void>

public class ResourceLeakVisitor
extends CalledMethodsVisitor

The visitor for the Resource Leak Checker. Responsible for checking that the rules for Owning fields are satisfied, and for checking that CreatesMustCallFor overrides are valid.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

BaseTypeVisitor.OverrideChecker

Field Summary

Fields inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

atypeFactory, checker, DETERMINISTIC, methodTree, positions, PURE, SIDE_EFFECT_FREE, TARGET, targetValueElement, typeValidator, unusedWhenElement

Fields inherited from class org.checkerframework.framework.source.SourceVisitor

elements, root, trees, treesWithSuppressWarnings, types

Constructor Summary

Constructors

Constructor	Description
ResourceLeakVisitor(BaseTypeChecker checker)	Create the visitor.

Method Summary

Modifier and Type	Method	Description
protected void	checkPostcondition(com.sun.source.tree.MethodTree methodTree, AnnotationMirror annotation, JavaExpression expression)	Check that the expression's type is annotated with annotation at the regular exit store.
protected ResourceLeakAnnotatedTypeFactory	createTypeFactory()	Constructs an instance of the appropriate type factory for the implemented type system.
Void	visitMethod(com.sun.source.tree.MethodTree node, Void p)	Checks that the method obeys override and subtype rules to all overridden methods.
Void	visitVariable(com.sun.source.tree.VariableTree node, Void p)

Methods inherited from class org.checkerframework.checker.calledmethods.CalledMethodsVisitor

reportMethodInvocabilityError, visitAnnotation, visitMethodInvocation

Methods inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

checkAccess, checkAccessAllowed, checkArguments, checkArrayInitialization, checkConditionalPostcondition, checkConstructorInvocation, checkConstructorResult, checkContract, checkDefaultConstructor, checkExceptionParameter, checkExplicitAnnotationsOnIntersectionBounds, checkExtendsImplements, checkFieldInvariantDeclarations, checkForPolymorphicQualifiers, checkForPolymorphicQualifiers, checkMethodInvocability, checkMethodReferenceAsOverride, checkOverride, checkOverride, checkPreconditions, checkPurity, checkQualifierParameter, checkSuperConstructorCall, checkThisConstructorCall, checkThisOrSuperConstructorCall, checkThrownExpression, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, checkVarargs, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheckEndDiagnostic, commonAssignmentCheckEndDiagnostic, commonAssignmentCheckStartDiagnostic, createOverrideChecker, createTypeFactoryPublic, createTypeValidator, enclosingMemberSelect, enclosingStatement, getExceptionParameterLowerBoundAnnotations, getThrowUpperBoundAnnotations, getTypeFactory, isTypeCastSafe, isValidUse, isValidUse, isValidUse, processClassTree, reportPurityErrors, scan, setRoot, shouldSkipUses, shouldWarnAboutIrrelevantJavaTypes, skipReceiverSubtypeCheck, testAnnotationInsertion, testJointJavacJavaParserVisitor, testTypevarContainment, typeCheckVectorCopyIntoArgument, validateType, validateTypeOf, visitAnnotatedType, visitAnnotatedType, visitAssignment, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitNewArray, visitNewClass, visitReturn, visitSwitchExpression17, visitThrow, visitTypeCast, visitTypeParameter, visitUnary, warnAboutIrrelevantJavaTypes

Methods inherited from class org.checkerframework.framework.source.SourceVisitor

visit

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitArrayAccess, visitArrayType, visitAssert, visitBinary, visitBindingPattern, visitBlock, visitBreak, visitCase, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitModule, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitSwitch, visitSwitchExpression, visitSynchronized, visitTry, visitUnionType, visitUses, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ResourceLeakVisitor

public ResourceLeakVisitor(BaseTypeChecker checker)

Create the visitor.

Parameters:

checker - the type-checker associated with this visitor

Method Details

createTypeFactory

protected ResourceLeakAnnotatedTypeFactory createTypeFactory()

Description copied from class: BaseTypeVisitor

Constructs an instance of the appropriate type factory for the implemented type system.

The default implementation uses the checker naming convention to create the appropriate type factory. If no factory is found, it returns BaseAnnotatedTypeFactory. It reflectively invokes the constructor that accepts this checker and compilation unit tree (in that order) as arguments.

Subclasses have to override this method to create the appropriate visitor if they do not follow the checker naming convention.

Overrides:

createTypeFactory in class BaseTypeVisitor<AccumulationAnnotatedTypeFactory>

Returns:

the appropriate type factory

visitMethod

public Void visitMethod(com.sun.source.tree.MethodTree node,
 Void p)

Description copied from class: BaseTypeVisitor

Checks that the method obeys override and subtype rules to all overridden methods. (Uses the pseudo-assignment logic to do so.)

The override rule specifies that a method, m1, may override a method m2 only if:

• m1 return type is a subtype of m2
• m1 receiver type is a supertype of m2
• m1 parameters are supertypes of corresponding m2 parameters

Also, it issues a "missing.this" error for static method annotated receivers.

Specified by:

visitMethod in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitMethod in class CalledMethodsVisitor

checkPostcondition

protected void checkPostcondition(com.sun.source.tree.MethodTree methodTree,
 AnnotationMirror annotation,
 JavaExpression expression)

Description copied from class: BaseTypeVisitor

Check that the expression's type is annotated with annotation at the regular exit store.

Overrides:

checkPostcondition in class BaseTypeVisitor<AccumulationAnnotatedTypeFactory>

Parameters:

methodTree - declaration of the method

annotation - expression's type must have this annotation

expression - the expression that must have an annotation

visitVariable

public Void visitVariable(com.sun.source.tree.VariableTree node,
 Void p)

Specified by:

visitVariable in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitVariable in class BaseTypeVisitor<AccumulationAnnotatedTypeFactory>