java_object_factory_parameters.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_PARAMETERS_H
#define CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_PARAMETERS_H
 
#include <util/interval_union.h>
#include <util/object_factory_parameters.h>
 
struct java_object_factory_parameterst final : public object_factory_parameterst
{
  java_object_factory_parameterst()
  {
  }
 
  explicit java_object_factory_parameterst(const optionst &options)
    : object_factory_parameterst(options)
  {
  }
 
  interval_uniont assume_inputs_interval = interval_uniont::all_integers();
 
  bool assume_inputs_integral;
 
  void set(const optionst &);
};
 
void parse_java_object_factory_options(
  const cmdlinet &cmdline,
  optionst &options);
 
#endif