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

Packages that use SymbolicValue

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

Uses of SymbolicValue in org.sonar.java.closeresource

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

Modifier and Type	Method and Description
protected void	CloseableVisitor.onTryResourceClosed(ExecutionState executionState, SymbolicValue resource)

Method parameters in org.sonar.java.closeresource with type arguments of type SymbolicValue

Modifier and Type	Method and Description
protected void	CloseableVisitor.initialize(ExecutionState executionState, MethodTree tree, List<SymbolicValue> arguments)

Uses of SymbolicValue in org.sonar.java.locks

Method parameters in org.sonar.java.locks with type arguments of type SymbolicValue

Modifier and Type	Method and Description
void	LockedVisitor.initialize(ExecutionState executionState, MethodTree analyzedMethod, List<SymbolicValue> arguments)

Uses of SymbolicValue in org.sonar.java.symexecengine

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

Modifier and Type	Method and Description
SymbolicValue	ExecutionState.createValueForSymbol(Symbol symbol, Tree tree)

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

Modifier and Type	Method and Description
void	ExecutionState.markValueAs(SymbolicValue value, State state)
protected void	SymbolicExecutionCheck.onTryResourceClosed(ExecutionState executionState, SymbolicValue resource) Deprecated. called when a AutoCloseable resource of a try block is closed.

Method parameters in org.sonar.java.symexecengine with type arguments of type SymbolicValue

Modifier and Type	Method and Description
protected void	SymbolicExecutionCheck.initialize(ExecutionState executionState, MethodTree tree, List<SymbolicValue> arguments) called prior analysis of the given method.