equal
deleted
inserted
replaced
77 |
77 |
78 /** |
78 /** |
79 * Examine and consume command line arguments. |
79 * Examine and consume command line arguments. |
80 * @param argv The command line arguments. Ignore null |
80 * @param argv The command line arguments. Ignore null |
81 * and unknown arguments. Set each consumed argument to null. |
81 * and unknown arguments. Set each consumed argument to null. |
82 * @param error Report any errors using the main.error() methods. |
82 * @param main Report any errors using the main.error() methods. |
83 * @return true if no errors, false otherwise. |
83 * @return true if no errors, false otherwise. |
84 */ |
84 */ |
85 public boolean parseArgs(String argv[], Main main) { |
85 public boolean parseArgs(String argv[], Main main) { |
86 String explicitVersion = null; |
86 String explicitVersion = null; |
87 for (int i = 0; i < argv.length; i++) { |
87 for (int i = 0; i < argv.length; i++) { |