source: src/ResolvExpr/Alternative.cc @ 3c13c03

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 3c13c03 was 3c13c03, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

expand TupleExpr? and TupleIndexExpr?, add UniqueExpr?

  • Property mode set to 100644
File size: 2.1 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// Alternative.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sat May 16 23:44:23 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat May 16 23:54:23 2015
13// Update Count     : 2
14//
15
16#include "Alternative.h"
17#include "SynTree/Type.h"
18#include "SynTree/Expression.h"
19#include "Common/utility.h"
20
21namespace ResolvExpr {
22        Alternative::Alternative() : cost( Cost::zero ), cvtCost( Cost::zero ), expr( 0 ) {}
23
24        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost )
25                : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( env ) {}
26
27        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost, const Cost &cvtCost )
28                : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( env ) {}
29
30        Alternative::Alternative( const Alternative &other ) {
31                initialize( other, *this );
32        }
33
34        Alternative &Alternative::operator=( const Alternative &other ) {
35                if ( &other == this ) return *this;
36                initialize( other, *this );
37                return *this;
38        }
39
40        void Alternative::initialize( const Alternative &src, Alternative &dest ) {
41                dest.cost = src.cost;
42                dest.cvtCost = src.cvtCost;
43                dest.expr = maybeClone( src.expr );
44                dest.env = src.env;
45        }
46
47        Alternative::~Alternative() {
48                delete expr;
49        }
50
51        void Alternative::print( std::ostream &os, int indent ) const {
52                os << std::string( indent, ' ' ) << "Cost " << cost << ": ";
53                if ( expr ) {
54                        expr->print( os, indent );
55                        os << "(types:" << std::endl;
56                        os << std::string( indent+4, ' ' );
57                        expr->get_result()->print( os, indent + 4 );
58                        os << std::endl << ")" << std::endl;
59                } else {
60                        os << "Null expression!" << std::endl;
61                } // if
62                os << std::string( indent, ' ' ) << "Environment: ";
63                env.print( os, indent+2 );
64                os << std::endl;
65        }
66} // namespace ResolvExpr
67
68// Local Variables: //
69// tab-width: 4 //
70// mode: c++ //
71// compile-command: "make install" //
72// End: //
Note: See TracBrowser for help on using the repository browser.