public static int optionLength(String option){
  if (option.equals("-batchID")) {
    return 2;
  }
 else {
    return 0;
  }
}

public static int optionLength ( String option ) { if ( option . equals ( "-batchID" ) ) { return 2 ; } else { return 0 ; } }
doclet class method that indicates that this doclet class recognizes ( only ) the " - batchid " option on the javadoc command line , and that the " - batchid " option comprises two arguments on the javadoc command line .
