import jalview.util.MessageManager;
-import java.io.*;
-import java.net.*;
+import java.io.BufferedReader;
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileReader;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.InputStreamReader;
+import java.io.Reader;
+import java.io.StringReader;
+import java.net.MalformedURLException;
+import java.net.URL;
import java.util.zip.GZIPInputStream;
/**
throw new Error(MessageManager.getString("error.implementation_error_null_fileparse"));
}
if (from == this)
+ {
return;
+ }
index = ++from.index;
inFile = from.inFile;
suffixSeparator = from.suffixSeparator;
{
checkURLSource(fileStr);
if (suffixSeparator == '#')
+ {
extractSuffix(fileStr); // URL lref is stored for later reference.
+ }
} catch (IOException e)
{
String suffixLess = extractSuffix(fileStr);
{
String suffixLess = extractSuffix(fileStr);
if (suffixLess != null)
+ {
is = getClass().getResourceAsStream("/" + suffixLess);
+ }
}
if (is != null)
{
public String nextLine() throws IOException
{
if (!error)
+ {
return dataIn.readLine();
+ }
throw new IOException(MessageManager.formatMessage("exception.invalid_source_stream", new String[]{errormessage}));
}