Remove options::X__name (#7414)
authorGereon Kremer <nafur42@gmail.com>
Fri, 22 Oct 2021 22:32:33 +0000 (15:32 -0700)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 22:32:33 +0000 (22:32 +0000)
commitc6c2cb9d3cc911526266e517460b3e8ae2dab9c0
tree69ddf30843d1ff26f3c5e604987d3d9325132d61
parent76c6a103fb68f75e65201da5bab572f4630cd207
Remove options::X__name (#7414)

This PR removes the static strings options::module::X__name that hold the primary long option name. We used them to figure out which option an handler function was called on for certain handler functions. This was always a weird way, and the past refactorings have eliminated all these cases.
This also removes the need to the two arguments option and flag to all option handlers.
src/options/mkoptions.py
src/options/module_template.h
src/options/options_handler.cpp
src/options/options_handler.h
src/options/options_public_template.cpp
src/smt/set_defaults.cpp