bool)
all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
#line $lineno \"$kf\"
- }{ std::vector<SExpr> v; v.push_back(\"$smtname\"); v.push_back(d_holder->$internal); opts.push_back(v); }"
+ }{ std::vector<SExpr> v; v.push_back(\"$smtname\"); v.push_back(SExpr::Keyword(d_holder->$internal ? \"true\" : \"false\")); opts.push_back(v); }"
smt_getoption_handlers="${smt_getoption_handlers}
#line $lineno \"$kf\"
if(key == \"$smtname\") {
#line $lineno \"$kf\"
return SExprKeyword(options::$internal() ? \"true\" : \"false\");
}";;
- int|unsigned|int*_t|uint*_t|CVC4::Integer)
+ int|unsigned|int*_t|uint*_t|unsigned\ long|long|CVC4::Integer)
all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
#line $lineno \"$kf\"
}{ std::vector<SExpr> v; v.push_back(\"$smtname\"); v.push_back(d_holder->$internal); opts.push_back(v); }"
return;
}"
fi
+ elif [ -n "$long_option" -o "$long_option_alternate" ] && [ "$internal" != - ]; then
+ case "$type" in
+ bool)
+ getoption_name="$long_option"
+ inv=
+ # case where we have a --disable but no corresponding --enable
+ if [ -z "$getoption_name" ]; then
+ getoption_name="$long_option_alternate"
+ inv='!'
+ fi
+ all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
+#line $lineno \"$kf\"
+ }{ std::vector<SExpr> v; v.push_back(\"$getoption_name\"); v.push_back(SExpr::Keyword((${inv}d_holder->$internal) ? \"true\" : \"false\")); opts.push_back(v); }";;
+ int|unsigned|int*_t|uint*_t|unsigned\ long|long|CVC4::Integer)
+ all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
+#line $lineno \"$kf\"
+ }{ std::vector<SExpr> v; v.push_back(\"$long_option\"); v.push_back(d_holder->$internal); opts.push_back(v); }";;
+ float|double)
+ all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
+#line $lineno \"$kf\"
+ }{ std::vector<SExpr> v; v.push_back(\"$long_option\"); v.push_back(Rational::fromDouble(d_holder->$internal)); opts.push_back(v); }";;
+ CVC4::Rational)
+ all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
+#line $lineno \"$kf\"
+ }{ std::vector<SExpr> v; v.push_back(\"$long_option\"); v.push_back(d_holder->$internal); opts.push_back(v); }";;
+ *)
+ all_modules_get_options="${all_modules_get_options:+$all_modules_get_options
+#line $lineno \"$kf\"
+ }{ std::stringstream ss; ss << d_holder->$internal; std::vector<SExpr> v; v.push_back(\"$long_option\"); v.push_back(ss.str()); opts.push_back(v); }";;
+ esac
fi
if [ "$type" = bool ]; then
${include_all_option_headers}
-#line 53 "${template}"
+#line 57 "${template}"
#include "util/output.h"
#include "options/options_holder.h"
${option_handler_includes}
-#line 62 "${template}"
+#line 66 "${template}"
using namespace CVC4;
using namespace CVC4::options;
${all_custom_handlers}
-#line 199 "${template}"
+#line 203 "${template}"
#ifdef CVC4_DEBUG
# define USE_EARLY_TYPE_CHECKING_BY_DEFAULT true
{
}
-#line 229 "${template}"
+#line 233 "${template}"
static const std::string mostCommonOptionsDescription = "\
Most commonly-used CVC4 options:${common_documentation}";
-#line 234 "${template}"
+#line 238 "${template}"
static const std::string optionsDescription = mostCommonOptionsDescription + "\n\
\n\
Additional CVC4 options:${remaining_documentation}";
-#line 240 "${template}"
+#line 244 "${template}"
static const std::string optionsFootnote = "\n\
[*] Each of these options has a --no-OPTIONNAME variant, which reverses the\n\
{ NULL, no_argument, NULL, '\0' }
};/* cmdlineOptions */
-#line 311 "${template}"
+#line 315 "${template}"
static void preemptGetopt(int& argc, char**& argv, const char* opt) {
const size_t maxoptlen = 128;
switch(c) {
${all_modules_option_handlers}
-#line 492 "${template}"
+#line 508 "${template}"
case ':':
// This can be a long or short option, and the way to get at the
static const char* smtOptions[] = {
${all_modules_smt_options},
-#line 547 "${template}"
+#line 590 "${template}"
NULL
};/* smtOptions[] */
${all_modules_get_options}
-#line 569 "${template}"
+#line 612 "${template}"
return SExpr(opts);
}