blob: 8ea8f8211af60039058085afbcd00c237b874fb6 [file] [log] [blame]
Chris Lattnercee8f9a2001-11-27 00:03:19 +00001//===- Support/CommandLine.h - Flexible Command line parser ------*- C++ -*--=//
2//
3// This class implements a command line argument processor that is useful when
4// creating a tool. It provides a simple, minimalistic interface that is easily
5// extensible and supports nonlocal (library) command line options.
6//
Chris Lattner331de232002-07-22 02:07:59 +00007// Note that rather than trying to figure out what this code does, you should
8// read the library documentation located in docs/CommandLine.html or looks at
9// the many example usages in tools/*/*.cpp
Chris Lattnercee8f9a2001-11-27 00:03:19 +000010//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_SUPPORT_COMMANDLINE_H
14#define LLVM_SUPPORT_COMMANDLINE_H
15
16#include <string>
17#include <vector>
18#include <utility>
19#include <stdarg.h>
Chris Lattner331de232002-07-22 02:07:59 +000020#include "boost/type_traits/object_traits.hpp"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000021
22namespace cl { // Short namespace to make usage concise
23
24//===----------------------------------------------------------------------===//
Chris Lattner331de232002-07-22 02:07:59 +000025// ParseCommandLineOptions - Command line option processing entry point.
Chris Lattnercee8f9a2001-11-27 00:03:19 +000026//
27void cl::ParseCommandLineOptions(int &argc, char **argv,
Chris Lattner331de232002-07-22 02:07:59 +000028 const char *Overview = 0);
Chris Lattnercee8f9a2001-11-27 00:03:19 +000029
30//===----------------------------------------------------------------------===//
Chris Lattner331de232002-07-22 02:07:59 +000031// Flags permitted to be passed to command line arguments
32//
Chris Lattnercee8f9a2001-11-27 00:03:19 +000033
34enum NumOccurances { // Flags for the number of occurances allowed...
35 Optional = 0x01, // Zero or One occurance
36 ZeroOrMore = 0x02, // Zero or more occurances allowed
37 Required = 0x03, // One occurance required
38 OneOrMore = 0x04, // One or more occurances required
39
Chris Lattner331de232002-07-22 02:07:59 +000040 // ConsumeAfter - Indicates that this option is fed anything that follows the
41 // last positional argument required by the application (it is an error if
42 // there are zero positional arguments, and a ConsumeAfter option is used).
43 // Thus, for example, all arguments to LLI are processed until a filename is
44 // found. Once a filename is found, all of the succeeding arguments are
45 // passed, unprocessed, to the ConsumeAfter option.
Chris Lattnercee8f9a2001-11-27 00:03:19 +000046 //
47 ConsumeAfter = 0x05,
48
49 OccurancesMask = 0x07,
50};
51
52enum ValueExpected { // Is a value required for the option?
53 ValueOptional = 0x08, // The value can oppear... or not
54 ValueRequired = 0x10, // The value is required to appear!
55 ValueDisallowed = 0x18, // A value may not be specified (for flags)
56 ValueMask = 0x18,
57};
58
59enum OptionHidden { // Control whether -help shows this option
60 NotHidden = 0x20, // Option included in --help & --help-hidden
61 Hidden = 0x40, // -help doesn't, but --help-hidden does
62 ReallyHidden = 0x60, // Neither --help nor --help-hidden show this arg
63 HiddenMask = 0x60,
64};
65
Chris Lattner331de232002-07-22 02:07:59 +000066// Formatting flags - This controls special features that the option might have
67// that cause it to be parsed differently...
68//
69// Prefix - This option allows arguments that are otherwise unrecognized to be
70// matched by options that are a prefix of the actual value. This is useful for
71// cases like a linker, where options are typically of the form '-lfoo' or
72// '-L../../include' where -l or -L are the actual flags. When prefix is
73// enabled, and used, the value for the flag comes from the suffix of the
74// argument.
75//
76// Grouping - With this option enabled, multiple letter options are allowed to
77// bunch together with only a single hyphen for the whole group. This allows
78// emulation of the behavior that ls uses for example: ls -la === ls -l -a
79//
80
81enum FormattingFlags {
82 NormalFormatting = 0x000, // Nothing special
83 Positional = 0x080, // Is a positional argument, no '-' required
84 Prefix = 0x100, // Can this option directly prefix its value?
85 Grouping = 0x180, // Can this option group with other options?
86 FormattingMask = 0x180,
87};
88
Chris Lattnercee8f9a2001-11-27 00:03:19 +000089
90//===----------------------------------------------------------------------===//
91// Option Base class
92//
Chris Lattner331de232002-07-22 02:07:59 +000093class alias;
Chris Lattnercee8f9a2001-11-27 00:03:19 +000094class Option {
95 friend void cl::ParseCommandLineOptions(int &, char **, const char *, int);
Chris Lattner331de232002-07-22 02:07:59 +000096 friend class alias;
Chris Lattnercee8f9a2001-11-27 00:03:19 +000097
98 // handleOccurances - Overriden by subclasses to handle the value passed into
99 // an argument. Should return true if there was an error processing the
100 // argument and the program should exit.
101 //
Chris Lattner697954c2002-01-20 22:54:45 +0000102 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) = 0;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000103
104 virtual enum NumOccurances getNumOccurancesFlagDefault() const {
105 return Optional;
106 }
107 virtual enum ValueExpected getValueExpectedFlagDefault() const {
108 return ValueOptional;
109 }
110 virtual enum OptionHidden getOptionHiddenFlagDefault() const {
111 return NotHidden;
112 }
Chris Lattner331de232002-07-22 02:07:59 +0000113 virtual enum FormattingFlags getFormattingFlagDefault() const {
114 return NormalFormatting;
115 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000116
Chris Lattner331de232002-07-22 02:07:59 +0000117 int NumOccurances; // The number of times specified
118 int Flags; // Flags for the argument
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000119public:
Chris Lattner331de232002-07-22 02:07:59 +0000120 const char *ArgStr; // The argument string itself (ex: "help", "o")
121 const char *HelpStr; // The descriptive text message for --help
122 const char *ValueStr; // String describing what the value of this option is
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000123
124 inline enum NumOccurances getNumOccurancesFlag() const {
125 int NO = Flags & OccurancesMask;
126 return NO ? (enum NumOccurances)NO : getNumOccurancesFlagDefault();
127 }
128 inline enum ValueExpected getValueExpectedFlag() const {
129 int VE = Flags & ValueMask;
130 return VE ? (enum ValueExpected)VE : getValueExpectedFlagDefault();
131 }
132 inline enum OptionHidden getOptionHiddenFlag() const {
133 int OH = Flags & HiddenMask;
134 return OH ? (enum OptionHidden)OH : getOptionHiddenFlagDefault();
135 }
Chris Lattner331de232002-07-22 02:07:59 +0000136 inline enum FormattingFlags getFormattingFlag() const {
137 int OH = Flags & FormattingMask;
138 return OH ? (enum FormattingFlags)OH : getFormattingFlagDefault();
139 }
140
141 // hasArgStr - Return true if the argstr != ""
142 bool hasArgStr() const { return ArgStr[0] != 0; }
143
144 //-------------------------------------------------------------------------===
145 // Accessor functions set by OptionModifiers
146 //
147 void setArgStr(const char *S) { ArgStr = S; }
148 void setDescription(const char *S) { HelpStr = S; }
149 void setValueStr(const char *S) { ValueStr = S; }
150
151 void setFlag(unsigned Flag, unsigned FlagMask) {
152 if (Flags & FlagMask) {
153 error(": Specified two settings for the same option!");
154 exit(1);
155 }
156
157 Flags |= Flag;
158 }
159
160 void setNumOccurancesFlag(enum NumOccurances Val) {
161 setFlag(Val, OccurancesMask);
162 }
163 void setValueExpectedFlag(enum ValueExpected Val) { setFlag(Val, ValueMask); }
164 void setHiddenFlag(enum OptionHidden Val) { setFlag(Val, HiddenMask); }
165 void setFormattingFlag(enum FormattingFlags V) { setFlag(V, FormattingMask); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000166
167protected:
Chris Lattner331de232002-07-22 02:07:59 +0000168 Option() : NumOccurances(0), Flags(0),
169 ArgStr(""), HelpStr(""), ValueStr("") {}
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000170
171public:
Chris Lattner331de232002-07-22 02:07:59 +0000172 // addArgument - Tell the system that this Option subclass will handle all
173 // occurances of -ArgStr on the command line.
174 //
175 void addArgument(const char *ArgStr);
Chris Lattnerae1257a2002-07-23 00:44:37 +0000176 void removeArgument(const char *ArgStr);
Chris Lattner331de232002-07-22 02:07:59 +0000177
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000178 // Return the width of the option tag for printing...
Chris Lattner331de232002-07-22 02:07:59 +0000179 virtual unsigned getOptionWidth() const = 0;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000180
181 // printOptionInfo - Print out information about this option. The
182 // to-be-maintained width is specified.
183 //
Chris Lattner331de232002-07-22 02:07:59 +0000184 virtual void printOptionInfo(unsigned GlobalWidth) const = 0;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000185
186 // addOccurance - Wrapper around handleOccurance that enforces Flags
187 //
Chris Lattner697954c2002-01-20 22:54:45 +0000188 bool addOccurance(const char *ArgName, const std::string &Value);
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000189
190 // Prints option name followed by message. Always returns true.
Chris Lattner697954c2002-01-20 22:54:45 +0000191 bool error(std::string Message, const char *ArgName = 0);
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000192
193public:
194 inline int getNumOccurances() const { return NumOccurances; }
195 virtual ~Option() {}
196};
197
198
199//===----------------------------------------------------------------------===//
Chris Lattner331de232002-07-22 02:07:59 +0000200// Command line option modifiers that can be used to modify the behavior of
201// command line option parsers...
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000202//
Chris Lattner331de232002-07-22 02:07:59 +0000203
204// desc - Modifier to set the description shown in the --help output...
205struct desc {
206 const char *Desc;
207 desc(const char *Str) : Desc(Str) {}
208 void apply(Option &O) const { O.setDescription(Desc); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000209};
210
Chris Lattner331de232002-07-22 02:07:59 +0000211// value_desc - Modifier to set the value description shown in the --help
212// output...
213struct value_desc {
214 const char *Desc;
215 value_desc(const char *Str) : Desc(Str) {}
216 void apply(Option &O) const { O.setValueStr(Desc); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000217};
218
219
Chris Lattner331de232002-07-22 02:07:59 +0000220// init - Specify a default (initial) value for the command line argument, if
221// the default constructor for the argument type does not give you what you
222// want. This is only valid on "opt" arguments, not on "list" arguments.
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000223//
Chris Lattner331de232002-07-22 02:07:59 +0000224template<class Ty>
225struct initializer {
226 const Ty &Init;
227 initializer(const Ty &Val) : Init(Val) {}
228
229 template<class Opt>
230 void apply(Opt &O) const { O.setInitialValue(Init); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000231};
232
Chris Lattner331de232002-07-22 02:07:59 +0000233template<class Ty>
234initializer<Ty> init(const Ty &Val) {
235 return initializer<Ty>(Val);
236}
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000237
Chris Lattner331de232002-07-22 02:07:59 +0000238
239// location - Allow the user to specify which external variable they want to
240// store the results of the command line argument processing into, if they don't
241// want to store it in the option itself.
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000242//
Chris Lattner331de232002-07-22 02:07:59 +0000243template<class Ty>
244struct LocationClass {
245 Ty &Loc;
246 LocationClass(Ty &L) : Loc(L) {}
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000247
Chris Lattner331de232002-07-22 02:07:59 +0000248 template<class Opt>
249 void apply(Opt &O) const { O.setLocation(O, Loc); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000250};
251
Chris Lattner331de232002-07-22 02:07:59 +0000252template<class Ty>
253LocationClass<Ty> location(Ty &L) { return LocationClass<Ty>(L); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000254
255
256//===----------------------------------------------------------------------===//
257// Enum valued command line option
258//
Chris Lattnerae1257a2002-07-23 00:44:37 +0000259#define clEnumVal(ENUMVAL, DESC) #ENUMVAL, (int)ENUMVAL, DESC
260#define clEnumValN(ENUMVAL, FLAGNAME, DESC) FLAGNAME, (int)ENUMVAL, DESC
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000261
Chris Lattner331de232002-07-22 02:07:59 +0000262// values - For custom data types, allow specifying a group of values together
263// as the values that go into the mapping that the option handler uses. Note
264// that the values list must always have a 0 at the end of the list to indicate
265// that the list has ended.
266//
267template<class DataType>
268class ValuesClass {
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000269 // Use a vector instead of a map, because the lists should be short,
270 // the overhead is less, and most importantly, it keeps them in the order
271 // inserted so we can print our option out nicely.
Chris Lattner331de232002-07-22 02:07:59 +0000272 std::vector<std::pair<const char *, std::pair<int, const char *> > > Values;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000273 void processValues(va_list Vals);
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000274public:
Chris Lattner331de232002-07-22 02:07:59 +0000275 ValuesClass(const char *EnumName, DataType Val, const char *Desc,
276 va_list ValueArgs) {
277 // Insert the first value, which is required.
278 Values.push_back(std::make_pair(EnumName, std::make_pair(Val, Desc)));
279
280 // Process the varargs portion of the values...
281 while (const char *EnumName = va_arg(ValueArgs, const char *)) {
Chris Lattnerae1257a2002-07-23 00:44:37 +0000282 DataType EnumVal = (DataType)va_arg(ValueArgs, int);
Chris Lattner331de232002-07-22 02:07:59 +0000283 const char *EnumDesc = va_arg(ValueArgs, const char *);
284 Values.push_back(std::make_pair(EnumName, // Add value to value map
285 std::make_pair(EnumVal, EnumDesc)));
286 }
287 }
288
289 template<class Opt>
290 void apply(Opt &O) const {
291 for (unsigned i = 0, e = Values.size(); i != e; ++i)
292 O.getParser().addLiteralOption(Values[i].first, Values[i].second.first,
293 Values[i].second.second);
294 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000295};
296
Chris Lattner331de232002-07-22 02:07:59 +0000297template<class DataType>
298ValuesClass<DataType> values(const char *Arg, DataType Val, const char *Desc,
299 ...) {
300 va_list ValueArgs;
301 va_start(ValueArgs, Desc);
302 ValuesClass<DataType> Vals(Arg, Val, Desc, ValueArgs);
303 va_end(ValueArgs);
304 return Vals;
305}
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000306
Chris Lattner331de232002-07-22 02:07:59 +0000307
308//===----------------------------------------------------------------------===//
309// parser class - Parameterizable parser for different data types. By default,
310// known data types (string, int, bool) have specialized parsers, that do what
311// you would expect. The default parser, used for data types that are not
312// built-in, uses a mapping table to map specific options to values, which is
313// used, among other things, to handle enum types.
314
315//--------------------------------------------------
316// generic_parser_base - This class holds all the non-generic code that we do
317// not need replicated for every instance of the generic parser. This also
318// allows us to put stuff into CommandLine.cpp
319//
320struct generic_parser_base {
321 virtual ~generic_parser_base() {} // Base class should have virtual-dtor
322
323 // getNumOptions - Virtual function implemented by generic subclass to
324 // indicate how many entries are in Values.
325 //
326 virtual unsigned getNumOptions() const = 0;
327
328 // getOption - Return option name N.
329 virtual const char *getOption(unsigned N) const = 0;
330
331 // getDescription - Return description N
332 virtual const char *getDescription(unsigned N) const = 0;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000333
334 // Return the width of the option tag for printing...
Chris Lattner331de232002-07-22 02:07:59 +0000335 virtual unsigned getOptionWidth(const Option &O) const;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000336
337 // printOptionInfo - Print out information about this option. The
338 // to-be-maintained width is specified.
339 //
Chris Lattner331de232002-07-22 02:07:59 +0000340 virtual void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
Chris Lattner71fb7162002-05-22 17:03:05 +0000341
Chris Lattner331de232002-07-22 02:07:59 +0000342 void initialize(Option &O) {
343 // All of the modifiers for the option have been processed by now, so the
344 // argstr field should be stable, copy it down now.
345 //
346 hasArgStr = O.hasArgStr();
347
348 // If there has been no argstr specified, that means that we need to add an
349 // argument for every possible option. This ensures that our options are
350 // vectored to us.
351 //
352 if (!hasArgStr)
353 for (unsigned i = 0, e = getNumOptions(); i != e; ++i)
354 O.addArgument(getOption(i));
355 }
356
357 enum ValueExpected getValueExpectedFlagDefault() const {
358 // If there is an ArgStr specified, then we are of the form:
359 //
360 // -opt=O2 or -opt O2 or -optO2
361 //
362 // In which case, the value is required. Otherwise if an arg str has not
363 // been specified, we are of the form:
364 //
365 // -O2 or O2 or -la (where -l and -a are seperate options)
366 //
367 // If this is the case, we cannot allow a value.
368 //
369 if (hasArgStr)
370 return ValueRequired;
371 else
372 return ValueDisallowed;
373 }
374
Chris Lattneraf7e8212002-07-23 17:15:09 +0000375 // findOption - Return the option number corresponding to the specified
376 // argument string. If the option is not found, getNumOptions() is returned.
377 //
378 unsigned findOption(const char *Name);
379
Chris Lattner331de232002-07-22 02:07:59 +0000380protected:
381 bool hasArgStr;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000382};
383
Chris Lattner331de232002-07-22 02:07:59 +0000384// Default parser implementation - This implementation depends on having a
385// mapping of recognized options to values of some sort. In addition to this,
386// each entry in the mapping also tracks a help message that is printed with the
387// command line option for --help. Because this is a simple mapping parser, the
388// data type can be any unsupported type.
389//
390template <class DataType>
391class parser : public generic_parser_base {
Chris Lattneraf7e8212002-07-23 17:15:09 +0000392protected:
Chris Lattner331de232002-07-22 02:07:59 +0000393 std::vector<std::pair<const char *,
394 std::pair<DataType, const char *> > > Values;
Chris Lattneraf7e8212002-07-23 17:15:09 +0000395public:
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000396 typedef DataType parser_data_type;
Chris Lattner331de232002-07-22 02:07:59 +0000397
398 // Implement virtual functions needed by generic_parser_base
399 unsigned getNumOptions() const { return Values.size(); }
400 const char *getOption(unsigned N) const { return Values[N].first; }
401 const char *getDescription(unsigned N) const {
402 return Values[N].second.second;
403 }
404
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000405 // parse - Return true on error.
406 bool parse(Option &O, const char *ArgName, const std::string &Arg,
407 DataType &V) {
Chris Lattner7f4dd472002-07-24 22:08:36 +0000408 std::string ArgVal;
Chris Lattner331de232002-07-22 02:07:59 +0000409 if (hasArgStr)
410 ArgVal = Arg;
411 else
412 ArgVal = ArgName;
413
414 for (unsigned i = 0, e = Values.size(); i != e; ++i)
415 if (ArgVal == Values[i].first) {
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000416 V = Values[i].second.first;
Chris Lattner331de232002-07-22 02:07:59 +0000417 return false;
418 }
419
420 return O.error(": Cannot find option named '" + ArgVal + "'!");
421 }
422
423 // addLiteralOption - Add an entry to the mapping table...
424 template <class DT>
425 void addLiteralOption(const char *Name, const DT &V, const char *HelpStr) {
Chris Lattneraf7e8212002-07-23 17:15:09 +0000426 assert(findOption(Name) == Values.size() && "Option already exists!");
Chris Lattner331de232002-07-22 02:07:59 +0000427 Values.push_back(std::make_pair(Name, std::make_pair((DataType)V,HelpStr)));
428 }
Chris Lattneraf7e8212002-07-23 17:15:09 +0000429
430 // removeLiteralOption - Remove the specified option.
431 //
432 void removeLiteralOption(const char *Name) {
433 unsigned N = findOption(Name);
434 assert(N != Values.size() && "Option not found!");
435 Values.erase(Values.begin()+N);
436 }
Chris Lattner331de232002-07-22 02:07:59 +0000437};
438
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000439//--------------------------------------------------
440// basic_parser - Super class of parsers to provide boilerplate code
441//
442struct basic_parser_impl { // non-template implementation of basic_parser<t>
443 virtual ~basic_parser_impl() {}
444
445 enum ValueExpected getValueExpectedFlagDefault() const {
446 return ValueRequired;
447 }
448
449 void initialize(Option &O) {}
450
451 // Return the width of the option tag for printing...
452 unsigned getOptionWidth(const Option &O) const;
453
454 // printOptionInfo - Print out information about this option. The
455 // to-be-maintained width is specified.
456 //
457 void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
458
459
460 // getValueName - Overload in subclass to provide a better default value.
461 virtual const char *getValueName() const { return "value"; }
462};
463
464// basic_parser - The real basic parser is just a template wrapper that provides
465// a typedef for the provided data type.
466//
467template<class DataType>
468struct basic_parser : public basic_parser_impl {
469 typedef DataType parser_data_type;
470};
471
Chris Lattner331de232002-07-22 02:07:59 +0000472
473//--------------------------------------------------
474// parser<bool>
475//
476template<>
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000477struct parser<bool> : public basic_parser<bool> {
478
479 // parse - Return true on error.
480 bool parse(Option &O, const char *ArgName, const std::string &Arg, bool &Val);
Chris Lattner331de232002-07-22 02:07:59 +0000481
482 enum ValueExpected getValueExpectedFlagDefault() const {
483 return ValueOptional;
484 }
485
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000486 // getValueName - Do not print =<value> at all
487 virtual const char *getValueName() const { return 0; }
Chris Lattner331de232002-07-22 02:07:59 +0000488};
489
490
491//--------------------------------------------------
492// parser<int>
493//
494template<>
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000495struct parser<int> : public basic_parser<int> {
Chris Lattner331de232002-07-22 02:07:59 +0000496
497 // parse - Return true on error.
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000498 bool parse(Option &O, const char *ArgName, const std::string &Arg, int &Val);
Chris Lattner331de232002-07-22 02:07:59 +0000499
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000500 // getValueName - Overload in subclass to provide a better default value.
501 virtual const char *getValueName() const { return "int"; }
Chris Lattner331de232002-07-22 02:07:59 +0000502};
503
504
505//--------------------------------------------------
506// parser<double>
507//
508template<>
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000509struct parser<double> : public basic_parser<double> {
Chris Lattner331de232002-07-22 02:07:59 +0000510 // parse - Return true on error.
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000511 bool parse(Option &O, const char *AN, const std::string &Arg, double &Val);
Chris Lattner331de232002-07-22 02:07:59 +0000512
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000513 // getValueName - Overload in subclass to provide a better default value.
514 virtual const char *getValueName() const { return "number"; }
Chris Lattner331de232002-07-22 02:07:59 +0000515};
516
Chris Lattner331de232002-07-22 02:07:59 +0000517
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000518//--------------------------------------------------
519// parser<float>
520//
521template<>
522struct parser<float> : public basic_parser<float> {
523 // parse - Return true on error.
524 bool parse(Option &O, const char *AN, const std::string &Arg, float &Val);
525
526 // getValueName - Overload in subclass to provide a better default value.
527 virtual const char *getValueName() const { return "number"; }
528};
Chris Lattner331de232002-07-22 02:07:59 +0000529
530
531//--------------------------------------------------
Chris Lattner7f4dd472002-07-24 22:08:36 +0000532// parser<std::string>
Chris Lattner331de232002-07-22 02:07:59 +0000533//
534template<>
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000535struct parser<std::string> : public basic_parser<std::string> {
Chris Lattner331de232002-07-22 02:07:59 +0000536 // parse - Return true on error.
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000537 bool parse(Option &O, const char *ArgName, const std::string &Arg,
538 std::string &Value) {
539 Value = Arg;
Chris Lattner331de232002-07-22 02:07:59 +0000540 return false;
541 }
Chris Lattner71fb7162002-05-22 17:03:05 +0000542
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000543 // getValueName - Overload in subclass to provide a better default value.
544 virtual const char *getValueName() const { return "string"; }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000545};
546
Chris Lattner71fb7162002-05-22 17:03:05 +0000547
Chris Lattner331de232002-07-22 02:07:59 +0000548
549//===----------------------------------------------------------------------===//
550// applicator class - This class is used because we must use partial
551// specialization to handle literal string arguments specially (const char* does
552// not correctly respond to the apply method). Because the syntax to use this
553// is a pain, we have the 'apply' method below to handle the nastiness...
554//
555template<class Mod> struct applicator {
556 template<class Opt>
557 static void opt(const Mod &M, Opt &O) { M.apply(O); }
558};
559
560// Handle const char* as a special case...
561template<unsigned n> struct applicator<char[n]> {
562 template<class Opt>
563 static void opt(const char *Str, Opt &O) { O.setArgStr(Str); }
564};
565template<> struct applicator<const char*> {
566 template<class Opt>
567 static void opt(const char *Str, Opt &O) { O.setArgStr(Str); }
568};
569
570template<> struct applicator<NumOccurances> {
571 static void opt(NumOccurances NO, Option &O) { O.setNumOccurancesFlag(NO); }
572};
573template<> struct applicator<ValueExpected> {
574 static void opt(ValueExpected VE, Option &O) { O.setValueExpectedFlag(VE); }
575};
576template<> struct applicator<OptionHidden> {
577 static void opt(OptionHidden OH, Option &O) { O.setHiddenFlag(OH); }
578};
579template<> struct applicator<FormattingFlags> {
580 static void opt(FormattingFlags FF, Option &O) { O.setFormattingFlag(FF); }
581};
582
583// apply method - Apply a modifier to an option in a type safe way.
584template<class Mod, class Opt>
585void apply(const Mod &M, Opt *O) {
586 applicator<Mod>::opt(M, *O);
587}
588
589
590//===----------------------------------------------------------------------===//
591// opt_storage class
592
593// Default storage class definition: external storage. This implementation
594// assumes the user will specify a variable to store the data into with the
595// cl::location(x) modifier.
596//
597template<class DataType, bool ExternalStorage, bool isClass>
598class opt_storage {
599 DataType *Location; // Where to store the object...
600
601 void check() {
602 assert(Location != 0 && "cl::location(...) not specified for a command "
603 "line option with external storage!");
604 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000605public:
Chris Lattner331de232002-07-22 02:07:59 +0000606 opt_storage() : Location(0) {}
607
608 bool setLocation(Option &O, DataType &L) {
609 if (Location)
610 return O.error(": cl::location(x) specified more than once!");
611 Location = &L;
612 return false;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000613 }
614
Chris Lattner331de232002-07-22 02:07:59 +0000615 template<class T>
616 void setValue(const T &V) {
617 check();
618 *Location = V;
619 }
620
621 DataType &getValue() { check(); return *Location; }
622 const DataType &getValue() const { check(); return *Location; }
623};
624
625
626// Define how to hold a class type object, such as a string. Since we can
627// inherit from a class, we do so. This makes us exactly compatible with the
628// object in all cases that it is used.
629//
630template<class DataType>
631struct opt_storage<DataType,false,true> : public DataType {
632
633 template<class T>
634 void setValue(const T &V) { DataType::operator=(V); }
635
636 DataType &getValue() { return *this; }
637 const DataType &getValue() const { return *this; }
638};
639
640// Define a partial specialization to handle things we cannot inherit from. In
641// this case, we store an instance through containment, and overload operators
642// to get at the value.
643//
644template<class DataType>
645struct opt_storage<DataType, false, false> {
646 DataType Value;
647
648 // Make sure we initialize the value with the default constructor for the
649 // type.
650 opt_storage() : Value(DataType()) {}
651
652 template<class T>
653 void setValue(const T &V) { Value = V; }
654 DataType &getValue() { return Value; }
655 DataType getValue() const { return Value; }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000656};
657
658
659//===----------------------------------------------------------------------===//
Chris Lattner331de232002-07-22 02:07:59 +0000660// opt - A scalar command line option.
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000661//
Chris Lattner331de232002-07-22 02:07:59 +0000662template <class DataType, bool ExternalStorage = false,
663 class ParserClass = parser<DataType> >
664class opt : public Option,
665 public opt_storage<DataType, ExternalStorage,
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000666 ::boost::is_class<DataType>::value> {
Chris Lattner331de232002-07-22 02:07:59 +0000667 ParserClass Parser;
668
669 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) {
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000670 typename ParserClass::parser_data_type Val;
671 if (Parser.parse(*this, ArgName, Arg, Val))
672 return true; // Parse error!
673 setValue(Val);
674 return false;
Chris Lattner331de232002-07-22 02:07:59 +0000675 }
676
677 virtual enum ValueExpected getValueExpectedFlagDefault() const {
678 return Parser.getValueExpectedFlagDefault();
679 }
680
681 // Forward printing stuff to the parser...
682 virtual unsigned getOptionWidth() const {return Parser.getOptionWidth(*this);}
683 virtual void printOptionInfo(unsigned GlobalWidth) const {
684 Parser.printOptionInfo(*this, GlobalWidth);
685 }
686
687 void done() {
688 addArgument(ArgStr);
689 Parser.initialize(*this);
690 }
691public:
692 // setInitialValue - Used by the cl::init modifier...
693 void setInitialValue(const DataType &V) { setValue(V); }
694
Chris Lattner331de232002-07-22 02:07:59 +0000695 ParserClass &getParser() { return Parser; }
696
697 operator DataType() const { return getValue(); }
698
699 template<class T>
700 DataType &operator=(const T &Val) { setValue(Val); return getValue(); }
701
702 // One option...
703 template<class M0t>
704 opt(const M0t &M0) {
705 apply(M0, this);
706 done();
707 }
708
709 // Two options...
710 template<class M0t, class M1t>
711 opt(const M0t &M0, const M1t &M1) {
712 apply(M0, this); apply(M1, this);
713 done();
714 }
715
716 // Three options...
717 template<class M0t, class M1t, class M2t>
718 opt(const M0t &M0, const M1t &M1, const M2t &M2) {
719 apply(M0, this); apply(M1, this); apply(M2, this);
720 done();
721 }
722 // Four options...
723 template<class M0t, class M1t, class M2t, class M3t>
724 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3) {
725 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
726 done();
727 }
728 // Five options...
729 template<class M0t, class M1t, class M2t, class M3t, class M4t>
730 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
731 const M4t &M4) {
732 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
733 apply(M4, this);
734 done();
735 }
736 // Six options...
737 template<class M0t, class M1t, class M2t, class M3t,
738 class M4t, class M5t>
739 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
740 const M4t &M4, const M5t &M5) {
741 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
742 apply(M4, this); apply(M5, this);
743 done();
744 }
745 // Seven options...
746 template<class M0t, class M1t, class M2t, class M3t,
747 class M4t, class M5t, class M6t>
748 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
749 const M4t &M4, const M5t &M5, const M6t &M6) {
750 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
751 apply(M4, this); apply(M5, this); apply(M6, this);
752 done();
753 }
754 // Eight options...
755 template<class M0t, class M1t, class M2t, class M3t,
756 class M4t, class M5t, class M6t, class M7t>
757 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
758 const M4t &M4, const M5t &M5, const M6t &M6, const M7t &M7) {
759 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
760 apply(M4, this); apply(M5, this); apply(M6, this); apply(M7, this);
761 done();
762 }
763};
764
765//===----------------------------------------------------------------------===//
766// list_storage class
767
768// Default storage class definition: external storage. This implementation
769// assumes the user will specify a variable to store the data into with the
770// cl::location(x) modifier.
771//
772template<class DataType, class StorageClass>
773class list_storage {
774 StorageClass *Location; // Where to store the object...
775
776public:
777 list_storage() : Location(0) {}
778
779 bool setLocation(Option &O, StorageClass &L) {
780 if (Location)
781 return O.error(": cl::location(x) specified more than once!");
782 Location = &L;
783 return false;
784 }
785
786 template<class T>
787 void addValue(const T &V) {
788 assert(Location != 0 && "cl::location(...) not specified for a command "
789 "line option with external storage!");
790 Location->push_back(V);
791 }
792};
793
794
795// Define how to hold a class type object, such as a string. Since we can
796// inherit from a class, we do so. This makes us exactly compatible with the
797// object in all cases that it is used.
798//
799template<class DataType>
800struct list_storage<DataType, bool> : public std::vector<DataType> {
801
802 template<class T>
803 void addValue(const T &V) { push_back(V); }
804};
805
806
807//===----------------------------------------------------------------------===//
808// list - A list of command line options.
809//
810template <class DataType, class Storage = bool,
811 class ParserClass = parser<DataType> >
812class list : public Option, public list_storage<DataType, Storage> {
813 ParserClass Parser;
814
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000815 virtual enum NumOccurances getNumOccurancesFlagDefault() const {
816 return ZeroOrMore;
817 }
818 virtual enum ValueExpected getValueExpectedFlagDefault() const {
Chris Lattner331de232002-07-22 02:07:59 +0000819 return Parser.getValueExpectedFlagDefault();
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000820 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000821
Chris Lattner331de232002-07-22 02:07:59 +0000822 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) {
Chris Lattnerd23a35b2002-08-07 18:36:27 +0000823 typename ParserClass::parser_data_type Val;
824 if (Parser.parse(*this, ArgName, Arg, Val))
825 return true; // Parse Error!
826 addValue(Val);
827 return false;
Chris Lattner331de232002-07-22 02:07:59 +0000828 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000829
Chris Lattner331de232002-07-22 02:07:59 +0000830 // Forward printing stuff to the parser...
831 virtual unsigned getOptionWidth() const {return Parser.getOptionWidth(*this);}
832 virtual void printOptionInfo(unsigned GlobalWidth) const {
833 Parser.printOptionInfo(*this, GlobalWidth);
834 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000835
Chris Lattner331de232002-07-22 02:07:59 +0000836 void done() {
837 addArgument(ArgStr);
838 Parser.initialize(*this);
839 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000840public:
Chris Lattner331de232002-07-22 02:07:59 +0000841 ParserClass &getParser() { return Parser; }
842
843 // One option...
844 template<class M0t>
845 list(const M0t &M0) {
846 apply(M0, this);
847 done();
848 }
849 // Two options...
850 template<class M0t, class M1t>
851 list(const M0t &M0, const M1t &M1) {
852 apply(M0, this); apply(M1, this);
853 done();
854 }
855 // Three options...
856 template<class M0t, class M1t, class M2t>
857 list(const M0t &M0, const M1t &M1, const M2t &M2) {
858 apply(M0, this); apply(M1, this); apply(M2, this);
859 done();
860 }
861 // Four options...
862 template<class M0t, class M1t, class M2t, class M3t>
863 list(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3) {
864 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
865 done();
866 }
867 // Five options...
868 template<class M0t, class M1t, class M2t, class M3t, class M4t>
869 list(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
870 const M4t &M4) {
871 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
872 apply(M4, this);
873 done();
874 }
875 // Six options...
876 template<class M0t, class M1t, class M2t, class M3t,
877 class M4t, class M5t>
878 list(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
879 const M4t &M4, const M5t &M5) {
880 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
881 apply(M4, this); apply(M5, this);
882 done();
883 }
884 // Seven options...
885 template<class M0t, class M1t, class M2t, class M3t,
886 class M4t, class M5t, class M6t>
887 list(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
888 const M4t &M4, const M5t &M5, const M6t &M6) {
889 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
890 apply(M4, this); apply(M5, this); apply(M6, this);
891 done();
892 }
893 // Eight options...
894 template<class M0t, class M1t, class M2t, class M3t,
895 class M4t, class M5t, class M6t, class M7t>
896 list(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
897 const M4t &M4, const M5t &M5, const M6t &M6, const M7t &M7) {
898 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
899 apply(M4, this); apply(M5, this); apply(M6, this); apply(M7, this);
900 done();
901 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000902};
903
Chris Lattner331de232002-07-22 02:07:59 +0000904
905
906//===----------------------------------------------------------------------===//
907// Aliased command line option (alias this name to a preexisting name)
908//
909
910class alias : public Option {
911 Option *AliasFor;
912 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) {
913 return AliasFor->handleOccurance(AliasFor->ArgStr, Arg);
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000914 }
Chris Lattner331de232002-07-22 02:07:59 +0000915 // Aliases default to be hidden...
916 virtual enum OptionHidden getOptionHiddenFlagDefault() const {return Hidden;}
917
918 // Handle printing stuff...
919 virtual unsigned getOptionWidth() const;
920 virtual void printOptionInfo(unsigned GlobalWidth) const;
921
922 void done() {
923 if (!hasArgStr())
924 error(": cl::alias must have argument name specified!");
925 if (AliasFor == 0)
926 error(": cl::alias must have an cl::aliasopt(option) specified!");
927 addArgument(ArgStr);
928 }
929public:
930 void setAliasFor(Option &O) {
931 if (AliasFor)
932 error(": cl::alias must only have one cl::aliasopt(...) specified!");
933 AliasFor = &O;
934 }
935
936 // One option...
937 template<class M0t>
938 alias(const M0t &M0) : AliasFor(0) {
939 apply(M0, this);
940 done();
941 }
942 // Two options...
943 template<class M0t, class M1t>
944 alias(const M0t &M0, const M1t &M1) : AliasFor(0) {
945 apply(M0, this); apply(M1, this);
946 done();
947 }
948 // Three options...
949 template<class M0t, class M1t, class M2t>
950 alias(const M0t &M0, const M1t &M1, const M2t &M2) : AliasFor(0) {
951 apply(M0, this); apply(M1, this); apply(M2, this);
952 done();
953 }
954 // Four options...
955 template<class M0t, class M1t, class M2t, class M3t>
956 alias(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3)
957 : AliasFor(0) {
958 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
959 done();
960 }
961};
962
963// aliasfor - Modifier to set the option an alias aliases.
964struct aliasopt {
965 Option &Opt;
966 aliasopt(Option &O) : Opt(O) {}
967 void apply(alias &A) const { A.setAliasFor(Opt); }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000968};
969
970} // End namespace cl
971
972#endif