Package org.sonar.javascript.se

Class Constraint

java.lang.Object

org.sonar.javascript.se.Constraint

public class Constraint
extends Object

This class represents a constraint which is met by a SymbolicValue in a given ProgramState. Possible constraints are NULL, UNDEFINED, ZERO, EMPTY_STRING, NAN, FALSE, TRUE, FUNCTION, TRUTHY_NUMBER, TRUTHY_STRING, ARRAY, OTHER_OBJECT and any possible combination of them.

Field Summary

Fields

Modifier and Type	Field	Description
static Constraint	ANY_BOOLEAN
static Constraint	ANY_NUMBER
static Constraint	ANY_STRING
static Constraint	ANY_VALUE
static Constraint	ARRAY
static Constraint	BOOLEAN_OBJECT
static Constraint	BOOLEAN_PRIMITIVE
static Constraint	DATE
static Constraint	EMPTY_STRING_PRIMITIVE
static Constraint	FALSE
static Constraint	FALSY
static Constraint	FUNCTION
static Constraint	KNOWN_OBJECTS
static Constraint	NAN
static Constraint	NEGATIVE_NUMBER_PRIMITIVE
static Constraint	NO_POSSIBLE_VALUE
static Constraint	NOT_NULLY
static Constraint	NULL
static Constraint	NULL_OR_UNDEFINED
static Constraint	NUMBER_OBJECT
static Constraint	NUMBER_PRIMITIVE
static Constraint	OBJECT
static Constraint	OTHER_OBJECT
static Constraint	POSITIVE_NUMBER_PRIMITIVE
static Constraint	REGEXP
static Constraint	STRING_OBJECT
static Constraint	STRING_PRIMITIVE
static Constraint	TRUE
static Constraint	TRUTHY
static Constraint	TRUTHY_NUMBER_PRIMITIVE
static Constraint	TRUTHY_STRING_PRIMITIVE
static Constraint	UNDEFINED
static Constraint	ZERO

Method Summary

Modifier and Type	Method	Description
Constraint	and(Constraint other)
boolean	equals(Object o)
int	hashCode()
boolean	isIncompatibleWith(Constraint other)
boolean	isSingleValue()
boolean	isStricterOrEqualTo(Constraint other)
Constraint	not()
Optional<com.google.common.collect.Range<Integer>>	numericRange()	Returns numeric range corresponding to the constraint (if constraint is pure numeric).
Constraint	or(Constraint other)
String	toString()
Type	type()
Set<Type>	typeSet()

Methods inherited from class java.lang.Object

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

Field Detail

ANY_VALUE

public static final Constraint ANY_VALUE

NO_POSSIBLE_VALUE

public static final Constraint NO_POSSIBLE_VALUE

NULL

public static final Constraint NULL

UNDEFINED

public static final Constraint UNDEFINED

ZERO

public static final Constraint ZERO

EMPTY_STRING_PRIMITIVE

public static final Constraint EMPTY_STRING_PRIMITIVE

NAN

public static final Constraint NAN

FALSE

public static final Constraint FALSE

TRUE

public static final Constraint TRUE

FUNCTION

public static final Constraint FUNCTION

POSITIVE_NUMBER_PRIMITIVE

public static final Constraint POSITIVE_NUMBER_PRIMITIVE

NEGATIVE_NUMBER_PRIMITIVE

public static final Constraint NEGATIVE_NUMBER_PRIMITIVE

TRUTHY_STRING_PRIMITIVE

public static final Constraint TRUTHY_STRING_PRIMITIVE

ARRAY

public static final Constraint ARRAY

DATE

public static final Constraint DATE

REGEXP

public static final Constraint REGEXP

STRING_OBJECT

public static final Constraint STRING_OBJECT

NUMBER_OBJECT

public static final Constraint NUMBER_OBJECT

BOOLEAN_OBJECT

public static final Constraint BOOLEAN_OBJECT

OTHER_OBJECT

public static final Constraint OTHER_OBJECT

NULL_OR_UNDEFINED

public static final Constraint NULL_OR_UNDEFINED

TRUTHY_NUMBER_PRIMITIVE

public static final Constraint TRUTHY_NUMBER_PRIMITIVE

KNOWN_OBJECTS

public static final Constraint KNOWN_OBJECTS

NOT_NULLY

public static final Constraint NOT_NULLY

TRUTHY

public static final Constraint TRUTHY

FALSY

public static final Constraint FALSY

NUMBER_PRIMITIVE

public static final Constraint NUMBER_PRIMITIVE

ANY_NUMBER

public static final Constraint ANY_NUMBER

STRING_PRIMITIVE

public static final Constraint STRING_PRIMITIVE

ANY_STRING

public static final Constraint ANY_STRING

BOOLEAN_PRIMITIVE

public static final Constraint BOOLEAN_PRIMITIVE

ANY_BOOLEAN

public static final Constraint ANY_BOOLEAN

OBJECT

public static final Constraint OBJECT

Method Detail

and

public Constraint and(Constraint other)

or

public Constraint or(Constraint other)

not

public Constraint not()

type

public Type type()

numericRange

public Optional<com.google.common.collect.Range<Integer>> numericRange()

Returns numeric range corresponding to the constraint (if constraint is pure numeric).

isSingleValue

public boolean isSingleValue()

typeSet

public Set<Type> typeSet()

isStricterOrEqualTo

public boolean isStricterOrEqualTo(Constraint other)

isIncompatibleWith

public boolean isIncompatibleWith(Constraint other)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object