Changes in src/AST/Pass.impl.hpp [e61207e7:c671112]

File:

• src/AST/Pass.impl.hpp (modified) (8 diffs)

src/AST/Pass.impl.hpp

@@ -19 +19 @@
 #include <type_traits>
 #include <unordered_map>
+
+#include "AST/TypeSubstitution.hpp"
 
 #define VISIT_START( node ) \
@@ -462 +464 @@
         VISIT({
                 guard_indexer guard { * this };
-                maybe_accept( node, &StructDecl::params  );
-                maybe_accept( node, &StructDecl::members );
+                maybe_accept( node, &StructDecl::params );
+                maybe_accept( node, &StructDecl::members    );
         })
 
@@ -483 +485 @@
         VISIT({
                 guard_indexer guard { * this };
-                maybe_accept( node, &UnionDecl::params  );
-                maybe_accept( node, &UnionDecl::members );
+                maybe_accept( node, &UnionDecl::params );
+                maybe_accept( node, &UnionDecl::members    );
         })
 
@@ -502 +504 @@
         VISIT(
                 // unlike structs, traits, and unions, enums inject their members into the global scope
-                maybe_accept( node, &EnumDecl::params  );
-                maybe_accept( node, &EnumDecl::members );
+                maybe_accept( node, &EnumDecl::params );
+                maybe_accept( node, &EnumDecl::members    );
         )
 
@@ -517 +519 @@
         VISIT({
                 guard_indexer guard { *this };
-                maybe_accept( node, &TraitDecl::params  );
-                maybe_accept( node, &TraitDecl::members );
+                maybe_accept( node, &TraitDecl::params );
+                maybe_accept( node, &TraitDecl::members    );
         })
 
@@ -535 +537 @@
                 guard_indexer guard { *this };
                 maybe_accept( node, &TypeDecl::params );
-                maybe_accept( node, &TypeDecl::base   );
+                maybe_accept( node, &TypeDecl::base       );
         })
 
@@ -564 +566 @@
                 guard_indexer guard { *this };
                 maybe_accept( node, &TypedefDecl::params );
-                maybe_accept( node, &TypedefDecl::base   );
+                maybe_accept( node, &TypedefDecl::base       );
         })
 
@@ -688 +690 @@
                 maybe_accept( node, &WhileStmt::body  );
         })
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// ForStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::ForStmt * node ) {
-        VISIT_START( node );
-
-        VISIT({
-                // for statements introduce a level of scope (for the initialization)
-                guard_indexer guard { *this };
-                maybe_accept( node, &ForStmt::inits );
-                maybe_accept( node, &ForStmt::cond  );
-                maybe_accept( node, &ForStmt::inc   );
-                maybe_accept( node, &ForStmt::body  );
-        })
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// SwitchStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::SwitchStmt * node ) {
-        VISIT_START( node );
-
-        VISIT(
-                maybe_accept( node, &SwitchStmt::cond  );
-                maybe_accept( node, &SwitchStmt::stmts );
-        )
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// CaseStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::CaseStmt * node ) {
-        VISIT_START( node );
-
-        VISIT(
-                maybe_accept( node, &CaseStmt::cond  );
-                maybe_accept( node, &CaseStmt::stmts );
-        )
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// BranchStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::BranchStmt * node ) {
-        VISIT_START( node );
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// ReturnStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::ReturnStmt * node ) {
-        VISIT_START( node );
-
-        VISIT(
-                maybe_accept( node, &ReturnStmt::expr );
-        )
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// ThrowStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::ThrowStmt * node ) {
-        VISIT_START( node );
-
-        VISIT(
-                maybe_accept( node, &ThrowStmt::expr   );
-                maybe_accept( node, &ThrowStmt::target );
-        )
-
-        VISIT_END( Stmt, node );
-}
-
-//--------------------------------------------------------------------------
-// TryStmt
-template< typename pass_t >
-const ast::Stmt * ast::Pass< pass_t >::visit( const ast::TryStmt * node ) {
-        VISIT_START( node );
-
-        VISIT(
-                maybe_accept( node, &TryStmt::block        );
-                maybe_accept( node, &TryStmt::handlers     );
-                maybe_accept( node, &TryStmt::finallyBlock );
-        )
 
         VISIT_END( Stmt, node );