Uses of Class
org.sonar.java.symexecengine.ExecutionState

Packages that use ExecutionState

Package	Description
org.sonar.java.closeresource
org.sonar.java.locks
org.sonar.java.symexecengine

Uses of ExecutionState in org.sonar.java.closeresource

Methods in org.sonar.java.closeresource with parameters of type ExecutionState

Modifier and Type	Method and Description
protected void	CloseableVisitor.initialize(ExecutionState executionState, MethodTree tree, List<SymbolicValue> arguments)
protected void	CloseableVisitor.onAssignment(ExecutionState executionState, Tree tree, Symbol variable, ExpressionTree expression)
protected void	CloseableVisitor.onExecutableElementInvocation(ExecutionState executionState, Tree tree, List<ExpressionTree> arguments)
protected void	CloseableVisitor.onTryResourceClosed(ExecutionState executionState, SymbolicValue resource)
protected void	CloseableVisitor.onValueReturned(ExecutionState executionState, ReturnStatementTree tree, ExpressionTree expression)
protected void	CloseableVisitor.onValueUnreachable(ExecutionState executionState, State state)

Uses of ExecutionState in org.sonar.java.locks

Methods in org.sonar.java.locks with parameters of type ExecutionState

Modifier and Type	Method and Description
void	LockedVisitor.initialize(ExecutionState executionState, MethodTree analyzedMethod, List<SymbolicValue> arguments)
protected void	LockedVisitor.onExecutableElementInvocation(ExecutionState executionState, Tree tree, List<ExpressionTree> arguments)
protected void	LockedVisitor.onValueUnreachable(ExecutionState executionState, State state)

Uses of ExecutionState in org.sonar.java.symexecengine

Methods in org.sonar.java.symexecengine that return ExecutionState

Modifier and Type	Method and Description
ExecutionState	ExecutionState.merge(ExecutionState executionState)
ExecutionState	ExecutionState.overrideBy(ExecutionState executionState)
ExecutionState	ExecutionState.restoreParent()

Methods in org.sonar.java.symexecengine with parameters of type ExecutionState

Modifier and Type	Method and Description
protected void	SymbolicExecutionCheck.initialize(ExecutionState executionState, MethodTree tree, List<SymbolicValue> arguments) called prior analysis of the given method.
ExecutionState	ExecutionState.merge(ExecutionState executionState)
protected void	SymbolicExecutionCheck.onAssignment(ExecutionState executionState, Tree tree, Symbol variable, ExpressionTree expression) Deprecated. Required by CloseableVisitor. Should be properly documented if real needs arise.
protected void	SymbolicExecutionCheck.onExecutableElementInvocation(ExecutionState executionState, Tree tree, List<ExpressionTree> arguments) called when a constructor or method is invoked.
protected void	SymbolicExecutionCheck.onTryResourceClosed(ExecutionState executionState, SymbolicValue resource) Deprecated. called when a AutoCloseable resource of a try block is closed.
protected void	SymbolicExecutionCheck.onValueReturned(ExecutionState executionState, ReturnStatementTree tree, ExpressionTree expression) called when a value is returned through a return statement.
protected void	SymbolicExecutionCheck.onValueUnreachable(ExecutionState executionState, State state) called when a value becomes unreachable.
ExecutionState	ExecutionState.overrideBy(ExecutionState executionState)

Constructors in org.sonar.java.symexecengine with parameters of type ExecutionState

Constructor and Description
ExecutionState(ExecutionState executionState)