Changes in src/GenPoly/ScrubTyVars.h [ebe9b3a:ffad73a]

File:

• src/GenPoly/ScrubTyVars.h (modified) (2 diffs)

src/GenPoly/ScrubTyVars.h

@@ -27 +27 @@
         class ScrubTyVars : public Mutator {
           public:
-                ScrubTyVars( const TyVarMap &tyVars ): tyVars( tyVars ) {}
+                ScrubTyVars( bool doAll, const TyVarMap &tyVars ): doAll( doAll ), tyVars( tyVars ) {}
 
-                /// For all polymorphic types with type variables in `tyVars`, replaces generic types, dtypes, and ftypes with the appropriate void type,
-                /// and sizeof/alignof expressions with the proper variable
+                /// Like scrub( SynTreeClass* ), but only applies to type variables in `tyVars`
                 template< typename SynTreeClass >
                 static SynTreeClass *scrub( SynTreeClass *target, const TyVarMap &tyVars );
-
+                /// Replaces dtypes and ftypes with the appropriate void type, and sizeof expressions of polymorphic types with the proper variable
+                template< typename SynTreeClass >
+                static SynTreeClass *scrub( SynTreeClass *target );
+  
                 virtual Type* mutate( TypeInstType *typeInst );
-                virtual Type* mutate( StructInstType *structInst );
-                virtual Type* mutate( UnionInstType *unionInst );
-                virtual Expression* mutate( SizeofExpr *szeof );
-                virtual Expression* mutate( AlignofExpr *algnof );
+                Expression* mutate( SizeofExpr *szeof );
+                Expression* mutate( AlignofExpr *algnof );
                 virtual Type* mutate( PointerType *pointer );
-
           private:
-                /// Mutates (possibly generic) aggregate types appropriately
-                Type* mutateAggregateType( Type *ty );
-                
+                bool doAll;
                 const TyVarMap &tyVars;
         };
@@ -51 +48 @@
         template< typename SynTreeClass >
         SynTreeClass * ScrubTyVars::scrub( SynTreeClass *target, const TyVarMap &tyVars ) {
-                ScrubTyVars scrubber( tyVars );
+                ScrubTyVars scrubber( false, tyVars );
                 return static_cast< SynTreeClass * >( target->acceptMutator( scrubber ) );
         }
 
+        /* static class method */
+        template< typename SynTreeClass >
+        SynTreeClass * ScrubTyVars::scrub( SynTreeClass *target ) {
+                TyVarMap tyVars;
+                ScrubTyVars scrubber( true, tyVars );
+                return static_cast< SynTreeClass* >( target->acceptMutator( scrubber ) );
+        }
 } // namespace GenPoly