source: tools/prettyprinter/filter.cc @ 2b7afbd

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 2b7afbd was 7d4f6ed, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

remainder of pretty printer
  • Property mode set to 100644
File size: 7.6 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// filter.cc --
8//
9// Author           : Peter A. Buhr
10// Created On       : Tue Apr  9 22:33:44 2002
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Jun 28 22:56:58 2017
13// Update Count     : 72
14//
15
16#include <iostream>
17#include <string>
18#include <list>
19using namespace std;
20#include "filter.h"
21#include "parser.h"
22
23
24void (*filter)( Token *tree ) = 0;
25
26
27void freeTree( Token *tree ) {                          // postfix tree traversal
28        if ( tree == NULL ) return;
29        if ( tree->down != NULL ) freeTree( tree->down );
30        if ( tree->left != NULL ) freeTree( tree->left );
31        //cerr << "free token: \"" << tree->getText() << "\" : " << tree->getKind() << endl;
32        delete tree;
33} // freeTree
34
35
36void Identity( Token *tree ) {                          // prefix tree traversal
37        if ( tree == NULL ) return;
38        // print only the terminals
39        if ( tree->isTerminal() ) cout << tree->getWS() << tree->getText();
40        if ( tree->down != NULL ) Identity( tree->down );
41        if ( tree->left != NULL ) Identity( tree->left );
42} // Identity
43
44
45static void Parse_Tree1( Token *tree, int indent ) {    // prefix tree traversal
46        cout << string( indent, ' ' );
47        if ( tree->isTerminal() ) {                             // terminals
48                cout << "\"" << tree->getText() << "\"";
49        } else {                                                // non-terminals
50                cout << tree->getText();
51        } // if
52        cout << " : " << tree->getKind()
53                //<< " \"" << tree->getWS() << " \""
54                 << endl;
55        if ( tree->down != NULL ) Parse_Tree1( tree->down, indent + 2 );
56        if ( tree->left != NULL ) Parse_Tree1( tree->left, indent );
57} // Parse_Tree1
58
59void Parse_Tree( Token *tree ) {
60        if ( tree == NULL ) return;
61        Parse_Tree1( tree, 0 );
62} // Parse_Tree
63
64
65void Nocode( Token *tree ) {                            // prefix tree traversal
66        static bool declprt = true;
67        if ( tree == NULL ) return;
68
69        if ( tree->isTerminal() ) {                             // terminals
70                cout << tree->getWS() << tree->getText();
71        } else {                                                // non-terminals
72                switch ( tree->getKind() ) {
73                  case _RHS: {
74                          int first = 0;                                // first RHS after ':' or '|' treated specially
75                          int push = 0, pop = 0;
76                          for ( Token *i = tree->down; i != 0; i = i->left ) {
77                                  switch ( i->getKind() ) {
78                                        case _ACTION:
79                                          cout << string( (push * 4 + pop * 3) / 7, '\t' );
80                                          push = pop = 0;
81                                          cout << i->down->getComment();        // ignore code but print its comment, if any
82                                          break;
83                                        case _PREC:
84                                          Nocode( i->down );            // print verbatim
85                                          break;
86                                        case '|':                               // start of alternative and special case
87                                          first = 0;
88                                        case ';':                               // print with whitespace
89                                          cout << string( (push * 4 + pop * 3) / 7, '\t' );
90                                          push = pop = 0;
91                                          cout << i->getWS() << i->getText();
92                                          break;
93                                        default:
94                                          if ( i->getKind() == IDENTIFIER ) {
95                                                  if ( i->getText() == "push" ) {
96                                                          push += 1;
97                                                          if ( first == 0 ) {   // first RHS after ':' or '|' ?
98                                                                  cout << i->getComment(); // ignore rhs but print its comment, if any
99                                                          } // if
100                                                          break;
101                                                  } else if ( i->getText() == "pop" ) {
102                                                          pop += 1;
103                                                          if ( first == 0 ) {   // first RHS after ':' or '|' ?
104                                                                  cout << i->getComment(); // ignore rhs but print its comment, if any
105                                                          } // if
106                                                          break;
107                                                  } // if
108                                          } // if
109                                          // If there is a comment or this is the first RHS after
110                                          // ':' or '|', then include the whitespace before the
111                                          // token. Otherwise, fold the token onto the same line
112                                          // separated with a blank.
113                                          string t1( i->getText() );
114                                          if ( i->isComment() || first == 0 ) {
115                                                  first = t1.length();
116                                                  cout << i->getWS() << t1;
117                                          } else {
118                                                  if ( first + t1.length() <= 100 ) { // check for long lines during folding
119                                                          first += t1.length();
120                                                          cout << " " << t1;
121                                                  } else {
122                                                          first = t1.length();
123                                                          cout << endl << "\t\t\t\t" << t1;
124                                                  } // if
125                                          } // if
126                                  } // switch
127                          } // for
128                          break;
129                  }
130                  case _LITERALBLOCK:                           // ignore code but print its comment, if any
131                        cout << tree->down->getComment();
132                        break;
133                  case _DECLARATION: {                          // ignore certain declarations
134                          int kind = tree->down->getKind();             // get kind of declaration
135                          if ( kind != UNION && kind != TYPE ) {
136                                  declprt = true;
137                                  Nocode( tree->down );                 // print verbatim
138                          } else if ( declprt ) {                       // ignore declaration but print its comment, if any
139                                  declprt = false;
140                                  cout << tree->down->getComment();
141                          } // if
142                          break;
143                  }
144                  case _USERSECTION_OPT:                        // ignore but add newline at the end
145                        cout << endl;
146                        break;
147                  default:
148                        if ( tree->down != NULL ) Nocode( tree->down );
149                } // switch
150        } // if
151        if ( tree->left != NULL ) Nocode( tree->left );
152} // Nocode
153
154
155void LaTeX( Token *tree ) {                             // prefix tree traversal
156        if ( tree == NULL ) return;
157
158        if ( tree->isTerminal() ) {                             // terminals
159                cout << tree->getWS() << tree->getText();
160                if ( tree->getKind() == IDENTIFIER ) {
161                        string id( tree->getText() );
162                        cout << "\\(\\index{" << id << "@\\protect\\LGbegin\\protect\\lgrinde\\)" << id << "\\(\\protect\\endlgrinde\\protect\\LGend{}}\\)";
163                } // if
164        } else {                                                // non-terminals
165                switch ( tree->getKind() ) {
166                  case _RHS: {
167                          int first = 0;                                // first RHS after ':' or '|' treated specially
168                          int push = 0, pop = 0;
169                          for ( Token *i = tree->down; i != 0; i = i->left ) {
170                                  switch ( i->getKind() ) {
171                                        case _ACTION:
172                                          cout << i->down->getComment();        // ignore code but print its comment, if any
173                                          break;
174                                        case _PREC:
175                                          LaTeX( i->down );                     // print verbatim
176                                          break;
177                                        case '|':                               // start of alternative and special case
178                                          first = 0;
179                                          push = pop = 0;
180                                        case ';':                               // print with whitespace
181                                          cout << i->getWS() << i->getText();
182                                          break;
183                                        default:
184                                          if ( i->getKind() == IDENTIFIER ) {
185                                                  if ( i->getText() == "push" ) {
186                                                          push += 1;
187                                                          break;
188                                                  } else if ( i->getText() == "pop" ) {
189                                                          pop += 1;
190                                                          break;
191                                                  } // if
192                                          } // if
193                                          // If there is a comment or this is the first RHS after
194                                          // ':' or '|', then include the whitespace before the
195                                          // token. Otherwise, fold the token onto the same line
196                                          // separated with a blank.
197                                          string t1( i->getText() );
198                                          if ( i->isComment() || first == 0 ) {
199                                                  first = t1.length();
200                                                  cout << i->getWS() << t1;
201                                                  if ( i->getKind() == IDENTIFIER ) {
202                                                          string id( tree->getText() );
203                                                          cout << "\\(\\index{" << id << "@\"\\verb=" << id << "=}\\)";
204                                                  } // if
205                                          } else {
206                                                  if ( first + t1.length() <= 100 ) { // check for long lines during folding
207                                                          first += t1.length();
208                                                          cout << " " << t1;
209                                                  } else {
210                                                          first = t1.length();
211                                                          cout << endl << "\t\t\t\t" << t1;
212                                                  } // if
213                                          } // if
214                                  } // switch
215                          } // for
216                          break;
217                  }
218                  case _LITERALBLOCK:                           // ignore code but print its comment, if any
219                        cout << tree->down->getComment();
220                        break;
221                  case _DECLARATION: {                          // ignore certain declarations
222                          int kind = tree->down->getKind();     // get kind of declaration
223                          if ( kind != UNION && kind != TYPE ) {
224                                  LaTeX( tree->down );          // print verbatim
225                          } // if
226                          break;
227                  }
228                  case _USERSECTION_OPT:                        // ignore but add newline at the end
229                        cout << endl;
230                        break;
231                  default:
232                        if ( tree->down != NULL ) LaTeX( tree->down );
233                } // switch
234        } // if
235        if ( tree->left != NULL ) LaTeX( tree->left );
236} // LaTeX
237
238
239void HTML( Token *tree ) {                              // prefix tree traversal
240        cerr << "ERROR: html style not implemented" << endl;
241} // HTML
242
243// Local Variables: //
244// mode: c++ //
245// tab-width: 4 //
246// compile-command: "make install" //
247// End: //
Note: See TracBrowser for help on using the repository browser.