Mark Olesen
a0a9cd3366
introduce readList<T> function
...
- Read a bracket-delimited list, or handle a single value as list of size 1.
Mostly useful for handling command-line arguments.
eg,
if (args.options().found("patches"))
{
patches = readList<word>(IStringStream(args.options()["patches"])());
}
can handle both of these:
-patches patch0
-patches \( patch1 patch2 patch3 \)
2009-05-18 12:05:52 +02:00
..
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2009-05-08 17:27:42 +02:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-04-27 10:08:29 +02:00
2008-12-31 19:01:56 +01:00
2008-04-15 18:56:58 +01:00
2009-01-30 09:06:47 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-03-04 10:50:14 +01:00
2009-01-09 09:11:50 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2009-02-18 08:57:10 +01:00
2009-03-05 12:39:22 +01:00
2009-03-04 10:50:14 +01:00
2008-12-31 19:01:56 +01:00
2009-01-27 21:55:03 +01:00
2009-04-27 10:08:29 +02:00
2009-01-05 12:30:19 +01:00
2009-03-12 19:25:21 +00:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2009-05-18 12:05:52 +02:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-27 16:41:51 +01:00
2009-02-26 15:32:47 +01:00
2009-02-18 08:57:10 +01:00
2009-02-18 08:57:10 +01:00
2009-05-18 10:26:11 +02:00
2008-12-31 19:01:56 +01:00
2009-02-06 20:43:09 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-01-05 12:30:19 +01:00
2008-04-15 18:56:58 +01:00
2008-12-31 19:01:56 +01:00
2009-03-05 12:06:57 +01:00
2008-12-31 19:01:56 +01:00
2009-02-11 10:34:45 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2008-08-19 13:49:00 +01:00
2009-02-18 08:57:10 +01:00
2009-04-27 10:08:29 +02:00
2009-03-06 15:18:00 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-02-18 08:57:10 +01:00
2008-12-31 19:01:56 +01:00
2008-12-31 19:01:56 +01:00
2009-04-27 10:08:29 +02:00
2008-04-15 18:56:58 +01:00
2009-02-18 08:57:10 +01:00
2009-03-16 10:45:27 +00:00
2009-03-05 12:06:57 +01:00
2009-01-05 12:30:19 +01:00