Changeset fa2c005 for src/Validate/ReplaceTypedef.cpp

Timestamp:

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

Author:

JiadaL <j82liang@…>

Branches:

ADT

Parents:

044ae62

Message:

Finish Adt POC

File:

• src/Validate/ReplaceTypedef.cpp (modified) (4 diffs)

src/Validate/ReplaceTypedef.cpp

@@ -60 +60 @@
         ast::StructDecl const * previsit( ast::StructDecl const * );
         ast::UnionDecl const * previsit( ast::UnionDecl const * );
+        ast::AdtDecl const * previsit( ast::AdtDecl const * );
         void previsit( ast::EnumDecl const * );
         void previsit( ast::TraitDecl const * );
@@ -90 +91 @@
 }
 
+// Here, 5/30
 ast::Type const * ReplaceTypedefCore::postvisit(
                 ast::TypeInstType const * type ) {
         // Instances of typedef types will come here. If it is an instance
         // of a typedef type, link the instance to its actual type.
-        TypedefMap::const_iterator def = typedefNames.find( type->name );
+        TypedefMap::const_iterator def = typedefNames.find( type->name ); // because of this
         if ( def != typedefNames.end() ) {
                 ast::Type * ret = ast::deepCopy( def->second.first->base );
@@ -260 +262 @@
 }
 
+ast::AdtDecl const * ReplaceTypedefCore::previsit( ast::AdtDecl const * decl ) {
+        visit_children = false;
+        addImplicitTypedef( decl );
+        return handleAggregate( decl );
+}
+
 ast::UnionDecl const * ReplaceTypedefCore::previsit( ast::UnionDecl const * decl ) {
         visit_children = false;
@@ -287 +295 @@
         } else if ( auto enumDecl = dynamic_cast<const ast::EnumDecl *>( aggrDecl ) ) {
                 type = new ast::EnumInstType( enumDecl->name );
+        } else if ( auto adtDecl = dynamic_cast<const ast::AdtDecl *>( aggrDecl )) {
+                type = new ast::AdtInstType( adtDecl->name );
         }
         assert( type );