org.sonar.javascript.se.sv

Interface SymbolicValue

All Known Subinterfaces:

FunctionSymbolicValue, ObjectSymbolicValue

All Known Implementing Classes:

BuiltInConstructorSymbolicValue, BuiltInFunctionSymbolicValue, BuiltInObjectSymbolicValue, EqualitySymbolicValue, FunctionWithTreeSymbolicValue, IncDecSymbolicValue, InstanceOfSymbolicValue, LiteralSymbolicValue, LogicalNotSymbolicValue, PlusSymbolicValue, RelationalSymbolicValue, SimpleSymbolicValue, SpecialSymbolicValue, SymbolicValueWithConstraint, TypeOfComparisonSymbolicValue, TypeOfSymbolicValue, UnaryMinusSymbolicValue, UnknownSymbolicValue

public interface SymbolicValue

Method Summary

Modifier and Type	Method and Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState state, Constraint constraint)

Method Detail

constrainDependencies

Optional<ProgramState> constrainDependencies(ProgramState state,
                                             Constraint constraint)

baseConstraint

Constraint baseConstraint(ProgramState state)