comparison src/pt-pr-code.h @ 3708:9b9efdcbdfd3

[project @ 2000-07-28 20:50:58 by jwe]
author jwe
date Fri, 28 Jul 2000 20:53:40 +0000
parents 0689afb1d001
children 61d4427c016e
comparison
equal deleted inserted replaced
3707:58140935c812 3708:9b9efdcbdfd3
39 class 39 class
40 tree_print_code : public tree_walker 40 tree_print_code : public tree_walker
41 { 41 {
42 public: 42 public:
43 43
44 tree_print_code (std::ostream& os_arg, const std::string& pfx = std::string (), 44 tree_print_code (std::ostream& os_arg,
45 const std::string& pfx = std::string (),
45 bool pr_orig_txt = true) 46 bool pr_orig_txt = true)
46 : os (os_arg), prefix (pfx), print_original_text (pr_orig_txt) { } 47 : os (os_arg), prefix (pfx), print_original_text (pr_orig_txt),
48 curr_print_indent_level (0), beginning_of_line (true) { }
47 49
48 ~tree_print_code (void) { } 50 ~tree_print_code (void) { }
49 51
50 void visit_argument_list (tree_argument_list&); 52 void visit_argument_list (tree_argument_list&);
51 53
147 149
148 std::string prefix; 150 std::string prefix;
149 151
150 bool print_original_text; 152 bool print_original_text;
151 153
152 static int curr_print_indent_level; 154 // Current indentation.
153 static bool beginning_of_line; 155 int curr_print_indent_level;
156
157 // TRUE means we are at the beginning of a line.
158 bool beginning_of_line;
154 159
155 void reset_indent_level (void) 160 void reset_indent_level (void)
156 { curr_print_indent_level = 0; } 161 { curr_print_indent_level = 0; }
157 162
158 void increment_indent_level (void) 163 void increment_indent_level (void)