source: src/ResolvExpr/RenameVars.h @ 62e5546

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 62e5546 was 89e6ffc, checked in by Aaron Moss <a3moss@…>, 8 years ago

Added support for ZeroType? and OneType? to all relevant visitors

  • Property mode set to 100644
File size: 1.8 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// RenameVars.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 12:10:28 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar  2 17:36:39 2016
13// Update Count     : 3
14//
15
16#ifndef RESOLVEXPR_RENAMEVARS_H
17#define RESOLVEXPR_RENAMEVARS_H
18
19#include <list>
20#include <map>
21#include <string>
22
23#include "SynTree/SynTree.h"
24#include "SynTree/Visitor.h"
25
26namespace ResolvExpr {
27
28        /// Provides a consistent renaming of forall type names in a hierarchy by prefixing them with a unique "level" ID
29        class RenameVars : public Visitor {
30          public:
31                RenameVars();
32                void reset();
33          private:
34                virtual void visit( VoidType *basicType );
35                virtual void visit( BasicType *basicType );
36                virtual void visit( PointerType *pointerType );
37                virtual void visit( ArrayType *arrayType );
38                virtual void visit( FunctionType *functionType );
39                virtual void visit( StructInstType *aggregateUseType );
40                virtual void visit( UnionInstType *aggregateUseType );
41                virtual void visit( EnumInstType *aggregateUseType );
42                virtual void visit( TraitInstType *aggregateUseType );
43                virtual void visit( TypeInstType *aggregateUseType );
44                virtual void visit( TupleType *tupleType );
45                virtual void visit( VarArgsType *varArgsType );
46                virtual void visit( ZeroType *zeroType );
47                virtual void visit( OneType *oneType );
48
49                void typeBefore( Type *type );
50                void typeAfter( Type *type );
51                int level;
52                std::list< std::map< std::string, std::string > > mapStack;
53        };
54
55        extern RenameVars global_renamer;
56} // namespace ResolvExpr
57
58#endif // RENAMEVARS_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.