|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |