org.sonar.java.se

Class ProgramState

java.lang.Object

org.sonar.java.se.ProgramState

public class ProgramState
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProgramState.Pop

Field Summary

Fields

Modifier and Type	Field and Description
static ProgramState	EMPTY_STATE

Method Summary

Modifier and Type	Method and Description
ProgramState	addConstraint(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	addConstraints(SymbolicValue symbolicValue, PMap<Class<? extends Constraint>,Constraint> constraintsForSV)
boolean	canReach(SymbolicValue symbolicValue)
ProgramState	cleanupConstraints(Collection<SymbolicValue> protectedSymbolicValues)
ProgramState	cleanupDeadSymbols(Set<Symbol> liveVariables, Collection<SymbolicValue> protectedSymbolicValues)
int	constraintsSize()
boolean	equals(Object o)
boolean	exitingOnRuntimeException()
SymbolicValue	exitValue()
<T extends Constraint> T	getConstraint(SymbolicValue sv, Class<T> domain)
PMap<Class<? extends Constraint>,Constraint>	getConstraints(SymbolicValue sv)
Symbol	getLastEvaluated()
SymbolicValue	getValue(Symbol symbol)
List<SymbolicValue>	getValuesWithConstraints(Constraint constraint)
int	hashCode()
static boolean	isField(Symbol symbol)
SymbolicValue	peekValue()
SymbolicValue	peekValue(int i)
List<SymbolicValue>	peekValues(int n)
ProgramState	put(Symbol symbol, SymbolicValue value)
ProgramState	removeConstraintsOnDomain(SymbolicValue sv, Class<? extends Constraint> domain)
ProgramState	resetFieldValues(ConstraintManager constraintManager)
ProgramState	stackValue(SymbolicValue sv)
void	storeExitValue()
String	toString()
ProgramState.Pop	unstackValue(int nbElements)
ProgramState	visitedPoint(ProgramPoint programPoint, int nbOfVisit)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY_STATE

public static final ProgramState EMPTY_STATE

Method Detail

stackValue

public ProgramState stackValue(SymbolicValue sv)

unstackValue

public ProgramState.Pop unstackValue(int nbElements)

peekValue

@CheckForNull
public SymbolicValue peekValue()

peekValue

public SymbolicValue peekValue(int i)

peekValues

public List<SymbolicValue> peekValues(int n)

getLastEvaluated

@CheckForNull
public Symbol getLastEvaluated()

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

addConstraint

public ProgramState addConstraint(SymbolicValue symbolicValue,
                                  Constraint constraint)

addConstraints

public ProgramState addConstraints(SymbolicValue symbolicValue,
                                   PMap<Class<? extends Constraint>,Constraint> constraintsForSV)

removeConstraintsOnDomain

public ProgramState removeConstraintsOnDomain(SymbolicValue sv,
                                              Class<? extends Constraint> domain)

put

public ProgramState put(Symbol symbol,
                        SymbolicValue value)

cleanupDeadSymbols

public ProgramState cleanupDeadSymbols(Set<Symbol> liveVariables,
                                       Collection<SymbolicValue> protectedSymbolicValues)

cleanupConstraints

public ProgramState cleanupConstraints(Collection<SymbolicValue> protectedSymbolicValues)

resetFieldValues

public ProgramState resetFieldValues(ConstraintManager constraintManager)

isField

public static boolean isField(Symbol symbol)

canReach

public boolean canReach(SymbolicValue symbolicValue)

visitedPoint

public ProgramState visitedPoint(ProgramPoint programPoint,
                                 int nbOfVisit)

getConstraints

@Nullable
public PMap<Class<? extends Constraint>,Constraint> getConstraints(SymbolicValue sv)

getConstraint

@CheckForNull
public <T extends Constraint> T getConstraint(SymbolicValue sv,
                                                            Class<T> domain)

constraintsSize

public int constraintsSize()

getValue

@CheckForNull
public SymbolicValue getValue(Symbol symbol)

getValuesWithConstraints

public List<SymbolicValue> getValuesWithConstraints(Constraint constraint)

storeExitValue

public void storeExitValue()

exitValue

@CheckForNull
public SymbolicValue exitValue()

exitingOnRuntimeException

public boolean exitingOnRuntimeException()