source: src/ResolvExpr/Resolver.h @ d76c588

arm-ehjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since d76c588 was d76c588, checked in by Aaron Moss <a3moss@…>, 2 years ago

Stubs for new resolver, implementation of new indexer, type environment

  • Property mode set to 100644
File size: 1.9 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Resolver.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 12:18:34 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Feb 18 20:40:38 2019
13// Update Count     : 4
14//
15
16#pragma once
17
18#include <list>          // for list
19#include <AST/Node.hpp>  // for ptr
20
21class ConstructorInit;
22class Declaration;
23class Expression;
24class StmtExpr;
25namespace SymTab {
26        class Indexer;
27} // namespace SymTab
28
29namespace ast {
30        class Decl;
31} // namespace ast
32
33namespace ResolvExpr {
34        /// Checks types and binds syntactic constructs to typed representations
35        void resolve( std::list< Declaration * > translationUnit );
36        void resolveDecl( Declaration *, const SymTab::Indexer & indexer );
37        Expression *resolveInVoidContext( Expression * expr, const SymTab::Indexer & indexer );
38        void findVoidExpression( Expression *& untyped, const SymTab::Indexer & indexer );
39        void findSingleExpression( Expression *& untyped, const SymTab::Indexer & indexer );
40        void findSingleExpression( Expression *& untyped, Type * type, const SymTab::Indexer & indexer );
41        void resolveCtorInit( ConstructorInit * ctorInit, const SymTab::Indexer & indexer );
42        void resolveStmtExpr( StmtExpr * stmtExpr, const SymTab::Indexer & indexer );
43        /// Searches expr and returns the first DeletedExpr found, otherwise nullptr
44        DeletedExpr * findDeletedExpr( Expression * expr );
45        /// Resolves with-stmts and with-clauses on functions
46        void resolveWithExprs( std::list< Declaration * > & translationUnit );
47
48        /// Checks types and binds syntactic constructs to typed representations
49        void resolve( std::list< ast::ptr<ast::Decl> >& translationUnit );
50} // namespace ResolvExpr
51
52// Local Variables: //
53// tab-width: 4 //
54// mode: c++ //
55// compile-command: "make install" //
56// End: //
Note: See TracBrowser for help on using the repository browser.