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

Packages that use ProgramState

Package	Description
org.sonar.javascript.se
org.sonar.javascript.se.builtins
org.sonar.javascript.se.limitations
org.sonar.javascript.se.points
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.addRelation(Relation relation)
ProgramState	ProgramState.assignment(Symbol variable)
ProgramState	ProgramState.assignment(Symbol variable, SymbolicValue value)
ProgramState	ProgramState.clearStack(Tree element)
static ProgramState	ProgramState.emptyState()
ProgramState	ProgramState.execute(ExpressionTree expression)
ProgramState	ProgramState.newFunctionSymbolicValue(Symbol symbol, FunctionTree functionTree)
ProgramState	ProgramState.newSymbolicValue(Symbol symbol, Constraint constraint)
ProgramState	ProgramState.pushToStack(SymbolicValue value)
ProgramState	ProgramState.removeLastValue()
ProgramState	ProgramState.removeSymbols(Set<Symbol> symbolsToKeep)
ProgramState	BlockExecution.state()
ProgramState	ProgramState.withStack(ExpressionStack newStack)

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

Modifier and Type	Method and Description
Optional<ProgramState>	ProgramState.constrain(SymbolicValue value, Constraint constraint)

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.
Optional<Boolean>	Relation.applyNumericComparison(ProgramState state)
void	SeCheck.beforeBlockElement(ProgramState currentState, Tree element, ProgramPoint programPoint) Override this method to perform actions before executing element.
void	SymbolicExecution.visitCfg(ProgramState initialStateWithParameters)

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.builtins

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

Modifier and Type	Method and Description
Constraint	BuiltInObjectSymbolicValue.baseConstraint(ProgramState state)

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

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

Modifier and Type	Method and Description
ProgramState	CrossProceduralLimitation.prepareForBranching(Tree condition, ProgramState currentState)

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

Modifier and Type	Method and Description
ProgramState	CrossProceduralLimitation.prepareForBranching(Tree condition, ProgramState currentState)

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

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

Modifier and Type	Method and Description
Optional<ProgramState>	UnaryNumericProgramPoint.execute(ProgramState state)
Optional<ProgramState>	ProgramPoint.execute(ProgramState state)
Optional<ProgramState>	NoActionProgramPoint.execute(ProgramState state)
Optional<ProgramState>	MemberProgramPoint.execute(ProgramState state)
Optional<ProgramState>	LiteralProgramPoint.execute(ProgramState state)
Optional<ProgramState>	IdentifierProgramPoint.execute(ProgramState state)
Optional<ProgramState>	BinaryProgramPoint.execute(ProgramState state)
Optional<ProgramState>	MemberProgramPoint.executeStrictMode(ProgramState state)

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

Modifier and Type	Method and Description
Optional<ProgramState>	UnaryNumericProgramPoint.execute(ProgramState state)
Optional<ProgramState>	ProgramPoint.execute(ProgramState state)
Optional<ProgramState>	NoActionProgramPoint.execute(ProgramState state)
Optional<ProgramState>	MemberProgramPoint.execute(ProgramState state)
Optional<ProgramState>	LiteralProgramPoint.execute(ProgramState state)
Optional<ProgramState>	IdentifierProgramPoint.execute(ProgramState state)
Optional<ProgramState>	BinaryProgramPoint.execute(ProgramState state)
Optional<ProgramState>	MemberProgramPoint.executeStrictMode(ProgramState state)
Constraint	BinaryProgramPoint.resultingConstraint(ProgramState currentState)

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
Optional<ProgramState>	BuiltInFunctionSymbolicValue.ArgumentsConstrainer.constrain(List<SymbolicValue> arguments, ProgramState state, Constraint constraint)
Optional<ProgramState>	UnknownSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	UnaryMinusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfComparisonSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValueWithConstraint.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SpecialSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SimpleSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	RelationalSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	PlusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
default Optional<ProgramState>	ObjectSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LogicalNotSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LiteralSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	InstanceOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	IncDecSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	FunctionWithTreeSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	EqualitySymbolicValue.constrainDependencies(ProgramState incomingState, Constraint constraint)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)

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

Modifier and Type	Method and Description
Constraint	UnknownSymbolicValue.baseConstraint(ProgramState state)
Constraint	UnaryMinusSymbolicValue.baseConstraint(ProgramState state)
Constraint	TypeOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	TypeOfComparisonSymbolicValue.baseConstraint(ProgramState state)
Constraint	SymbolicValueWithConstraint.baseConstraint(ProgramState state)
Constraint	SymbolicValue.baseConstraint(ProgramState state)
Constraint	SpecialSymbolicValue.baseConstraint(ProgramState state)
Constraint	SimpleSymbolicValue.baseConstraint(ProgramState state)
Constraint	RelationalSymbolicValue.baseConstraint(ProgramState state)
Constraint	PlusSymbolicValue.baseConstraint(ProgramState state)
Constraint	LogicalNotSymbolicValue.baseConstraint(ProgramState state)
Constraint	LiteralSymbolicValue.baseConstraint(ProgramState state)
Constraint	InstanceOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	IncDecSymbolicValue.baseConstraint(ProgramState state)
Constraint	FunctionWithTreeSymbolicValue.baseConstraint(ProgramState state)
default Constraint	FunctionSymbolicValue.baseConstraint(ProgramState state)
Constraint	EqualitySymbolicValue.baseConstraint(ProgramState state)
Constraint	BuiltInFunctionSymbolicValue.baseConstraint(ProgramState state)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.ArgumentsConstrainer.constrain(List<SymbolicValue> arguments, ProgramState state, Constraint constraint)
Optional<ProgramState>	UnknownSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	UnaryMinusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfComparisonSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValueWithConstraint.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SpecialSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SimpleSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	RelationalSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	PlusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
default Optional<ProgramState>	ObjectSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LogicalNotSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LiteralSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	InstanceOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	IncDecSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	FunctionWithTreeSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	EqualitySymbolicValue.constrainDependencies(ProgramState incomingState, Constraint constraint)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)