198  public:

   198  public:

   199   static void boolAtPut(CommandLineFlagWithType flag, bool value, Flag::Flags origin);

   199   static void boolAtPut(CommandLineFlagWithType flag, bool value, Flag::Flags origin);

   200   static void intxAtPut(CommandLineFlagWithType flag, intx value, Flag::Flags origin);

   200   static void intxAtPut(CommandLineFlagWithType flag, intx value, Flag::Flags origin);

   201   static void uintxAtPut(CommandLineFlagWithType flag, uintx value, Flag::Flags origin);

   201   static void uintxAtPut(CommandLineFlagWithType flag, uintx value, Flag::Flags origin);

   202   static void uint64_tAtPut(CommandLineFlagWithType flag, uint64_t value, Flag::Flags origin);

   202   static void uint64_tAtPut(CommandLineFlagWithType flag, uint64_t value, Flag::Flags origin);

   203   static void doubleAtPut(CommandLineFlagWithType flag, double value, Flag::Flags origin);

   204   static void doubleAtPut(CommandLineFlagWithType flag, double value, Flag::Flags origin);

   204   // Contract:  Flag will make private copy of the incoming value

   205   // Contract:  Flag will make private copy of the incoming value

   205   static void ccstrAtPut(CommandLineFlagWithType flag, ccstr value, Flag::Flags origin);

   206   static void ccstrAtPut(CommandLineFlagWithType flag, ccstr value, Flag::Flags origin);

   206 

   207 

   207   static bool is_default(CommandLineFlag flag);

   208   static bool is_default(CommandLineFlag flag);