Package org.sonar.javascript.se.sv

Class IncDecSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.IncDecSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class IncDecSymbolicValue
extends Object
implements SymbolicValue

This symbolic value represents "plus 1" or "minus 1" operation (used for increment and decrement)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	IncDecSymbolicValue.Sign

Constructor Summary

Constructors

Constructor	Description
IncDecSymbolicValue(IncDecSymbolicValue.Sign sign, SymbolicValue operandValue)

Method Summary

Modifier and Type	Method	Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState state, Constraint constraint)
IncDecSymbolicValue.Sign	sign()

Methods inherited from class java.lang.Object

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

Constructor Detail

IncDecSymbolicValue

public IncDecSymbolicValue(IncDecSymbolicValue.Sign sign,
                           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

sign

public IncDecSymbolicValue.Sign sign()