Go to the documentation of this file.
21 if(options.
is_set(
"java-assume-inputs-interval"))
23 const auto &interval_string =
24 options.
get_option(
"java-assume-inputs-interval");
26 if(!interval.has_value())
29 "argument must be a comma-seperated sequence of intervals of the form"
30 " [int:int], [int:] or [:int]",
31 "--java-assume-inputs-interval");
33 if(interval->is_empty())
36 "interval is empty, lower limit cannot be bigger than upper limit",
37 "--java-assume-inputs-interval");
50 if(cmdline.
isset(
"java-assume-inputs-interval"))
53 "java-assume-inputs-interval",
54 cmdline.
get_value(
"java-assume-inputs-interval"));
56 if(cmdline.
isset(
"java-assume-inputs-integral"))
58 options.
set_option(
"java-assume-inputs-integral",
true);
void parse_object_factory_options(const cmdlinet &cmdline, optionst &options)
Parse the object factory parameters from a given command line.
static optionalt< interval_uniont > of_string(const std::string &to_parse)
Parse a string which is a comma , separated list of intervals of the form "[lower1:upper1]",...
virtual bool isset(char option) const
const std::string get_option(const std::string &option) const
void set_option(const std::string &option, const bool value)
void set(const optionst &)
Assigns the parameters from given options.
interval_uniont assume_inputs_interval
Force numerical primitive inputs to fall within the interval.
void parse_java_object_factory_options(const cmdlinet &cmdline, optionst &options)
Parse the java object factory parameters from a given command line.
bool is_set(const std::string &option) const
N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")
std::string get_value(char option) const
bool assume_inputs_integral
Force double and float inputs to be integral.
void set(const optionst &)
Assigns the parameters from given options.
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...