blob: 9e02a6cf41712a74637c8448506d3a3d407e0b34 [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
375protected:
376 bool hasArgStr;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000377};
378
Chris Lattner331de232002-07-22 02:07:59 +0000379// Default parser implementation - This implementation depends on having a
380// mapping of recognized options to values of some sort. In addition to this,
381// each entry in the mapping also tracks a help message that is printed with the
382// command line option for --help. Because this is a simple mapping parser, the
383// data type can be any unsupported type.
384//
385template <class DataType>
386class parser : public generic_parser_base {
387 std::vector<std::pair<const char *,
388 std::pair<DataType, const char *> > > Values;
389
390 // Implement virtual functions needed by generic_parser_base
391 unsigned getNumOptions() const { return Values.size(); }
392 const char *getOption(unsigned N) const { return Values[N].first; }
393 const char *getDescription(unsigned N) const {
394 return Values[N].second.second;
395 }
396
397public:
398 // Default implementation, requires user to populate it with values somehow.
399 template<class Opt> // parse - Return true on error.
400 bool parse(Opt &O, const char *ArgName, const string &Arg) {
401 string ArgVal;
402 if (hasArgStr)
403 ArgVal = Arg;
404 else
405 ArgVal = ArgName;
406
407 for (unsigned i = 0, e = Values.size(); i != e; ++i)
408 if (ArgVal == Values[i].first) {
409 O.addValue(Values[i].second.first);
410 return false;
411 }
412
413 return O.error(": Cannot find option named '" + ArgVal + "'!");
414 }
415
416 // addLiteralOption - Add an entry to the mapping table...
417 template <class DT>
418 void addLiteralOption(const char *Name, const DT &V, const char *HelpStr) {
419 Values.push_back(std::make_pair(Name, std::make_pair((DataType)V,HelpStr)));
420 }
421};
422
423
424//--------------------------------------------------
425// parser<bool>
426//
427template<>
428class parser<bool> {
429 static bool parseImpl(Option &O, const string &Arg, bool &Val);
430public:
431
432 template<class Opt> // parse - Return true on error.
433 bool parse(Opt &O, const char *ArgName, const string &Arg) {
434 bool Val;
435 bool Error = parseImpl(O, Arg, Val);
436 if (!Error) O.addValue(Val);
437 return Error;
438 }
439
440 enum ValueExpected getValueExpectedFlagDefault() const {
441 return ValueOptional;
442 }
443
444 void initialize(Option &O) {}
445
446 // Return the width of the option tag for printing...
447 virtual unsigned getOptionWidth(const Option &O) const;
448
449 // printOptionInfo - Print out information about this option. The
450 // to-be-maintained width is specified.
451 //
452 virtual void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
453};
454
455
456//--------------------------------------------------
457// parser<int>
458//
459template<>
460class parser<int> {
461 static bool parseImpl(Option &O, const string &Arg, int &Val);
462public:
463
464 // parse - Return true on error.
465 template<class Opt>
466 bool parse(Opt &O, const char *ArgName, const string &Arg) {
467 int Val;
468 bool Error = parseImpl(O, Arg, Val);
469 if (!Error) O.addValue(Val);
470 return Error;
471 }
472
473 enum ValueExpected getValueExpectedFlagDefault() const {
474 return ValueRequired;
475 }
476
477 void initialize(Option &O) {}
478
479 // Return the width of the option tag for printing...
480 virtual unsigned getOptionWidth(const Option &O) const;
481
482 // printOptionInfo - Print out information about this option. The
483 // to-be-maintained width is specified.
484 //
485 virtual void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
486};
487
488
489//--------------------------------------------------
490// parser<double>
491//
492template<>
493class parser<double> {
494 static bool parseImpl(Option &O, const string &Arg, double &Val);
495public:
496
497 // parse - Return true on error.
498 template<class Opt>
499 bool parse(Opt &O, const char *ArgName, const string &Arg) {
500 double Val;
501 bool Error = parseImpl(O, Arg, Val);
502 if (!Error) O.addValue(Val);
503 return Error;
504 }
505
506 enum ValueExpected getValueExpectedFlagDefault() const {
507 return ValueRequired;
508 }
509
510 void initialize(Option &O) {}
511
512 // Return the width of the option tag for printing...
513 virtual unsigned getOptionWidth(const Option &O) const;
514
515 // printOptionInfo - Print out information about this option. The
516 // to-be-maintained width is specified.
517 //
518 virtual void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
519};
520
521// Parser<float> is the same as parser<double>
522template<> struct parser<float> : public parser<double> {};
523
524
525
526//--------------------------------------------------
527// parser<string>
528//
529template<>
530struct parser<string> {
531 // parse - Return true on error.
532 template<class Opt>
533 bool parse(Opt &O, const char *ArgName, const string &Arg) {
534 O.addValue(Arg);
535 return false;
536 }
537 enum ValueExpected getValueExpectedFlagDefault() const {
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000538 return ValueRequired;
539 }
Chris Lattner71fb7162002-05-22 17:03:05 +0000540
Chris Lattner331de232002-07-22 02:07:59 +0000541 void initialize(Option &O) {}
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000542
543 // Return the width of the option tag for printing...
Chris Lattner331de232002-07-22 02:07:59 +0000544 virtual unsigned getOptionWidth(const Option &O) const;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000545
546 // printOptionInfo - Print out information about this option. The
547 // to-be-maintained width is specified.
548 //
Chris Lattner331de232002-07-22 02:07:59 +0000549 virtual void printOptionInfo(const Option &O, unsigned GlobalWidth) const;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000550};
551
Chris Lattner71fb7162002-05-22 17:03:05 +0000552
Chris Lattner331de232002-07-22 02:07:59 +0000553
554//===----------------------------------------------------------------------===//
555// applicator class - This class is used because we must use partial
556// specialization to handle literal string arguments specially (const char* does
557// not correctly respond to the apply method). Because the syntax to use this
558// is a pain, we have the 'apply' method below to handle the nastiness...
559//
560template<class Mod> struct applicator {
561 template<class Opt>
562 static void opt(const Mod &M, Opt &O) { M.apply(O); }
563};
564
565// Handle const char* as a special case...
566template<unsigned n> struct applicator<char[n]> {
567 template<class Opt>
568 static void opt(const char *Str, Opt &O) { O.setArgStr(Str); }
569};
570template<> struct applicator<const char*> {
571 template<class Opt>
572 static void opt(const char *Str, Opt &O) { O.setArgStr(Str); }
573};
574
575template<> struct applicator<NumOccurances> {
576 static void opt(NumOccurances NO, Option &O) { O.setNumOccurancesFlag(NO); }
577};
578template<> struct applicator<ValueExpected> {
579 static void opt(ValueExpected VE, Option &O) { O.setValueExpectedFlag(VE); }
580};
581template<> struct applicator<OptionHidden> {
582 static void opt(OptionHidden OH, Option &O) { O.setHiddenFlag(OH); }
583};
584template<> struct applicator<FormattingFlags> {
585 static void opt(FormattingFlags FF, Option &O) { O.setFormattingFlag(FF); }
586};
587
588// apply method - Apply a modifier to an option in a type safe way.
589template<class Mod, class Opt>
590void apply(const Mod &M, Opt *O) {
591 applicator<Mod>::opt(M, *O);
592}
593
594
595//===----------------------------------------------------------------------===//
596// opt_storage class
597
598// Default storage class definition: external storage. This implementation
599// assumes the user will specify a variable to store the data into with the
600// cl::location(x) modifier.
601//
602template<class DataType, bool ExternalStorage, bool isClass>
603class opt_storage {
604 DataType *Location; // Where to store the object...
605
606 void check() {
607 assert(Location != 0 && "cl::location(...) not specified for a command "
608 "line option with external storage!");
609 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000610public:
Chris Lattner331de232002-07-22 02:07:59 +0000611 opt_storage() : Location(0) {}
612
613 bool setLocation(Option &O, DataType &L) {
614 if (Location)
615 return O.error(": cl::location(x) specified more than once!");
616 Location = &L;
617 return false;
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000618 }
619
Chris Lattner331de232002-07-22 02:07:59 +0000620 template<class T>
621 void setValue(const T &V) {
622 check();
623 *Location = V;
624 }
625
626 DataType &getValue() { check(); return *Location; }
627 const DataType &getValue() const { check(); return *Location; }
628};
629
630
631// Define how to hold a class type object, such as a string. Since we can
632// inherit from a class, we do so. This makes us exactly compatible with the
633// object in all cases that it is used.
634//
635template<class DataType>
636struct opt_storage<DataType,false,true> : public DataType {
637
638 template<class T>
639 void setValue(const T &V) { DataType::operator=(V); }
640
641 DataType &getValue() { return *this; }
642 const DataType &getValue() const { return *this; }
643};
644
645// Define a partial specialization to handle things we cannot inherit from. In
646// this case, we store an instance through containment, and overload operators
647// to get at the value.
648//
649template<class DataType>
650struct opt_storage<DataType, false, false> {
651 DataType Value;
652
653 // Make sure we initialize the value with the default constructor for the
654 // type.
655 opt_storage() : Value(DataType()) {}
656
657 template<class T>
658 void setValue(const T &V) { Value = V; }
659 DataType &getValue() { return Value; }
660 DataType getValue() const { return Value; }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000661};
662
663
664//===----------------------------------------------------------------------===//
Chris Lattner331de232002-07-22 02:07:59 +0000665// opt - A scalar command line option.
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000666//
Chris Lattner331de232002-07-22 02:07:59 +0000667template <class DataType, bool ExternalStorage = false,
668 class ParserClass = parser<DataType> >
669class opt : public Option,
670 public opt_storage<DataType, ExternalStorage,
671 ::boost::is_class<DataType>::value>{
672 ParserClass Parser;
673
674 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) {
675 return Parser.parse(*this, ArgName, Arg);
676 }
677
678 virtual enum ValueExpected getValueExpectedFlagDefault() const {
679 return Parser.getValueExpectedFlagDefault();
680 }
681
682 // Forward printing stuff to the parser...
683 virtual unsigned getOptionWidth() const {return Parser.getOptionWidth(*this);}
684 virtual void printOptionInfo(unsigned GlobalWidth) const {
685 Parser.printOptionInfo(*this, GlobalWidth);
686 }
687
688 void done() {
689 addArgument(ArgStr);
690 Parser.initialize(*this);
691 }
692public:
693 // setInitialValue - Used by the cl::init modifier...
694 void setInitialValue(const DataType &V) { setValue(V); }
695
696 // addValue - Used by the parser to add a value to the option
697 template<class T>
698 void addValue(const T &V) { setValue(V); }
699 ParserClass &getParser() { return Parser; }
700
701 operator DataType() const { return getValue(); }
702
703 template<class T>
704 DataType &operator=(const T &Val) { setValue(Val); return getValue(); }
705
706 // One option...
707 template<class M0t>
708 opt(const M0t &M0) {
709 apply(M0, this);
710 done();
711 }
712
713 // Two options...
714 template<class M0t, class M1t>
715 opt(const M0t &M0, const M1t &M1) {
716 apply(M0, this); apply(M1, this);
717 done();
718 }
719
720 // Three options...
721 template<class M0t, class M1t, class M2t>
722 opt(const M0t &M0, const M1t &M1, const M2t &M2) {
723 apply(M0, this); apply(M1, this); apply(M2, this);
724 done();
725 }
726 // Four options...
727 template<class M0t, class M1t, class M2t, class M3t>
728 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3) {
729 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
730 done();
731 }
732 // Five options...
733 template<class M0t, class M1t, class M2t, class M3t, class M4t>
734 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
735 const M4t &M4) {
736 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
737 apply(M4, this);
738 done();
739 }
740 // Six options...
741 template<class M0t, class M1t, class M2t, class M3t,
742 class M4t, class M5t>
743 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
744 const M4t &M4, const M5t &M5) {
745 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
746 apply(M4, this); apply(M5, this);
747 done();
748 }
749 // Seven options...
750 template<class M0t, class M1t, class M2t, class M3t,
751 class M4t, class M5t, class M6t>
752 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
753 const M4t &M4, const M5t &M5, const M6t &M6) {
754 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
755 apply(M4, this); apply(M5, this); apply(M6, this);
756 done();
757 }
758 // Eight options...
759 template<class M0t, class M1t, class M2t, class M3t,
760 class M4t, class M5t, class M6t, class M7t>
761 opt(const M0t &M0, const M1t &M1, const M2t &M2, const M3t &M3,
762 const M4t &M4, const M5t &M5, const M6t &M6, const M7t &M7) {
763 apply(M0, this); apply(M1, this); apply(M2, this); apply(M3, this);
764 apply(M4, this); apply(M5, this); apply(M6, this); apply(M7, this);
765 done();
766 }
767};
768
769//===----------------------------------------------------------------------===//
770// list_storage class
771
772// Default storage class definition: external storage. This implementation
773// assumes the user will specify a variable to store the data into with the
774// cl::location(x) modifier.
775//
776template<class DataType, class StorageClass>
777class list_storage {
778 StorageClass *Location; // Where to store the object...
779
780public:
781 list_storage() : Location(0) {}
782
783 bool setLocation(Option &O, StorageClass &L) {
784 if (Location)
785 return O.error(": cl::location(x) specified more than once!");
786 Location = &L;
787 return false;
788 }
789
790 template<class T>
791 void addValue(const T &V) {
792 assert(Location != 0 && "cl::location(...) not specified for a command "
793 "line option with external storage!");
794 Location->push_back(V);
795 }
796};
797
798
799// Define how to hold a class type object, such as a string. Since we can
800// inherit from a class, we do so. This makes us exactly compatible with the
801// object in all cases that it is used.
802//
803template<class DataType>
804struct list_storage<DataType, bool> : public std::vector<DataType> {
805
806 template<class T>
807 void addValue(const T &V) { push_back(V); }
808};
809
810
811//===----------------------------------------------------------------------===//
812// list - A list of command line options.
813//
814template <class DataType, class Storage = bool,
815 class ParserClass = parser<DataType> >
816class list : public Option, public list_storage<DataType, Storage> {
817 ParserClass Parser;
818
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000819 virtual enum NumOccurances getNumOccurancesFlagDefault() const {
820 return ZeroOrMore;
821 }
822 virtual enum ValueExpected getValueExpectedFlagDefault() const {
Chris Lattner331de232002-07-22 02:07:59 +0000823 return Parser.getValueExpectedFlagDefault();
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000824 }
Chris Lattnercee8f9a2001-11-27 00:03:19 +0000825
Chris Lattner331de232002-07-22 02:07:59 +0000826 virtual bool handleOccurance(const char *ArgName, const std::string &Arg) {
827 return Parser.parse(*this, ArgName, Arg);
828 }
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