Changeset fa2c005 for src/AST/Pass.impl.hpp

Timestamp:

Jun 8, 2023, 3:19:43 PM (3 years ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Parents:

044ae62

Message:

Finish Adt POC

File:

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

src/AST/Pass.impl.hpp

@@ -585 +585 @@
 
 //--------------------------------------------------------------------------
+// AdtDecl
+template< typename core_t >
+const ast::Decl * ast::Pass< core_t >::visit( const ast::AdtDecl * node ) {
+        VISIT_START( node );
+
+        __pass::symtab::addAdtFwd( core, 0, node );
+
+        if ( __visit_children() ) {
+                guard_symtab guard { *this };
+                maybe_accept( node, &AdtDecl::params );
+                maybe_accept( node, &AdtDecl::members );
+                maybe_accept( node, &AdtDecl::attributes );
+
+                maybe_accept( node, &AdtDecl::data_union );
+                maybe_accept( node, &AdtDecl::tag );
+                maybe_accept( node, &AdtDecl::tag_union );
+        }
+
+        __pass::symtab::addAdt( core, 0, node );
+        VISIT_END( Decl, node );
+}
+
+//--------------------------------------------------------------------------
 // UnionDecl
 template< typename core_t >
@@ -620 +643 @@
                         maybe_accept( node, &EnumDecl::members    );
                         maybe_accept( node, &EnumDecl::attributes );
-
-                        // maybe_accept( node, &EnumDecl::data_constructors );
-                        // maybe_accept( node, &EnumDecl::data_union );
-                        // maybe_accept( node, &EnumDecl::tag );
-                        // maybe_accept( node, &EnumDecl::tag_union );
                 } else {
                         maybe_accept( node, &EnumDecl::base );
@@ -630 +648 @@
                         maybe_accept( node, &EnumDecl::members    );
                         maybe_accept( node, &EnumDecl::attributes );
-
-                        // maybe_accept( node, &EnumDecl::data_constructors );
-                        // maybe_accept( node, &EnumDecl::data_union );
-                        // maybe_accept( node, &EnumDecl::tag );
-                        // maybe_accept( node, &EnumDecl::tag_union );
-                }
-        }
-
-        VISIT_END( Decl, node );
-}
-
-template< typename core_t >
-const ast::Decl * ast::Pass< core_t >::visit( const ast::AdtDecl * node ) {
-        VISIT_START( node );
-
-        __pass::symtab::addAdt( core, 0, node );
-
-        if ( __visit_children() ) {
-                guard_symtab guard { *this };
-                maybe_accept( node, &AdtDecl::params );
-                maybe_accept( node, &AdtDecl::members );
-                maybe_accept( node, &AdtDecl::attributes );
-
-                maybe_accept( node, &AdtDecl::data_constructors );
-                maybe_accept( node, &AdtDecl::data_union );
-                maybe_accept( node, &AdtDecl::tag );
-                maybe_accept( node, &AdtDecl::tag_union );
+                }
         }
 
@@ -1967 +1959 @@
 
 //--------------------------------------------------------------------------
+// AdtInstType
+template< typename core_t >
+const ast::Type * ast::Pass< core_t >::visit( const ast::AdtInstType * node ) {
+        VISIT_START( node );
+
+        __pass::symtab::addAdt( core, 0, node->name );
+
+        if ( __visit_children() ) {
+                guard_symtab guard { *this };
+                maybe_accept( node, &AdtInstType::params );
+        }
+
+        VISIT_END( Type, node );
+}
+
+//--------------------------------------------------------------------------
 // UnionInstType
 template< typename core_t >