source: src/Parser/ExpressionNode.cc@ 911348cd

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 911348cd was 59c24b6, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix juxtaposed string concatenation in parser
  • Property mode set to 100644
File size: 23.9 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// ExpressionNode.cc --
8//
9// Author : Rodolfo G. Esteves
10// Created On : Sat May 16 13:17:07 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Jul 5 13:41:55 2016
13// Update Count : 320
14//
15
16#include <cassert>
17#include <cctype>
18#include <algorithm>
19#include <sstream>
20#include <cstdio>
21
22#include "ParseNode.h"
23#include "TypeData.h"
24#include "SynTree/Constant.h"
25#include "SynTree/Expression.h"
26#include "SynTree/Declaration.h"
27#include "Common/UnimplementedError.h"
28#include "parseutility.h"
29#include "Common/utility.h"
30
31using namespace std;
32
33ExpressionNode::ExpressionNode() : ParseNode() {}
34
35ExpressionNode::ExpressionNode( const string *name ) : ParseNode( name ) {}
36
37ExpressionNode::ExpressionNode( const ExpressionNode &other ) : ParseNode( other.name ), extension( other.extension ) {
38 if ( other.argName ) {
39 argName = other.argName->clone();
40 } else {
41 argName = 0;
42 } // if
43}
44
45ExpressionNode * ExpressionNode::set_argName( const std::string *aName ) {
46 argName = new VarRefNode( aName );
47 return this;
48}
49
50ExpressionNode * ExpressionNode::set_argName( ExpressionNode *aDesignator ) {
51 argName = aDesignator;
52 return this;
53}
54
55void ExpressionNode::printDesignation( std::ostream &os, int indent ) const {
56 if ( argName ) {
57 os << string( indent, ' ' ) << "(designated by: ";
58 argName->printOneLine( os, indent );
59 os << ")" << std::endl;
60 } // if
61}
62
63//##############################################################################
64
65NullExprNode::NullExprNode() {}
66
67NullExprNode *NullExprNode::clone() const {
68 return new NullExprNode();
69}
70
71void NullExprNode::print( std::ostream & os, int indent ) const {
72 printDesignation( os );
73 os << "null expression";
74}
75
76void NullExprNode::printOneLine( std::ostream & os, int indent ) const {
77 printDesignation( os );
78 os << "null";
79}
80
81Expression *NullExprNode::build() const {
82 return 0;
83}
84
85CommaExprNode *ExpressionNode::add_to_list( ExpressionNode *exp ) {
86 return new CommaExprNode( this, exp );
87}
88
89//##############################################################################
90
91ConstantNode::ConstantNode( ConstantExpr *expr ) : expr( expr ) {
92} // ConstantNode::ConstantNode
93
94ConstantNode *ConstantNode::appendstr( const std::string *newValue ) {
95 assert( newValue != 0 );
96
97 string value = expr->get_constant()->get_value();
98
99 // "abc" "def" "ghi" => "abcdefghi", remove new text from quotes and insert before last quote in old string.
100 value.insert( value.length() - 1, newValue->substr( 1, newValue->length() - 2 ) );
101 expr->get_constant()->set_value( value );
102
103 delete newValue; // allocated by lexer
104 return this;
105}
106
107void ConstantNode::printOneLine( std::ostream &os, int indent ) const {
108 // os << string( indent, ' ' );
109 // printDesignation( os );
110
111 // switch ( type ) {
112 // case Integer:
113 // case Float:
114 // os << value ;
115 // break;
116 // case Character:
117 // os << "'" << value << "'";
118 // break;
119 // case String:
120 // os << '"' << value << '"';
121 // break;
122 // } // switch
123
124 // os << ' ';
125}
126
127void ConstantNode::print( std::ostream &os, int indent ) const {
128 printOneLine( os, indent );
129 os << endl;
130}
131
132Expression *ConstantNode::build() const {
133 return expr->clone();
134}
135
136//##############################################################################
137
138VarRefNode::VarRefNode() : isLabel( false ) {}
139
140VarRefNode::VarRefNode( const string *name_, bool labelp ) : ExpressionNode( name_ ), isLabel( labelp ) {}
141
142VarRefNode::VarRefNode( const VarRefNode &other ) : ExpressionNode( other ), isLabel( other.isLabel ) {
143}
144
145Expression *VarRefNode::build() const {
146 return new NameExpr( get_name(), maybeBuild< Expression >( get_argName() ) );
147}
148
149void VarRefNode::printOneLine( std::ostream &os, int indent ) const {
150 printDesignation( os );
151 os << get_name() << ' ';
152}
153
154void VarRefNode::print( std::ostream &os, int indent ) const {
155 printDesignation( os );
156 os << string( indent, ' ' ) << "Referencing: ";
157 os << "Variable: " << get_name();
158 os << endl;
159}
160
161//##############################################################################
162
163DesignatorNode::DesignatorNode( ExpressionNode *expr, bool isArrayIndex ) : isArrayIndex( isArrayIndex ) {
164 set_argName( expr );
165 assert( get_argName() );
166
167 if ( ! isArrayIndex ) {
168 if ( VarRefNode * var = dynamic_cast< VarRefNode * >( expr ) ) {
169
170 stringstream ss( var->get_name() );
171 double value;
172 if ( ss >> value ) {
173 // this is a floating point constant. It MUST be
174 // ".0" or ".1", otherwise the program is invalid
175 if ( ! (var->get_name() == ".0" || var->get_name() == ".1") ) {
176 throw SemanticError( "invalid designator name: " + var->get_name() );
177 } // if
178 var->set_name( var->get_name().substr(1) );
179 } // if
180 } // if
181 } // if
182}
183
184DesignatorNode::DesignatorNode( const DesignatorNode &other ) : ExpressionNode( other ), isArrayIndex( other.isArrayIndex ) {
185}
186
187class DesignatorFixer : public Mutator {
188public:
189 virtual Expression* mutate( NameExpr *nameExpr ) {
190 if ( nameExpr->get_name() == "0" || nameExpr->get_name() == "1" ) {
191 Constant val( new BasicType( Type::Qualifiers(), BasicType::SignedInt ), nameExpr->get_name() );
192 delete nameExpr;
193 return new ConstantExpr( val );
194 }
195 return nameExpr;
196 }
197};
198
199Expression *DesignatorNode::build() const {
200 Expression * ret = maybeBuild<Expression>(get_argName());
201
202 if ( isArrayIndex ) {
203 // need to traverse entire structure and change any instances of 0 or 1 to
204 // ConstantExpr
205 DesignatorFixer fixer;
206 ret = ret->acceptMutator( fixer );
207 } // if
208
209 return ret;
210}
211
212void DesignatorNode::printOneLine( std::ostream &os, int indent ) const {
213 if ( get_argName() ) {
214 if ( isArrayIndex ) {
215 os << "[";
216 get_argName()->printOneLine( os, indent );
217 os << "]";
218 } else {
219 os << ".";
220 get_argName()->printOneLine( os, indent );
221 }
222 } // if
223}
224
225void DesignatorNode::print( std::ostream &os, int indent ) const {
226 if ( get_argName() ) {
227 if ( isArrayIndex ) {
228 os << "[";
229 get_argName()->print( os, indent );
230 os << "]";
231 } else {
232 os << ".";
233 get_argName()->print( os, indent );
234 }
235 } // if
236}
237
238//##############################################################################
239
240static const char *opName[] = {
241 "TupleC", "Comma", "TupleFieldSel", // "TuplePFieldSel", // n-adic
242 // triadic
243 "Cond", "NCond",
244 // diadic
245 "SizeOf", "AlignOf", "OffsetOf", "Attr", "?+?", "?-?", "?*?", "?/?", "?%?", "||", "&&",
246 "?|?", "?&?", "?^?", "Cast", "?<<?", "?>>?", "?<?", "?>?", "?<=?", "?>=?", "?==?", "?!=?",
247 "?=?", "?*=?", "?/=?", "?%=?", "?+=?", "?-=?", "?<<=?", "?>>=?", "?&=?", "?^=?", "?|=?",
248 "?[?]", "FieldSel", "PFieldSel", "Range",
249 // monadic
250 "+?", "-?", "AddressOf", "*?", "!?", "~?", "++?", "?++", "--?", "?--", "&&"
251};
252
253OperatorNode::OperatorNode( Type t ) : type( t ) {}
254
255OperatorNode::OperatorNode( const OperatorNode &other ) : ExpressionNode( other ), type( other.type ) {
256}
257
258OperatorNode::~OperatorNode() {}
259
260OperatorNode::Type OperatorNode::get_type( void ) const{
261 return type;
262}
263
264void OperatorNode::printOneLine( std::ostream &os, int indent ) const {
265 printDesignation( os );
266 os << opName[ type ] << ' ';
267}
268
269void OperatorNode::print( std::ostream &os, int indent ) const{
270 printDesignation( os );
271 os << string( indent, ' ' ) << "Operator: " << opName[type] << endl;
272 return;
273}
274
275const char *OperatorNode::get_typename( void ) const{
276 return opName[ type ];
277}
278
279//##############################################################################
280
281CompositeExprNode::CompositeExprNode() : ExpressionNode(), function( 0 ), arguments( 0 ) {
282}
283
284CompositeExprNode::CompositeExprNode( const string *name_ ) : ExpressionNode( name_ ), function( 0 ), arguments( 0 ) {
285}
286
287CompositeExprNode::CompositeExprNode( ExpressionNode *f, ExpressionNode *args ):
288 function( f ), arguments( args ) {
289}
290
291CompositeExprNode::CompositeExprNode( ExpressionNode *f, ExpressionNode *arg1, ExpressionNode *arg2):
292 function( f ), arguments( arg1 ) {
293 arguments->set_link( arg2 );
294}
295
296CompositeExprNode::CompositeExprNode( const CompositeExprNode &other ) : ExpressionNode( other ), function( maybeClone( other.function ) ), arguments( 0 ) {
297 ParseNode *cur = other.arguments;
298 while ( cur ) {
299 if ( arguments ) {
300 arguments->set_link( cur->clone() );
301 } else {
302 arguments = ( ExpressionNode*)cur->clone();
303 } // if
304 cur = cur->get_link();
305 }
306}
307
308CompositeExprNode::~CompositeExprNode() {
309 delete function;
310 delete arguments;
311}
312
313#include "Common/utility.h"
314
315Expression *CompositeExprNode::build() const {
316 OperatorNode *op;
317 std::list<Expression *> args;
318
319 buildList( get_args(), args );
320
321 if ( ! ( op = dynamic_cast<OperatorNode *>( function ) ) ) { // function as opposed to operator
322 return new UntypedExpr( maybeBuild<Expression>(function), args, maybeBuild< Expression >( get_argName() ));
323 } // if
324
325 switch ( op->get_type()) {
326 case OperatorNode::Incr:
327 case OperatorNode::Decr:
328 case OperatorNode::IncrPost:
329 case OperatorNode::DecrPost:
330 case OperatorNode::Assign:
331 case OperatorNode::MulAssn:
332 case OperatorNode::DivAssn:
333 case OperatorNode::ModAssn:
334 case OperatorNode::PlusAssn:
335 case OperatorNode::MinusAssn:
336 case OperatorNode::LSAssn:
337 case OperatorNode::RSAssn:
338 case OperatorNode::AndAssn:
339 case OperatorNode::ERAssn:
340 case OperatorNode::OrAssn:
341 // the rewrite rules for these expressions specify that the first argument has its address taken
342 assert( ! args.empty() );
343 args.front() = new AddressExpr( args.front() );
344 break;
345 default: // do nothing
346 ;
347 } // switch
348
349 switch ( op->get_type() ) {
350 case OperatorNode::Incr:
351 case OperatorNode::Decr:
352 case OperatorNode::IncrPost:
353 case OperatorNode::DecrPost:
354 case OperatorNode::Assign:
355 case OperatorNode::MulAssn:
356 case OperatorNode::DivAssn:
357 case OperatorNode::ModAssn:
358 case OperatorNode::PlusAssn:
359 case OperatorNode::MinusAssn:
360 case OperatorNode::LSAssn:
361 case OperatorNode::RSAssn:
362 case OperatorNode::AndAssn:
363 case OperatorNode::ERAssn:
364 case OperatorNode::OrAssn:
365 case OperatorNode::Plus:
366 case OperatorNode::Minus:
367 case OperatorNode::Mul:
368 case OperatorNode::Div:
369 case OperatorNode::Mod:
370 case OperatorNode::BitOr:
371 case OperatorNode::BitAnd:
372 case OperatorNode::Xor:
373 case OperatorNode::LShift:
374 case OperatorNode::RShift:
375 case OperatorNode::LThan:
376 case OperatorNode::GThan:
377 case OperatorNode::LEThan:
378 case OperatorNode::GEThan:
379 case OperatorNode::Eq:
380 case OperatorNode::Neq:
381 case OperatorNode::Index:
382 case OperatorNode::Range:
383 case OperatorNode::UnPlus:
384 case OperatorNode::UnMinus:
385 case OperatorNode::PointTo:
386 case OperatorNode::Neg:
387 case OperatorNode::BitNeg:
388 case OperatorNode::LabelAddress:
389 return new UntypedExpr( new NameExpr( opName[ op->get_type() ] ), args );
390 case OperatorNode::AddressOf:
391 assert( args.size() == 1 );
392 assert( args.front() );
393
394 return new AddressExpr( args.front() );
395 case OperatorNode::Cast:
396 {
397 TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args());
398 assert( arg );
399
400 DeclarationNode *decl_node = arg->get_decl();
401 ExpressionNode *expr_node = dynamic_cast<ExpressionNode *>( arg->get_link());
402
403 Type *targetType = decl_node->buildType();
404 if ( dynamic_cast< VoidType* >( targetType ) ) {
405 delete targetType;
406 return new CastExpr( maybeBuild<Expression>(expr_node), maybeBuild< Expression >( get_argName() ) );
407 } else {
408 return new CastExpr( maybeBuild<Expression>(expr_node),targetType, maybeBuild< Expression >( get_argName() ) );
409 } // if
410 }
411 case OperatorNode::FieldSel:
412 {
413 assert( args.size() == 2 );
414
415 NameExpr *member = dynamic_cast<NameExpr *>( args.back());
416 // TupleExpr *memberTup = dynamic_cast<TupleExpr *>( args.back());
417
418 if ( member != 0 ) {
419 UntypedMemberExpr *ret = new UntypedMemberExpr( member->get_name(), args.front());
420 delete member;
421 return ret;
422 /* else if ( memberTup != 0 )
423 {
424 UntypedMemberExpr *ret = new UntypedMemberExpr( memberTup->get_name(), args.front());
425 delete member;
426 return ret;
427 } */
428 } else
429 assert( false );
430 }
431 case OperatorNode::PFieldSel:
432 {
433 assert( args.size() == 2 );
434
435 NameExpr *member = dynamic_cast<NameExpr *>( args.back()); // modify for Tuples xxx
436 assert( member != 0 );
437
438 UntypedExpr *deref = new UntypedExpr( new NameExpr( "*?" ) );
439 deref->get_args().push_back( args.front() );
440
441 UntypedMemberExpr *ret = new UntypedMemberExpr( member->get_name(), deref );
442 delete member;
443 return ret;
444 }
445 case OperatorNode::SizeOf:
446 {
447 if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()) ) {
448 return new SizeofExpr( arg->get_decl()->buildType());
449 } else {
450 return new SizeofExpr( args.front());
451 } // if
452 }
453 case OperatorNode::AlignOf:
454 {
455 if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()) ) {
456 return new AlignofExpr( arg->get_decl()->buildType());
457 } else {
458 return new AlignofExpr( args.front());
459 } // if
460 }
461 case OperatorNode::OffsetOf:
462 {
463 assert( args.size() == 2 );
464
465 if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args() ) ) {
466 NameExpr *member = dynamic_cast<NameExpr *>( args.back() );
467 assert( member != 0 );
468
469 return new UntypedOffsetofExpr( arg->get_decl()->buildType(), member->get_name() );
470 } else assert( false );
471 }
472 case OperatorNode::Attr:
473 {
474 VarRefNode *var = dynamic_cast<VarRefNode *>( get_args());
475 assert( var );
476 if ( ! get_args()->get_link() ) {
477 return new AttrExpr( maybeBuild<Expression>(var), ( Expression*)0);
478 } else if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()->get_link()) ) {
479 return new AttrExpr( maybeBuild<Expression>(var), arg->get_decl()->buildType());
480 } else {
481 return new AttrExpr( maybeBuild<Expression>(var), args.back());
482 } // if
483 }
484 case OperatorNode::Or:
485 case OperatorNode::And:
486 assert( args.size() == 2);
487 return new LogicalExpr( notZeroExpr( args.front() ), notZeroExpr( args.back() ), ( op->get_type() == OperatorNode::And ) );
488 case OperatorNode::Cond:
489 {
490 assert( args.size() == 3);
491 std::list< Expression * >::const_iterator i = args.begin();
492 Expression *arg1 = notZeroExpr( *i++ );
493 Expression *arg2 = *i++;
494 Expression *arg3 = *i++;
495 return new ConditionalExpr( arg1, arg2, arg3 );
496 }
497 case OperatorNode::NCond:
498 throw UnimplementedError( "GNU 2-argument conditional expression" );
499 case OperatorNode::Comma:
500 {
501 assert( args.size() == 2);
502 std::list< Expression * >::const_iterator i = args.begin();
503 Expression *ret = *i++;
504 while ( i != args.end() ) {
505 ret = new CommaExpr( ret, *i++ );
506 }
507 return ret;
508 }
509 // Tuples
510 case OperatorNode::TupleC:
511 {
512 TupleExpr *ret = new TupleExpr();
513 std::copy( args.begin(), args.end(), back_inserter( ret->get_exprs() ) );
514 return ret;
515 }
516 default:
517 // shouldn't happen
518 assert( false );
519 return 0;
520 } // switch
521}
522
523void CompositeExprNode::printOneLine( std::ostream &os, int indent ) const {
524 printDesignation( os );
525 os << "( ";
526 function->printOneLine( os, indent );
527 for ( ExpressionNode *cur = arguments; cur != 0; cur = dynamic_cast< ExpressionNode* >( cur->get_link() ) ) {
528 cur->printOneLine( os, indent );
529 } // for
530 os << ") ";
531}
532
533void CompositeExprNode::print( std::ostream &os, int indent ) const {
534 printDesignation( os );
535 os << string( indent, ' ' ) << "Application of: " << endl;
536 function->print( os, indent + ParseNode::indent_by );
537
538 os << string( indent, ' ' ) ;
539 if ( arguments ) {
540 os << "... on arguments: " << endl;
541 arguments->printList( os, indent + ParseNode::indent_by );
542 } else
543 os << "... on no arguments: " << endl;
544}
545
546void CompositeExprNode::set_function( ExpressionNode *f ) {
547 function = f;
548}
549
550void CompositeExprNode::set_args( ExpressionNode *args ) {
551 arguments = args;
552}
553
554ExpressionNode *CompositeExprNode::get_function( void ) const {
555 return function;
556}
557
558ExpressionNode *CompositeExprNode::get_args( void ) const {
559 return arguments;
560}
561
562void CompositeExprNode::add_arg( ExpressionNode *arg ) {
563 if ( arguments )
564 arguments->set_link( arg );
565 else
566 set_args( arg );
567}
568
569//##############################################################################
570
571Expression *AsmExprNode::build() const {
572 return new AsmExpr( maybeBuild< Expression >( inout ), (ConstantExpr *)maybeBuild<Expression>(constraint), maybeBuild<Expression>(operand) );
573}
574
575void AsmExprNode::print( std::ostream &os, int indent ) const {
576 os << string( indent, ' ' ) << "Assembler Expression:" << endl;
577 if ( inout ) {
578 os << string( indent, ' ' ) << "inout: " << std::endl;
579 inout->print( os, indent + 2 );
580 } // if
581 if ( constraint ) {
582 os << string( indent, ' ' ) << "constraint: " << std::endl;
583 constraint->print( os, indent + 2 );
584 } // if
585 if ( operand ) {
586 os << string( indent, ' ' ) << "operand: " << std::endl;
587 operand->print( os, indent + 2 );
588 } // if
589}
590
591void AsmExprNode::printOneLine( std::ostream &os, int indent ) const {
592 printDesignation( os );
593 os << "( ";
594 if ( inout ) inout->printOneLine( os, indent + 2 );
595 os << ", ";
596 if ( constraint ) constraint->printOneLine( os, indent + 2 );
597 os << ", ";
598 if ( operand ) operand->printOneLine( os, indent + 2 );
599 os << ") ";
600}
601
602//##############################################################################
603
604void LabelNode::print( std::ostream &os, int indent ) const {}
605
606void LabelNode::printOneLine( std::ostream &os, int indent ) const {}
607
608//##############################################################################
609
610CommaExprNode::CommaExprNode(): CompositeExprNode( new OperatorNode( OperatorNode::Comma )) {}
611
612CommaExprNode::CommaExprNode( ExpressionNode *exp ) : CompositeExprNode( new OperatorNode( OperatorNode::Comma ), exp ) {
613}
614
615CommaExprNode::CommaExprNode( ExpressionNode *exp1, ExpressionNode *exp2) : CompositeExprNode( new OperatorNode( OperatorNode::Comma ), exp1, exp2) {
616}
617
618CommaExprNode *CommaExprNode::add_to_list( ExpressionNode *exp ) {
619 add_arg( exp );
620
621 return this;
622}
623
624CommaExprNode::CommaExprNode( const CommaExprNode &other ) : CompositeExprNode( other ) {
625}
626
627//##############################################################################
628
629ValofExprNode::ValofExprNode( StatementNode *s ): body( s ) {}
630
631ValofExprNode::ValofExprNode( const ValofExprNode &other ) : ExpressionNode( other ), body( maybeClone( body ) ) {
632}
633
634ValofExprNode::~ValofExprNode() {
635 delete body;
636}
637
638void ValofExprNode::print( std::ostream &os, int indent ) const {
639 printDesignation( os );
640 os << string( indent, ' ' ) << "Valof Expression:" << std::endl;
641 get_body()->print( os, indent + 4);
642}
643
644void ValofExprNode::printOneLine( std::ostream &, int indent ) const {
645 assert( false );
646}
647
648Expression *ValofExprNode::build() const {
649 return new UntypedValofExpr ( maybeBuild<Statement>(get_body()), maybeBuild< Expression >( get_argName() ) );
650}
651
652//##############################################################################
653
654ForCtlExprNode::ForCtlExprNode( ParseNode *init_, ExpressionNode *cond, ExpressionNode *incr ) throw ( SemanticError ) : condition( cond ), change( incr ) {
655 if ( init_ == 0 )
656 init = 0;
657 else {
658 DeclarationNode *decl;
659 ExpressionNode *exp;
660
661 if (( decl = dynamic_cast<DeclarationNode *>(init_) ) != 0)
662 init = new StatementNode( decl );
663 else if (( exp = dynamic_cast<ExpressionNode *>( init_)) != 0)
664 init = new StatementNode( StatementNode::Exp, exp );
665 else
666 throw SemanticError("Error in for control expression");
667 }
668}
669
670ForCtlExprNode::ForCtlExprNode( const ForCtlExprNode &other )
671 : ExpressionNode( other ), init( maybeClone( other.init ) ), condition( maybeClone( other.condition ) ), change( maybeClone( other.change ) ) {
672}
673
674ForCtlExprNode::~ForCtlExprNode() {
675 delete init;
676 delete condition;
677 delete change;
678}
679
680Expression *ForCtlExprNode::build() const {
681 // this shouldn't be used!
682 assert( false );
683 return 0;
684}
685
686void ForCtlExprNode::print( std::ostream &os, int indent ) const{
687 os << string( indent,' ' ) << "For Control Expression -- :" << endl;
688
689 os << string( indent + 2, ' ' ) << "initialization:" << endl;
690 if ( init != 0 )
691 init->printList( os, indent + 4 );
692
693 os << string( indent + 2, ' ' ) << "condition: " << endl;
694 if ( condition != 0 )
695 condition->print( os, indent + 4 );
696 os << string( indent + 2, ' ' ) << "increment: " << endl;
697 if ( change != 0 )
698 change->print( os, indent + 4 );
699}
700
701void ForCtlExprNode::printOneLine( std::ostream &, int indent ) const {
702 assert( false );
703}
704
705//##############################################################################
706
707TypeValueNode::TypeValueNode( DeclarationNode *decl ) : decl( decl ) {
708}
709
710TypeValueNode::TypeValueNode( const TypeValueNode &other ) : ExpressionNode( other ), decl( maybeClone( other.decl ) ) {
711}
712
713Expression *TypeValueNode::build() const {
714 return new TypeExpr( decl->buildType() );
715}
716
717void TypeValueNode::print( std::ostream &os, int indent ) const {
718 os << std::string( indent, ' ' ) << "Type:";
719 get_decl()->print( os, indent + 2);
720}
721
722void TypeValueNode::printOneLine( std::ostream &os, int indent ) const {
723 os << "Type:";
724 get_decl()->print( os, indent + 2);
725}
726
727
728CompoundLiteralNode::CompoundLiteralNode( DeclarationNode *type, InitializerNode *kids ) : type( type ), kids( kids ) {}
729CompoundLiteralNode::CompoundLiteralNode( const CompoundLiteralNode &other ) : ExpressionNode( other ), type( other.type ), kids( other.kids ) {}
730
731CompoundLiteralNode::~CompoundLiteralNode() {
732 delete kids;
733 delete type;
734}
735
736CompoundLiteralNode *CompoundLiteralNode::clone() const {
737 return new CompoundLiteralNode( *this );
738}
739
740void CompoundLiteralNode::print( std::ostream &os, int indent ) const {
741 os << string( indent,' ' ) << "CompoundLiteralNode:" << endl;
742
743 os << string( indent + 2, ' ' ) << "type:" << endl;
744 if ( type != 0 )
745 type->print( os, indent + 4 );
746
747 os << string( indent + 2, ' ' ) << "initialization:" << endl;
748 if ( kids != 0 )
749 kids->printList( os, indent + 4 );
750}
751
752void CompoundLiteralNode::printOneLine( std::ostream &os, int indent ) const {
753 os << "( ";
754 if ( type ) type->print( os );
755 os << ", ";
756 if ( kids ) kids->printOneLine( os );
757 os << ") ";
758}
759
760Expression *CompoundLiteralNode::build() const {
761 Declaration * newDecl = maybeBuild<Declaration>(type); // compound literal type
762 if ( DeclarationWithType * newDeclWithType = dynamic_cast< DeclarationWithType * >( newDecl ) ) { // non-sue compound-literal type
763 return new CompoundLiteralExpr( newDeclWithType->get_type(), maybeBuild<Initializer>(kids) );
764 // these types do not have associated type information
765 } else if ( StructDecl * newDeclStructDecl = dynamic_cast< StructDecl * >( newDecl ) ) {
766 return new CompoundLiteralExpr( new StructInstType( Type::Qualifiers(), newDeclStructDecl->get_name() ), maybeBuild<Initializer>(kids) );
767 } else if ( UnionDecl * newDeclUnionDecl = dynamic_cast< UnionDecl * >( newDecl ) ) {
768 return new CompoundLiteralExpr( new UnionInstType( Type::Qualifiers(), newDeclUnionDecl->get_name() ), maybeBuild<Initializer>(kids) );
769 } else if ( EnumDecl * newDeclEnumDecl = dynamic_cast< EnumDecl * >( newDecl ) ) {
770 return new CompoundLiteralExpr( new EnumInstType( Type::Qualifiers(), newDeclEnumDecl->get_name() ), maybeBuild<Initializer>(kids) );
771 } else {
772 assert( false );
773 } // if
774}
775
776
777ExpressionNode *flattenCommas( ExpressionNode *list ) {
778 if ( CompositeExprNode *composite = dynamic_cast< CompositeExprNode * >( list ) ) {
779 OperatorNode *op;
780 if ( ( op = dynamic_cast< OperatorNode * >( composite->get_function() )) && ( op->get_type() == OperatorNode::Comma ) ) {
781 if ( ExpressionNode *next = dynamic_cast< ExpressionNode * >( list->get_link() ) )
782 composite->add_arg( next );
783 return flattenCommas( composite->get_args() );
784 } // if
785 } // if
786
787 if ( ExpressionNode *next = dynamic_cast< ExpressionNode * >( list->get_link() ) )
788 list->set_next( flattenCommas( next ) );
789
790 return list;
791}
792
793ExpressionNode *tupleContents( ExpressionNode *tuple ) {
794 if ( CompositeExprNode *composite = dynamic_cast< CompositeExprNode * >( tuple ) ) {
795 OperatorNode *op = 0;
796 if ( ( op = dynamic_cast< OperatorNode * >( composite->get_function() )) && ( op->get_type() == OperatorNode::TupleC ) )
797 return composite->get_args();
798 } // if
799 return tuple;
800}
801
802// Local Variables: //
803// tab-width: 4 //
804// mode: c++ //
805// compile-command: "make install" //
806// End: //
Note: See TracBrowser for help on using the repository browser.