org.sonar.java.se.symbolicvalues

Class SymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

Direct Known Subclasses:

BinarySymbolicValue, SymbolicValue.UnarySymbolicValue

public class SymbolicValue
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SymbolicValue.AndSymbolicValue
static class	SymbolicValue.BooleanExpressionSymbolicValue
static class	SymbolicValue.InstanceOfSymbolicValue
static class	SymbolicValue.NotSymbolicValue
static class	SymbolicValue.OrSymbolicValue
static class	SymbolicValue.UnarySymbolicValue
static class	SymbolicValue.XorSymbolicValue

Field Summary

Fields

Modifier and Type	Field and Description
static SymbolicValue	FALSE_LITERAL
static SymbolicValue	NULL_LITERAL
static List<SymbolicValue>	PROTECTED_SYMBOLIC_VALUES
static SymbolicValue	TRUE_LITERAL

Constructor Summary

Constructors

Constructor and Description
SymbolicValue(int id)

Method Summary

Methods

Modifier and Type	Method and Description
BinaryRelation	binaryRelation()
void	computedFrom(List<SymbolicValue> symbolicValues)
boolean	equals(Object o)
int	hashCode()
int	id()
static boolean	isDisposable(SymbolicValue symbolicValue)
boolean	references(SymbolicValue other)
List<ProgramState>	setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	setConstraint(ProgramState programState, ObjectConstraint nullConstraint)
ProgramState	setSingleConstraint(ProgramState programState, ObjectConstraint nullConstraint)
String	toString()
SymbolicValue	wrappedValue()

Methods inherited from class java.lang.Object

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

Field Detail

NULL_LITERAL

public static final SymbolicValue NULL_LITERAL

TRUE_LITERAL

public static final SymbolicValue TRUE_LITERAL

FALSE_LITERAL

public static final SymbolicValue FALSE_LITERAL

PROTECTED_SYMBOLIC_VALUES

public static final List<SymbolicValue> PROTECTED_SYMBOLIC_VALUES

Constructor Detail

SymbolicValue

public SymbolicValue(int id)

Method Detail

isDisposable

public static boolean isDisposable(SymbolicValue symbolicValue)

id

public int id()

references

public boolean references(SymbolicValue 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

computedFrom

public void computedFrom(List<SymbolicValue> symbolicValues)

setConstraint

public List<ProgramState> setConstraint(ProgramState programState,
                               ObjectConstraint nullConstraint)

setConstraint

public List<ProgramState> setConstraint(ProgramState programState,
                               BooleanConstraint booleanConstraint)

setSingleConstraint

public ProgramState setSingleConstraint(ProgramState programState,
                               ObjectConstraint nullConstraint)

wrappedValue

public SymbolicValue wrappedValue()

binaryRelation

@CheckForNull
public BinaryRelation binaryRelation()