1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
** **
** $Id$
\* */
package scalac.util;
import java.io.*;
import java.util.*;
public class ClassPath {
/** the character separating files
*/
protected static String FILE_SEP = File.separator;
/** the separator in class path specifications
*/
protected static String PATH_SEP =
System.getProperty("path.separator");
/** the default class path
*/
public static String CLASS_PATH =
System.getProperty("scala.class.path",
System.getProperty("java.class.path"));
/** the default source path
*/
public static String SOURCE_PATH = null;
/** the default boot class path
*/
public static String BOOT_PATH =
appendPath(appendPath("", System.getProperty("sun.boot.class.path")),
System.getProperty("scala.boot.class.path")).substring(1);
/** the default extension path
*/
public static String EXTENSION_PATH =
System.getProperty("java.ext.dirs");
/** the various class path roots
*/
protected String[] root;
/** print searches in the class path
*/
public boolean printSearch;
/** classpath constructor
*/
public ClassPath() {
this(CLASS_PATH);
}
public ClassPath(String classpath) {
this(classpath, SOURCE_PATH, BOOT_PATH, EXTENSION_PATH);
}
public ClassPath(String classpath, String sourcepath,
String bootclasspath, String extdirs)
{
// replace first empty path in bootclasspath by BOOT_PATH
if (!bootclasspath.equals(BOOT_PATH)) {
String path = PATH_SEP + bootclasspath + PATH_SEP;
int index = path.indexOf(PATH_SEP + PATH_SEP);
if (index >= 0)
bootclasspath =
path.substring(1, index + 1) + BOOT_PATH +
path.substring(index + 1, path.length() - 1);
}
String path = "";
path = appendPath(path, bootclasspath);
path = appendExtDirs(path, extdirs);
path = appendPath(path, classpath);
path = appendPath(path, sourcepath);
root = parse(path.substring(1));
}
/** append an additional path
*/
protected static String appendPath(String path, String addpath) {
return addpath == null ? path : path + PATH_SEP + addpath;
}
/** append files from the extension directories
*/
protected String appendExtDirs(String path, String extdirs) {
if (extdirs != null) {
extdirs += PATH_SEP;
int length = extdirs.length();
int i = 0;
while (i < length) {
int k = extdirs.indexOf(PATH_SEP, i);
String dirname = extdirs.substring(i, k);
String[] ext;
if ((dirname != null) &&
(dirname.length() > 0) &&
((ext = new File(dirname).list()) != null)) {
if (!dirname.endsWith(FILE_SEP))
dirname += FILE_SEP;
for (int j = 0; j < ext.length; j++)
if (ext[j].endsWith(".jar") ||
ext[j].endsWith(".zip"))
path = appendPath(path, dirname + ext[j]);
}
i = k + 1;
}
}
return path;
}
/** parse a class path specification and return an array
* of existing class file locations
*/
public static String[] parse(String path) {
path += PATH_SEP;
Vector components = new Vector();
int i = 0;
while (i < path.length()) {
int j = path.indexOf(PATH_SEP, i);
String subpath = path.substring(i, j);
if (new File(subpath).exists())
components.add(subpath);
i = j + 1;
}
return (String[])components.toArray(
new String[components.size()]);
}
/** find file with given name in class path and return an abstract
* file representation
*/
public AbstractFile openFile(String name) throws FileNotFoundException {
if (printSearch)
System.out.println("looking for " + name);
for (int i = 0; i < root.length; i++) {
if (printSearch)
System.out.println(" in " + root[i]);
AbstractFile f = AbstractFile.open(root[i], name);
if (f != null)
return f;
}
throw new FileNotFoundException("file '" + name +
"' not found in classpath");
}
public java.io.File openJavaFile(String name) throws FileNotFoundException {
if (printSearch)
System.out.println("looking for " + name);
for (int i = 0; i < root.length; i++) {
if (printSearch)
System.out.println(" in " + root[i]);
java.io.File f = new File(root[i], name);
if (f.exists()) return f;
}
throw new FileNotFoundException("file '" + name +
"' not found in classpath");
}
public String[] components() {
return root;
}
/** return a textual representation of this class path
*/
public String toString() {
if (root.length == 0)
return "";
else if (root.length == 1)
return root[0];
String path = root[0];
for (int i = 1; i < root.length; i++)
path += PATH_SEP + root[i];
return path;
}
}
|
