72 |
{ |
{ |
73 |
for (int i = firstNonOptIndex; i < args.length; i++) |
for (int i = firstNonOptIndex; i < args.length; i++) |
74 |
{ |
{ |
|
// If this argument doesn't end in a file separator and there |
|
|
// is no dot between the last file separator and the end of |
|
|
// the string, then assume we're dealing with a class file and |
|
|
// append the .class extension. |
|
|
String basename = |
|
|
args[i].substring(args[i].lastIndexOf(File.separatorChar) + 1, |
|
|
args[i].length()); |
|
|
|
|
|
if (! basename.equals("") && basename.lastIndexOf('.') < 0) |
|
|
args[i] = args[i] + ".class"; |
|
|
|
|
75 |
if (args[i].endsWith(".class")) |
if (args[i].endsWith(".class")) |
76 |
{ |
{ |
77 |
classFileGiven = true; |
classFileGiven = true; |