Generate code for options with modes. (#3561)

This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace.

1 files changed, 18 insertions, 4 deletions

diff --git a/src/options/printer_options.toml b/src/options/printer_options.toml
index c1871259c..db2f3d6c9 100644
--- a/src/options/printer_options.toml
+++ b/src/options/printer_options.toml
@@ -7,20 +7,34 @@ header = "options/printer_options.h"
   category   = "regular"
   long       = "model-format=MODE"
   type       = "ModelFormatMode"
-  default    = "MODEL_FORMAT_MODE_DEFAULT"
-  handler    = "stringToModelFormatMode"
-  includes   = ["options/printer_modes.h"]
+  default    = "DEFAULT"
   help       = "print format mode for models, see --model-format=help"
+  help_mode  = "Model format modes."
+[[option.mode.DEFAULT]]
+  name = "default"
+  help = "Print model as expressions in the output language format."
+[[option.mode.TABLE]]
+  name = "table"
+  help = "Print functional expressions over finite domains in a table format."
 
 [[option]]
   name       = "instFormatMode"
   category   = "regular"
   long       = "inst-format=MODE"
   type       = "InstFormatMode"
-  default    = "INST_FORMAT_MODE_DEFAULT"
+  default    = "InstFormatMode::DEFAULT"
   handler    = "stringToInstFormatMode"
   includes   = ["options/printer_modes.h"]
   help       = "print format mode for instantiations, see --inst-format=help"
+# InstFormatMode is currently exported as public so we can't auto genenerate
+# the enum.
+#  help_mode  = "Inst format modes."
+#[[option.mode.DEFAULT]]
+#  name = "default"
+#  help = "Print instantiations as a list in the output language format."
+#[[option.mode.SZS]]
+#  name = "szs"
+#  help = "Print instantiations as SZS compliant proof."
 
 [[option]]
   name       = "flattenHOChains"