// same data source
protected char suffixSeparator = '#';
+
/**
- * character used to write newlines
+ * character used to write newlines
*/
protected String newline = System.getProperty("line.separator");
+
public void setNewlineString(String nl)
{
newline = nl;
}
+
public String getNewlineString()
{
return newline;
}
+
/**
* '#' separated string tagged on to end of filename or url that was clipped
* off to resolve to valid filename
{
return dataName;
}
+
/**
* set the (human readable) name or URI for this datasource
+ *
* @param dataname
*/
- protected void setDataName(String dataname) {
+ protected void setDataName(String dataname)
+ {
dataName = dataname;
}
-
/**
* get the underlying bufferedReader for this data source.
+ *
* @return null if no reader available
* @throws IOException
*/
public Reader getReader()
{
- if (dataIn != null) // Probably don't need to test for readiness && dataIn.ready())
+ if (dataIn != null) // Probably don't need to test for readiness &&
+ // dataIn.ready())
{
return dataIn;
}