Changeset 39d8950 for src/ResolvExpr/Resolver.h

Timestamp:

Mar 16, 2022, 4:41:01 PM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

f7496c5

Parents:

9d8124f

Message:

Thread global information through resolution. Non-top-level calls to the resolver have a bit of a hack but improvements would require changes to the Pass helpers.

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