cprover
Loading...
Searching...
No Matches
java_object_factory_parameters.cpp File Reference
Include dependency graph for java_object_factory_parameters.cpp:

Go to the source code of this file.

Functions

void parse_java_object_factory_options (const cmdlinet &cmdline, optionst &options)
 Parse the java object factory parameters from a given command line.

Function Documentation

◆ parse_java_object_factory_options()

void parse_java_object_factory_options ( const cmdlinet & cmdline,
optionst & options )

Parse the java object factory parameters from a given command line.

Parameters
cmdlineCommand line
[out]optionsThe options object that will be updated

Definition at line 42 of file java_object_factory_parameters.cpp.