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 and Description
List<ProgramState>	constrain(ProgramState state, Constraint constraint)
Constraint	constraint(ProgramState state)
static LiteralSymbolicValue	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 LiteralSymbolicValue get(LiteralTree literal)

getLiteral

public LiteralTree getLiteral()

constrain

public List<ProgramState> constrain(ProgramState state,
                                    Constraint constraint)

Specified by:

constrain in interface SymbolicValue

constraint

public Constraint constraint(ProgramState state)

Specified by:

constraint in interface SymbolicValue

toString

public String toString()

Overrides:

toString in class Object