org.sonar.java.symexecengine

Class SymbolicExecutionCheck

java.lang.Object

org.sonar.java.symexecengine.SymbolicExecutionCheck

Direct Known Subclasses:

CloseableVisitor, LockedVisitor

public abstract class SymbolicExecutionCheck
extends Object

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionCheck()

Method Summary

Methods

Modifier and Type	Method and Description
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) Deprecated. Required by CloseableVisitor. Should be properly documented if real needs arise.
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) Deprecated. called when a AutoCloseable resource of a try block is closed.
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

SymbolicExecutionCheck

public SymbolicExecutionCheck()

Method Detail

initialize

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

called prior analysis of the given method.

Parameters:

executionState - execution state

tree - method to be analyzed

arguments - value of the arguments

onAssignment

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

Deprecated. Required by CloseableVisitor. Should be properly documented if real needs arise.

onExecutableElementInvocation

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

called when a constructor or method is invoked.

Parameters:

executionState - execution state

tree - method invocation, constructor tree or new class tree

onTryResourceClosed

@Deprecated
protected void onTryResourceClosed(ExecutionState executionState,
                                  SymbolicValue resource)

Deprecated. called when a AutoCloseable resource of a try block is closed.

Parameters:

executionState - current execution state

tree - declaration tree

resource - value representing the autoclosed resource

onValueReturned

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

called when a value is returned through a return statement.

Parameters:

executionState - execution state

tree - tree

expression - returned expression

onValueUnreachable

protected void onValueUnreachable(ExecutionState executionState,
                      State state)

called when a value becomes unreachable.

Parameters:

executionState - execution state

state - of the value when it became unreachable