org.sonar.javascript.se.sv

Class FunctionWithKnownReturnSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.FunctionWithKnownReturnSymbolicValue

All Implemented Interfaces:

FunctionSymbolicValue, ObjectSymbolicValue, SymbolicValue

public class FunctionWithKnownReturnSymbolicValue
extends Object
implements FunctionSymbolicValue

This symbolic values is used for built-in types and objects methods. Note, that as many of such methods are not supported by all browsers (as they are deprecated or new), baseConstraint(ProgramState) will return Constraint.FUNCTION.or(Constraint.UNDEFINED).

Constructor Summary

Constructors

Constructor and Description
FunctionWithKnownReturnSymbolicValue(Constraint returnedValueConstraint)

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sonar.javascript.se.sv.FunctionSymbolicValue

getValueForOwnProperty, instantiate

Constructor Detail

FunctionWithKnownReturnSymbolicValue

public FunctionWithKnownReturnSymbolicValue(Constraint returnedValueConstraint)

Method Detail

constrainDependencies

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

Specified by:

constrainDependencies in interface FunctionSymbolicValue

Specified by:

constrainDependencies in interface SymbolicValue

baseConstraint

public Constraint baseConstraint(ProgramState state)

Specified by:

baseConstraint in interface FunctionSymbolicValue

Specified by:

baseConstraint in interface SymbolicValue

call

public SymbolicValue call()

Specified by:

call in interface FunctionSymbolicValue