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

Packages that use State

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

Uses of State in org.sonar.java.closeresource

Subclasses of State in org.sonar.java.closeresource

Modifier and Type	Class and Description
class	CloseableState
static class	CloseableState.Closed
static class	CloseableState.Ignored
static class	CloseableState.Open

Methods in org.sonar.java.closeresource that return State

Modifier and Type	Method and Description
State	CloseableState.Closed.merge(State s)
State	CloseableState.Open.merge(State s)
State	CloseableState.Ignored.merge(State s)

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

Modifier and Type	Method and Description
State	CloseableState.Closed.merge(State s)
State	CloseableState.Open.merge(State s)
State	CloseableState.Ignored.merge(State s)
protected void	CloseableVisitor.onValueUnreachable(ExecutionState executionState, State state)

Uses of State in org.sonar.java.locks

Subclasses of State in org.sonar.java.locks

Modifier and Type	Class and Description
class	LockState
static class	LockState.Locked
static class	LockState.Unlocked

Methods in org.sonar.java.locks that return State

Modifier and Type	Method and Description
State	LockState.Unlocked.merge(State s)
State	LockState.Locked.merge(State s)

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

Modifier and Type	Method and Description
State	LockState.Unlocked.merge(State s)
State	LockState.Locked.merge(State s)
protected void	LockedVisitor.onValueUnreachable(ExecutionState executionState, State state)

Uses of State in org.sonar.java.symexecengine

Fields in org.sonar.java.symexecengine declared as State

Modifier and Type	Field and Description
static State	State.UNSET

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

Modifier and Type	Method and Description
abstract State	State.merge(State s)

Methods in org.sonar.java.symexecengine that return types with arguments of type State

Modifier and Type	Method and Description
List<State>	ExecutionState.getStatesOf(Symbol symbol)

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

Modifier and Type	Method and Description
void	ExecutionState.markValueAs(SymbolicValue value, State state)
void	ExecutionState.markValueAs(Symbol symbol, State state)
abstract State	State.merge(State s)
protected void	SymbolicExecutionCheck.onValueUnreachable(ExecutionState executionState, State state) called when a value becomes unreachable.