Clean up options holder class (#6458)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 28 Apr 2021 17:31:41 +0000 (19:31 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Apr 2021 17:31:41 +0000 (19:31 +0200)
commitb5ac06abf4b2cc6b027dedd045595187589bcc35
tree02c1a7ebc6f41612ee92ce664b0068d45fe9b7b9
parenta6a63f6c46dcf83ac2dc253b66012be224391494
Clean up options holder class (#6458)

This PR does some cleanup on the options class: it puts the option defaults into the member declaration and removes the explicit constructor; it puts the holder into a unique_ptr; it uses the regular struct copy operation instead of reconstructing the holder object; it moves some macros required for option defaults into the option holder header.
Also, this PR removes some obsolete code related to suggestions for typos.
src/options/mkoptions.py
src/options/options.h
src/options/options_holder_template.h
src/options/options_template.cpp