code: @Override
      public List<Option> getCommandLineOptions() {
          List<Option> options = super.getCommandLineOptions();
  
          String help;
          Option o;
  
          help = PHASE_1_INPUT_PATH;
          o = new Option(SHORT_OPT_IN_PATH, LONG_OPT_IN_PATH, true, help);
          o.setArgName("path");
          options.add(o);
  
          help = PHASE_1_INPUT_FILE;
          o = new Option(INFILE_SHORT_OPT, INFILE_LONG_OPT, true, help);
          o.setArgName("filename");
          options.add(o);
  
          help = PHASE_1_DISABLE_NESTED_STMTS;
          o = new Option(null, NO_NS_LONG_OPT, false, help);
          options.add(o);
  
          help = PHASE_1_NO_SEMANTICS;
          o = new Option(null, NO_SEMANTIC_CHECK, false, help);
          options.add(o);
  
          help = PHASE_1_NO_SYNTAX;
          o = new Option(null, NO_SYNTAX_CHECK, false, help);
          options.add(o);
  
          return options;
      }
docs: {@inheritDoc}