|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.RDVarSet
public class RDVarSet
A set of variable names which are given in the file and can be used by RaceDetector in several cases. (a set of variables that should be ommited or healed from the beginning).
Field Summary | |
---|---|
static boolean |
DEBUG
|
Constructor Summary | |
---|---|
RDVarSet()
constructor |
Method Summary | |
---|---|
int |
getVarSetFromFile(java.io.BufferedReader fd)
Loads a list of variable names from the given file. |
boolean |
isVarInSet(java.lang.String varName)
Returns true if the given variable description leads to the variable which is stored in this class. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final boolean DEBUG
Constructor Detail |
---|
public RDVarSet()
Method Detail |
---|
public int getVarSetFromFile(java.io.BufferedReader fd)
fd
-
public boolean isVarInSet(java.lang.String varName)
varName
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |