source: src/ResolvExpr/Resolver.h @ 5170d95

aaron-thesisarm-ehcleanup-dtorsjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpersistent-indexer
Last change on this file since 5170d95 was 5170d95, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

fix implict void cast problem

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