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
12
#include <
util/object_factory_parameters.h
>
13
14
struct
java_object_factory_parameterst
final :
public
object_factory_parameterst
15
{
16
java_object_factory_parameterst
()
17
{
18
}
19
20
explicit
java_object_factory_parameterst
(
const
optionst
&options)
21
:
object_factory_parameterst
(options)
22
{
23
}
24
};
25
29
void
parse_java_object_factory_options
(
30
const
cmdlinet
&cmdline,
31
optionst
&options);
32
33
#endif
optionst
Definition:
options.h:22
java_object_factory_parameterst
Definition:
java_object_factory_parameters.h:14
cmdlinet
Definition:
cmdline.h:19
java_object_factory_parameterst::java_object_factory_parameterst
java_object_factory_parameterst(const optionst &options)
Definition:
java_object_factory_parameters.h:20
object_factory_parameters.h
java_object_factory_parameterst::java_object_factory_parameterst
java_object_factory_parameterst()
Definition:
java_object_factory_parameters.h:16
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
jbmc
src
java_bytecode
java_object_factory_parameters.h
Generated by
1.8.14