22 |
|
|
23 |
import java.io.BufferedReader; |
import java.io.BufferedReader; |
24 |
import java.io.File; |
import java.io.File; |
25 |
|
import java.io.FileNotFoundException; |
26 |
import java.io.IOException; |
import java.io.IOException; |
27 |
import java.io.InputStream; |
import java.io.InputStream; |
28 |
import java.io.InputStreamReader; |
import java.io.InputStreamReader; |
77 |
URL packageListURL = new URL(packageListDirURL, |
URL packageListURL = new URL(packageListDirURL, |
78 |
"package-list"); |
"package-list"); |
79 |
InputStream in = packageListURL.openStream(); |
InputStream in = packageListURL.openStream(); |
80 |
readPackages(in); |
if (null != in) { |
81 |
in.close(); |
readPackages(in); |
82 |
|
in.close(); |
83 |
|
} |
84 |
|
else { |
85 |
|
throw new FileNotFoundException(packageListURL.toString()); |
86 |
|
} |
87 |
} |
} |
88 |
|
|
89 |
public String getClassDocURL(String packageName, String typeName) |
public String getClassDocURL(String packageName, String typeName) |