- if (protocol.equals(AppletFormatAdapter.FILE))
- {
- in = new BufferedReader(new FileReader(file));
- }
- else if (protocol.equals(AppletFormatAdapter.URL))
- {
- URL url = new URL(file);
- in = new BufferedReader(new InputStreamReader(url.openStream()));
- }
- else if (protocol.equals(AppletFormatAdapter.PASTE))
- {
- in = new BufferedReader(new StringReader(file));
- }
- else if (protocol.equals(AppletFormatAdapter.CLASSLOADER))
- {
- java.io.InputStream is = getClass().getResourceAsStream("/" + file);
- if (is != null)
- {
- in = new BufferedReader(new java.io.InputStreamReader(is));
- }
- }