Changeset d18540f for src/GenPoly

Timestamp:

Dec 19, 2022, 4:44:03 PM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

1afda5a2

Parents:

d0bdb18

Message:

Cleaning old box pass for easier translation. Cleaning unused code out of Pass3, it was tracking information it never used.

File:

• src/GenPoly/Box.cc (modified) (6 diffs)

src/GenPoly/Box.cc ¶

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Dec 13 23:40:34 2019
-// Update Count     : 347
+// Last Modified By : Andrew Beach
+// Last Modified On : Mon Dec 19 16:36:00 2022
+// Update Count     : 348
 //
 
@@ -214 +214 @@
                 /// sizeof expressions of polymorphic types with the proper variable,
                 /// and strips fields from generic struct declarations.
-                struct Pass3 final : public BoxPass, public WithGuards {
-                        template< typename DeclClass >
-                        void handleDecl( DeclClass * decl, Type * type );
-
+                struct Pass3 final {
                         void premutate( ObjectDecl * objectDecl );
                         void premutate( FunctionDecl * functionDecl );
@@ -223 +220 @@
                         void premutate( StructDecl * structDecl );
                         void premutate( UnionDecl * unionDecl );
-                        void premutate( TypeDecl * typeDecl );
-                        void premutate( PointerType * pointerType );
-                        void premutate( FunctionType * funcType );
                 };
         } // anonymous namespace
@@ -1886 +1880 @@
 ////////////////////////////////////////// Pass3 ////////////////////////////////////////////////////
 
-                template< typename DeclClass >
-                void Pass3::handleDecl( DeclClass * decl, Type * type ) {
-                        GuardScope( scopeTyVars );
-                        makeTyVarMap( type, scopeTyVars );
-                        ScrubTyVars::scrubAll( decl );
-                }
-
                 void Pass3::premutate( ObjectDecl * objectDecl ) {
-                        handleDecl( objectDecl, objectDecl->type );
+                        ScrubTyVars::scrubAll( objectDecl );
                 }
 
                 void Pass3::premutate( FunctionDecl * functionDecl ) {
-                        handleDecl( functionDecl, functionDecl->type );
+                        ScrubTyVars::scrubAll( functionDecl );
                 }
 
                 void Pass3::premutate( TypedefDecl * typedefDecl ) {
-                        handleDecl( typedefDecl, typedefDecl->base );
+                        ScrubTyVars::scrubAll( typedefDecl );
                 }
 
                 /// Strips the members from a generic aggregate
-                void stripGenericMembers(AggregateDecl * decl) {
+                static void stripGenericMembers( AggregateDecl * decl ) {
                         if ( ! decl->parameters.empty() ) decl->members.clear();
                 }
@@ -1916 +1903 @@
                 void Pass3::premutate( UnionDecl * unionDecl ) {
                         stripGenericMembers( unionDecl );
-                }
-
-                void Pass3::premutate( TypeDecl * typeDecl ) {
-                        addToTyVarMap( typeDecl, scopeTyVars );
-                }
-
-                void Pass3::premutate( PointerType * pointerType ) {
-                        GuardScope( scopeTyVars );
-                        makeTyVarMap( pointerType, scopeTyVars );
-                }
-
-                void Pass3::premutate( FunctionType * functionType ) {
-                        GuardScope( scopeTyVars );
-                        makeTyVarMap( functionType, scopeTyVars );
                 }
         } // anonymous namespace
@@ -1939 +1912 @@
 // compile-command: "make install" //
 // End: //
-