org.sonar.javascript.se.sv

Class EqualToSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.EqualToSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class EqualToSymbolicValue
extends Object
implements SymbolicValue

This class represents symbolic value for equality expression. E.g.

x == null

foo(x) !== undefined

Current implementation supports only null and undefined as "constraining" operand. There is no limitation on "constrained" operand.

Constructor Summary

Constructors

Constructor and Description
EqualToSymbolicValue(SymbolicValue firstOperandValue, Constraint constraint)

Method Summary

Modifier and Type	Method and Description
List<ProgramState>	constrain(ProgramState state, Constraint constraint)
Constraint	constraint(ProgramState state)
static SymbolicValue	createEqual(SymbolicValue operand1, SymbolicValue operand2)
static SymbolicValue	createNotEqual(SymbolicValue operand1, SymbolicValue operand2)
static SymbolicValue	createStrictEqual(SymbolicValue operand1, SymbolicValue operand2)
static SymbolicValue	createStrictNotEqual(SymbolicValue operand1, SymbolicValue operand2)
boolean	equalToSV(Object obj)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualToSymbolicValue

public EqualToSymbolicValue(SymbolicValue firstOperandValue,
                            Constraint constraint)

Method Detail

createEqual

public static SymbolicValue createEqual(SymbolicValue operand1,
                                        SymbolicValue operand2)

createNotEqual

public static SymbolicValue createNotEqual(SymbolicValue operand1,
                                           SymbolicValue operand2)

createStrictEqual

public static SymbolicValue createStrictEqual(SymbolicValue operand1,
                                              SymbolicValue operand2)

createStrictNotEqual

public static SymbolicValue createStrictNotEqual(SymbolicValue operand1,
                                                 SymbolicValue operand2)

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

toString

public String toString()

Overrides:

toString in class Object

equalToSV

public boolean equalToSV(Object obj)