Displaying 1 result from an estimated 1 matches for "cl_declare_category".
2013 Feb 06
1
[LLVMdev] Modifying the support CommandLine Library to support option categories and iteration over registered options
...for creating command line
options. Although it does sort of break the philosophy of not having
to sub class but a client needs to do SOMETHING to introduce a new
category right? If the boiler plate code of constructing a class for
an Option category is annoying we could introduce a macro like ...
CL_DECLARE_CATEGORY( klee::SMTLIBOptionsCategory, "SMTLIB", "These
options control the behaviour of the SMTLIB printer")
As an alternative we could use a string (e.g.
cl::category("SMTLIBOptionsCategory") ) thus avoiding the need to
create sub classes of llvm::cl::OptionCategory but we l...