cz.vutbr.fit.racedetector
Class ERThread

java.lang.Object
  extended by cz.vutbr.fit.racedetector.RDThread
      extended by cz.vutbr.fit.racedetector.ERThread

public class ERThread
extends RDThread

Class takes care of the information gathered about the thread. It is also used for buffering information which will be used during the next step done by this thread.

Author:
zdenek

Field Summary
 
Fields inherited from class cz.vutbr.fit.racedetector.RDThread
healing
 
Constructor Summary
ERThread()
          constructor
 
Method Summary
 void addHeldLock(int lock)
          Adds lock to the set of locks currently held by the thread
 void cleanERThread()
          Information of the thread are removed, for memory saving.
 java.util.Set<javolution.util.Index> getHeldLocks()
          Returns locks held by the thread.
 java.lang.String printHeldLocks()
          Returns a text representation of held locks.
 void removeHeldLock(int lock)
          Removes lock from the set of locks currently held by the thread.
 
Methods inherited from class cz.vutbr.fit.racedetector.RDThread
cleanRDThread, clearAtomicSectionEnd, getCachedProperVarName, getCachedVarRecord, isAtomicSectionEnd, setAtomicSection, setCachedInfo, setCachedProperVarName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ERThread

ERThread()
constructor

Method Detail

cleanERThread

public void cleanERThread()
Information of the thread are removed, for memory saving. Only information concerning healing and Join synchronization remain.


addHeldLock

public void addHeldLock(int lock)
Adds lock to the set of locks currently held by the thread

Parameters:
lock - A lock to be added

removeHeldLock

public void removeHeldLock(int lock)
Removes lock from the set of locks currently held by the thread.

Parameters:
lock - A lock to be removed

getHeldLocks

public java.util.Set<javolution.util.Index> getHeldLocks()
Returns locks held by the thread.

Returns:
A set of locks

printHeldLocks

public java.lang.String printHeldLocks()
Returns a text representation of held locks.

Returns:
Held locks