145 |
private List option_sourcepath = new ArrayList(); |
private List option_sourcepath = new ArrayList(); |
146 |
|
|
147 |
/** |
/** |
|
* Option "-bootclasspath": path to Java bootstrap classes. |
|
|
*/ |
|
|
private String option_bootclasspath; |
|
|
|
|
|
/** |
|
148 |
* Option "-extdirs": path to Java extension files. |
* Option "-extdirs": path to Java extension files. |
149 |
*/ |
*/ |
150 |
private String option_extdirs; |
private String option_extdirs; |
207 |
*/ |
*/ |
208 |
private Collator collator; |
private Collator collator; |
209 |
|
|
210 |
|
/** |
211 |
|
* true when --version has been specified on the command line. |
212 |
|
*/ |
213 |
private boolean option_showVersion; |
private boolean option_showVersion; |
214 |
|
|
215 |
|
/** |
216 |
|
* true when -bootclasspath has been specified on the command line. |
217 |
|
*/ |
218 |
|
private boolean option_bootclasspath_specified; |
219 |
|
|
220 |
// TODO: add the rest of the options as instance variables |
// TODO: add the rest of the options as instance variables |
221 |
|
|
222 |
/** |
/** |
872 |
System.exit(0); |
System.exit(0); |
873 |
} |
} |
874 |
|
|
875 |
|
if (option_bootclasspath_specified) { |
876 |
|
reporter.printWarning("-bootclasspath ignored: not supported by" |
877 |
|
+ " gjdoc wrapper script, or no wrapper script in use."); |
878 |
|
} |
879 |
|
|
880 |
// If we have an empty source path list, add the current directory ('.') |
// If we have an empty source path list, add the current directory ('.') |
881 |
|
|
882 |
if (option_sourcepath.size() == 0) |
if (option_sourcepath.size() == 0) |
1222 |
option_showVersion = true; |
option_showVersion = true; |
1223 |
} |
} |
1224 |
}); |
}); |
1225 |
|
options.put("-bootclasspath", new OptionProcessor(1) |
1226 |
|
{ |
1227 |
|
void process(String[] args) |
1228 |
|
{ |
1229 |
|
option_bootclasspath_specified = true; |
1230 |
|
} |
1231 |
|
}); |
1232 |
} |
} |
1233 |
|
|
1234 |
/** |
/** |