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 and Description
static Constraint	ANY_VALUE
static Constraint	ARRAY
static Constraint	BOOLEAN
static Constraint	EMPTY_STRING
static Constraint	FALSE
static Constraint	FALSY
static Constraint	FUNCTION
static Constraint	NAN
static Constraint	NO_POSSIBLE_VALUE
static Constraint	NOT_NULLY
static Constraint	NULL
static Constraint	NULL_OR_UNDEFINED
static Constraint	NUMBER
static Constraint	OBJECT
static Constraint	OTHER_OBJECT
static Constraint	STRING
static Constraint	TRUE
static Constraint	TRUTHY
static Constraint	TRUTHY_NUMBER
static Constraint	TRUTHY_STRING
static Constraint	UNDEFINED
static Constraint	ZERO

Method Summary

Modifier and Type	Method and Description
Constraint	and(Constraint other)
boolean	equals(Object o)
int	hashCode()
boolean	isIncompatibleWith(Constraint other)
boolean	isStricterOrEqualTo(Constraint other)
Constraint	not()
Nullability	nullability()
Constraint	or(Constraint other)
String	toString()
Truthiness	truthiness()
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

public static final Constraint EMPTY_STRING

NAN

public static final Constraint NAN

FALSE

public static final Constraint FALSE

TRUE

public static final Constraint TRUE

FUNCTION

public static final Constraint FUNCTION

TRUTHY_NUMBER

public static final Constraint TRUTHY_NUMBER

TRUTHY_STRING

public static final Constraint TRUTHY_STRING

ARRAY

public static final Constraint ARRAY

OTHER_OBJECT

public static final Constraint OTHER_OBJECT

NULL_OR_UNDEFINED

public static final Constraint NULL_OR_UNDEFINED

NOT_NULLY

public static final Constraint NOT_NULLY

TRUTHY

public static final Constraint TRUTHY

FALSY

public static final Constraint FALSY

NUMBER

public static final Constraint NUMBER

STRING

public static final Constraint STRING

BOOLEAN

public static final Constraint 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()

truthiness

public Truthiness truthiness()

nullability

public Nullability nullability()

type

public Type type()

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