|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.obl.StateSet
public class StateSet
A dataflow fact used in ObligationAnalysis. It is a set of State objects, plus the additional capability to represent top and bottom elements.
Invariant: no StateSet may contain more than one State with the same ObligationSet.
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
Constructor Summary | |
---|---|
StateSet(ObligationFactory factory)
|
Method Summary | |
---|---|
void |
addObligation(Obligation obligation,
int basicBlockId)
Add an obligation to every State in the StateSet. |
void |
clear()
|
void |
copyFrom(StateSet other)
Make this StateSet an exact copy of the given StateSet. |
java.util.Map<ObligationSet,State> |
createEmptyMap()
Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap(). |
void |
deleteObligation(Obligation obligation,
int basicBlockId)
Remove an Obligation from every State in the StateSet. |
StateSet |
duplicate()
Return an exact deep copy of this StateSet. |
boolean |
equals(java.lang.Object o)
|
java.util.Set<ObligationSet> |
getAllObligationSets()
Get Set of all ObligationsSets in this StateSet. |
java.util.List<State> |
getPrefixStates(Path path)
Get all States that have Paths which are prefixes of the given Path. |
State |
getStateWithObligationSet(ObligationSet obligationSet)
Get the State which has the given ObligationSet. |
int |
hashCode()
|
boolean |
isBottom()
|
boolean |
isTop()
|
boolean |
isValid()
|
void |
replaceMap(java.util.Map<ObligationSet,State> stateMap)
Replace the map of ObligationSets to States with the given one. |
void |
setBottom()
|
void |
setTop()
|
java.util.Iterator<State> |
stateIterator()
Return an Iterator over the States in the StateSet. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public StateSet(ObligationFactory factory)
Method Detail |
---|
public void setTop()
public boolean isTop()
public void setBottom()
public boolean isBottom()
public boolean isValid()
public void clear()
public java.util.Iterator<State> stateIterator()
public java.util.Set<ObligationSet> getAllObligationSets()
public State getStateWithObligationSet(ObligationSet obligationSet)
obligationSet
- we want to get the State with this ObligationSet
public void copyFrom(StateSet other)
other
- a StateSet; this StateSet will be made identical to itpublic StateSet duplicate()
public void addObligation(Obligation obligation, int basicBlockId) throws ObligationAcquiredOrReleasedInLoopException
obligation
- the obligation to addbasicBlockId
- the id of the basic block (path component) adding the obligation
ObligationAcquiredOrReleasedInLoopException
public void deleteObligation(Obligation obligation, int basicBlockId) throws ObligationAcquiredOrReleasedInLoopException
obligation
- the obligation to removebasicBlockId
- the id of the basic block (path component) removing the obligation
NonexistentObligationException
ObligationAcquiredOrReleasedInLoopException
public void replaceMap(java.util.Map<ObligationSet,State> stateMap)
stateMap
- enw map of ObligationSets to Statespublic java.util.List<State> getPrefixStates(Path path)
path
- a Path
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Map<ObligationSet,State> createEmptyMap()
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |