source: src/Tuples/FunctionChecker.h @ 5cb5f842

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 5cb5f842 was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

licencing: seventh groups of files

  • Property mode set to 100644
File size: 1.5 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// FunctionChecker.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon May 18 12:00:57 2015
13// Update Count     : 2
14//
15
16#ifndef _TUPLE_FUNCHK_H_
17#define _TUPLE_FUNCHK_H_
18
19#include <string>
20#include <list>
21#include <iostream>
22
23#include "UniqueName.h"
24
25#include "SynTree/SynTree.h"
26#include "SynTree/Mutator.h"
27
28#include "SynTree/Type.h"
29#include "SynTree/Declaration.h"
30#include "SynTree/Expression.h"
31#include "SynTree/Statement.h"
32
33namespace Tuples {
34        class FunctionChecker : public Mutator {
35                typedef Mutator Parent;
36          public:
37                FunctionChecker( bool _topLevel = false, UniqueName *_nameGen = 0 );
38                ~FunctionChecker();
39
40                virtual Expression* mutate(ApplicationExpr *applicationExpr);
41                virtual Statement* mutate(ExprStmt *exprStmt);
42          private:
43                bool topLevel;
44                UniqueName *nameGen;
45                std::list< ObjectDecl * > temporaries;
46                std::list< Expression * > tempExpr;
47        };
48
49        class TupleDistrib : public Mutator {
50          public:
51                virtual Expression* mutate(UntypedExpr *utExpr);
52          private:
53        };
54
55        void checkFunctions( std::list< Declaration * > translationUnit );
56} // namespace Tuples
57
58#endif // _TUPLE_FUNCHK_H_
59
60// Local Variables: //
61// tab-width: 4 //
62// mode: c++ //
63// compile-command: "make install" //
64// End: //
Note: See TracBrowser for help on using the repository browser.