Uses of Class
cz.vutbr.fit.racedetector.ERVariable.State

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.