Package org.sonar.javascript.se.sv

Class UnaryMinusSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.UnaryMinusSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class UnaryMinusSymbolicValue
extends Object
implements SymbolicValue

Symbolic value used for numeric negation ("-x")

Constructor Summary

Constructors

Constructor	Description
UnaryMinusSymbolicValue(SymbolicValue operandValue)

Method Summary

Modifier and Type	Method	Description
Constraint	baseConstraint(ProgramState state)
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

Constructor Detail

UnaryMinusSymbolicValue

public UnaryMinusSymbolicValue(SymbolicValue operandValue)

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