Changeset 87701b6 for src/AST/Pass.impl.hpp

Timestamp:

May 16, 2019, 4:13:19 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

e61207e7

Parents:

1fb7bfd

Message:

Tentative fix for increment/decrement and implented a few more visits

File:

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

src/AST/Pass.impl.hpp

@@ -462 +462 @@
         VISIT({
                 guard_indexer guard { * this };
-                maybe_accept( node, &StructDecl::parameters );
-                maybe_accept( node, &StructDecl::members    );
+                maybe_accept( node, &StructDecl::params  );
+                maybe_accept( node, &StructDecl::members );
         })
 
@@ -483 +483 @@
         VISIT({
                 guard_indexer guard { * this };
-                maybe_accept( node, &UnionDecl::parameters );
-                maybe_accept( node, &UnionDecl::members    );
+                maybe_accept( node, &UnionDecl::params  );
+                maybe_accept( node, &UnionDecl::members );
         })
 
@@ -502 +502 @@
         VISIT(
                 // unlike structs, traits, and unions, enums inject their members into the global scope
-                maybe_accept( node, &EnumDecl::parameters );
-                maybe_accept( node, &EnumDecl::members    );
+                maybe_accept( node, &EnumDecl::params  );
+                maybe_accept( node, &EnumDecl::members );
         )
 
@@ -517 +517 @@
         VISIT({
                 guard_indexer guard { *this };
-                maybe_accept( node, &TraitDecl::parameters );
-                maybe_accept( node, &TraitDecl::members    );
+                maybe_accept( node, &TraitDecl::params  );
+                maybe_accept( node, &TraitDecl::members );
         })
 
@@ -534 +534 @@
         VISIT({
                 guard_indexer guard { *this };
-                maybe_accept( node, &TypeDecl::parameters );
-                maybe_accept( node, &TypeDecl::base       );
+                maybe_accept( node, &TypeDecl::params );
+                maybe_accept( node, &TypeDecl::base   );
         })
 
@@ -563 +563 @@
         VISIT({
                 guard_indexer guard { *this };
-                maybe_accept( node, &TypedefDecl::parameters );
-                maybe_accept( node, &TypedefDecl::base       );
+                maybe_accept( node, &TypedefDecl::params );
+                maybe_accept( node, &TypedefDecl::base   );
         })
 
@@ -690 +690 @@
 
         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 );
+
+        maybe_accept( node, &ReturnStmt::expr );
+
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// ThrowStmt
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( ThrowStmt * node ) {
+        VISIT_START( node );
+
+        maybeAccept_impl( node->expr, *this );
+        maybeAccept_impl( node->target, *this );
+
+        VISIT_END( node );
 }