|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ERVariable.State | |
---|---|
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of ERVariable.State in cz.vutbr.fit.racedetector |
---|
Methods in cz.vutbr.fit.racedetector that return ERVariable.State | |
---|---|
static ERVariable.State |
ERVariable.State.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ERVariable.State[] |
ERVariable.State.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 ERVariable.State | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |