/**
* Method to invoke when we encounter a block of text in the CSV file that is the contents of a
* predicate variable.
*
* @param csvFile The csvFile we are currently parsing.
* @param var The variable that we will be adding cells too.
* @param arg The matrix template we are using when parsing individual matrix elements to put in
* the spreadsheet.
* @return The next line in the file that is not part of the block of text in the CSV file.
* @throws IOException If unable to read the file correctly.
*/
private String parseMatrixVariable(
final BufferedReader csvFile, final Variable var, final Argument arg) throws IOException {
String line = csvFile.readLine();
while ((line != null) && Character.isDigit(line.charAt(0))) {
// Split the line into tokens using a comma delimiter.
String[] tokens = line.split(",");
Cell newCell = var.createCell();
// Set the onset and offset from tokens in the line.
newCell.setOnset(tokens[DATA_ONSET]);
newCell.setOffset(tokens[DATA_OFFSET]);
// Strip the brackets from the first and last argument.
tokens[DATA_INDEX] = tokens[DATA_INDEX].substring(1, tokens[DATA_INDEX].length());
int end = tokens.length - 1;
tokens[end] = tokens[end].substring(0, tokens[end].length() - 1);
parseFormalArgs(tokens, DATA_INDEX, var.getVariableType(), (MatrixValue) newCell.getValue());
// Get the next line in the file for reading.
line = csvFile.readLine();
}
return line;
}
/**
* Method to invoke when we encounter a block of text in the CSV file that is the contents of a
* variable.
*
* @param csvFile The csvFile we are currently parsing.
* @param var The variable that we will be adding cells too.
* @param The populator to use when converting the contents of the cell into a datavalue that can
* be inserted into the spreadsheet.
* @return The next line in the file that is not part of the block of text in the CSV file.
* @throws IOException If unable to read the file correctly.
*/
private String parseEntries(
final BufferedReader csvFile, final Variable var, final EntryPopulator populator)
throws IOException {
// Keep parsing lines and putting them in the newly formed nominal
// variable until we get to a line indicating the end of file or a new
// variable section.
String line = csvFile.readLine();
while ((line != null) && Character.isDigit(line.charAt(0))) {
// Split the line into tokens using a comma delimiter.
String[] tokens = line.split(",");
// BugzID: 1075 - If the line ends with an escaped new line - add
// the next line to the current text field.
while ((line != null) && line.endsWith("\\") && !line.endsWith("\\\\")) {
line = csvFile.readLine();
String content = tokens[tokens.length - 1];
content = content.substring(0, content.length() - 1);
tokens[tokens.length - 1] = content + '\n' + line;
}
Cell newCell = var.createCell();
// Set the onset and offset from tokens in the line.
newCell.setOnset(tokens[DATA_ONSET]);
newCell.setOffset(tokens[DATA_OFFSET]);
populator.populate(tokens, newCell.getValue());
// Get the next line in the file for reading.
line = csvFile.readLine();
}
return line;
}
