source: src/SynTree/VarExprReplacer.cc @ 7543dec

ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 7543dec was 7543dec, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

Modify VarExprReplacer? to replace VariableExpr? with arbitrary expression

  • Property mode set to 100644
File size: 1.4 KB
RevLine 
[23bb1b9]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// VarExprReplacer.h --
8//
9// Author           : Rob Schluntz
10// Created On       : Wed Jan 13 16:29:30 2016
11// Last Modified By : Rob Schluntz
12// Last Modified On : Fri May 13 11:27:52 2016
13// Update Count     : 5
14//
15
[ea6332d]16#include <iostream>       // for operator<<, basic_ostream, ostream, basic_o...
17
18#include "Declaration.h"  // for operator<<, DeclarationWithType
19#include "Expression.h"   // for VariableExpr
[23bb1b9]20#include "VarExprReplacer.h"
21
[62423350]22VarExprReplacer::VarExprReplacer( const DeclMap & declMap, bool debug ) : declMap( declMap ), debug( debug ) {}
[23bb1b9]23
[7543dec]24VarExprReplacer::~VarExprReplacer() {
25        for ( auto p : declMap ) {
26                delete p.second;
27        }
28}
29
[23bb1b9]30// replace variable with new node from decl map
[7543dec]31Expression * VarExprReplacer::mutate( VariableExpr * varExpr ) {
[62423350]32        // xxx - assertions and parameters aren't accounted for in this... (i.e. they aren't inserted into the map when it's made, only DeclStmts are)
[7543dec]33        if ( declMap.count( varExpr->var ) ) {
34                Expression * expr = declMap.at( varExpr->var );
[62423350]35                if ( debug ) {
[7543dec]36                        std::cerr << "replacing variable reference: " << (void*)varExpr->var << " " << varExpr->var << " with " << (void*)expr << " " << expr << std::endl;
[62423350]37                }
[7543dec]38                delete varExpr;
39                return expr->clone();
[62423350]40        }
[7543dec]41        return varExpr;
[23bb1b9]42}
Note: See TracBrowser for help on using the repository browser.