org.sonar.javascript.se.sv

Class FunctionWithTreeSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.FunctionWithTreeSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class FunctionWithTreeSymbolicValue
extends Object
implements SymbolicValue

Constructor Summary

Constructors

Constructor and Description
FunctionWithTreeSymbolicValue(FunctionTree functionTree)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionWithTreeSymbolicValue

public FunctionWithTreeSymbolicValue(FunctionTree functionTree)

Method Detail

getFunctionTree

public FunctionTree getFunctionTree()

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