diff options
Diffstat (limited to 'cli/runtime-header.cxx')
-rw-r--r-- | cli/runtime-header.cxx | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/cli/runtime-header.cxx b/cli/runtime-header.cxx index 42f7063..98a2e5d 100644 --- a/cli/runtime-header.cxx +++ b/cli/runtime-header.cxx @@ -40,6 +40,25 @@ generate_runtime_header (context& ctx) ctx.ns_open (ctx.cli); + // usage_para + // + if (!ctx.options.suppress_usage ()) + os << "class usage_para" + << "{" + << "public:" << endl + << "enum value" + << "{" + << "none," << endl + << "text," << endl + << "option" << endl + << "};" + << "usage_para (value);" + << endl + << "operator value () const {return v_;}" // Can't generate outside. + << "private:" << endl + << "value v_;" + << "};"; + // unknown_mode // os << "class unknown_mode" @@ -51,7 +70,7 @@ generate_runtime_header (context& ctx) << "stop," << endl << "fail" << endl << "};" - << "unknown_mode (value v);" + << "unknown_mode (value);" << endl << "operator value () const {return v_;}" // Can't generate outside. << "private:" << endl |