annotate src/pt-base.cc @ 1755:3a9462b655f1

[project @ 1996-01-22 04:47:22 by jwe]
author jwe
date Mon, 22 Jan 1996 04:47:22 +0000
parents a02f140ed897
children effa9400766f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1742
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1588
diff changeset
1 // pt-base.cc -*- C++ -*-
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
2 /*
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
3
1009
dfe01093f657 [project @ 1995-01-04 04:05:12 by jwe]
jwe
parents: 877
diff changeset
4 Copyright (C) 1992, 1993, 1994, 1995 John W. Eaton
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
5
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
6 This file is part of Octave.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
7
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
8 Octave is free software; you can redistribute it and/or modify it
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
9 under the terms of the GNU General Public License as published by the
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
10 Free Software Foundation; either version 2, or (at your option) any
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
11 later version.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
12
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
13 Octave is distributed in the hope that it will be useful, but WITHOUT
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
16 for more details.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
17
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
19 along with Octave; see the file COPYING. If not, write to the Free
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1297
diff changeset
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
21
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
22 */
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
23
1297
12ecc2ecf0e3 [project @ 1995-05-01 18:39:43 by jwe]
jwe
parents: 1192
diff changeset
24 #if defined (__GNUG__)
12ecc2ecf0e3 [project @ 1995-05-01 18:39:43 by jwe]
jwe
parents: 1192
diff changeset
25 #pragma implementation
12ecc2ecf0e3 [project @ 1995-05-01 18:39:43 by jwe]
jwe
parents: 1192
diff changeset
26 #endif
12ecc2ecf0e3 [project @ 1995-05-01 18:39:43 by jwe]
jwe
parents: 1192
diff changeset
27
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
28 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1009
diff changeset
29 #include <config.h>
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
30 #endif
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
31
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
32 #include <cassert>
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
33
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
34 #include <iostream.h>
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
35
1742
a02f140ed897 [project @ 1996-01-12 11:09:39 by jwe]
jwe
parents: 1588
diff changeset
36 #include "pt-base.h"
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1343
diff changeset
37 #include "user-prefs.h"
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
38
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
39 // Current indentation.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
40 int tree_print_code::curr_print_indent_level = 0;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
41
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
42 // Nonzero means we are at the beginning of a line.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
43 int tree_print_code::beginning_of_line = 1;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
44
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
45 // All print_code() functions should use this to print new lines.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
46
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
47 void
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
48 tree_print_code::print_code_new_line (ostream& os)
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
49 {
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
50 os << "\n";
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
51
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
52 beginning_of_line = 1;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
53 }
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
54
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
55 // Each print_code() function should call this before printing
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
56 // anything.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
57 //
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
58 // This doesn't need to be fast, but isn't there a better way?
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
59
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
60 void
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
61 tree_print_code::print_code_indent (ostream& os)
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
62 {
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
63 assert (curr_print_indent_level >= 0);
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
64
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
65 if (beginning_of_line)
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
66 {
1755
3a9462b655f1 [project @ 1996-01-22 04:47:22 by jwe]
jwe
parents: 1742
diff changeset
67 os.form ("%s%*s", user_pref.ps4.c_str (), curr_print_indent_level, "");
580
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
68 beginning_of_line = 0;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
69 }
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
70 }
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
71
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
72 // For ressetting print_code state.
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
73
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
74 void
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
75 tree_print_code::print_code_reset (void)
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
76 {
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
77 beginning_of_line = 1;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
78 curr_print_indent_level = 0;
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
79 }
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
80
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
81 /*
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
82 ;;; Local Variables: ***
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
83 ;;; mode: C++ ***
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
84 ;;; page-delimiter: "^/\\*" ***
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
85 ;;; End: ***
b0204e676508 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents:
diff changeset
86 */