cz.vutbr.fit.racedetector
Class ARThread

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

public class ARThread
extends RDThread

A structure used for maintaining important thread dependent information for AtomRace. Mostly contains only cached temporary information.

Author:
zdenek

Field Summary
protected  javolution.util.FastSet<ARVariable> curInside
           
 
Fields inherited from class cz.vutbr.fit.racedetector.RDThread
healing
 
Constructor Summary
ARThread()
           
 
Method Summary
 
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
 

Field Detail

curInside

protected javolution.util.FastSet<ARVariable> curInside
Constructor Detail

ARThread

ARThread()