org.sonar.java.locks

Class LockedVisitor

java.lang.Object

org.sonar.java.symexecengine.SymbolicExecutionCheck

org.sonar.java.locks.LockedVisitor

public class LockedVisitor
extends SymbolicExecutionCheck

Constructor Summary

Constructors

Constructor and Description
LockedVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
Set<Tree>	getIssueTrees()
void	initialize(ExecutionState executionState, MethodTree analyzedMethod, List<SymbolicValue> arguments) called prior analysis of the given method.
protected void	onExecutableElementInvocation(ExecutionState executionState, Tree tree, List<ExpressionTree> arguments) called when a constructor or method is invoked.
protected void	onValueUnreachable(ExecutionState executionState, State state) called when a value becomes unreachable.

Methods inherited from class org.sonar.java.symexecengine.SymbolicExecutionCheck

onAssignment, onTryResourceClosed, onValueReturned

Methods inherited from class java.lang.Object

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

Constructor Detail

LockedVisitor

public LockedVisitor()

Method Detail

initialize

public void initialize(ExecutionState executionState,
              MethodTree analyzedMethod,
              List<SymbolicValue> arguments)

Description copied from class: SymbolicExecutionCheck

called prior analysis of the given method.

Overrides:

initialize in class SymbolicExecutionCheck

Parameters:

executionState - execution state

analyzedMethod - method to be analyzed

arguments - value of the arguments

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()