org.sonar.javascript.se.sv

Interface SymbolicValue

All Known Implementing Classes:

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

public interface SymbolicValue

Method Summary

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

Method Detail

constrain

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

inherentConstraint

@CheckForNull
default Constraint inherentConstraint()