Changes in src/AST/Pass.hpp [e0e9a0b:e67991f]

File:

• src/AST/Pass.hpp (modified) (7 diffs)

src/AST/Pass.hpp

@@ -35 +35 @@
 #include "AST/SymbolTable.hpp"
 
-#include "AST/ForallSubstitutionTable.hpp"
-
 // Private prelude header, needed for some of the magic tricks this class pulls off
 #include "AST/Pass.proto.hpp"
@@ -48 +46 @@
 //
 // Several additional features are available through inheritance
-// | WithTypeSubstitution  - provides polymorphic const TypeSubstitution * env for the
-//                           current expression
-// | WithStmtsToAdd        - provides the ability to insert statements before or after the current
-//                           statement by adding new statements into stmtsToAddBefore or
-//                           stmtsToAddAfter respectively.
-// | WithDeclsToAdd        - provides the ability to insert declarations before or after the
-//                           current declarations by adding new DeclStmt into declsToAddBefore or
-//                           declsToAddAfter respectively.
-// | WithShortCircuiting   - provides the ability to skip visiting child nodes; set visit_children
-//                           to false in pre{visit,visit} to skip visiting children
-// | WithGuards            - provides the ability to save/restore data like a LIFO stack; to save,
-//                           call GuardValue with the variable to save, the variable will
-//                           automatically be restored to its previous value after the
-//                           corresponding postvisit/postmutate teminates.
-// | WithVisitorRef        - provides an pointer to the templated visitor wrapper
-// | WithSymbolTable       - provides symbol table functionality
-// | WithForallSubstitutor - maintains links between TypeInstType and TypeDecl under mutation
+// | WithTypeSubstitution - provides polymorphic const TypeSubstitution * env for the
+//                          current expression
+// | WithStmtsToAdd       - provides the ability to insert statements before or after the current
+//                          statement by adding new statements into stmtsToAddBefore or
+//                          stmtsToAddAfter respectively.
+// | WithDeclsToAdd       - provides the ability to insert declarations before or after the current
+//                          declarations by adding new DeclStmt into declsToAddBefore or
+//                          declsToAddAfter respectively.
+// | WithShortCircuiting  - provides the ability to skip visiting child nodes; set visit_children
+//                          to false in pre{visit,visit} to skip visiting children
+// | WithGuards           - provides the ability to save/restore data like a LIFO stack; to save,
+//                          call GuardValue with the variable to save, the variable will
+//                          automatically be restored to its previous value after the corresponding
+//                          postvisit/postmutate teminates.
+// | WithVisitorRef       - provides an pointer to the templated visitor wrapper
+// | WithSymbolTable      - provides symbol table functionality
 //-------------------------------------------------------------------------------------------------
 template< typename pass_t >
@@ -115 +112 @@
         const ast::Stmt *             visit( const ast::FinallyStmt          * ) override final;
         const ast::Stmt *             visit( const ast::WaitForStmt          * ) override final;
-        const ast::Stmt *             visit( const ast::WithStmt             * ) override final;
+        const ast::Decl *             visit( const ast::WithStmt             * ) override final;
         const ast::NullStmt *         visit( const ast::NullStmt             * ) override final;
         const ast::Stmt *             visit( const ast::DeclStmt             * ) override final;
@@ -204 +201 @@
         container_t< ptr<node_t> > call_accept( const container_t< ptr<node_t> > & container );
 
-        /// Mutate forall-list, accounting for presence of type substitution map
-        template<typename node_t>
-        void mutate_forall( const node_t *& );
-
 public:
         /// Logic to call the accept and mutate the parent if needed, delegates call to accept
@@ -216 +209 @@
         /// Internal RAII guard for symbol table features
         struct guard_symtab {
-                guard_symtab( Pass<pass_t> & pass ): pass( pass ) { __pass::symtab::enter(pass.pass, 0); }
-                ~guard_symtab()                                   { __pass::symtab::leave(pass.pass, 0); }
+                guard_symtab( Pass<pass_t> & pass ): pass( pass ) { __pass::symtab::enter(pass, 0); }
+                ~guard_symtab()                                   { __pass::symtab::leave(pass, 0); }
                 Pass<pass_t> & pass;
         };
@@ -223 +216 @@
         /// Internal RAII guard for scope features
         struct guard_scope {
-                guard_scope( Pass<pass_t> & pass ): pass( pass ) { __pass::scope::enter(pass.pass, 0); }
-                ~guard_scope()                                   { __pass::scope::leave(pass.pass, 0); }
+                guard_scope( Pass<pass_t> & pass ): pass( pass ) { __pass::scope::enter(pass, 0); }
+                ~guard_scope()                                   { __pass::scope::leave(pass, 0); }
                 Pass<pass_t> & pass;
-        };
-
-        /// Internal RAII guard for forall substitutions
-        struct guard_forall_subs {
-                guard_forall_subs( Pass<pass_t> & pass, const ParameterizedType * type )
-                : pass( pass ), type( type ) { __pass::forall::enter(pass.pass, 0, type ); }
-                ~guard_forall_subs()         { __pass::forall::leave(pass.pass, 0, type ); }
-                Pass<pass_t> & pass;
-                const ParameterizedType * type;
         };
 
@@ -329 +313 @@
         SymbolTable symtab;
 };
-
-/// Use when the templated visitor needs to keep TypeInstType instances properly linked to TypeDecl
-struct WithForallSubstitutor {
-        ForallSubstitutionTable subs;
-};
-
 }