|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.ERThreadInfoCollection
class ERThreadInfoCollection
This class provides access to the set of ThreadInfo objects - each represents a thread accessing shared variable from RDVariable.
Constructor Summary | |
---|---|
ERThreadInfoCollection()
|
Method Summary | |
---|---|
void |
addThread(int thread,
java.lang.String programLocation,
RaceDetector.Operation mode)
Adds thread to the set. |
void |
addThread(int thread,
java.lang.String programLocation,
RaceDetector.Operation mode,
ERVariable.State status,
java.util.Set<javolution.util.Index> locks)
Adds thread to the set. |
void |
clearThreads()
Clear the set - remove all ThreadInfo objects from the set. |
void |
clearThreadsAcceptCurrent()
Clean the set - remove all ThreadInfo objects from the set accept that representing current thread. |
boolean |
containsThread(int thread)
Returns true if the record containing given thread exists. |
java.lang.String |
generateVarReport()
Generates basic report based on informations stored in ThreadInfoCollection - a set of threads accessing the variable. |
java.util.Set<javolution.util.Index> |
getVarThreadSet()
Returns the set of threads accessing the variable. |
void |
updateThreadInfo(int thread,
java.lang.String programLocation,
RaceDetector.Operation mode)
Updates ThreadInfo record of given thread. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
ERThreadInfoCollection()
Method Detail |
---|
public boolean containsThread(int thread)
public void clearThreads()
public void clearThreadsAcceptCurrent()
public void addThread(int thread, java.lang.String programLocation, RaceDetector.Operation mode, ERVariable.State status, java.util.Set<javolution.util.Index> locks)
thread
- programLocation
- mode
- status
- locks
- public void addThread(int thread, java.lang.String programLocation, RaceDetector.Operation mode)
thread
- programLocation
- mode
- public void updateThreadInfo(int thread, java.lang.String programLocation, RaceDetector.Operation mode)
thread
- programLocation
- mode
- public java.lang.String generateVarReport()
public java.util.Set<javolution.util.Index> getVarThreadSet()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |