Uses of Class
cz.vutbr.fit.racedetector.ARThread

Packages that use ARThread
cz.vutbr.fit.racedetector Race detector for IBM ConTest What is a data race? 
 

Uses of ARThread in cz.vutbr.fit.racedetector
 

Methods in cz.vutbr.fit.racedetector with parameters of type ARThread
 boolean ARVariable.afterAccess(ARThread art, java.lang.String programLocation)
          Things that should be done before the access to the variable: If this thread is inside the critical section of this variable and the given program location is the end of the atomic section - stop checking.
 boolean ARVariable.beforeAccess(ARThread art, java.lang.String programLocation, RaceDetector.Operation operation, Atomicity beginAtom)
          Things that should be done before the access to the variable: Check if someone else is not in the critical section of this variable (if is - than conflict is detected).