org.sonar.javascript.se

Class ProgramState

java.lang.Object

org.sonar.javascript.se.ProgramState

public class ProgramState
extends Object

This class represents the knowledge about the variables values. The same program state may be valid for several program points and at one program point there might be valid several program states (depending on execution path). This class is immutable.

Method Summary

Modifier and Type	Method and Description
void	assertEmptyStack(Tree element)
ProgramState	assignment(Symbol variable)
ProgramState	clearStack(Tree element)
ProgramState	constrain(SymbolicValue value, Constraint constraint)
ProgramState	constrainOwnSV(SymbolicValue value, Constraint constraint)
static ProgramState	emptyState()
boolean	equals(Object o)
ProgramState	execute(ExpressionTree expression)
Constraint	getConstraint(Symbol symbol)
Constraint	getConstraint(SymbolicValue value)
Nullability	getNullability(SymbolicValue value)
SymbolicValue	getSymbolicValue(Symbol symbol)
int	hashCode()
ProgramState	newSymbolicValue(Symbol symbol, Constraint constraint)
SymbolicValue	peekStack()
SymbolicValue	peekStack(int n)
ProgramState	pushToStack(SymbolicValue value)
ProgramState	removeLastValue()
ProgramState	removeSymbols(Set<Symbol> symbolsToKeep)
String	toString()
com.google.common.collect.ImmutableMap<Symbol,SymbolicValue>	values()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

values

public com.google.common.collect.ImmutableMap<Symbol,SymbolicValue> values()

emptyState

public static ProgramState emptyState()

newSymbolicValue

public ProgramState newSymbolicValue(Symbol symbol,
                                     @Nullable
                                     Constraint constraint)

constrain

public ProgramState constrain(@Nullable
                              SymbolicValue value,
                              @Nullable
                              Constraint constraint)

constrainOwnSV

public ProgramState constrainOwnSV(@Nullable
                                   SymbolicValue value,
                                   @Nullable
                                   Constraint constraint)

getSymbolicValue

@CheckForNull
public SymbolicValue getSymbolicValue(@Nullable
                                                    Symbol symbol)

getConstraint

public Constraint getConstraint(@Nullable
                                SymbolicValue value)

getConstraint

public Constraint getConstraint(@Nullable
                                Symbol symbol)

getNullability

public Nullability getNullability(@Nullable
                                  SymbolicValue value)

pushToStack

public ProgramState pushToStack(@Nullable
                                SymbolicValue value)

removeLastValue

public ProgramState removeLastValue()

clearStack

public ProgramState clearStack(Tree element)

assertEmptyStack

public void assertEmptyStack(Tree element)

execute

public ProgramState execute(ExpressionTree expression)

assignment

public ProgramState assignment(Symbol variable)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

peekStack

public SymbolicValue peekStack()

peekStack

public SymbolicValue peekStack(int n)

removeSymbols

public ProgramState removeSymbols(Set<Symbol> symbolsToKeep)

toString

public String toString()

Overrides:

toString in class Object