Package org.sonar.javascript.se.sv

Class LiteralSymbolicValue

java.lang.Object

org.sonar.javascript.se.sv.LiteralSymbolicValue

All Implemented Interfaces:

SymbolicValue

public class LiteralSymbolicValue
extends Object
implements SymbolicValue

This class represents symbolic value for literal (string, number and boolean). Current implementation provides only truthy/falsy constraint for this symbolic value, thus we are not able to process numeric constraints.

Method Summary

Modifier and Type	Method	Description
Constraint	baseConstraint(ProgramState state)
Optional<ProgramState>	constrainDependencies(ProgramState state, Constraint constraint)
static SymbolicValue	get(LiteralTree literal)
LiteralTree	getLiteral()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

get

public static SymbolicValue get(LiteralTree literal)

getLiteral

public LiteralTree getLiteral()

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