|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ARInfo.ProblemAccess | |
---|---|
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of ARInfo.ProblemAccess in cz.vutbr.fit.racedetector |
---|
Methods in cz.vutbr.fit.racedetector that return ARInfo.ProblemAccess | |
---|---|
ARInfo.ProblemAccess |
ARInfo.isTrueRace(RaceDetector.Operation endOp)
Returns true if the given atomicity ending operation means that it was a true race. |
Methods in cz.vutbr.fit.racedetector with parameters of type ARInfo.ProblemAccess | |
---|---|
java.lang.String |
ARInfo.printAtomViolatReport(ARInfo.ProblemAccess pAcc)
Produce the warning that race has been detected. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |