Add support for hidden options to pkg/args.

pkg/args/lib/args.dart

Index: pkg/args/lib/args.dart
diff --git a/pkg/args/lib/args.dart b/pkg/args/lib/args.dart
index 0b877cd86003b5c7a366e52f8752671ef439274a..ff5256eff66e7a3ccb283ff3c5e5ce88374e4948 100644
--- a/pkg/args/lib/args.dart
+++ b/pkg/args/lib/args.dart
@@ -334,15 +334,17 @@ class ArgParser {
    */
   void addOption(String name, {String abbr, String help, List<String> allowed,
       Map<String, String> allowedHelp, String defaultsTo,
-      void callback(value), bool allowMultiple: false}) {
+      void callback(value), bool allowMultiple: false,
+      bool isHidden: false}) {

[Bob Nystrom, 2013/09/24 20:57:07]

Let's do "hide" for the named parameter.

[nweiz, 2013/09/24 21:01:17]

Done.

     _addOption(name, abbr, help, allowed, allowedHelp, defaultsTo,
-        callback, isFlag: false, allowMultiple: allowMultiple);
+        callback, isFlag: false, allowMultiple: allowMultiple,
+        isHidden: isHidden);
   }
 
   void _addOption(String name, String abbr, String help, List<String> allowed,
       Map<String, String> allowedHelp, defaultsTo,
       void callback(value), {bool isFlag, bool negatable: false,
-      bool allowMultiple: false}) {
+      bool allowMultiple: false, bool isHidden: false}) {
     // Make sure the name isn't in use.
     if (_options.containsKey(name)) {
       throw new ArgumentError('Duplicate option "$name".');
@@ -359,7 +361,7 @@ class ArgParser {
 
     _options[name] = new Option(name, abbr, help, allowed, allowedHelp,
         defaultsTo, callback, isFlag: isFlag, negatable: negatable,
-        allowMultiple: allowMultiple);
+        allowMultiple: allowMultiple, isHidden: isHidden);
   }
 
   /**