org.sonar.javascript.se.sv

Class LogicalNotSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.LogicalNotSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class LogicalNotSymbolicValue
extends Object
implements SymbolicValue

Method Summary

Modifier and Type	Method and Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState state, Constraint constraint)
static SymbolicValue	create(SymbolicValue negatedValue)
SymbolicValue	negatedValue()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

create

public static SymbolicValue create(SymbolicValue negatedValue)

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

negatedValue

public SymbolicValue negatedValue()

toString

public String toString()

Overrides:

toString in class Object