org.sonar.javascript.se

Class SymbolicValue

java.lang.Object

org.sonar.javascript.se.SymbolicValue

public class SymbolicValue
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected static SymbolicValue	FALSY_LITERAL
static SymbolicValue	NOT_NULL
static SymbolicValue	NOT_NULLY
static SymbolicValue	NOT_UNDEFINED
static SymbolicValue	NULL
static SymbolicValue	NULL_OR_UNDEFINED
protected static SymbolicValue	TRUTHY_LITERAL
static SymbolicValue	UNDEFINED
static SymbolicValue	UNKNOWN

Method Summary

Methods

Modifier and Type	Method and Description
SymbolicValue	constrain(Nullability nullability)
SymbolicValue	constrain(Truthiness truthiness)
boolean	equals(Object obj)
static SymbolicValue	get(ExpressionTree expression)
int	hashCode()
static SymbolicValue	literal(boolean isTruthy)
Nullability	nullability()
String	toString()
Truthiness	truthiness()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

NULL

public static final SymbolicValue NULL

UNDEFINED

public static final SymbolicValue UNDEFINED

NOT_UNDEFINED

public static final SymbolicValue NOT_UNDEFINED

NULL_OR_UNDEFINED

public static final SymbolicValue NULL_OR_UNDEFINED

UNKNOWN

public static final SymbolicValue UNKNOWN

NOT_NULLY

public static final SymbolicValue NOT_NULLY

NOT_NULL

public static final SymbolicValue NOT_NULL

TRUTHY_LITERAL

protected static final SymbolicValue TRUTHY_LITERAL

FALSY_LITERAL

protected static final SymbolicValue FALSY_LITERAL

Method Detail

get

public static SymbolicValue get(ExpressionTree expression)

literal

public static SymbolicValue literal(boolean isTruthy)

nullability

public Nullability nullability()

truthiness

public Truthiness truthiness()

constrain

public SymbolicValue constrain(Truthiness truthiness)

constrain

public SymbolicValue constrain(Nullability nullability)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object