Changeset 172d9342 for src/AST/TypeSubstitution.hpp

Timestamp:

May 17, 2019, 4:01:50 PM (5 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

f6964ef

Parents:

74dbbf6

Message:

added old-to-new conversion for TypeSubstitution?, within a framework for expressions

File:

• src/AST/TypeSubstitution.hpp (modified) (2 diffs)

src/AST/TypeSubstitution.hpp

@@ -52 +52 @@
         bool empty() const;
 
+        void addVar( std::string formalExpr, const Expr *actualExpr );
+
         template< typename FormalIterator, typename ActualIterator >
         void add( FormalIterator formalBegin, FormalIterator formalEnd, ActualIterator actualBegin );
@@ -87 +89 @@
         auto begin() const -> decltype( typeEnv.begin() ) { return typeEnv.begin(); }
         auto   end() const -> decltype( typeEnv.  end() ) { return typeEnv.  end(); }
+
+        auto beginVar()       -> decltype( varEnv.begin() ) { return varEnv.begin(); }
+        auto   endVar()       -> decltype( varEnv.  end() ) { return varEnv.  end(); }
+        auto beginVar() const -> decltype( varEnv.begin() ) { return varEnv.begin(); }
+        auto   endVar() const -> decltype( varEnv.  end() ) { return varEnv.  end(); }
 };