Changeset f4e01f1 for src/Common

Timestamp:

May 17, 2023, 4:27:25 PM (2 years ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Children:

3a513d89

Parents:

d6c464d

Message:

Save progress

Location:

src/Common

Files:

• PassVisitor.h (modified) (1 diff)
• PassVisitor.impl.h (modified) (3 diffs)
• PassVisitor.proto.h (modified) (1 diff)

src/Common/PassVisitor.h

@@ -443 +443 @@
         void indexerAddEnum     ( const EnumDecl            * node  ) { indexer_impl_addEnum     ( pass, 0, node ); }
         void indexerAddAdt              ( const AdtDecl                         * node  ) { indexer_impl_addAdt          ( pass, 0, node ); }
+        void indexerAddAdtFwd   ( const AdtDecl                         * node  ) { indexer_impl_addAdtFwd   ( pass, 0, node  ); }
         void indexerAddUnion    ( const std::string         & id    ) { indexer_impl_addUnion    ( pass, 0, id   ); }
         void indexerAddUnion    ( const UnionDecl           * node  ) { indexer_impl_addUnion    ( pass, 0, node ); }

src/Common/PassVisitor.impl.h

@@ -793 +793 @@
         VISIT_START( node );
 
-        indexerAddAdt( node );
+        indexerAddAdtFwd( node );
 
         // unlike structs, traits, and unions, enums inject their members into the global scope
@@ -811 +811 @@
         VISIT_START( node );
 
+        indexerAddAdtFwd( node );
+
         maybeAccept_impl( node->data_constructors, *this );
         maybeAccept_impl( node->data_union, *this );
@@ -826 +828 @@
 Declaration * PassVisitor< pass_type >::mutate( AdtDecl * node ) {
         MUTATE_START( node );
+        
+        indexerAddAdtFwd( node );
 
         maybeMutate_impl( node->data_constructors, *this );

src/Common/PassVisitor.proto.h

@@ -252 +252 @@
 
 template<typename pass_type>
+static inline auto indexer_impl_addAdtFwd( pass_type & pass, int, const AdtDecl * decl ) -> decltype( pass.indexer.addAdt( decl ), void() ) {
+        AdtDecl * fwd = new AdtDecl( decl->name );
+        cloneAll( decl->parameters, fwd->parameters );
+
+        // Experimental
+        for ( const StructDecl * ctor : fwd->data_constructors ) {
+                indexer_impl_addStructFwd( pass, 0, ctor );
+        }
+
+        pass.indexer.addAdt( fwd );
+} 
+
+template<typename pass_type>
+static inline auto indexer_impl_addAdtFwd( pass_type &, long, const AdtDecl * ) {}
+
+template<typename pass_type>
 static inline auto indexer_impl_addUnionFwd( pass_type & pass, int, const UnionDecl * decl ) -> decltype( pass.indexer.addUnion( decl ), void() ) {
         UnionDecl * fwd = new UnionDecl( decl->name );