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 | // ApplicationExpr.cc.cc -- |
---|
8 | // |
---|
9 | // Author : Richard C. Bilson |
---|
10 | // Created On : Mon May 18 07:44:20 2015 |
---|
11 | // Last Modified By : Rob Schluntz |
---|
12 | // Last Modified On : Tue Apr 26 12:41:06 2016 |
---|
13 | // Update Count : 4 |
---|
14 | // |
---|
15 | |
---|
16 | #include <cassert> // for strict_dynamic_cast, assert |
---|
17 | #include <list> // for list |
---|
18 | #include <map> // for _Rb_tree_const_iterator, map, map<>:... |
---|
19 | #include <memory> // for unique_ptr |
---|
20 | #include <ostream> // for operator<<, ostream, basic_ostream |
---|
21 | #include <string> // for operator<<, string, char_traits |
---|
22 | #include <utility> // for pair |
---|
23 | |
---|
24 | #include "Common/utility.h" // for maybeClone, cloneAll, deleteAll, pri... |
---|
25 | #include "Declaration.h" // for Declaration |
---|
26 | #include "Expression.h" // for ParamEntry, ApplicationExpr, Expression |
---|
27 | #include "ResolvExpr/typeops.h" // for extractResultType |
---|
28 | #include "Type.h" // for Type, PointerType, FunctionType |
---|
29 | |
---|
30 | ParamEntry::ParamEntry( const ParamEntry &other ) : |
---|
31 | decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) )/*, inferParams( new InferredParams( *other.inferParams ) )*/ { |
---|
32 | } |
---|
33 | |
---|
34 | ParamEntry &ParamEntry::operator=( const ParamEntry &other ) { |
---|
35 | if ( &other == this ) return *this; |
---|
36 | const_cast<UniqueId &>(decl) = other.decl; |
---|
37 | const_cast<Declaration * &>(declptr) = maybeClone( other.declptr ); |
---|
38 | // xxx - this looks like a memory leak |
---|
39 | const_cast<Type * &>(actualType) = maybeClone( other.actualType ); |
---|
40 | const_cast<Type * &>(formalType) = maybeClone( other.formalType ); |
---|
41 | expr = maybeClone( other.expr ); |
---|
42 | // *inferParams = *other.inferParams; |
---|
43 | return *this; |
---|
44 | } |
---|
45 | |
---|
46 | ParamEntry::~ParamEntry() { |
---|
47 | delete declptr; |
---|
48 | delete actualType; |
---|
49 | delete formalType; |
---|
50 | delete expr; |
---|
51 | } |
---|
52 | |
---|
53 | ParamEntry::ParamEntry( ParamEntry && other ) : |
---|
54 | decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr )/*, inferParams( std::move( other.inferParams ) )*/ { |
---|
55 | const_cast<Declaration * &>(other.declptr) = nullptr; |
---|
56 | const_cast<Type * &>(other.actualType) = nullptr; |
---|
57 | const_cast<Type * &>(other.formalType) = nullptr; |
---|
58 | other.expr = nullptr; |
---|
59 | } |
---|
60 | |
---|
61 | ParamEntry & ParamEntry::operator=( ParamEntry && other ) { |
---|
62 | if ( &other == this ) return *this; |
---|
63 | delete declptr; |
---|
64 | delete actualType; |
---|
65 | delete formalType; |
---|
66 | delete expr; |
---|
67 | const_cast<UniqueId &>(decl) = other.decl; |
---|
68 | const_cast<Declaration * &>(declptr) = other.declptr; |
---|
69 | const_cast<Type * &>(actualType) = other.actualType; |
---|
70 | const_cast<Type * &>(formalType) = other.formalType; |
---|
71 | expr = other.expr; |
---|
72 | const_cast<Declaration * &>(other.declptr) = nullptr; |
---|
73 | const_cast<Type * &>(other.actualType) = nullptr; |
---|
74 | const_cast<Type * &>(other.formalType) = nullptr; |
---|
75 | other.expr = nullptr; |
---|
76 | // inferParams = std::move( other.inferParams ); |
---|
77 | return *this; |
---|
78 | } |
---|
79 | |
---|
80 | ApplicationExpr::ApplicationExpr( Expression *funcExpr, const std::list<Expression *> & args ) : function( funcExpr ), args( args ) { |
---|
81 | PointerType *pointer = strict_dynamic_cast< PointerType* >( funcExpr->get_result() ); |
---|
82 | FunctionType *function = strict_dynamic_cast< FunctionType* >( pointer->get_base() ); |
---|
83 | |
---|
84 | set_result( ResolvExpr::extractResultType( function ) ); |
---|
85 | |
---|
86 | assert( result ); |
---|
87 | } |
---|
88 | |
---|
89 | ApplicationExpr::ApplicationExpr( const ApplicationExpr &other ) : |
---|
90 | Expression( other ), function( maybeClone( other.function ) ) { |
---|
91 | cloneAll( other.args, args ); |
---|
92 | } |
---|
93 | |
---|
94 | ApplicationExpr::~ApplicationExpr() { |
---|
95 | delete function; |
---|
96 | deleteAll( args ); |
---|
97 | } |
---|
98 | |
---|
99 | void ApplicationExpr::print( std::ostream &os, Indenter indent ) const { |
---|
100 | os << "Application of" << std::endl << indent+1; |
---|
101 | function->print( os, indent+1 ); |
---|
102 | os << std::endl; |
---|
103 | if ( ! args.empty() ) { |
---|
104 | os << indent << "... to arguments" << std::endl; |
---|
105 | printAll( args, os, indent+1 ); |
---|
106 | } // if |
---|
107 | Expression::print( os, indent ); |
---|
108 | } |
---|
109 | |
---|
110 | // Local Variables: // |
---|
111 | // tab-width: 4 // |
---|
112 | // mode: c++ // |
---|
113 | // compile-command: "make install" // |
---|
114 | // End: // |
---|