org.sonar.javascript.se.sv

Class InstanceOfSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.InstanceOfSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class InstanceOfSymbolicValue
extends Object
implements SymbolicValue

This class represents symbolic value for "instanceof" expression. E.g.

typeof foo.bar()

typeof x

Constructor Summary

Constructors

Constructor and Description
InstanceOfSymbolicValue(SymbolicValue objectValue, SymbolicValue constructorValue)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceOfSymbolicValue

public InstanceOfSymbolicValue(SymbolicValue objectValue,
                               SymbolicValue constructorValue)

Method Detail

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