org.sonar.javascript.se.sv

Class TypeOfComparisonSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.TypeOfComparisonSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class TypeOfComparisonSymbolicValue
extends Object
implements SymbolicValue

This class represents symbolic value for typical comparison of "typeof " with string literal. E.g.

typeof foo.bar() != "string"

typeof x == "object"

Method Summary

Modifier and Type	Method and Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState state, Constraint constraint)
static TypeOfComparisonSymbolicValue	create(SymbolicValue operand1, SymbolicValue operand2)
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

create

@CheckForNull
public static TypeOfComparisonSymbolicValue create(SymbolicValue operand1,
                                                                 SymbolicValue operand2)

constrainDependencies

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

Specified by:

constrainDependencies in interface SymbolicValue

baseConstraint

public Constraint baseConstraint(ProgramState state)

Specified by:

baseConstraint in interface SymbolicValue

toString

public String toString()

Overrides:

toString in class Object