Changeset f7f997a for src/ResolvExpr/Resolver.h

Timestamp:

Nov 17, 2023, 3:23:48 PM (2 years ago)

Author:

caparson <caparson@…>

Branches:

master

Children:

decd4a6

Parents:

16e0dcb (diff), 2908f08 (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) (1 diff)

src/ResolvExpr/Resolver.h

@@ -34 +34 @@
 namespace ResolvExpr {
 
-        /// Helper Type: Passes around information between various sub-calls.
-        struct ResolveContext {
-                const ast::SymbolTable & symtab;
-                const ast::TranslationGlobal & global;
-        };
+/// 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 );
-        /// 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 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 ResolveContext & );
-        ast::ptr< ast::Expr > findVoidExpression(
-                const ast::Expr * untyped, const ResolveContext & );
-        /// Resolves a constructor init expression
-        ast::ptr< ast::Init > resolveCtorInit(
-                const ast::ConstructorInit * ctorInit, const ResolveContext & context );
-        /// Resolves a statement expression
-        const ast::Expr * resolveStmtExpr(
-                const ast::StmtExpr * stmtExpr, const ResolveContext & context );
+/// Checks types and binds syntactic constructs to typed representations
+void resolve( ast::TranslationUnit& 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 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 ResolveContext & );
+ast::ptr< ast::Expr > findVoidExpression(
+        const ast::Expr * untyped, const ResolveContext & );
+/// Resolves a constructor init expression
+ast::ptr< ast::Init > resolveCtorInit(
+        const ast::ConstructorInit * ctorInit, const ResolveContext & context );
+/// Resolves a statement expression
+const ast::Expr * resolveStmtExpr(
+        const ast::StmtExpr * stmtExpr, const ResolveContext & context );
+
 } // namespace ResolvExpr