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>	EQUALITY_KINDS
protected static Set<Tree.Kind>	EQUALITY_NEGATION_KINDS

Method Summary

Modifier and Type	Method and Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState incomingState, Constraint constraint)

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

EQUALITY_NEGATION_KINDS

protected static final Set<Tree.Kind> EQUALITY_NEGATION_KINDS

EQUALITY_KINDS

protected static final Set<Tree.Kind> EQUALITY_KINDS

Method Detail

constrainDependencies

public Optional<ProgramState> constrainDependencies(ProgramState incomingState,
                                                    Constraint constraint)

Specified by:

constrainDependencies in interface SymbolicValue

Overrides:

constrainDependencies in class RelationalSymbolicValue

baseConstraint

public Constraint baseConstraint(ProgramState state)

Specified by:

baseConstraint in interface SymbolicValue

Overrides:

baseConstraint in class RelationalSymbolicValue