Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Common/PassVisitor.impl.h

    raf5c204a r35df560  
    66        call_previsit( node );                    \
    77        if( visit_children() ) {                  \
     8                reset_visit();                      \
    89
    910#define VISIT_END( node )                       \
    1011        }                                         \
    11         reset_visit();                            \
    1212        call_postvisit( node );                   \
    1313
    … …  
    1717        call_premutate( node );                   \
    1818        if( visit_children() ) {                  \
     19                reset_visit();                      \
    1920
    2021#define MUTATE_END( type, node )                \
    2122        }                                         \
    22         reset_visit();                            \
    2323        return call_postmutate< type * >( node ); \
    2424
    … …  
    159159template< typename pass_type >
    160160void PassVisitor< pass_type >::visit( ObjectDecl * node ) {
    161         VISIT_BODY( node );
     161        VISIT_BODY( node ); 
    162162}
    163163
    164164template< typename pass_type >
    165165void PassVisitor< pass_type >::visit( FunctionDecl * node ) {
    166         VISIT_BODY( node );
     166        VISIT_BODY( node ); 
    167167}
    168168
    169169template< typename pass_type >
    170170void PassVisitor< pass_type >::visit( StructDecl * node ) {
    171         VISIT_BODY( node );
     171        VISIT_BODY( node ); 
    172172}
    173173
    174174template< typename pass_type >
    175175void PassVisitor< pass_type >::visit( UnionDecl * node ) {
    176         VISIT_BODY( node );
     176        VISIT_BODY( node ); 
    177177}
    178178
    179179template< typename pass_type >
    180180void PassVisitor< pass_type >::visit( EnumDecl * node ) {
    181         VISIT_BODY( node );
     181        VISIT_BODY( node ); 
    182182}
    183183
    184184template< typename pass_type >
    185185void PassVisitor< pass_type >::visit( TraitDecl * node ) {
    186         VISIT_BODY( node );
     186        VISIT_BODY( node ); 
    187187}
    188188
    189189template< typename pass_type >
    190190void PassVisitor< pass_type >::visit( TypeDecl * node ) {
    191         VISIT_BODY( node );
     191        VISIT_BODY( node ); 
    192192}
    193193
    194194template< typename pass_type >
    195195void PassVisitor< pass_type >::visit( TypedefDecl * node ) {
    196         VISIT_BODY( node );
     196        VISIT_BODY( node ); 
    197197}
    198198
    199199template< typename pass_type >
    200200void PassVisitor< pass_type >::visit( AsmDecl * node ) {
    201         VISIT_BODY( node );
     201        VISIT_BODY( node ); 
    202202}
    203203
    … …  
    250250template< typename pass_type >
    251251void PassVisitor< pass_type >::visit( AsmStmt * node ) {
    252         VISIT_BODY( node );
     252        VISIT_BODY( node ); 
    253253}
    254254
    … …  
    257257template< typename pass_type >
    258258void PassVisitor< pass_type >::visit( IfStmt * node ) {
    259         VISIT_START( node );
     259        VISIT_START( node ); 
    260260
    261261        visitExpression( node->get_condition() );
    … …  
    268268template< typename pass_type >
    269269Statement * PassVisitor< pass_type >::mutate( IfStmt * node ) {
    270         MUTATE_START( node );
     270        MUTATE_START( node ); 
    271271
    272272        node->set_condition( mutateExpression( node->get_condition() ) );
    … …  
    281281template< typename pass_type >
    282282void PassVisitor< pass_type >::visit( WhileStmt * node ) {
    283         VISIT_START( node );
     283        VISIT_START( node ); 
    284284
    285285        visitExpression( node->get_condition() );
    … …  
    291291template< typename pass_type >
    292292Statement * PassVisitor< pass_type >::mutate( WhileStmt * node ) {
    293         MUTATE_START( node );
     293        MUTATE_START( node ); 
    294294
    295295        node->set_condition( mutateExpression( node->get_condition() ) );
    … …  
    303303template< typename pass_type >
    304304void PassVisitor< pass_type >::visit( ForStmt * node ) {
    305         VISIT_START( node );
     305        VISIT_START( node ); 
    306306
    307307        acceptAll( node->get_initialization(), *this );
    … …  
    315315template< typename pass_type >
    316316Statement * PassVisitor< pass_type >::mutate( ForStmt * node ) {
    317         MUTATE_START( node );
     317        MUTATE_START( node ); 
    318318
    319319        mutateAll( node->get_initialization(), *this );
    … …  
    329329template< typename pass_type >
    330330void PassVisitor< pass_type >::visit( SwitchStmt * node ) {
    331         VISIT_START( node );
     331        VISIT_START( node ); 
    332332
    333333        visitExpression( node->get_condition() );
    … …  
    339339template< typename pass_type >
    340340Statement * PassVisitor< pass_type >::mutate( SwitchStmt * node ) {
    341         MUTATE_START( node );
    342 
     341        MUTATE_START( node ); 
     342       
    343343        node->set_condition( mutateExpression( node->get_condition() ) );
    344344        mutateStatementList( node->get_statements() );
    345 
     345       
    346346        MUTATE_END( Statement, node );
    347347}
    348348
    349349//--------------------------------------------------------------------------
    350 // SwitchStmt
     350// CaseStmt
    351351template< typename pass_type >
    352352void PassVisitor< pass_type >::visit( CaseStmt * node ) {
    353         VISIT_START( node );
    354 
     353        VISIT_START( node ); 
     354       
    355355        visitExpression( node->get_condition() );
    356356        visitStatementList( node->get_statements() );
    357 
     357       
    358358        VISIT_END( node );
    359359}
    … …  
    361361template< typename pass_type >
    362362Statement * PassVisitor< pass_type >::mutate( CaseStmt * node ) {
    363         MUTATE_START( node );
    364 
     363        MUTATE_START( node ); 
     364       
    365365        node->set_condition(  mutateExpression( node->get_condition() ) );
    366366        mutateStatementList( node->get_statements() );
    367 
     367       
    368368        MUTATE_END( Statement, node );
    369369}
    … …  
    371371template< typename pass_type >
    372372void PassVisitor< pass_type >::visit( BranchStmt * node ) {
    373         VISIT_BODY( node );
     373        VISIT_BODY( node ); 
    374374}
    375375
    … …  
    425425        node->set_block(  maybeMutate( node->get_block(), *this ) );
    426426        mutateAll( node->get_catchers(), *this );
    427 
     427       
    428428        MUTATE_END( Statement, node );
    429429}
    … …  
    444444Statement * PassVisitor< pass_type >::mutate( CatchStmt * node ) {
    445445        MUTATE_START( node );
    446 
     446       
    447447        node->set_body(  mutateStatement( node->get_body() ) );
    448448        node->set_decl(  maybeMutate( node->get_decl(), *this ) );
    449 
     449       
    450450        MUTATE_END( Statement, node );
    451451}
    … …  
    453453template< typename pass_type >
    454454void PassVisitor< pass_type >::visit( FinallyStmt * node ) {
    455         VISIT_BODY( node );
     455        VISIT_BODY( node ); 
    456456}
    457457
    458458template< typename pass_type >
    459459void PassVisitor< pass_type >::visit( NullStmt * node ) {
    460         VISIT_BODY( node );
     460        VISIT_BODY( node ); 
    461461}
    462462
    463463template< typename pass_type >
    464464void PassVisitor< pass_type >::visit( DeclStmt * node ) {
    465         VISIT_BODY( node );
     465        VISIT_BODY( node ); 
    466466}
    467467
    468468template< typename pass_type >
    469469void PassVisitor< pass_type >::visit( ImplicitCtorDtorStmt * node ) {
    470         VISIT_BODY( node );
     470        VISIT_BODY( node ); 
    471471}
    472472
    473473template< typename pass_type >
    474474void PassVisitor< pass_type >::visit( ApplicationExpr * node ) {
    475         VISIT_BODY( node );
     475        VISIT_BODY( node ); 
    476476}
    477477
    … …  
    502502template< typename pass_type >
    503503void PassVisitor< pass_type >::visit( NameExpr * node ) {
    504         VISIT_BODY( node );
     504        VISIT_BODY( node ); 
    505505}
    506506
    507507template< typename pass_type >
    508508void PassVisitor< pass_type >::visit( CastExpr * node ) {
    509         VISIT_BODY( node );
     509        VISIT_BODY( node ); 
    510510}
    511511
    512512template< typename pass_type >
    513513void PassVisitor< pass_type >::visit( AddressExpr * node ) {
    514         VISIT_BODY( node );
     514        VISIT_BODY( node ); 
    515515}
    516516
    517517template< typename pass_type >
    518518void PassVisitor< pass_type >::visit( LabelAddressExpr * node ) {
    519         VISIT_BODY( node );
     519        VISIT_BODY( node ); 
    520520}
    521521
    522522template< typename pass_type >
    523523void PassVisitor< pass_type >::visit( UntypedMemberExpr * node ) {
    524         VISIT_BODY( node );
     524        VISIT_BODY( node ); 
    525525}
    526526
    527527template< typename pass_type >
    528528void PassVisitor< pass_type >::visit( MemberExpr * node ) {
    529         VISIT_BODY( node );
     529        VISIT_BODY( node ); 
    530530}
    531531
    532532template< typename pass_type >
    533533void PassVisitor< pass_type >::visit( VariableExpr * node ) {
    534         VISIT_BODY( node );
     534        VISIT_BODY( node ); 
    535535}
    536536
    537537template< typename pass_type >
    538538void PassVisitor< pass_type >::visit( ConstantExpr * node ) {
    539         VISIT_BODY( node );
     539        VISIT_BODY( node ); 
    540540}
    541541
    542542template< typename pass_type >
    543543void PassVisitor< pass_type >::visit( SizeofExpr * node ) {
    544         VISIT_BODY( node );
     544        VISIT_BODY( node ); 
    545545}
    546546
    547547template< typename pass_type >
    548548void PassVisitor< pass_type >::visit( AlignofExpr * node ) {
    549         VISIT_BODY( node );
     549        VISIT_BODY( node ); 
    550550}
    551551
    552552template< typename pass_type >
    553553void PassVisitor< pass_type >::visit( UntypedOffsetofExpr * node ) {
    554         VISIT_BODY( node );
     554        VISIT_BODY( node ); 
    555555}
    556556
    557557template< typename pass_type >
    558558void PassVisitor< pass_type >::visit( OffsetofExpr * node ) {
    559         VISIT_BODY( node );
     559        VISIT_BODY( node ); 
    560560}
    561561
    562562template< typename pass_type >
    563563void PassVisitor< pass_type >::visit( OffsetPackExpr * node ) {
    564         VISIT_BODY( node );
     564        VISIT_BODY( node ); 
    565565}
    566566
    567567template< typename pass_type >
    568568void PassVisitor< pass_type >::visit( AttrExpr * node ) {
    569         VISIT_BODY( node );
     569        VISIT_BODY( node ); 
    570570}
    571571
    572572template< typename pass_type >
    573573void PassVisitor< pass_type >::visit( LogicalExpr * node ) {
    574         VISIT_BODY( node );
     574        VISIT_BODY( node ); 
    575575}
    576576
    577577template< typename pass_type >
    578578void PassVisitor< pass_type >::visit( ConditionalExpr * node ) {
    579         VISIT_BODY( node );
     579        VISIT_BODY( node ); 
    580580}
    581581
    582582template< typename pass_type >
    583583void PassVisitor< pass_type >::visit( CommaExpr * node ) {
    584         VISIT_BODY( node );
     584        VISIT_BODY( node ); 
    585585}
    586586
    587587template< typename pass_type >
    588588void PassVisitor< pass_type >::visit( TypeExpr * node ) {
    589         VISIT_BODY( node );
     589        VISIT_BODY( node ); 
    590590}
    591591
    592592template< typename pass_type >
    593593void PassVisitor< pass_type >::visit( AsmExpr * node ) {
    594         VISIT_BODY( node );
     594        VISIT_BODY( node ); 
    595595}
    596596
    597597template< typename pass_type >
    598598void PassVisitor< pass_type >::visit( ImplicitCopyCtorExpr * node ) {
    599         VISIT_BODY( node );
     599        VISIT_BODY( node ); 
    600600}
    601601
    602602template< typename pass_type >
    603603void PassVisitor< pass_type >::visit( ConstructorExpr * node ) {
    604         VISIT_BODY( node );
     604        VISIT_BODY( node ); 
    605605}
    606606
    607607template< typename pass_type >
    608608void PassVisitor< pass_type >::visit( CompoundLiteralExpr * node ) {
    609         VISIT_BODY( node );
     609        VISIT_BODY( node );
     610}
     611
     612template< typename pass_type >
     613void PassVisitor< pass_type >::visit( UntypedValofExpr * node ) {
     614        VISIT_BODY( node );
    610615}
    611616
    612617template< typename pass_type >
    613618void PassVisitor< pass_type >::visit( RangeExpr * node ) {
    614         VISIT_BODY( node );
     619        VISIT_BODY( node ); 
    615620}
    616621
    617622template< typename pass_type >
    618623void PassVisitor< pass_type >::visit( UntypedTupleExpr * node ) {
    619         VISIT_BODY( node );
     624        VISIT_BODY( node ); 
    620625}
    621626
    622627template< typename pass_type >
    623628void PassVisitor< pass_type >::visit( TupleExpr * node ) {
    624         VISIT_BODY( node );
     629        VISIT_BODY( node ); 
    625630}
    626631
    627632template< typename pass_type >
    628633void PassVisitor< pass_type >::visit( TupleIndexExpr * node ) {
    629         VISIT_BODY( node );
     634        VISIT_BODY( node ); 
    630635}
    631636
    632637template< typename pass_type >
    633638void PassVisitor< pass_type >::visit( TupleAssignExpr * node ) {
    634         VISIT_BODY( node );
     639        VISIT_BODY( node ); 
    635640}
    636641
    … …  
    654659Expression * PassVisitor< pass_type >::mutate( StmtExpr * node ) {
    655660        MUTATE_START( node );
    656 
     661       
    657662        // don't want statements from outer CompoundStmts to be added to this StmtExpr
    658663        ValueGuardPtr< TypeSubstitution * >      oldEnv        ( get_env_ptr() );
    … …  
    667672template< typename pass_type >
    668673void PassVisitor< pass_type >::visit( UniqueExpr * node ) {
    669         VISIT_BODY( node );
     674        VISIT_BODY( node ); 
    670675}
    671676
    672677template< typename pass_type >
    673678void PassVisitor< pass_type >::visit( VoidType * node ) {
    674         VISIT_BODY( node );
     679        VISIT_BODY( node ); 
    675680}
    676681
    677682template< typename pass_type >
    678683void PassVisitor< pass_type >::visit( BasicType * node ) {
    679         VISIT_BODY( node );
     684        VISIT_BODY( node ); 
    680685}
    681686
    682687template< typename pass_type >
    683688void PassVisitor< pass_type >::visit( PointerType * node ) {
    684         VISIT_BODY( node );
     689        VISIT_BODY( node ); 
    685690}
    686691
    687692template< typename pass_type >
    688693void PassVisitor< pass_type >::visit( ArrayType * node ) {
    689         VISIT_BODY( node );
     694        VISIT_BODY( node ); 
    690695}
    691696
    692697template< typename pass_type >
    693698void PassVisitor< pass_type >::visit( FunctionType * node ) {
    694         VISIT_BODY( node );
     699        VISIT_BODY( node ); 
    695700}
    696701
    697702template< typename pass_type >
    698703void PassVisitor< pass_type >::visit( StructInstType * node ) {
    699         VISIT_BODY( node );
     704        VISIT_BODY( node ); 
    700705}
    701706
    702707template< typename pass_type >
    703708void PassVisitor< pass_type >::visit( UnionInstType * node ) {
    704         VISIT_BODY( node );
     709        VISIT_BODY( node ); 
    705710}
    706711
    707712template< typename pass_type >
    708713void PassVisitor< pass_type >::visit( EnumInstType * node ) {
    709         VISIT_BODY( node );
     714        VISIT_BODY( node ); 
    710715}
    711716
    712717template< typename pass_type >
    713718void PassVisitor< pass_type >::visit( TraitInstType * node ) {
    714         VISIT_BODY( node );
     719        VISIT_BODY( node ); 
    715720}
    716721
    717722template< typename pass_type >
    718723void PassVisitor< pass_type >::visit( TypeInstType * node ) {
    719         VISIT_BODY( node );
     724        VISIT_BODY( node ); 
    720725}
    721726
    722727template< typename pass_type >
    723728void PassVisitor< pass_type >::visit( TupleType * node ) {
    724         VISIT_BODY( node );
     729        VISIT_BODY( node ); 
    725730}
    726731
    727732template< typename pass_type >
    728733void PassVisitor< pass_type >::visit( TypeofType * node ) {
    729         VISIT_BODY( node );
     734        VISIT_BODY( node ); 
    730735}
    731736
    732737template< typename pass_type >
    733738void PassVisitor< pass_type >::visit( AttrType * node ) {
    734         VISIT_BODY( node );
     739        VISIT_BODY( node ); 
    735740}
    736741
    737742template< typename pass_type >
    738743void PassVisitor< pass_type >::visit( VarArgsType * node ) {
    739         VISIT_BODY( node );
     744        VISIT_BODY( node ); 
    740745}
    741746
    742747template< typename pass_type >
    743748void PassVisitor< pass_type >::visit( ZeroType * node ) {
    744         VISIT_BODY( node );
     749        VISIT_BODY( node ); 
    745750}
    746751
    747752template< typename pass_type >
    748753void PassVisitor< pass_type >::visit( OneType * node ) {
    749         VISIT_BODY( node );
     754        VISIT_BODY( node ); 
    750755}
    751756
    … …  
    772777template< typename pass_type >
    773778void PassVisitor< pass_type >::visit( ListInit * node ) {
    774         VISIT_BODY( node );
     779        VISIT_BODY( node ); 
    775780}
    776781
    777782template< typename pass_type >
    778783void PassVisitor< pass_type >::visit( ConstructorInit * node ) {
    779         VISIT_BODY( node );
     784        VISIT_BODY( node ); 
    780785}
    781786
    782787template< typename pass_type >
    783788void PassVisitor< pass_type >::visit( Subrange * node ) {
    784         VISIT_BODY( node );
     789        VISIT_BODY( node ); 
    785790}
    786791
    787792template< typename pass_type >
    788793void PassVisitor< pass_type >::visit( Constant * node ) {
    789         VISIT_BODY( node );
     794        VISIT_BODY( node ); 
    790795}
    791796
    … …  
    983988
    984989template< typename pass_type >
     990Expression * PassVisitor< pass_type >::mutate( UntypedValofExpr * node ) {
     991        MUTATE_BODY( Expression, node );
     992}
     993
     994template< typename pass_type >
    985995Expression * PassVisitor< pass_type >::mutate( RangeExpr * node ) {
    986996        MUTATE_BODY( Expression, node );
Note: See TracChangeset for help on using the changeset viewer.