SymbolicValueWithConstraint (SonarQube JavaScript :: Frontend 6.2.1.12157 API)

java.lang.Object
- org.sonar.javascript.se.sv.SymbolicValueWithConstraint

All Implemented Interfaces:: SymbolicValue

public class SymbolicValueWithConstraint
extends Object
implements SymbolicValue

Constructor Summary

Constructors
Constructor Description

SymbolicValueWithConstraint(Constraint originalConstraint)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

SymbolicValueWithConstraint

public SymbolicValueWithConstraint(Constraint originalConstraint)

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