Changeset b0ec971


Ignore:
Timestamp:
May 23, 2019, 11:27:57 AM (5 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
68c9165
Parents:
c957e7f
Message:

Added ast::Type printers

Location:
src/AST
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Print.cpp

    rc957e7f rb0ec971  
    9696        }
    9797
     98        void print( const ast::ParameterizedType::ForallList & forall ) {
     99                if ( forall.empty() ) return;   
     100                os << "forall" << std::endl;
     101                ++indent;
     102                printAll( forall );
     103                os << indent;
     104                --indent;
     105        }
     106
     107        void print( const std::vector<ptr<Attribute>> & attrs ) {
     108                if ( attrs.empty() ) return;
     109                os << "with attributes" << std::endl;
     110                ++indent;
     111                printAll( attrs );
     112                --indent;
     113        }
     114
     115        void print( const std::vector<ptr<Expr>> & params ) {
     116                if ( params.empty() ) return;
     117                os << std::endl << indent << "... with parameters" << std::endl;
     118                ++indent;
     119                printAll( params );
     120                --indent;
     121        }
     122
     123        void preprint( const ast::Type * node ) {
     124                print( node->qualifiers );
     125        }
     126
     127        void preprint( const ast::ParameterizedType * node ) {
     128                print( node->forall );
     129                print( node->qualifiers );
     130        }
     131
     132        void preprint( const ast::ReferenceToType * node ) {
     133                print( node->forall );
     134                print( node->attributes );
     135                print( node->qualifiers );
     136        }
     137
    98138public:
    99139        virtual const ast::DeclWithType *     visit( const ast::ObjectDecl           * node ) {
     
    404444
    405445        virtual const ast::Type *             visit( const ast::VoidType             * node ) {
     446                preprint( node );
     447                os << "void";
    406448                return node;
    407449        }
    408450
    409451        virtual const ast::Type *             visit( const ast::BasicType            * node ) {
     452                preprint( node );
     453                os << ast::BasicType::typeNames[ node->kind ];
    410454                return node;
    411455        }
    412456
    413457        virtual const ast::Type *             visit( const ast::PointerType          * node ) {
     458                preprint( node );
     459                if ( ! node->isArray() ) {
     460                        os << "pointer to ";
     461                } else {
     462                        os << "decayed ";
     463                        if ( node->isStatic ) {
     464                                os << "static ";
     465                        }
     466
     467                        if ( node->isVarLen ) {
     468                                os << "variable length array of ";
     469                        } else if ( node->dimension ) {
     470                                os << "array of ";
     471                                node->dimension->accept( *this );
     472                                os << " ";
     473                        }
     474                }
     475
     476                if ( node->base ) {
     477                        node->base->accept( *this );
     478                } else {
     479                        os << "UNDEFINED";
     480                }
    414481                return node;
    415482        }
    416483
    417484        virtual const ast::Type *             visit( const ast::ArrayType            * node ) {
     485                preprint( node );
     486                if ( node->isStatic ) {
     487                        os << "static ";
     488                }
     489
     490                if ( node->isVarLen ) {
     491                        os << "variable length array of ";
     492                } else if ( node->dimension ) {
     493                        os << "array of ";
     494                } else {
     495                        os << "open array of ";
     496                }
     497
     498                if ( node->base ) {
     499                        node->base->accept( *this );
     500                } else {
     501                        os << "UNDEFINED";
     502                }
     503
     504                if ( node->dimension ) {
     505                        os << " with dimension of ";
     506                        node->dimension->accept( *this );
     507                }
     508
    418509                return node;
    419510        }
    420511
    421512        virtual const ast::Type *             visit( const ast::ReferenceType        * node ) {
     513                preprint( node );
     514
     515                os << "reference to ";
     516                if ( node->base ) {
     517                        node->base->accept( *this );
     518                } else {
     519                        os << "UNDEFINED";
     520                }
     521
    422522                return node;
    423523        }
    424524
    425525        virtual const ast::Type *             visit( const ast::QualifiedType        * node ) {
     526                preprint( node );
     527
     528                ++indent;
     529                os << "Qualified Type:" << std::endl << indent;
     530                node->parent->accept( *this );
     531                os << std::endl << indent;
     532                node->child->accept( *this );
     533                os << std::endl;
     534                --indent;
     535
    426536                return node;
    427537        }
    428538
    429539        virtual const ast::Type *             visit( const ast::FunctionType         * node ) {
     540                preprint( node );
     541
     542                os << "function" << std::endl;
     543                if ( ! node->params.empty() ) {
     544                        os << indent << "... with parameters" << std::endl;
     545                        ++indent;
     546                        printAll( node->params );
     547                        if ( node->isVarArgs ) {
     548                                os << indent << "and a variable number of other arguments" << std::endl;
     549                        }
     550                        --indent;
     551                } else if ( node->isVarArgs ) {
     552                        os << indent+1 << "accepting unspecified arguments" << std::endl;
     553                }
     554
     555                os << indent << "... returning";
     556                if ( node->returns.empty() ) {
     557                        os << " nothing" << std::endl;
     558                } else {
     559                        os << std::endl;
     560                        ++indent;
     561                        printAll( node->returns );
     562                        --indent;
     563                }
     564
    430565                return node;
    431566        }
    432567
    433568        virtual const ast::Type *             visit( const ast::StructInstType       * node ) {
     569                preprint( node );
     570
     571                os << "instance of struct " << node->name;
     572                if ( node->base ) {
     573                        os << " " << ( node->base->body ? "with" : "without" ) << " body";
     574                }
     575                print( node->params );
     576
    434577                return node;
    435578        }
    436579
    437580        virtual const ast::Type *             visit( const ast::UnionInstType        * node ) {
     581                preprint( node );
     582
     583                os << "instance of union " << node->name;
     584                if ( node->base ) {
     585                        os << " " << ( node->base->body ? "with" : "without" ) << " body";
     586                }
     587                print( node->params );
     588
    438589                return node;
    439590        }
    440591
    441592        virtual const ast::Type *             visit( const ast::EnumInstType         * node ) {
     593                preprint( node );
     594
     595                os << "instance of enum " << node->name;
     596                if ( node->base ) {
     597                        os << " " << ( node->base->body ? "with" : "without" ) << " body";
     598                }
     599                print( node->params );
     600
    442601                return node;
    443602        }
    444603
    445604        virtual const ast::Type *             visit( const ast::TraitInstType        * node ) {
     605                preprint( node );
     606
     607                os << "instance of trait " << node->name;
     608                print( node->params );
     609
    446610                return node;
    447611        }
    448612
    449613        virtual const ast::Type *             visit( const ast::TypeInstType         * node ) {
     614                preprint( node );
     615
     616                os << "instance of type " << node->name
     617                   << " (" << (node->kind == ast::TypeVar::Ftype ? "" : "not ") << "function type)";
     618                print( node->params );
     619
    450620                return node;
    451621        }
    452622
    453623        virtual const ast::Type *             visit( const ast::TupleType            * node ) {
     624                preprint( node );
     625
     626                os << "tuple of types" << std::endl;
     627                ++indent;
     628                printAll( node->types );
     629                --indent;
     630
    454631                return node;
    455632        }
    456633
    457634        virtual const ast::Type *             visit( const ast::TypeofType           * node ) {
     635                preprint( node );
     636
     637                if ( node->kind == ast::TypeofType::Basetypeof ) { os << "base-"; }
     638                os << "type-of expression ";
     639                if ( node->expr ) {
     640                        node->expr->accept( *this );
     641                } else {
     642                        os << "UNDEFINED";
     643                }
     644
    458645                return node;
    459646        }
    460647
    461648        virtual const ast::Type *             visit( const ast::VarArgsType          * node ) {
     649                preprint( node );
     650                os << "builtin var args pack";
    462651                return node;
    463652        }
    464653
    465654        virtual const ast::Type *             visit( const ast::ZeroType             * node ) {
     655                preprint( node );
     656                os << "zero_t";
    466657                return node;
    467658        }
    468659
    469660        virtual const ast::Type *             visit( const ast::OneType              * node ) {
     661                preprint( node );
     662                os << "one_t";
    470663                return node;
    471664        }
    472665
    473666        virtual const ast::Type *             visit( const ast::GlobalScopeType      * node ) {
     667                preprint( node );
     668                os << "Global Scope Type";
    474669                return node;
    475670        }
  • src/AST/Type.hpp

    rc957e7f rb0ec971  
    308308        virtual ReferenceToType * clone() const override = 0;
    309309        MUTATE_FRIEND
    310 
    311 protected:
    312         /// Name for the kind of type this is
    313         virtual std::string typeString() const = 0;
    314310};
    315311
     
    333329        StructInstType * clone() const override { return new StructInstType{ *this }; }
    334330        MUTATE_FRIEND
    335 
    336         std::string typeString() const override { return "struct"; }
    337331};
    338332
     
    356350        UnionInstType * clone() const override { return new UnionInstType{ *this }; }
    357351        MUTATE_FRIEND
    358 
    359         std::string typeString() const override { return "union"; }
    360352};
    361353
     
    379371        EnumInstType * clone() const override { return new EnumInstType{ *this }; }
    380372        MUTATE_FRIEND
    381 
    382         std::string typeString() const override { return "enum"; }
    383373};
    384374
     
    403393        TraitInstType * clone() const override { return new TraitInstType{ *this }; }
    404394        MUTATE_FRIEND
    405 
    406         std::string typeString() const override { return "trait"; }
    407395};
    408396
     
    432420        TypeInstType * clone() const override { return new TypeInstType{ *this }; }
    433421        MUTATE_FRIEND
    434 
    435         std::string typeString() const override { return "type"; }
    436422};
    437423
Note: See TracChangeset for help on using the changeset viewer.