Add c object factory parameters

Author: danpoe

src/ansi-c/Makefile

@@ -13,6 +13,7 @@ SRC = anonymous_member.cpp \
       builtin_factory.cpp \
       c_misc.cpp \
       c_nondet_symbol_factory.cpp \
+      c_object_factory_parameters.cpp \
       c_preprocess.cpp \
       c_qualifiers.cpp \
       c_storage_spec.cpp \

src/ansi-c/c_object_factory_parameters.cpp

@@ -0,0 +1,14 @@
+/*******************************************************************\
+
+Module:
+
+Author: Daniel Poetzl
+
+\*******************************************************************/
+
+#include "c_object_factory_parameters.h"
+
+void parse_c_object_factory_options(const cmdlinet &cmdline, optionst &options)
+{
+  parse_object_factory_options(cmdline, options);
+}

src/ansi-c/c_object_factory_parameters.h

@@ -0,0 +1,31 @@
+/*******************************************************************\
+
+Module:
+
+Author: Daniel Poetzl
+
+\*******************************************************************/
+
+#ifndef CPROVER_ANSI_C_C_OBJECT_FACTORY_PARAMETERS_H
+#define CPROVER_ANSI_C_C_OBJECT_FACTORY_PARAMETERS_H
+
+#include <util/object_factory_parameters.h>
+
+struct c_object_factory_parameterst final : public object_factory_parameterst
+{
+  c_object_factory_parameterst()
+  {
+  }
+
+  explicit c_object_factory_parameterst(const optionst &options)
+    : object_factory_parameterst(options)
+  {
+  }
+};
+
+/// Parse the c object factory parameters from a given command line
+/// \param cmdline Command line
+/// \param [out] options The options object that will be updated
+void parse_c_object_factory_options(const cmdlinet &cmdline, optionst &options);
+
+#endif