public class ReadFile
extends java.lang.Object
Constructor and Description |
---|
ReadFile(java.lang.String inputFileName,
int v,
int csvInterval,
CSVFile csvFile)
Reads the contents of a file into an Observations object in increments of
a given number of lines.
|
ReadFile(java.lang.String inputFileName,
int v,
java.lang.String comment)
Sets a file name for input.
|
ReadFile(java.lang.String inputFileName1,
java.lang.String inputFileName2,
int v,
int csvInterval,
CSVFile csvFile)
Reads the contents of two files into an Observations object in increments
of a given number of lines.
|
ReadFile(java.lang.String inputFileName1,
java.lang.String inputFileName2,
int v,
java.lang.String comment)
Sets two file names for input.
|
Modifier and Type | Method and Description |
---|---|
int |
decideFileType(java.lang.String dataFileName)
Decides the file type of a given data file.
|
Channel |
getChannel()
Returns the channel.
|
ContinuousData |
getContinuousData()
Returns continuous data.
|
ProbDist |
getDistribution()
Returns the distribution.
|
java.util.TreeSet<java.lang.String> |
getGuessDomain()
Returns the set of all guesses.
|
Observations |
getObservations()
Returns the observation.
|
void |
read2ContinuousObservationsFiles()
Reads two continuous observation files.
|
void |
read2DiscreteObservationsFiles()
Reads two discrete observation files.
|
void |
readChannel()
Reads a channel file.
|
java.lang.String[] |
readConfiguration()
Reads a configuration file.
|
void |
readContinuousObservations()
Reads a continuous observation file.
|
void |
readDistribution()
Reads a discrete (prior) distribution file.
|
void |
readGuessDomain()
Reads a discrete guess domain file.
|
void |
readObservations()
Reads a discrete observation file.
|
java.lang.String |
removeQuotation(java.lang.String inputFileName)
Removes quotation marks from a string.
|
void |
setTerminateWhenStabilised(boolean flag)
Controls whether the readObservations() and
read2DiscreteObservationsFiles() methods should terminate before
they have finished reading all of the available samples, if the corrected
leakage value stabilises.
|
static java.util.Vector[] |
vectorVectorToArrayVector(java.util.Vector<java.util.Vector<java.lang.Integer>> v)
Converts a vector of vectors to an array of vectors.
|
public ReadFile(java.lang.String inputFileName, int v, int csvInterval, CSVFile csvFile)
inputFileName
- File name for inputv
- Verbosity levelcsvInterval
- Number of lines to read from the file during each
incrementcsvFile
- The CSV file to write intermediate leakage estimates topublic ReadFile(java.lang.String inputFileName, int v, java.lang.String comment)
inputFileName
- File name for inputv
- verbosecomment
- comment on the data filepublic ReadFile(java.lang.String inputFileName1, java.lang.String inputFileName2, int v, int csvInterval, CSVFile csvFile)
inputFileName1
- File name for inputinputFileName2
- File name for inputv
- Verbosity levelcsvInterval
- Number of lines to read from the file during each
incrementcsvFile
- The CSV file to write intermediate leakage estimates topublic ReadFile(java.lang.String inputFileName1, java.lang.String inputFileName2, int v, java.lang.String comment)
inputFileName1
- File name for inputinputFileName2
- File name for inputv
- verbosecomment
- comment on the data filepublic int decideFileType(java.lang.String dataFileName)
dataFileName
- the file name of a given data filepublic Channel getChannel()
public ContinuousData getContinuousData()
public ProbDist getDistribution()
public java.util.TreeSet<java.lang.String> getGuessDomain()
public Observations getObservations()
public void read2ContinuousObservationsFiles()
public void read2DiscreteObservationsFiles()
public void readChannel()
public java.lang.String[] readConfiguration()
public void readContinuousObservations()
public void readDistribution()
public void readGuessDomain()
public void readObservations()
public java.lang.String removeQuotation(java.lang.String inputFileName)
inputFileName
- File name stringpublic void setTerminateWhenStabilised(boolean flag)
flag
- true to terminate early; false to read all
of the samples regardless.public static java.util.Vector[] vectorVectorToArrayVector(java.util.Vector<java.util.Vector<java.lang.Integer>> v)
v
- vector of vectors