Changeset 2e9b59b for src/ResolvExpr/Resolver.h

Timestamp:

Apr 19, 2022, 3:00:04 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

5b84a321

Parents:

ba897d21 (diff), bb7c77d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

added benchmark and evaluations chapter to thesis

File:

• src/ResolvExpr/Resolver.h (modified) (5 diffs)

src/ResolvExpr/Resolver.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sun May 17 12:18:34 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Feb 18 20:40:38 2019
-// Update Count     : 4
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Mar 16 11:32:00 2022
+// Update Count     : 5
 //
 
@@ -23 +23 @@
 class Declaration;
 class Expression;
+class DeletedExpr;
 class StmtExpr;
+class Type;
 namespace SymTab {
         class Indexer;
@@ -35 +37 @@
         class StmtExpr;
         class SymbolTable;
+        class TranslationGlobal;
         class TranslationUnit;
         class Type;
@@ -55 +58 @@
         void resolveWithExprs( std::list< Declaration * > & translationUnit );
 
+        /// Helper Type: Passes around information between various sub-calls.
+        struct ResolveContext {
+                const ast::SymbolTable & symtab;
+                const ast::TranslationGlobal & global;
+        };
+
         /// Checks types and binds syntactic constructs to typed representations
         void resolve( ast::TranslationUnit& translationUnit );
@@ -62 +71 @@
         /// context.
         ast::ptr< ast::Expr > resolveInVoidContext(
-                const ast::Expr * expr, const ast::SymbolTable & symtab, ast::TypeEnvironment & env );
+                const ast::Expr * expr, const ResolveContext &, ast::TypeEnvironment & env );
         /// Resolve `untyped` to the single expression whose candidate is the best match for the
         /// given type.
         ast::ptr< ast::Expr > findSingleExpression(
-                const ast::Expr * untyped, const ast::Type * type, const ast::SymbolTable & symtab );
+                const ast::Expr * untyped, const ast::Type * type, const ResolveContext & );
         ast::ptr< ast::Expr > findVoidExpression(
-                const ast::Expr * untyped, const ast::SymbolTable & symtab);
+                const ast::Expr * untyped, const ResolveContext & );
         /// Resolves a constructor init expression
         ast::ptr< ast::Init > resolveCtorInit(
-                const ast::ConstructorInit * ctorInit, const ast::SymbolTable & symtab );
+                const ast::ConstructorInit * ctorInit, const ResolveContext & context );
         /// Resolves a statement expression
         const ast::Expr * resolveStmtExpr(
-                const ast::StmtExpr * stmtExpr, const ast::SymbolTable & symtab );
+                const ast::StmtExpr * stmtExpr, const ResolveContext & context );
 } // namespace ResolvExpr