org.sonar.java.closeresource

Class CloseableVisitor

java.lang.Object

org.sonar.java.symexecengine.SymbolicExecutionCheck

org.sonar.java.closeresource.CloseableVisitor

public class CloseableVisitor
extends SymbolicExecutionCheck

Constructor Summary

Constructors

Constructor and Description
CloseableVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
Set<Tree>	getIssueTrees()
protected void	initialize(ExecutionState executionState, MethodTree tree, List<SymbolicValue> arguments) called prior analysis of the given method.
protected void	onAssignment(ExecutionState executionState, Tree tree, Symbol variable, ExpressionTree expression)
protected void	onExecutableElementInvocation(ExecutionState executionState, Tree tree, List<ExpressionTree> arguments) called when a constructor or method is invoked.
protected void	onTryResourceClosed(ExecutionState executionState, SymbolicValue resource)
protected void	onValueReturned(ExecutionState executionState, ReturnStatementTree tree, ExpressionTree expression) called when a value is returned through a return statement.
protected void	onValueUnreachable(ExecutionState executionState, State state) called when a value becomes unreachable.

Methods inherited from class java.lang.Object

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

Constructor Detail

CloseableVisitor

public CloseableVisitor()

Method Detail

initialize

protected void initialize(ExecutionState executionState,
              MethodTree tree,
              List<SymbolicValue> arguments)

Description copied from class: SymbolicExecutionCheck

called prior analysis of the given method.

Overrides:

initialize in class SymbolicExecutionCheck

Parameters:

executionState - execution state

tree - method to be analyzed

arguments - value of the arguments

onAssignment

protected void onAssignment(ExecutionState executionState,
                Tree tree,
                Symbol variable,
                ExpressionTree expression)

Overrides:

onAssignment in class SymbolicExecutionCheck

onTryResourceClosed

protected void onTryResourceClosed(ExecutionState executionState,
                       SymbolicValue resource)

Overrides:

onTryResourceClosed in class SymbolicExecutionCheck

Parameters:

executionState - current execution state

resource - value representing the autoclosed resource

onValueReturned

protected void onValueReturned(ExecutionState executionState,
                   ReturnStatementTree tree,
                   ExpressionTree expression)

Description copied from class: SymbolicExecutionCheck

called when a value is returned through a return statement.

Overrides:

onValueReturned in class SymbolicExecutionCheck

Parameters:

executionState - execution state

tree - tree

expression - returned expression

onExecutableElementInvocation

protected void onExecutableElementInvocation(ExecutionState executionState,
                                 Tree tree,
                                 List<ExpressionTree> arguments)

Description copied from class: SymbolicExecutionCheck

called when a constructor or method is invoked.

Overrides:

onExecutableElementInvocation in class SymbolicExecutionCheck

Parameters:

executionState - execution state

tree - method invocation, constructor tree or new class tree

onValueUnreachable

protected void onValueUnreachable(ExecutionState executionState,
                      State state)

Description copied from class: SymbolicExecutionCheck

called when a value becomes unreachable.

Overrides:

onValueUnreachable in class SymbolicExecutionCheck

Parameters:

executionState - execution state

state - of the value when it became unreachable

getIssueTrees

public Set<Tree> getIssueTrees()