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

Methods

Modifier and Type	Method and Description
ProgramState	addConstraint(SymbolicValue symbolicValue, Constraint constraint)
boolean	canReach(SymbolicValue symbolicValue)
ProgramState	cleanupConstraints()
ProgramState	cleanupDeadSymbols(Set<Symbol> liveVariables)
int	constraintsSize()
boolean	equals(Object o)
Constraint	getConstraint(SymbolicValue sv)
ObjectConstraint	getConstraintWithStatus(SymbolicValue value, Object aState)
List<ObjectConstraint>	getFieldConstraints(Object state)
Set<SymbolicValue>	getFieldValues()
List<BinaryRelation>	getKnownRelations()
SymbolicValue	getValue(Symbol symbol)
Map<SymbolicValue,ObjectConstraint>	getValuesWithConstraints(Object state)
int	hashCode()
static boolean	isField(Symbol symbol)
SymbolicValue	peekValue()
List<SymbolicValue>	peekValues(int n)
ProgramState	resetFieldValues(ConstraintManager constraintManager)
String	toString()
ProgramState.Pop	unstackValue(int nbElements)
ProgramState	visitedPoint(ExplodedGraph.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

unstackValue

public ProgramState.Pop unstackValue(int nbElements)

peekValue

public SymbolicValue peekValue()

peekValues

public List<SymbolicValue> peekValues(int n)

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)

cleanupDeadSymbols

public ProgramState cleanupDeadSymbols(Set<Symbol> liveVariables)

cleanupConstraints

public ProgramState cleanupConstraints()

resetFieldValues

public ProgramState resetFieldValues(ConstraintManager constraintManager)

isField

public static boolean isField(Symbol symbol)

canReach

public boolean canReach(SymbolicValue symbolicValue)

visitedPoint

public ProgramState visitedPoint(ExplodedGraph.ProgramPoint programPoint,
                        int nbOfVisit)

getConstraint

@CheckForNull
public Constraint getConstraint(SymbolicValue sv)

constraintsSize

public int constraintsSize()

getValue

@CheckForNull
public SymbolicValue getValue(Symbol symbol)

getValuesWithConstraints

public Map<SymbolicValue,ObjectConstraint> getValuesWithConstraints(Object state)

getFieldConstraints

public List<ObjectConstraint> getFieldConstraints(Object state)

getFieldValues

public Set<SymbolicValue> getFieldValues()

getKnownRelations

public List<BinaryRelation> getKnownRelations()

getConstraintWithStatus

@CheckForNull
public ObjectConstraint getConstraintWithStatus(SymbolicValue value,
                                                    Object aState)