org.sonar.javascript.se.sv

Class RelationalSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.RelationalSymbolicValue

All Implemented Interfaces:

SymbolicValue

Direct Known Subclasses:

EqualitySymbolicValue

public class RelationalSymbolicValue
extends Object
implements SymbolicValue

Method Summary

Modifier and Type	Method and Description
List<ProgramState>	constrain(ProgramState state, Constraint constraint)
Constraint	constraint(ProgramState state)
static SymbolicValue	create(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)
Relation	relationWhenTrue()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

create

public static SymbolicValue create(Tree.Kind kind,
                                   SymbolicValue leftOperand,
                                   SymbolicValue rightOperand)

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

relationWhenTrue

public Relation relationWhenTrue()

toString

public String toString()

Overrides:

toString in class Object