org.sonar.javascript.se.sv

Class SymbolicValueWithConstraint

java.lang.Object

org.sonar.javascript.se.sv.SymbolicValueWithConstraint

All Implemented Interfaces:

SymbolicValue

public class SymbolicValueWithConstraint
extends Object
implements SymbolicValue

Constructor Summary

Constructors

Constructor and Description
SymbolicValueWithConstraint(Constraint originalConstraint)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbolicValueWithConstraint

public SymbolicValueWithConstraint(Constraint originalConstraint)

Method Detail

constrain

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

Specified by:

constrain in interface SymbolicValue

constraint

public Constraint constraint(ProgramState state)

Specified by:

constraint in interface SymbolicValue