Uses of Class
cz.vutbr.fit.racedetector.RaceDetector.Operation

Packages that use RaceDetector.Operation
cz.vutbr.fit.atomicity   
cz.vutbr.fit.findbugs.atom.analysis   
cz.vutbr.fit.racedetector Race detector for IBM ConTest What is a data race? 
 

Uses of RaceDetector.Operation in cz.vutbr.fit.atomicity
 

Methods in cz.vutbr.fit.atomicity that return RaceDetector.Operation
 RaceDetector.Operation Atomicity.getBeginOp()
          Returns the access type of the atomicity begin operation.
 RaceDetector.Operation AtomicityDouble.getBeginOp()
          Returns the access type (read/write of the atomicity begin operation.
 RaceDetector.Operation AtomicityMulti.getBeginOp()
          Returns the access type (read/write of the atomicity begin operation.
 RaceDetector.Operation AtomicitySimple.getBeginOp()
          Returns the access type (read/write of the atomicity begin operation.
 RaceDetector.Operation AtomicityTriple.getBeginOp()
          Returns the access type (read/write of the atomicity begin operation.
 RaceDetector.Operation Atomicity.isEnd(java.lang.String progLocation)
          Returns true if the given program location represents the end of the atomicity.
 RaceDetector.Operation AtomicityDouble.isEnd(java.lang.String progLocation)
          Determines if the given program location represents one of the ends of this atomicity.
 RaceDetector.Operation AtomicityMulti.isEnd(java.lang.String progLocation)
          Returns true if the given program location represents the end of the atomicity.
 RaceDetector.Operation AtomicitySimple.isEnd(java.lang.String progLocation)
          Returns true if the given program location represents the end of the atomicity.
 RaceDetector.Operation AtomicityTriple.isEnd(java.lang.String progLocation)
          Determines if the given program location represents one of the ends of this atomicity.
 

Uses of RaceDetector.Operation in cz.vutbr.fit.findbugs.atom.analysis
 

Constructors in cz.vutbr.fit.findbugs.atom.analysis with parameters of type RaceDetector.Operation
CTVarInfo(java.lang.String vName, java.lang.String pLoc, RaceDetector.Operation op)
          Constructor.
 

Uses of RaceDetector.Operation in cz.vutbr.fit.racedetector
 

Fields in cz.vutbr.fit.racedetector declared as RaceDetector.Operation
 RaceDetector.Operation ARInfo.ProblemAccess.curOperation
           
 RaceDetector.Operation Access.mode
          Type of this access (read/write/...).
 

Methods in cz.vutbr.fit.racedetector that return RaceDetector.Operation
static RaceDetector.Operation RaceDetector.Operation.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static RaceDetector.Operation[] RaceDetector.Operation.values()
          Returns an array containing the constants of this enum type, in the order they're declared.
 

Methods in cz.vutbr.fit.racedetector with parameters of type RaceDetector.Operation
 boolean ARInfo.addProblemAccess(java.lang.String location, RaceDetector.Operation op)
          Adds a new ProblemAccess to this race report only if the current thread is different from one which enters the atomic section.
 void ERThreadInfoCollection.addThread(int thread, java.lang.String programLocation, RaceDetector.Operation mode)
          Adds thread to the set.
 void ERThreadInfoCollection.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.
 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).
 void AtomRaceDetect.beforeAccessEvent(java.lang.String programLocation, java.lang.String varName, java.lang.Object instance, RaceDetector.Operation operation)
          Operations performed before access to the variable.
 void EraserDetect.beforeAccessEvent(java.lang.String programLocation, java.lang.String varName, java.lang.Object instance, RaceDetector.Operation operation)
          Operations performed before access to the variable.
 ARInfo.ProblemAccess ARInfo.isTrueRace(RaceDetector.Operation endOp)
          Returns true if the given atomicity ending operation means that it was a true race.
 boolean ERVariable.updateState(ERThread thread, java.lang.String programLocation, RaceDetector.Operation operation)
          This method implements Race detection algorithm.
 void ERThreadInfoCollection.updateThreadInfo(int thread, java.lang.String programLocation, RaceDetector.Operation mode)
          Updates ThreadInfo record of given thread.
 void ERThreadInfo.updateThreadInfo(java.lang.String programLocation, RaceDetector.Operation mode)
          Updates programLocation and access mode.
 

Constructors in cz.vutbr.fit.racedetector with parameters of type RaceDetector.Operation
Access(java.lang.String loc, RaceDetector.Operation mod)
          Constructor.
ARInfo.ProblemAccess(java.lang.Thread cThread, java.lang.String cLoc, RaceDetector.Operation cOper)
          Constructor - information concerning the problematic access.
ERThreadInfo(java.lang.String programLocation, RaceDetector.Operation mode)
          constructor