/[classpath]/gjdoc/src/gnu/classpath/tools/gjdoc/Main.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/gjdoc/Main.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.52 by julian, Thu Feb 3 13:41:14 2005 UTC revision 1.53 by julian, Thu Feb 3 14:56:35 2005 UTC
# Line 145  public final class Main Line 145  public final class Main
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;
# Line 212  public final class Main Line 207  public final class Main
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    /**    /**
# Line 869  public final class Main Line 872  public final class Main
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)
# Line 1214  public final class Main Line 1222  public final class Main
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    /**    /**

Legend:
Removed from v.1.52  
changed lines
  Added in v.1.53

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26