source: src/ResolvExpr/RenameVars.cc @ be9036d

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since be9036d was be9036d, checked in by Rob Schluntz <rschlunt@…>, 4 years ago

Reorganize TraitInstType? and TraitDecl?, add sized trait definition to prelude

Previously, TraitInstType? cloned all of the members of TraitDecl?. This commit changes
TraitInstType? to instead contain a pointer to the base TraitDecl?, analogous to StructInstType?
and StructDecl?, etc. In particular, this makes the code simpler and makes it easier to
fully expand the members of a trait declaration.

  • Property mode set to 100644
File size: 4.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// RenameVars.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 12:05:18 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar  2 17:36:32 2016
13// Update Count     : 5
14//
15
16#include <ext/alloc_traits.h>      // for __alloc_traits<>::value_type
17#include <memory>                  // for allocator_traits<>::value_type
18#include <sstream>                 // for operator<<, basic_ostream, ostring...
19#include <utility>                 // for pair
20
21#include "Common/SemanticError.h"  // for SemanticError
22#include "RenameVars.h"
23#include "SynTree/Declaration.h"   // for DeclarationWithType, TypeDecl, Dec...
24#include "SynTree/Expression.h"    // for Expression
25#include "SynTree/Type.h"          // for Type, TypeInstType, TraitInstType
26#include "SynTree/Visitor.h"       // for acceptAll, maybeAccept
27
28namespace ResolvExpr {
29        RenameVars global_renamer;
30
31        RenameVars::RenameVars() : level( 0 ) {
32                mapStack.push_front( std::map< std::string, std::string >() );
33        }
34
35        void RenameVars::reset() {
36                level = 0;
37        }
38
39        void RenameVars::visit( VoidType *voidType ) {
40                typeBefore( voidType );
41                typeAfter( voidType );
42        }
43
44        void RenameVars::visit( BasicType *basicType ) {
45                typeBefore( basicType );
46                typeAfter( basicType );
47        }
48
49        void RenameVars::visit( PointerType *pointerType ) {
50                typeBefore( pointerType );
51                maybeAccept( pointerType->get_base(), *this );
52                typeAfter( pointerType );
53        }
54
55        void RenameVars::visit( ArrayType *arrayType ) {
56                typeBefore( arrayType );
57                maybeAccept( arrayType->get_dimension(), *this );
58                maybeAccept( arrayType->get_base(), *this );
59                typeAfter( arrayType );
60        }
61
62        void RenameVars::visit( FunctionType *functionType ) {
63                typeBefore( functionType );
64                acceptAll( functionType->get_returnVals(), *this );
65                acceptAll( functionType->get_parameters(), *this );
66                typeAfter( functionType );
67        }
68
69        void RenameVars::visit( StructInstType *aggregateUseType ) {
70                typeBefore( aggregateUseType );
71                acceptAll( aggregateUseType->get_parameters(), *this );
72                typeAfter( aggregateUseType );
73        }
74
75        void RenameVars::visit( UnionInstType *aggregateUseType ) {
76                typeBefore( aggregateUseType );
77                acceptAll( aggregateUseType->get_parameters(), *this );
78                typeAfter( aggregateUseType );
79        }
80
81        void RenameVars::visit( EnumInstType *aggregateUseType ) {
82                typeBefore( aggregateUseType );
83                acceptAll( aggregateUseType->get_parameters(), *this );
84                typeAfter( aggregateUseType );
85        }
86
87        void RenameVars::visit( TraitInstType *aggregateUseType ) {
88                typeBefore( aggregateUseType );
89                acceptAll( aggregateUseType->get_parameters(), *this );
90                typeAfter( aggregateUseType );
91        }
92
93        void RenameVars::visit( TypeInstType *instType ) {
94                typeBefore( instType );
95                std::map< std::string, std::string >::const_iterator i = mapStack.front().find( instType->get_name() );
96                if ( i != mapStack.front().end() ) {
97                        instType->set_name( i->second );
98                } else {
99                } // if
100                acceptAll( instType->get_parameters(), *this );
101                typeAfter( instType );
102        }
103
104        void RenameVars::visit( TupleType *tupleType ) {
105                typeBefore( tupleType );
106                acceptAll( tupleType->get_types(), *this );
107                typeAfter( tupleType );
108        }
109
110        void RenameVars::visit( VarArgsType *varArgsType ) {
111                typeBefore( varArgsType );
112                typeAfter( varArgsType );
113        }
114
115        void RenameVars::visit( ZeroType *zeroType ) {
116                typeBefore( zeroType );
117                typeAfter( zeroType );
118        }
119
120        void RenameVars::visit( OneType *oneType ) {
121                typeBefore( oneType );
122                typeAfter( oneType );
123        }
124
125        void RenameVars::typeBefore( Type *type ) {
126                if ( ! type->get_forall().empty() ) {
127                        // copies current name mapping into new mapping
128                        mapStack.push_front( mapStack.front() );
129                        // renames all "forall" type names to `_${level}_${name}'
130                        for ( Type::ForallList::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
131                                std::ostringstream output;
132                                output << "_" << level << "_" << (*i)->get_name();
133                                std::string newname( output.str() );
134                                mapStack.front()[ (*i)->get_name() ] = newname;
135                                (*i)->set_name( newname );
136                                // ditto for assertion names, the next level in
137                                level++;
138                                acceptAll( (*i)->get_assertions(), *this );
139                        } // for
140                } // if
141        }
142
143        void RenameVars::typeAfter( Type *type ) {
144                // clears name mapping added by typeBefore()
145                if ( ! type->get_forall().empty() ) {
146                        mapStack.pop_front();
147                } // if
148        }
149
150} // namespace ResolvExpr
151
152// Local Variables: //
153// tab-width: 4 //
154// mode: c++ //
155// compile-command: "make install" //
156// End: //
Note: See TracBrowser for help on using the repository browser.