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

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 ) \
@@ -464 +462 @@
         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 );
         })
 
@@ -485 +483 @@
         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 );
         })
 
@@ -504 +502 @@
         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 );
         )
 
@@ -519 +517 @@
         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 );
         })
 
@@ -537 +535 @@
                 guard_indexer guard { *this };
                 maybe_accept( node, &TypeDecl::params );
-                maybe_accept( node, &TypeDecl::base       );
+                maybe_accept( node, &TypeDecl::base   );
         })
 
@@ -566 +564 @@
                 guard_indexer guard { *this };
                 maybe_accept( node, &TypedefDecl::params );
-                maybe_accept( node, &TypedefDecl::base       );
+                maybe_accept( node, &TypedefDecl::base   );
         })
 
@@ -690 +688 @@
                 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 );