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::java_object_factory_parameterst
java_object_factory_parameterst()
Definition: java_object_factory_parameters.h:16
optionst
Definition: options.h:22
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.
Definition: java_object_factory_parameters.cpp:11
object_factory_parameterst
Definition: object_factory_parameters.h:21
cmdlinet
Definition: cmdline.h:19
object_factory_parameters.h
java_object_factory_parameterst::java_object_factory_parameterst
java_object_factory_parameterst(const optionst &options)
Definition: java_object_factory_parameters.h:20
java_object_factory_parameterst
Definition: java_object_factory_parameters.h:14