org.sonar.javascript.se.sv

Interface SymbolicValue

All Known Implementing Classes:

EqualToSymbolicValue, LiteralSymbolicValue, LogicalNotSymbolicValue, PlusSymbolicValue, SimpleSymbolicValue, SpecialSymbolicValue, SymbolicValueWithConstraint, TypeOfComparisonSymbolicValue, TypeOfSymbolicValue, UnknownSymbolicValue

public interface SymbolicValue

Method Summary

Modifier and Type	Method and Description
List<ProgramState>	constrain(ProgramState state, Constraint constraint)
default Constraint	constraint(ProgramState state)

Method Detail

constrain

List<ProgramState> constrain(ProgramState state,
                             Constraint constraint)

constraint

default Constraint constraint(ProgramState state)