Main method for using the CheckOptionHandler. Valid options are: -W classname The name of the class implementing an OptionHandler. Options after -- are used as user options in testing the OptionHandler @param the options to the CheckOptionHandler
(String [] args)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected