Changeset 656 for CMT/HEAD/source/cmt_symbol.h

Timestamp:

Dec 4, 2013, 10:57:15 AM (11 years ago)

Author:

rybkin

Message:

See C.L. 515

File:

• CMT/HEAD/source/cmt_symbol.h (modified) (5 diffs)

CMT/HEAD/source/cmt_symbol.h

@@ -34 +34 @@
   int select_last () const;
   void show (const Symbol& symbol, const SymbolValue& value, bool& first_definition) const;
-  int print (const Symbol& symbol, const SymbolValue& value, bool& first_definition) const;
+  int print (const Symbol& symbol, const SymbolValue& value, bool& first_definition, ostream& out = cout) const;
 
   CommandType command_type;
@@ -89 +89 @@
 
   static void all_set ();
-  static void all_print (PrintMode mode);
+  static void all_print (PrintMode mode, ostream& out = cout);
+  //static void all_print (PrintMode mode);
   static void all_print_clean (PrintMode mode);
   static void check_all_paths ();
@@ -96 +97 @@
   static SymbolVector& symbols ();
   static SymbolMap& symbol_map ();
+  static SymbolMap& std_env_vars ();
   static Symbol& symbol (int index);
   static void clear_all ();
@@ -107 +109 @@
 
   static bool get_inhibit_display ();
+  static bool set_path_strip (const bool& path_strip);
 
 public:
@@ -118 +121 @@
 
   int print_clean (PrintMode mode);
-  int print (PrintMode mode);
+  int print (PrintMode mode, ostream& out = cout);
+  //int print (PrintMode mode);
   cmt_string build_macro_value (bool display_it = false) const;
   int print_macro (PrintMode mode, ostream& out = cout) const;