boolean hasOption ( String opt ) { Boolean has = options . get ( opt ) ; if ( has == null ) { throw new InternalError ( "hasOption called before allowedOptions or on bad option" ) ; } return has ; }
Has the specified option been encountered .