source: src/ResolvExpr/Resolver.h @ d57e349

arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since d57e349 was d57e349, checked in by Aaron Moss <a3moss@…>, 3 years ago

More resolver porting

  • Property mode set to 100644
File size: 2.1 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        class DeletedExpr;
32} // namespace ast
33
34namespace ResolvExpr {
35        /// Checks types and binds syntactic constructs to typed representations
36        void resolve( std::list< Declaration * > translationUnit );
37        void resolveDecl( Declaration *, const SymTab::Indexer & indexer );
38        Expression *resolveInVoidContext( Expression * expr, const SymTab::Indexer & indexer );
39        void findVoidExpression( Expression *& untyped, const SymTab::Indexer & indexer );
40        void findSingleExpression( Expression *& untyped, const SymTab::Indexer & indexer );
41        void findSingleExpression( Expression *& untyped, Type * type, const SymTab::Indexer & indexer );
42        void resolveCtorInit( ConstructorInit * ctorInit, const SymTab::Indexer & indexer );
43        void resolveStmtExpr( StmtExpr * stmtExpr, const SymTab::Indexer & indexer );
44        /// Searches expr and returns the first DeletedExpr found, otherwise nullptr
45        DeletedExpr * findDeletedExpr( Expression * expr );
46        /// Resolves with-stmts and with-clauses on functions
47        void resolveWithExprs( std::list< Declaration * > & translationUnit );
48
49        /// Checks types and binds syntactic constructs to typed representations
50        void resolve( std::list< ast::ptr<ast::Decl> >& translationUnit );
51        /// Searches expr and returns the first DeletedExpr found, otherwise nullptr
52        const ast::DeletedExpr * findDeletedExpr( const ast::Expr * expr );
53} // namespace ResolvExpr
54
55// Local Variables: //
56// tab-width: 4 //
57// mode: c++ //
58// compile-command: "make install" //
59// End: //
Note: See TracBrowser for help on using the repository browser.