Uses of Class
org.sonar.javascript.se.ProgramState

Packages that use ProgramState

Package	Description
org.sonar.javascript.se
org.sonar.javascript.se.sv

Uses of ProgramState in org.sonar.javascript.se

Methods in org.sonar.javascript.se that return ProgramState

Modifier and Type	Method and Description
ProgramState	ProgramState.assignment(Symbol variable)
ProgramState	ProgramState.clearStack(Tree element)
ProgramState	ProgramState.constrain(SymbolicValue value, Constraint constraint)
ProgramState	ProgramState.constrainOwnSV(SymbolicValue value, Constraint constraint)
static ProgramState	ProgramState.emptyState()
ProgramState	ProgramState.execute(ExpressionTree expression)
ProgramState	ProgramState.newSymbolicValue(Symbol symbol, Constraint constraint)
ProgramState	ProgramState.pushToStack(SymbolicValue value)
ProgramState	ProgramState.removeLastValue()
ProgramState	ProgramState.removeSymbols(Set<Symbol> symbolsToKeep)
ProgramState	BlockExecution.state()

Methods in org.sonar.javascript.se with parameters of type ProgramState

Modifier and Type	Method and Description
void	SeCheck.afterBlockElement(ProgramState currentState, Tree element) Override this method to perform actions after executing element.
void	SeCheck.beforeBlockElement(ProgramState currentState, Tree element) Override this method to perform actions before executing element.

Constructors in org.sonar.javascript.se with parameters of type ProgramState

Constructor and Description
BlockExecution(CfgBlock block, ProgramState state)

Uses of ProgramState in org.sonar.javascript.se.sv

Methods in org.sonar.javascript.se.sv that return types with arguments of type ProgramState

Modifier and Type	Method and Description
List<ProgramState>	UnknownSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	TypeOfSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	TypeOfComparisonSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SymbolicValueWithConstraint.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SpecialSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SimpleSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	PlusSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	LogicalNotSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	LiteralSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	EqualToSymbolicValue.constrain(ProgramState state, Constraint constraint)

Methods in org.sonar.javascript.se.sv with parameters of type ProgramState

Modifier and Type	Method and Description
List<ProgramState>	UnknownSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	TypeOfSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	TypeOfComparisonSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SymbolicValueWithConstraint.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SpecialSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	SimpleSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	PlusSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	LogicalNotSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	LiteralSymbolicValue.constrain(ProgramState state, Constraint constraint)
List<ProgramState>	EqualToSymbolicValue.constrain(ProgramState state, Constraint constraint)
Constraint	TypeOfSymbolicValue.constraint(ProgramState state)
Constraint	SymbolicValueWithConstraint.constraint(ProgramState state)
default Constraint	SymbolicValue.constraint(ProgramState state)
Constraint	SpecialSymbolicValue.constraint(ProgramState state)
Constraint	PlusSymbolicValue.constraint(ProgramState state)
Constraint	LogicalNotSymbolicValue.constraint(ProgramState state)
Constraint	LiteralSymbolicValue.constraint(ProgramState state)
Constraint	EqualToSymbolicValue.constraint(ProgramState state)