Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/AST/Print.cpp

    ra7d50b6 r94b1f718  
    7171
    7272        /// call to print short form. Incorporates features of safe_print()
    73         void short_print( const ast::Decl * n ) {
     73        void short_print( const ast::Node * n ) {
    7474                if ( ! n ) { undefined(); return; }
    7575                bool old_short = short_mode; short_mode = true;
    … …  
    7777                short_mode = old_short;
    7878        }
     79
    7980
    8081        static const char* Names[];
    … …  
    132133                case ast::Expr::InferUnion::Empty: return;
    133134                case ast::Expr::InferUnion::Slots: {
    134                         os << indent << "with " << inferred.data.resnSlots.size()
     135                        os << indent << "with " << inferred.data.resnSlots.size() 
    135136                           << " pending inference slots" << endl;
    136137                        return;
    … …  
    152153
    153154        void print( const ast::ParameterizedType::ForallList & forall ) {
    154                 if ( forall.empty() ) return;
     155                if ( forall.empty() ) return;   
    155156                os << "forall" << endl;
    156157                ++indent;
    … …  
    177178
    178179        void print( const ast::AggregateDecl * node ) {
    179                 os << node->typeString() << " " << node->name;
    180 
    181                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
     180                os << node->typeString() << " " << node->name << ":";
     181                if ( node->linkage != Linkage::Cforall ) {
    182182                        os << " " << Linkage::name( node->linkage );
    183                 }
    184 
    185                 os << " " << (node->body ? "with" : "without") << " body";
     183                } // if
     184                os << " with body : " << (node->body ? "yes " : "no ");
    186185
    187186                if ( ! node->params.empty() ) {
    … …  
    190189                        printAll( node->params );
    191190                        --indent;
    192                 }
    193 
    194                 if ( ! short_mode && ! node->members.empty() ) {
     191                } // if
     192                if ( ! node->members.empty() ) {
    195193                        os << endl << indent << "... with members" << endl;
    196194                        ++indent;
    197195                        printAll( node->members );
    198196                        --indent;
    199                 }
    200 
    201                 if ( ! short_mode && ! node->attributes.empty() ) {
     197                } // if
     198                if ( ! node->attributes.empty() ) {
    202199                        os << endl << indent << "... with attributes" << endl;
    203200                        ++indent;
    204201                        printAll( node->attributes );
    205202                        --indent;
    206                 }
    207 
     203                } // if
    208204                os << endl;
    209205        }
    210206
    211         void preprint( const ast::NamedTypeDecl * node ) {
    212                 if ( ! node->name.empty() ) os << node->name << ": ";
    213 
    214                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
     207        void print( const ast::NamedTypeDecl * node ) {
     208                if ( !node->name.empty() ) os << node->name << ": ";
     209
     210                if ( node->linkage != Linkage::Cforall ) {
    215211                        os << Linkage::name( node->linkage ) << " ";
    216                 }
    217 
     212                } // if
    218213                print( node->storage );
    219214                os << node->typeString();
    220 
    221215                if ( node->base ) {
    222216                        os << " for ";
    … …  
    224218                        node->base->accept( *this );
    225219                        --indent;
    226                 }
    227 
     220                } // if
    228221                if ( ! node->params.empty() ) {
    229222                        os << endl << indent << "... with parameters" << endl;
    … …  
    231224                        printAll( node->params );
    232225                        --indent;
    233                 }
    234 
    235                 if ( ! short_mode && ! node->assertions.empty() ) {
     226                } // if
     227                if ( ! node->assertions.empty() ) {
    236228                        os << endl << indent << "... with assertions" << endl;
    237229                        ++indent;
    238230                        printAll( node->assertions );
    239231                        --indent;
    240                 }
     232                } // if
    241233        }
    242234
    … …  
    273265public:
    274266        virtual const ast::DeclWithType * visit( const ast::ObjectDecl * node ) {
    275                 if ( ! node->name.empty() ) os << node->name << ": ";
    276 
    277                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
     267                if ( !node->name.empty() ) os << node->name << ": ";
     268
     269                if ( node->linkage != Linkage::Cforall ) {
    278270                        os << Linkage::name( node->linkage ) << " ";
    279                 }
     271                } // if
    280272
    281273                print( node->storage );
    … …  
    285277                } else {
    286278                        os << "untyped entity";
    287                 }
    288 
    289                 if ( ! short_mode && node->init ) {
    290                         ++indent;
     279                } // if
     280
     281                if ( node->init ) {
    291282                        os << " with initializer (" << (
    292283                                node->init->maybeConstructed
    293284                                        ? "maybe constructed"
    294285                                        : "not constructed"
    295                                 ) << ")" << endl << indent;
     286                                ) << ")" << endl << indent+1;
     287
     288                        ++indent;
    296289                        node->init->accept( *this );
    297290                        --indent;
    298291                        os << endl;
    299                 }
    300 
    301                 if ( ! short_mode && ! node->attributes.empty() ) {
     292                } // if
     293
     294                if ( ! node->attributes.empty() ) {
    302295                        os << endl << indent << "... with attributes:" << endl;
    303296                        ++indent;
    … …  
    309302                        os << indent << " with bitfield width ";
    310303                        node->bitfieldWidth->accept( *this );
    311                 }
    312 
     304                } // if
    313305                return node;
    314306        }
    315307
    316308        virtual const ast::DeclWithType * visit( const ast::FunctionDecl * node ) {
    317                 if ( !node->name.empty() ) os << node->name << ": ";
    318 
    319                 if ( ! short_mode && node->linkage != Linkage::Cforall ) {
     309                if ( !node->name.empty() ) {
     310                        os << node->name << ": ";
     311                } // if
     312                if ( node->linkage != Linkage::Cforall ) {
    320313                        os << Linkage::name( node->linkage ) << " ";
    321                 }
    322 
    323                 if ( ! short_mode ) printAll( node->attributes );
     314                } // if
     315
     316                printAll( node->attributes );
    324317
    325318                print( node->storage );
    … …  
    330323                } else {
    331324                        os << "untyped entity";
    332                 }
    333 
    334                 if ( ! short_mode && node->stmts ) {
    335                         ++indent;
    336                         os << " with body" << endl << indent;
     325                } // if
     326
     327                if ( node->stmts ) {
     328                        os << indent << "... with body" << endl << indent+1;
     329                        ++indent;
    337330                        node->stmts->accept( *this );
    338331                        --indent;
    339                 }
    340 
     332                } // if
    341333                return node;
    342334        }
    … …  
    363355
    364356        virtual const ast::Decl * visit( const ast::TypeDecl * node ) {
    365                 preprint( node );
    366                 if ( ! short_mode && node->init ) {
     357                print( node );
     358                if ( node->init ) {
    367359                        os << endl << indent << "with type initializer: ";
    368360                        ++indent;
    … …  
    370362                        --indent;
    371363                }
    372 
    373364                return node;
    374365        }
    375366
    376367        virtual const ast::Decl * visit( const ast::TypedefDecl * node ) {
    377                 preprint( node );
     368                print( node );
    378369                return node;
    379370        }
    380371
    381372        virtual const ast::AsmDecl * visit( const ast::AsmDecl * node ) {
    382                 safe_print( node->stmt );
     373                node->stmt->accept( *this );
    383374                return node;
    384375        }
    … …  
    387378                os << "Static Assert with condition: ";
    388379                ++indent;
    389                 safe_print( node->cond );
    390                 os << endl << indent-1 << "and message: ";
    391                 safe_print( node->msg );
     380                node->cond->accept( *this );
     381                --indent;
     382                os << endl << indent << "and message: ";
     383                ++indent;
     384                node->msg->accept( *this );
    392385                --indent;
    393386                os << endl;
    394 
    395387                return node;
    396388        }
    … …  
    602594
    603595        virtual const ast::Stmt * visit( const ast::ThrowStmt * node ) {
    604                 if ( node->target ) os << "Non-Local ";
    605 
    606                 switch( node->kind ) {
    607                 case ast::ExceptionKind::Terminate: os << "Terminate "; break;
    608                 case ast::ExceptionKind::Resume:    os << "Resume ";    break;
    609                 }
    610 
    611                 ++indent;
    612                 os << "Throw Statement, raising: ";
    613                 safe_print( node->expr );
    614                 if ( node->target ) {
    615                         os << "... at: ";
    616                         node->target->accept( *this );
    617                 }
    618                 --indent;
    619 
    620596                return node;
    621597        }
    622598
    623599        virtual const ast::Stmt * visit( const ast::TryStmt * node ) {
    624                 ++indent;
    625                 os << "Try Statement" << endl << indent-1
    626                    << "... with block:" << endl << indent;
    627                 safe_print( node->body );
    628 
    629                 os << indent-1 << "... and handlers:" << endl;
    630                 for ( const ast::CatchStmt * stmt : node->handlers ) {
    631                         os << indent;
    632                         stmt->accept( *this );
    633                 }
    634 
    635                 if ( node->finally ) {
    636                         os << indent-1 << "... and finally:" << endl << indent;
    637                         node->finally->accept( *this );
    638                 }
    639                 --indent;
    640 
    641600                return node;
    642601        }
    643602
    644603        virtual const ast::Stmt * visit( const ast::CatchStmt * node ) {
    645                 os << "Catch ";
    646                 switch ( node->kind ) {
    647                 case ast::ExceptionKind::Terminate: os << "Terminate "; break;
    648                 case ast::ExceptionKind::Resume:    os << "Resume ";    break;
    649                 }
    650                 os << "Statement" << endl << indent;
    651 
    652                 ++indent;
    653                 os << "... catching: ";
    654                 short_print( node->decl );
    655                 os << endl;
    656 
    657                 if ( node->cond ) {
    658                         os << indent-1 << "... with conditional:" << endl << indent;
    659                         node->cond->accept( *this );
    660                 }
    661 
    662                 os << indent-1 << "... with block:" << endl << indent;
    663                 safe_print( node->body );
    664                 --indent;
    665 
    666604                return node;
    667605        }
    668606
    669607        virtual const ast::Stmt * visit( const ast::FinallyStmt * node ) {
    670                 os << "Finally Statement" << endl;
    671                 os << indent << "... with block:" << endl;
    672                 ++indent;
    673                 os << indent;
    674                 safe_print( node->body );
    675                 --indent;
    676 
    677608                return node;
    678609        }
    679610
    680611        virtual const ast::Stmt * visit( const ast::WaitForStmt * node ) {
    681                 os << "Waitfor Statement" << endl;
    682                 indent += 2;
    683                 for( const auto & clause : node->clauses ) {
    684                         os << indent-1 << "target function: ";
    685                         safe_print( clause.target.func );
    686 
    687                         if ( ! clause.target.args.empty() ) {
    688                                 os << endl << indent-1 << "... with arguments:" << endl;
    689                                 for( const ast::Expr * arg : clause.target.args ) {
    690                                         arg->accept( *this );
    691                                 }
    692                         }
    693 
    694                         if ( clause.stmt ) {
    695                                 os << indent-1 << "... with statment:" << endl;
    696                                 clause.stmt->accept( *this );
    697                         }
    698 
    699                         if ( clause.cond ) {
    700                                 os << indent-1 << "... with condition:" << endl;
    701                                 clause.cond->accept( *this );
    702                         }
    703                 }
    704 
    705                 if ( node->timeout.time ) {
    706                         os << indent-1 << "timeout of:" << endl;
    707                         node->timeout.time->accept( *this );
    708 
    709                         if ( node->timeout.stmt ) {
    710                                 os << indent-1 << "... with statment:" << endl;
    711                                 node->timeout.stmt->accept( *this );
    712                         }
    713 
    714                         if ( node->timeout.cond ) {
    715                                 os << indent-1 << "... with condition:" << endl;
    716                                 node->timeout.cond->accept( *this );
    717                         }
    718                 }
    719 
    720                 if ( node->orElse.stmt ) {
    721                         os << indent-1 << "else:" << endl;
    722                         node->orElse.stmt->accept( *this );
    723 
    724                         if ( node->orElse.cond ) {
    725                                 os << indent-1 << "... with condition:" << endl;
    726                                 node->orElse.cond->accept( *this );
    727                         }
    728                 }
    729                 indent -= 2;
    730 
    731612                return node;
    732613        }
    733614
    734615        virtual const ast::Stmt * visit( const ast::WithStmt * node ) {
    735                 os << "With statement" << endl;
    736                 os << indent << "... with expressions:" << endl;
    737                 ++indent;
    738                 printAll( node->exprs );
    739                 os << indent-1 << "... with statement:" << endl << indent;
    740                 safe_print( node->stmt );
    741                 --indent;
    742 
    743616                return node;
    744617        }
    … …  
    752625
    753626        virtual const ast::Stmt * visit( const ast::DeclStmt * node ) {
    754                 os << "Declaration of ";
    755                 safe_print( node->decl );
    756 
    757627                return node;
    758628        }
    759629
    760630        virtual const ast::Stmt * visit( const ast::ImplicitCtorDtorStmt * node ) {
    761                 os << "Implicit Ctor Dtor Statement" << endl;
    762                 os << indent << "... with Ctor/Dtor: ";
    763                 ++indent;
    764                 safe_print( node->callStmt );
    765                 --indent;
    766                 os << endl;
    767 
    768631                return node;
    769632        }
    … …  
    800663                os << "Name: " << node->name;
    801664                postprint( node );
    802 
     665               
    803666                return node;
    804667        }
    … …  
    931794                --indent;
    932795                postprint( node );
    933 
     796               
    934797                return node;
    935798        }
    … …  
    1015878                if ( node->operand ) node->operand->accept( *this );
    1016879                --indent;
    1017 
     880               
    1018881                return node;
    1019882        }
    … …  
    1093956                --indent;
    1094957                postprint( node );
    1095 
     958               
    1096959                return node;
    1097960        }
    … …  
    12921155        virtual const ast::Type * visit( const ast::FunctionType * node ) {
    12931156                preprint( node );
    1294 
     1157               
    12951158                os << "function" << endl;
    12961159                if ( ! node->params.empty() ) {
    … …  
    13621225        virtual const ast::Type * visit( const ast::TypeInstType * node ) {
    13631226                preprint( node );
    1364                 os << "instance of type " << node->name
     1227                os << "instance of type " << node->name 
    13651228                   << " (" << (node->kind == ast::TypeVar::Ftype ? "" : "not ") << "function type)";
    13661229                print( node->params );
    … …  
    15121375}
    15131376
    1514 void printShort( ostream & os, const ast::Decl * node, Indenter indent ) {
     1377void printShort( ostream & os, const ast::Node * node, Indenter indent ) {
    15151378        Printer printer { os, indent, true };
    15161379        node->accept(printer);
Note: See TracChangeset for help on using the changeset viewer.