org.sonar.javascript.se.sv

Class EqualitySymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.RelationalSymbolicValue

org.sonar.javascript.se.sv.EqualitySymbolicValue

All Implemented Interfaces:

SymbolicValue

public class EqualitySymbolicValue
extends RelationalSymbolicValue

Field Summary

Fields

Modifier and Type	Field and Description
protected static Set<Tree.Kind>	NEGATION_KINDS

Method Summary

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

Methods inherited from class org.sonar.javascript.se.sv.RelationalSymbolicValue

create, relationWhenTrue, toString

Methods inherited from class java.lang.Object

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

Field Detail

NEGATION_KINDS

protected static final Set<Tree.Kind> NEGATION_KINDS

Method Detail

constrain

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

Specified by:

constrain in interface SymbolicValue

Overrides:

constrain in class RelationalSymbolicValue

constraint

public Constraint constraint(ProgramState state)

Specified by:

constraint in interface SymbolicValue

Overrides:

constraint in class RelationalSymbolicValue