Package org.sonar.java.se.symbolicvalues

Class SymbolicValue

java.lang.Object

org.sonar.java.se.symbolicvalues.SymbolicValue

Direct Known Subclasses:

BinarySymbolicValue, SymbolicValue.CaughtExceptionSymbolicValue, SymbolicValue.ExceptionalSymbolicValue, SymbolicValue.UnarySymbolicValue

public class SymbolicValue
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SymbolicValue.AndSymbolicValue
static class	SymbolicValue.BooleanExpressionSymbolicValue
static class	SymbolicValue.CaughtExceptionSymbolicValue
static class	SymbolicValue.ExceptionalSymbolicValue
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	Description
static SymbolicValue	FALSE_LITERAL
static SymbolicValue	NULL_LITERAL
static List<SymbolicValue>	PROTECTED_SYMBOLIC_VALUES
static SymbolicValue	TRUE_LITERAL

Constructor Summary

Constructors

Constructor	Description
SymbolicValue()

Method Summary

Modifier and Type	Method	Description
List<SymbolicValue>	computedFrom()
void	computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)
List<Symbol>	computedFromSymbols()
boolean	equals(Object o)
int	hashCode()
static boolean	isDisposable(SymbolicValue symbolicValue)
boolean	references(SymbolicValue other)
List<ProgramState>	setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	setConstraint(ProgramState programState, Constraint constraint)
protected List<ProgramState>	setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
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()

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

isDisposable

public static boolean isDisposable(SymbolicValue symbolicValue)

references

public boolean references(SymbolicValue other)

toString

public String toString()

Overrides:

toString in class Object

computedFrom

public void computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)

computedFromSymbols

public List<Symbol> computedFromSymbols()

computedFrom

public List<SymbolicValue> computedFrom()

setConstraint

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

setConstraint

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

setConstraint

public List<ProgramState> setConstraint(ProgramState programState,
                                        Constraint constraint)

setSingleConstraint

public ProgramState setSingleConstraint(ProgramState programState,
                                        ObjectConstraint nullConstraint)

setConstraint

protected List<ProgramState> setConstraint(ProgramState state,
                                           Constraint constraint,
                                           Set<RelationalSymbolicValue> knownRelations)

wrappedValue

public SymbolicValue wrappedValue()