cprover
java_object_factory_parameters.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Poetzl
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_PARAMETERS_H
10 #define CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_PARAMETERS_H
11 
13 
15 {
17  {
18  }
19 
20  explicit java_object_factory_parameterst(const optionst &options)
22  {
23  }
24 };
25 
30  const cmdlinet &cmdline,
31  optionst &options);
32 
33 #endif
java_object_factory_parameterst(const optionst &options)
void parse_java_object_factory_options(const cmdlinet &cmdline, optionst &options)
Parse the java object factory parameters from a given command line.