Changeset 10a1225 for src/AST/Pass.impl.hpp

Timestamp:

May 17, 2019, 12:09:51 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:

896737b

Parents:

77bfc80

Message:

Many errors and warning fixes.
More visit implementation

File:

• src/AST/Pass.impl.hpp (modified) (1 diff)

src/AST/Pass.impl.hpp

@@ -791 +791 @@
 
 //--------------------------------------------------------------------------
+// CatchStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::CatchStmt * node ) {
+        VISIT_START( node );
+
+        VISIT({
+                // catch statements introduce a level of scope (for the caught exception)
+                guard_indexer guard { *this };
+                maybe_accept( node, &CatchStmt::decl );
+                maybe_accept( node, &CatchStmt::cond );
+                maybe_accept( node, &CatchStmt::body );
+        })
+
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// FinallyStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::FinallyStmt * node ) {
+        VISIT_START( node );
+
+        VISIT(
+                maybe_accept( node, &FinallyStmt::body );
+        )
+
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// WaitForStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::WaitForStmt * node ) {
+        VISIT_START( node );
+                // for( auto & clause : node->clauses ) {
+                //      maybeAccept_impl( clause.target.function, *this );
+                //      maybeAccept_impl( clause.target.arguments, *this );
+
+                //      maybeAccept_impl( clause.statement, *this );
+                //      maybeAccept_impl( clause.condition, *this );
+                // }
+
+        #define maybe_accept(field) \
+                if(node->field) { \
+                        auto nval = call_accept( node->field ); \
+                        if(nval != node->field ) { \
+                                auto nparent = mutate(node); \
+                                nparent->field = nval; \
+                                node = nparent; \
+                        } \
+                }
+
+        VISIT(
+                maybe_accept( timeout.time );
+                maybe_accept( timeout.stmt );
+                maybe_accept( timeout.cond );
+                maybe_accept( orElse.stmt  );
+                maybe_accept( orElse.cond  );
+        )
+
+        #undef maybe_accept
+
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// WithStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::WithStmt * node ) {
+        VISIT_START( node );
+
+        VISIT(
+                maybe_accept( node, &WithStmt::exprs );
+                {
+                        // catch statements introduce a level of scope (for the caught exception)
+                        guard_indexer guard { *this };
+                        __pass::indexer::addWith( pass, 0, node->exprs, node );
+                        maybe_accept( node, &WithStmt::stmt );
+                }
+        )
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// NullStmt
+template< typename pass_t >
+const ast::NullStmt * ast::Pass< pass_t >::visit( const ast::NullStmt * node ) {
+        VISIT_START( node );
+        VISIT_END( NullStmt, node );
+}
+
+//--------------------------------------------------------------------------
+// DeclStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::DeclStmt * node ) {
+        VISIT_START( node );
+
+        VISIT(
+                maybe_accept( node, &DeclStmt::decl );
+        )
+
+        VISIT_END( Stmt, node );
+}
+
+//--------------------------------------------------------------------------
+// ImplicitCtorDtorStmt
+template< typename pass_t >
+const ast::Stmt * ast::Pass< pass_t >::visit( const ast::ImplicitCtorDtorStmt * node ) {
+        VISIT_START( node );
+
+        // For now this isn't visited, it is unclear if this causes problem
+        // if all tests are known to pass, remove this code
+        // VISIT(
+        //      maybe_accept( node, &ImplicitCtorDtorStmt::callStmt );
+        // )
+
+        VISIT_END( Stmt, node );
+}
+
+
+
+
+
+
+//--------------------------------------------------------------------------
 // SingleInit
 template< typename pass_t >