source: src/SynTree/Expression.cc @ cd623a4

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since cd623a4 was cd623a4, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

constant types, second attempt

  • Property mode set to 100644
File size: 10.4 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// Expression.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jun  6 23:43:22 2015
13// Update Count     : 15
14//
15
16#include <iostream>
17#include <cassert>
18#include <list>
19#include <algorithm>
20
21#include <iterator>
22
23#include "Type.h"
24#include "Expression.h"
25#include "Declaration.h"
26#include "Statement.h"
27#include "TypeSubstitution.h"
28#include "utility.h"
29
30
31Expression::Expression( Expression *_aname ) : env( 0 ), argName( _aname ) {}
32
33Expression::Expression( const Expression &other ) : env( maybeClone( other.env ) ) {
34        cloneAll( other.results, results );
35        argName = other.get_argName();
36}
37
38Expression::~Expression() {
39        delete env;
40        // delete argName;      // xxx -- there's a problem in cloning ConstantExpr I still don't know how to fix
41        deleteAll( results );
42}
43
44void Expression::add_result( Type *t ) {
45        if ( TupleType *tuple = dynamic_cast< TupleType* >( t ) ) {
46                std::copy( tuple->get_types().begin(), tuple->get_types().end(), back_inserter( results ) );
47        } else {
48                results.push_back(t);
49        } // if
50}
51
52void Expression::print( std::ostream &os, int indent ) const {
53        if ( env ) {
54                os << std::string( indent, ' ' ) << "with environment:" << std::endl;
55                env->print( os, indent+2 );
56        } // if
57
58        if ( argName ) {
59                os << std::string( indent, ' ' ) << "with designator:";
60                argName->print( os, indent+2 );
61        } // if
62}
63
64ConstantExpr::ConstantExpr( Constant _c, Expression *_aname ) : Expression( _aname ), constant( _c ) {
65        add_result( constant.get_type()->clone() );
66}
67
68ConstantExpr::ConstantExpr( const ConstantExpr &other) : Expression( other ), constant( other.constant ) {
69}
70
71ConstantExpr::~ConstantExpr() {}
72
73void ConstantExpr::print( std::ostream &os, int indent ) const {
74        os << "constant expression: " ;
75        constant.print( os );
76        Expression::print( os, indent );
77}
78
79VariableExpr::VariableExpr( DeclarationWithType *_var, Expression *_aname ) : Expression( _aname ), var( _var ) {
80        add_result( var->get_type()->clone() );
81        for ( std::list< Type* >::iterator i = get_results().begin(); i != get_results().end(); ++i ) {
82                (*i)->set_isLvalue( true );
83        } // for
84}
85
86VariableExpr::VariableExpr( const VariableExpr &other ) : Expression( other ), var( other.var ) {
87}
88
89VariableExpr::~VariableExpr() {
90        // don't delete the declaration, since it points somewhere else in the tree
91}
92
93void VariableExpr::print( std::ostream &os, int indent ) const {
94        os << std::string( indent, ' ' ) << "Variable Expression: ";
95
96        Declaration *decl = get_var();
97        // if ( decl != 0) decl->print(os, indent + 2);
98        if ( decl != 0) decl->printShort(os, indent + 2);
99        os << std::endl;
100        Expression::print( os, indent );
101}
102
103SizeofExpr::SizeofExpr( Expression *expr_, Expression *_aname ) :
104                Expression( _aname ), expr(expr_), type(0), isType(false) {
105        add_result( new BasicType( Type::Qualifiers(), BasicType::UnsignedInt ) );
106}
107
108SizeofExpr::SizeofExpr( Type *type_, Expression *_aname ) :
109                Expression( _aname ), expr(0), type(type_), isType(true) {
110        add_result( new BasicType( Type::Qualifiers(), BasicType::UnsignedInt ) );
111}
112
113SizeofExpr::SizeofExpr( const SizeofExpr &other ) :
114        Expression( other ), expr( maybeClone( other.expr ) ), type( maybeClone( other.type ) ), isType( other.isType ) {
115}
116
117SizeofExpr::~SizeofExpr() {
118        delete expr;
119        delete type;
120}
121
122void SizeofExpr::print( std::ostream &os, int indent) const {
123        os << std::string( indent, ' ' ) << "Sizeof Expression on: ";
124
125        if (isType)
126                type->print(os, indent + 2);
127        else
128                expr->print(os, indent + 2);
129
130        os << std::endl;
131        Expression::print( os, indent );
132}
133
134AttrExpr::AttrExpr( Expression *attr, Expression *expr_, Expression *_aname ) :
135                Expression( _aname ), attr( attr ), expr(expr_), type(0), isType(false) {
136}
137
138AttrExpr::AttrExpr( Expression *attr, Type *type_, Expression *_aname ) :
139                Expression( _aname ), attr( attr ), expr(0), type(type_), isType(true) {
140}
141
142AttrExpr::AttrExpr( const AttrExpr &other ) :
143                Expression( other ), attr( maybeClone( other.attr ) ), expr( maybeClone( other.expr ) ), type( maybeClone( other.type ) ), isType( other.isType ) {
144}
145
146AttrExpr::~AttrExpr() {
147        delete attr;
148        delete expr;
149        delete type;
150}
151
152void AttrExpr::print( std::ostream &os, int indent) const {
153        os << std::string( indent, ' ' ) << "Attr ";
154        attr->print( os, indent + 2 );
155        if ( isType || expr ) {
156                os << "applied to: ";
157
158                if (isType)
159                        type->print(os, indent + 2);
160                else
161                        expr->print(os, indent + 2);
162        } // if
163
164        os << std::endl;
165        Expression::print( os, indent );
166}
167
168CastExpr::CastExpr( Expression *arg_, Type *toType, Expression *_aname ) : Expression( _aname ), arg(arg_) {
169        add_result(toType);
170}
171
172CastExpr::CastExpr( Expression *arg_, Expression *_aname ) : Expression( _aname ), arg(arg_) {
173}
174
175CastExpr::CastExpr( const CastExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ) {
176}
177
178CastExpr::~CastExpr() {
179        delete arg;
180}
181
182// CastExpr *CastExpr::clone() const { return 0; }
183
184void CastExpr::print( std::ostream &os, int indent ) const {
185        os << std::string( indent, ' ' ) << "Cast of:" << std::endl;
186        arg->print(os, indent+2);
187        os << std::endl << std::string( indent, ' ' ) << "to:" << std::endl;
188        if ( results.empty() ) {
189                os << std::string( indent+2, ' ' ) << "nothing" << std::endl;
190        } else {
191                printAll(results, os, indent+2);
192        } // if
193        Expression::print( os, indent );
194}
195
196UntypedMemberExpr::UntypedMemberExpr( std::string _member, Expression *_aggregate, Expression *_aname ) :
197                Expression( _aname ), member(_member), aggregate(_aggregate) {}
198
199UntypedMemberExpr::UntypedMemberExpr( const UntypedMemberExpr &other ) :
200                Expression( other ), member( other.member ), aggregate( maybeClone( other.aggregate ) ) {
201}
202
203UntypedMemberExpr::~UntypedMemberExpr() {
204        delete aggregate;
205}
206
207void UntypedMemberExpr::print( std::ostream &os, int indent ) const {
208        os << std::string( indent, ' ' ) << "Member Expression, with field: " << get_member();
209
210        Expression *agg = get_aggregate();
211        os << std::string( indent, ' ' ) << "from aggregate: ";
212        if (agg != 0) agg->print(os, indent + 2);
213        Expression::print( os, indent );
214}
215
216
217MemberExpr::MemberExpr( DeclarationWithType *_member, Expression *_aggregate, Expression *_aname ) :
218                Expression( _aname ), member(_member), aggregate(_aggregate) {
219        add_result( member->get_type()->clone() );
220        for ( std::list< Type* >::iterator i = get_results().begin(); i != get_results().end(); ++i ) {
221                (*i)->set_isLvalue( true );
222        } // for
223}
224
225MemberExpr::MemberExpr( const MemberExpr &other ) :
226                Expression( other ), member( maybeClone( other.member ) ), aggregate( maybeClone( other.aggregate ) ) {
227}
228
229MemberExpr::~MemberExpr() {
230        delete member;
231        delete aggregate;
232}
233
234void MemberExpr::print( std::ostream &os, int indent ) const {
235        os << std::string( indent, ' ' ) << "Member Expression, with field: " << std::endl;
236
237        assert( member );
238        os << std::string( indent + 2, ' ' );
239        member->print( os, indent + 2 );
240        os << std::endl;
241
242        Expression *agg = get_aggregate();
243        os << std::string( indent, ' ' ) << "from aggregate: " << std::endl;
244        if (agg != 0) agg->print(os, indent + 2);
245        Expression::print( os, indent );
246}
247
248
249UntypedExpr::UntypedExpr( Expression *_function, Expression *_aname ) : Expression( _aname ), function( _function ) {}
250
251UntypedExpr::UntypedExpr( const UntypedExpr &other ) :
252                Expression( other ), function( maybeClone( other.function ) ) {
253        cloneAll( other.args, args );
254}
255
256UntypedExpr::UntypedExpr( Expression *_function, std::list<Expression *> &_args, Expression *_aname ) :
257                Expression( _aname ), function(_function), args(_args) {}
258
259UntypedExpr::~UntypedExpr() {}
260
261void UntypedExpr::print( std::ostream &os, int indent ) const {
262        os << std::string( indent, ' ' ) << "Applying untyped: " << std::endl;
263        function->print(os, indent + 4);
264        os << std::string( indent, ' ' ) << "...to: " << std::endl;
265        printArgs(os, indent + 4);
266        Expression::print( os, indent );
267}
268
269void UntypedExpr::printArgs( std::ostream &os, int indent ) const {
270        std::list<Expression *>::const_iterator i;
271        for (i = args.begin(); i != args.end(); i++)
272                (*i)->print(os, indent);
273}
274
275NameExpr::NameExpr( std::string _name, Expression *_aname ) : Expression( _aname ), name(_name) {}
276
277NameExpr::NameExpr( const NameExpr &other ) : Expression( other ), name( other.name ) {
278}
279
280NameExpr::~NameExpr() {}
281
282void NameExpr::print( std::ostream &os, int indent ) const {
283        os << std::string( indent, ' ' ) << "Name: " << get_name() << std::endl;
284        Expression::print( os, indent );
285}
286
287LogicalExpr::LogicalExpr( Expression *arg1_, Expression *arg2_, bool andp, Expression *_aname ) :
288                Expression( _aname ), arg1(arg1_), arg2(arg2_), isAnd(andp) {
289        add_result( new BasicType( Type::Qualifiers(), BasicType::SignedInt ) );
290}
291
292LogicalExpr::LogicalExpr( const LogicalExpr &other ) :
293                Expression( other ), arg1( maybeClone( other.arg1 ) ), arg2( maybeClone( other.arg2 ) ), isAnd( other.isAnd ) {
294}
295
296LogicalExpr::~LogicalExpr() {
297        delete arg1;
298        delete arg2;
299}
300
301void LogicalExpr::print( std::ostream &os, int indent )const {
302        os << std::string( indent, ' ' ) << "Short-circuited operation (" << (isAnd?"and":"or") << ") on: ";
303        arg1->print(os);
304        os << " and ";
305        arg2->print(os);
306        os << std::endl;
307        Expression::print( os, indent );
308}
309
310ConditionalExpr::ConditionalExpr( Expression *arg1_, Expression *arg2_, Expression *arg3_, Expression *_aname ) :
311                Expression( _aname ), arg1(arg1_), arg2(arg2_), arg3(arg3_) {}
312
313ConditionalExpr::ConditionalExpr( const ConditionalExpr &other ) :
314                Expression( other ), arg1( maybeClone( other.arg1 ) ), arg2( maybeClone( other.arg2 ) ), arg3( maybeClone( other.arg3 ) ) {
315}
316
317ConditionalExpr::~ConditionalExpr() {
318        delete arg1;
319        delete arg2;
320        delete arg3;
321}
322
323void ConditionalExpr::print( std::ostream &os, int indent ) const {
324        os << std::string( indent, ' ' ) << "Conditional expression on: " << std::endl;
325        arg1->print( os, indent+2 );
326        os << std::string( indent, ' ' ) << "First alternative:" << std::endl;
327        arg2->print( os, indent+2 );
328        os << std::string( indent, ' ' ) << "Second alternative:" << std::endl;
329        arg3->print( os, indent+2 );
330        os << std::endl;
331        Expression::print( os, indent );
332}
333
334void UntypedValofExpr::print( std::ostream &os, int indent ) const {
335        os << std::string( indent, ' ' ) << "Valof Expression: " << std::endl;
336        if ( get_body() != 0 )
337                get_body()->print( os, indent + 2 );
338}
339
340// Local Variables: //
341// tab-width: 4 //
342// mode: c++ //
343// compile-command: "make install" //
344// End: //
Note: See TracBrowser for help on using the repository browser.