Changeset b067d9b for src/ResolvExpr/Resolver.h

Timestamp:

Oct 29, 2019, 4:01:24 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

773db65, 9421f3d8

Parents:

7951100 (diff), 8364209 (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:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

src/ResolvExpr/Resolver.h

@@ -10 +10 @@
 // Created On       : Sun May 17 12:18:34 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:36:57 2017
-// Update Count     : 3
+// Last Modified On : Mon Feb 18 20:40:38 2019
+// Update Count     : 4
 //
 
 #pragma once
 
-#include <list>  // for list
+#include <list>          // for list
+
+#include "AST/Node.hpp"  // for ptr
 
 class ConstructorInit;
@@ -23 +25 @@
 class StmtExpr;
 namespace SymTab {
-class Indexer;
-}  // namespace SymTab
+        class Indexer;
+} // namespace SymTab
+
+namespace ast {
+        class ConstructorInit;
+        class Decl;
+        class DeletedExpr;
+        class Init;
+        class StmtExpr;
+        class SymbolTable;
+        class Type;
+        class TypeEnvironment;
+} // namespace ast
 
 namespace ResolvExpr {
         /// Checks types and binds syntactic constructs to typed representations
         void resolve( std::list< Declaration * > translationUnit );
-        void resolveDecl( Declaration *, const SymTab::Indexer &indexer );
-        Expression *resolveInVoidContext( Expression * expr, const SymTab::Indexer &indexer );
-        void findVoidExpression( Expression *& untyped, const SymTab::Indexer &indexer );
-        void findSingleExpression( Expression *& untyped, const SymTab::Indexer &indexer );
-        void findSingleExpression( Expression *& untyped, Type * type, const SymTab::Indexer &indexer );
+        void resolveDecl( Declaration *, const SymTab::Indexer & indexer );
+        Expression *resolveInVoidContext( Expression * expr, const SymTab::Indexer & indexer );
+        void findVoidExpression( Expression *& untyped, const SymTab::Indexer & indexer );
+        void findSingleExpression( Expression *& untyped, const SymTab::Indexer & indexer );
+        void findSingleExpression( Expression *& untyped, Type * type, const SymTab::Indexer & indexer );
         void resolveCtorInit( ConstructorInit * ctorInit, const SymTab::Indexer & indexer );
         void resolveStmtExpr( StmtExpr * stmtExpr, const SymTab::Indexer & indexer );
+        /// Searches expr and returns the first DeletedExpr found, otherwise nullptr
+        DeletedExpr * findDeletedExpr( Expression * expr );
+        /// Resolves with-stmts and with-clauses on functions
+        void resolveWithExprs( std::list< Declaration * > & translationUnit );
+
+        /// Checks types and binds syntactic constructs to typed representations
+        void resolve( std::list< ast::ptr<ast::Decl> >& translationUnit );
+        /// Searches expr and returns the first DeletedExpr found, otherwise nullptr
+        const ast::DeletedExpr * findDeletedExpr( const ast::Expr * expr );
+        /// Find the expression candidate that is the unique best match for `untyped` in a `void`
+        /// context.
+        ast::ptr< ast::Expr > resolveInVoidContext(
+                const ast::Expr * expr, const ast::SymbolTable & symtab, 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 );
+        /// Resolves a constructor init expression
+        ast::ptr< ast::Init > resolveCtorInit( 
+                const ast::ConstructorInit * ctorInit, const ast::SymbolTable & symtab );
+        /// Resolves a statement expression
+        ast::ptr< ast::Expr > resolveStmtExpr( 
+                const ast::StmtExpr * stmtExpr, const ast::SymbolTable & symtab );
 } // namespace ResolvExpr