cz.vutbr.fit.racedetector
Class RDVarSet

java.lang.Object
  extended by cz.vutbr.fit.racedetector.RDVarSet

public class RDVarSet
extends java.lang.Object

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).

Author:
zdenek

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

DEBUG

public static final boolean DEBUG
See Also:
Constant Field Values
Constructor Detail

RDVarSet

public RDVarSet()
constructor

Method Detail

getVarSetFromFile

public int getVarSetFromFile(java.io.BufferedReader fd)
Loads a list of variable names from the given file. The format of the file is expected as follows:

Parameters:
fd -
Returns:
number of read records

isVarInSet

public boolean isVarInSet(java.lang.String varName)
Returns true if the given variable description leads to the variable which is stored in this class. The canonical name of the class and variable name is used. Instance can be null in the case of static field.

Parameters:
varName -