+
+ public String getInFile()
+ {
+ if (inFile != null)
+ {
+ return inFile.getAbsolutePath() + " (" + index + ")";
+ }
+ else
+ {
+ return "From Paste + (" + index + ")";
+ }
+ }
+
+ /**
+ * @return the dataName
+ */
+ public String getDataName()
+ {
+ return dataName;
+ }
+
+ /**
+ * set the (human readable) name or URI for this datasource
+ *
+ * @param 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())
+ {
+ return dataIn;
+ }
+ return null;
+ }