From c465748ee37ffdf663d5a152de0f60eedfe4c049 Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Sun, 22 Nov 1998 11:16:08 +0000
Subject: [PATCH] comments, / instead of File.separatorChar

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@127 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/bytecode/SearchPath.java | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/jode/jode/bytecode/SearchPath.java b/jode/jode/bytecode/SearchPath.java
index ed162d9..72f08e9 100644
--- a/jode/jode/bytecode/SearchPath.java
+++ b/jode/jode/bytecode/SearchPath.java
@@ -33,6 +33,12 @@ public class SearchPath  {
     File[] dirs;
     ZipFile[] zips;
     
+    /**
+     * Creates a new search path for the given path.
+     * @param path The path where we should search for files.  They
+     * should be separated by the system dependent pathSeparator.  The
+     * entries may also be zip or jar files.
+     */
     public SearchPath(String path) {
         StringTokenizer tokenizer = 
             new StringTokenizer(path, File.pathSeparator);
@@ -53,6 +59,12 @@ public class SearchPath  {
         }
     }
 
+    /**
+     * Searches for a file in the search path.
+     * @param filename the filename. The path components should be separated
+     * by <code>/</code>.
+     * @return An InputStream for the file.
+     */
     public InputStream getFile(String filename) throws IOException {
         for (int i=0; i<dirs.length; i++) {
             if (dirs[i] == null)
@@ -62,6 +74,9 @@ public class SearchPath  {
                 if (ze != null)
                     return zips[i].getInputStream(ze);
             } else {
+                if (java.io.File.separatorChar != '/')
+                    filename = filename
+                        .replace('/', java.io.File.separatorChar);
                 File f = new File(dirs[i], filename);
                 if (f.exists())
                     return new FileInputStream(f);