source: translator/Parser/ExpressionNode.cc@ fe3b61b

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

underscore changes, ptrdiff_t changes, formating, _Bool prelude
  • Property mode set to 100644
File size: 20.0 KB
Line 
1#include <cassert>
2#include <cctype>
3#include <algorithm>
4
5#include "ParseNode.h"
6#include "SynTree/Type.h"
7#include "SynTree/Constant.h"
8#include "SynTree/Expression.h"
9#include "SynTree/Declaration.h"
10#include "UnimplementedError.h"
11#include "parseutility.h"
12#include "utility.h"
13
14using namespace std;
15
16ExpressionNode::ExpressionNode() : ParseNode(), argName( 0 ) {}
17
18ExpressionNode::ExpressionNode(string *name_) : ParseNode( *name_ ), argName( 0 ) {
19 delete name_;
20}
21
22ExpressionNode::ExpressionNode( const ExpressionNode &other ) : ParseNode( other.name ) {
23 if ( other.argName ) {
24 argName = other.argName->clone();
25 } else {
26 argName = 0;
27 }
28}
29
30ExpressionNode * ExpressionNode::set_asArgName( std::string *aName ) {
31 argName = new VarRefNode(aName);
32 return this;
33}
34
35ExpressionNode * ExpressionNode::set_asArgName( ExpressionNode *aDesignator ) {
36 argName = aDesignator;
37 return this;
38}
39
40void ExpressionNode::printDesignation( std::ostream &os, int indent ) const {
41 if ( argName ) {
42 os << string(' ', indent) << "(designated by: ";
43 argName->printOneLine(os, indent );
44 os << ")" << std::endl;
45 }
46}
47
48NullExprNode::NullExprNode() {}
49
50NullExprNode *NullExprNode::clone() const {
51 return new NullExprNode();
52}
53
54void NullExprNode::print(std::ostream & os, int indent) const {
55 printDesignation(os);
56 os << "null expression";
57}
58
59void NullExprNode::printOneLine(std::ostream & os, int indent) const {
60 printDesignation(os);
61 os << "null";
62}
63
64Expression *NullExprNode::build() const {
65 return 0;
66}
67
68CommaExprNode *ExpressionNode::add_to_list(ExpressionNode *exp){
69 return new CommaExprNode(this, exp );
70}
71
72// enum ConstantNode::Type = { Integer, Float, Character, String, Range }
73
74ConstantNode::ConstantNode(void) : ExpressionNode(), sign(true), longs(0), size(0) {}
75
76ConstantNode::ConstantNode(string *name_) : ExpressionNode(name_), sign(true), longs(0), size(0) {}
77
78ConstantNode::ConstantNode(Type t, string *inVal) : type(t), sign(true), longs(0), size(0) {
79 if ( inVal ) {
80 value = *inVal;
81 delete inVal;
82 } else {
83 value = "";
84 }
85
86 classify(value);
87}
88
89ConstantNode::ConstantNode( const ConstantNode &other )
90 : ExpressionNode( other ), type( other.type ), value( other.value ), sign( other.sign ), base( other.base ), longs( other.longs ), size( other.size ) {
91}
92
93// for some reason, std::tolower doesn't work as an argument to std::transform in g++ 3.1
94inline char tolower_hack( char c ) {
95 return std::tolower( c );
96}
97
98void ConstantNode::classify(std::string &str){
99 switch (type){
100 case Integer:
101 case Float:
102 {
103 std::string sfx("");
104 char c;
105 int i = str.length() - 1;
106
107 while ( i >= 0 && !isxdigit(c = str.at(i--)) )
108 sfx += c;
109
110 value = str.substr( 0, i + 2 );
111
112 // get rid of underscores
113 value.erase(remove(value.begin(), value.end(), '_'), value.end());
114
115 std::transform(sfx.begin(), sfx.end(), sfx.begin(), tolower_hack);
116
117 if ( sfx.find("ll") != string::npos ){
118 longs = 2;
119 } else if (sfx.find("l") != string::npos ){
120 longs = 1;
121 }
122
123 assert((longs >= 0) && (longs <= 2));
124
125 if ( sfx.find("u") != string::npos )
126 sign = false;
127
128 break;
129 }
130 case Character:
131 {
132 // remove underscores from hex and oct escapes
133 if (str.substr(1,2) == "\\x")
134 value.erase(remove(value.begin(), value.end(), '_'), value.end());
135
136 break;
137 }
138 default:
139 // shouldn't be here
140 ;
141 }
142}
143
144ConstantNode::Type ConstantNode::get_type(void) const {
145 return type;
146}
147
148ConstantNode *ConstantNode::append( std::string *newValue ) {
149 if ( newValue ) {
150 if (type == String){
151 std::string temp = *newValue;
152 value.resize( value.size() - 1 );
153 value += newValue->substr(1, newValue->size());
154 } else
155 value += *newValue;
156
157 delete newValue;
158 }
159 return this;
160}
161
162void ConstantNode::printOneLine(std::ostream &os, int indent ) const {
163 os << string(indent, ' ');
164 printDesignation(os);
165
166 switch ( type ) {
167 /* integers */
168 case Integer:
169 os << value ;
170 break;
171 case Float:
172 os << value ;
173 break;
174
175 case Character:
176 os << "'" << value << "'";
177 break;
178
179 case String:
180 os << '"' << value << '"';
181 break;
182 }
183
184 os << ' ';
185}
186
187void ConstantNode::print(std::ostream &os, int indent ) const {
188 printOneLine( os, indent );
189 os << endl;
190}
191
192Expression *ConstantNode::build() const {
193 ::Type::Qualifiers q;
194 BasicType *bt;
195
196 switch (get_type()){
197 case Integer:
198 /* Cfr. standard 6.4.4.1 */
199 //bt.set_kind(BasicType::SignedInt);
200 bt = new BasicType(q, BasicType::SignedInt);
201 break;
202 case Float:
203 bt = new BasicType(q, BasicType::Float);
204 break;
205 case Character:
206 bt = new BasicType(q, BasicType::Char);
207 break;
208 case String:
209 // string should probably be a primitive type
210 ArrayType *at;
211 std::string value = get_value();
212 at = new ArrayType(q, new BasicType(q, BasicType::Char),
213 new ConstantExpr( Constant( new BasicType(q, BasicType::SignedInt),
214 toString( value.size() - 1 ) ) ), // account for '\0'
215 false, false );
216 return new ConstantExpr( Constant(at, value), maybeBuild< Expression >( get_argName() ) );
217 }
218 return new ConstantExpr( Constant(bt, get_value()), maybeBuild< Expression >( get_argName() ) );
219}
220
221VarRefNode::VarRefNode() : isLabel(false) {}
222
223VarRefNode::VarRefNode(string *name_, bool labelp) : ExpressionNode(name_), isLabel(labelp) {}
224
225VarRefNode::VarRefNode( const VarRefNode &other ) : ExpressionNode( other ), isLabel( other.isLabel ) {
226}
227
228Expression *VarRefNode::build() const {
229 return new NameExpr( get_name(), maybeBuild< Expression >( get_argName() ) );
230}
231
232void VarRefNode::printOneLine(std::ostream &os, int indent ) const {
233 printDesignation(os);
234 os << get_name() << ' ';
235}
236
237void VarRefNode::print(std::ostream &os, int indent ) const {
238 printDesignation(os);
239 os << '\r' << string(indent, ' ') << "Referencing: ";
240 os << "Variable: " << get_name();
241 os << endl;
242}
243
244OperatorNode::OperatorNode(Type t) : type(t) {}
245
246OperatorNode::OperatorNode( const OperatorNode &other ) : ExpressionNode( other ), type( other.type ) {
247}
248
249OperatorNode::~OperatorNode() {}
250
251OperatorNode::Type OperatorNode::get_type(void) const{
252 return type;
253}
254
255void OperatorNode::printOneLine( std::ostream &os, int indent ) const {
256 printDesignation(os);
257 os << OpName[ type ] << ' ';
258}
259
260void OperatorNode::print( std::ostream &os, int indent ) const{
261 printDesignation(os);
262 os << '\r' << string(indent, ' ') << "Operator: " << OpName[type] << endl;
263 return;
264}
265
266std::string OperatorNode::get_typename(void) const{
267 return string(OpName[ type ]);
268}
269
270const char *OperatorNode::OpName[] = {
271 "TupleC", "Comma", "TupleFieldSel",// "TuplePFieldSel", //n-adic
272 // triadic
273 "Cond", "NCond",
274 // diadic
275 "SizeOf", "AlignOf", "Attr", "CompLit", "Plus", "Minus", "Mul", "Div", "Mod", "Or",
276 "And", "BitOr", "BitAnd", "Xor", "Cast", "LShift", "RShift", "LThan", "GThan",
277 "LEThan", "GEThan", "Eq", "Neq", "Assign", "MulAssn", "DivAssn", "ModAssn", "PlusAssn",
278 "MinusAssn", "LSAssn", "RSAssn", "AndAssn", "ERAssn", "OrAssn", "Index", "FieldSel","PFieldSel",
279 "Range",
280 // monadic
281 "UnPlus", "UnMinus", "AddressOf", "PointTo", "Neg", "BitNeg", "Incr", "IncrPost", "Decr", "DecrPost", "LabelAddress"
282};
283
284CompositeExprNode::CompositeExprNode(void) : ExpressionNode(), function( 0 ), arguments( 0 ) {
285}
286
287CompositeExprNode::CompositeExprNode(string *name_) : ExpressionNode(name_), function( 0 ), arguments( 0 ) {
288}
289
290CompositeExprNode::CompositeExprNode(ExpressionNode *f, ExpressionNode *args):
291 function(f), arguments(args) {
292}
293
294CompositeExprNode::CompositeExprNode(ExpressionNode *f, ExpressionNode *arg1, ExpressionNode *arg2):
295 function(f), arguments(arg1) {
296 arguments->set_link(arg2);
297}
298
299CompositeExprNode::CompositeExprNode( const CompositeExprNode &other ) : ExpressionNode( other ), function( maybeClone( other.function ) ) {
300 ParseNode *cur = other.arguments;
301 while ( cur ) {
302 if ( arguments ) {
303 arguments->set_link( cur->clone() );
304 } else {
305 arguments = (ExpressionNode*)cur->clone();
306 }
307 cur = cur->get_link();
308 }
309}
310
311CompositeExprNode::~CompositeExprNode() {
312 delete function;
313 delete arguments;
314}
315
316// the names that users use to define operator functions
317static const char *opFuncName[] = {
318 "", "", "",
319 "", "",
320 // diadic
321 "", "", "", "", "?+?", "?-?", "?*?", "?/?", "?%?", "", "",
322 "?|?", "?&?", "?^?", "", "?<<?", "?>>?", "?<?", "?>?", "?<=?",
323 "?>=?", "?==?", "?!=?", "?=?", "?*=?", "?/=?", "?%=?", "?+=?", "?-=?",
324 "?<<=?", "?>>=?", "?&=?", "?^=?", "?|=?", "?[?]", "","","Range",
325 // monadic
326 "+?", "-?", "", "*?", "!?", "~?", "++?", "?++", "--?", "?--", "LabAddress"
327};
328
329#include "utility.h"
330
331Expression *CompositeExprNode::build() const {
332 OperatorNode *op;
333 std::list<Expression *> args;
334
335 buildList(get_args(), args);
336
337 if ( ! ( op = dynamic_cast<OperatorNode *>(function)) ) {
338 // a function as opposed to an operator
339 return new UntypedExpr(function->build(), args, maybeBuild< Expression >( get_argName() ));
340 } else {
341 switch (op->get_type()){
342 case OperatorNode::Incr:
343 case OperatorNode::Decr:
344 case OperatorNode::IncrPost:
345 case OperatorNode::DecrPost:
346 case OperatorNode::Assign:
347 case OperatorNode::MulAssn:
348 case OperatorNode::DivAssn:
349 case OperatorNode::ModAssn:
350 case OperatorNode::PlusAssn:
351 case OperatorNode::MinusAssn:
352 case OperatorNode::LSAssn:
353 case OperatorNode::RSAssn:
354 case OperatorNode::AndAssn:
355 case OperatorNode::ERAssn:
356 case OperatorNode::OrAssn:
357 // the rewrite rules for these expressions specify that the first argument has its address taken
358 assert( !args.empty() );
359 args.front() = new AddressExpr( args.front() );
360 break;
361 default:
362 /* do nothing */
363 ;
364 }
365
366 switch ( op->get_type() ) {
367 case OperatorNode::Incr:
368 case OperatorNode::Decr:
369 case OperatorNode::IncrPost:
370 case OperatorNode::DecrPost:
371 case OperatorNode::Assign:
372 case OperatorNode::MulAssn:
373 case OperatorNode::DivAssn:
374 case OperatorNode::ModAssn:
375 case OperatorNode::PlusAssn:
376 case OperatorNode::MinusAssn:
377 case OperatorNode::LSAssn:
378 case OperatorNode::RSAssn:
379 case OperatorNode::AndAssn:
380 case OperatorNode::ERAssn:
381 case OperatorNode::OrAssn:
382 case OperatorNode::Plus:
383 case OperatorNode::Minus:
384 case OperatorNode::Mul:
385 case OperatorNode::Div:
386 case OperatorNode::Mod:
387 case OperatorNode::BitOr:
388 case OperatorNode::BitAnd:
389 case OperatorNode::Xor:
390 case OperatorNode::LShift:
391 case OperatorNode::RShift:
392 case OperatorNode::LThan:
393 case OperatorNode::GThan:
394 case OperatorNode::LEThan:
395 case OperatorNode::GEThan:
396 case OperatorNode::Eq:
397 case OperatorNode::Neq:
398 case OperatorNode::Index:
399 case OperatorNode::Range:
400 case OperatorNode::UnPlus:
401 case OperatorNode::UnMinus:
402 case OperatorNode::PointTo:
403 case OperatorNode::Neg:
404 case OperatorNode::BitNeg:
405 case OperatorNode::LabelAddress:
406 return new UntypedExpr( new NameExpr( opFuncName[ op->get_type() ] ), args );
407 case OperatorNode::AddressOf:
408 assert( args.size() == 1 );
409 assert( args.front() );
410
411 return new AddressExpr( args.front() );
412 case OperatorNode::Cast:
413 {
414 TypeValueNode * arg = dynamic_cast<TypeValueNode *>(get_args());
415 assert( arg );
416
417 DeclarationNode *decl_node = arg->get_decl();
418 ExpressionNode *expr_node = dynamic_cast<ExpressionNode *>(arg->get_link());
419
420 Type *targetType = decl_node->buildType();
421 if ( dynamic_cast< VoidType* >( targetType ) ) {
422 delete targetType;
423 return new CastExpr( expr_node->build(), maybeBuild< Expression >( get_argName() ) );
424 } else {
425 return new CastExpr(expr_node->build(),targetType, maybeBuild< Expression >( get_argName() ) );
426 }
427 }
428 case OperatorNode::FieldSel:
429 {
430 assert( args.size() == 2 );
431
432 NameExpr *member = dynamic_cast<NameExpr *>(args.back());
433 // TupleExpr *memberTup = dynamic_cast<TupleExpr *>(args.back());
434
435 if ( member != 0 )
436 {
437 UntypedMemberExpr *ret = new UntypedMemberExpr(member->get_name(), args.front());
438 delete member;
439 return ret;
440 }
441 /* else if ( memberTup != 0 )
442 {
443 UntypedMemberExpr *ret = new UntypedMemberExpr(memberTup->get_name(), args.front());
444 delete member;
445 return ret;
446 } */
447 else
448 assert( false );
449 }
450 case OperatorNode::PFieldSel:
451 {
452 assert( args.size() == 2 );
453
454 NameExpr *member = dynamic_cast<NameExpr *>(args.back()); // modify for Tuples xxx
455 assert( member != 0 );
456
457 UntypedExpr *deref = new UntypedExpr( new NameExpr( "*?" ) );
458 deref->get_args().push_back( args.front() );
459
460 UntypedMemberExpr *ret = new UntypedMemberExpr(member->get_name(), deref);
461 delete member;
462 return ret;
463 }
464 case OperatorNode::AlignOf:
465 case OperatorNode::SizeOf:
466 {
467/// bool isSizeOf = (op->get_type() == OperatorNode::SizeOf);
468
469 if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>(get_args()) ) {
470 return new SizeofExpr(arg->get_decl()->buildType());
471 } else {
472 return new SizeofExpr(args.front());
473 }
474 }
475 case OperatorNode::Attr:
476 {
477 VarRefNode *var = dynamic_cast<VarRefNode *>(get_args());
478 assert( var );
479 if ( !get_args()->get_link() ) {
480 return new AttrExpr(var->build(), (Expression*)0);
481 } else if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>(get_args()->get_link()) ) {
482 return new AttrExpr(var->build(), arg->get_decl()->buildType());
483 } else {
484 return new AttrExpr(var->build(), args.back());
485 }
486 }
487 case OperatorNode::CompLit:
488 throw UnimplementedError( "C99 compound literals" );
489 // the short-circuited operators
490 case OperatorNode::Or:
491 case OperatorNode::And:
492 assert(args.size() == 2);
493 return new LogicalExpr( notZeroExpr( args.front() ), notZeroExpr( args.back() ), (op->get_type() == OperatorNode::And) );
494 case OperatorNode::Cond:
495 {
496 assert(args.size() == 3);
497 std::list< Expression* >::const_iterator i = args.begin();
498 Expression *arg1 = notZeroExpr( *i++ );
499 Expression *arg2 = *i++;
500 Expression *arg3 = *i++;
501 return new ConditionalExpr( arg1, arg2, arg3 );
502 }
503 case OperatorNode::NCond:
504 throw UnimplementedError( "GNU 2-argument conditional expression" );
505 case OperatorNode::Comma:
506 {
507 assert(args.size() == 2);
508 std::list< Expression* >::const_iterator i = args.begin();
509 Expression *ret = *i++;
510 while ( i != args.end() ) {
511 ret = new CommaExpr( ret, *i++ );
512 }
513 return ret;
514 }
515 // Tuples
516 case OperatorNode::TupleC:
517 {
518 TupleExpr *ret = new TupleExpr();
519 std::copy( args.begin(), args.end(), back_inserter( ret->get_exprs() ) );
520 return ret;
521 }
522 default:
523 // shouldn't happen
524 return 0;
525 }
526 }
527}
528
529void CompositeExprNode::printOneLine(std::ostream &os, int indent) const {
530 printDesignation(os);
531 os << "( ";
532 function->printOneLine( os, indent );
533 for( ExpressionNode *cur = arguments; cur != 0; cur = dynamic_cast< ExpressionNode* >( cur->get_link() ) ) {
534 cur->printOneLine( os, indent );
535 }
536 os << ") ";
537}
538
539void CompositeExprNode::print(std::ostream &os, int indent) const {
540 printDesignation(os);
541 os << '\r' << string(indent, ' ') << "Application of: " << endl;
542 function->print( os, indent + ParseNode::indent_by );
543
544 os << '\r' << string(indent, ' ') ;
545 if ( arguments ) {
546 os << "... on arguments: " << endl;
547 arguments->printList(os, indent + ParseNode::indent_by);
548 } else
549 os << "... on no arguments: " << endl;
550}
551
552void CompositeExprNode::set_function(ExpressionNode *f){
553 function = f;
554}
555
556void CompositeExprNode::set_args(ExpressionNode *args){
557 arguments = args;
558}
559
560ExpressionNode *CompositeExprNode::get_function(void) const {
561 return function;
562}
563
564ExpressionNode *CompositeExprNode::get_args(void) const {
565 return arguments;
566}
567
568void CompositeExprNode::add_arg(ExpressionNode *arg){
569 if (arguments)
570 arguments->set_link(arg);
571 else
572 set_args(arg);
573}
574
575CommaExprNode::CommaExprNode(): CompositeExprNode(new OperatorNode(OperatorNode::Comma)) {}
576
577CommaExprNode::CommaExprNode(ExpressionNode *exp) : CompositeExprNode( new OperatorNode(OperatorNode::Comma), exp ) {
578}
579
580CommaExprNode::CommaExprNode(ExpressionNode *exp1, ExpressionNode *exp2) : CompositeExprNode(new OperatorNode(OperatorNode::Comma), exp1, exp2) {
581}
582
583CommaExprNode *CommaExprNode::add_to_list(ExpressionNode *exp){
584 add_arg(exp);
585
586 return this;
587}
588
589CommaExprNode::CommaExprNode( const CommaExprNode &other ) : CompositeExprNode( other ) {
590}
591
592ValofExprNode::ValofExprNode(StatementNode *s): body(s) {}
593
594ValofExprNode::ValofExprNode( const ValofExprNode &other ) : ExpressionNode( other ), body( maybeClone( body ) ) {
595}
596
597ValofExprNode::~ValofExprNode() {
598 delete body;
599}
600
601void ValofExprNode::print( std::ostream &os, int indent ) const {
602 printDesignation(os);
603 os << string(indent, ' ') << "Valof Expression:" << std::endl;
604 get_body()->print(os, indent + 4);
605}
606
607void ValofExprNode::printOneLine( std::ostream &, int indent ) const {
608 assert( false );
609}
610
611Expression *ValofExprNode::build() const {
612 return new UntypedValofExpr ( get_body()->build(), maybeBuild< Expression >( get_argName() ) );
613}
614
615ForCtlExprNode::ForCtlExprNode(ParseNode *init_, ExpressionNode *cond, ExpressionNode *incr) throw (SemanticError) : condition(cond), change(incr) {
616 if ( init_ == 0 )
617 init = 0;
618 else {
619 DeclarationNode *decl;
620 ExpressionNode *exp;
621
622 if ((decl = dynamic_cast<DeclarationNode *>(init_)) != 0)
623 init = new StatementNode(decl);
624 else if ((exp = dynamic_cast<ExpressionNode *>(init_)) != 0)
625 init = new StatementNode(StatementNode::Exp, exp);
626 else
627 throw SemanticError("Error in for control expression");
628 }
629}
630
631ForCtlExprNode::ForCtlExprNode( const ForCtlExprNode &other )
632 : ExpressionNode( other ), init( maybeClone( other.init ) ), condition( maybeClone( other.condition ) ), change( maybeClone( other.change ) ) {
633}
634
635ForCtlExprNode::~ForCtlExprNode(){
636 delete init;
637 delete condition;
638 delete change;
639}
640
641Expression *ForCtlExprNode::build() const {
642 // this shouldn't be used!
643 assert( false );
644 return 0;
645}
646
647void ForCtlExprNode::print( std::ostream &os, int indent ) const{
648 os << string(indent,' ') << "For Control Expression -- : " << endl;
649
650 os << "\r" << string(indent + 2,' ') << "initialization: ";
651 if (init != 0)
652 init->print(os, indent + 4);
653
654 os << "\n\r" << string(indent + 2,' ') << "condition: ";
655 if (condition != 0)
656 condition->print(os, indent + 4);
657 os << "\n\r" << string(indent + 2,' ') << "increment: ";
658 if (change != 0)
659 change->print(os, indent + 4);
660}
661
662void ForCtlExprNode::printOneLine( std::ostream &, int indent ) const {
663 assert( false );
664}
665
666TypeValueNode::TypeValueNode(DeclarationNode *decl)
667 : decl( decl ) {
668}
669
670TypeValueNode::TypeValueNode( const TypeValueNode &other )
671 : ExpressionNode( other ), decl( maybeClone( other.decl ) ) {
672}
673
674Expression *TypeValueNode::build() const {
675 return new TypeExpr( decl->buildType() );
676}
677
678void TypeValueNode::print(std::ostream &os, int indent) const {
679 os << std::string( indent, ' ' ) << "Type:";
680 get_decl()->print(os, indent + 2);
681}
682
683void TypeValueNode::printOneLine(std::ostream &os, int indent) const {
684 os << "Type:";
685 get_decl()->print(os, indent + 2);
686}
687
688ExpressionNode *flattenCommas( ExpressionNode *list ) {
689 if ( CompositeExprNode *composite = dynamic_cast< CompositeExprNode * >( list ) )
690 {
691 OperatorNode *op;
692 if ( (op = dynamic_cast< OperatorNode * >( composite->get_function() )) && (op->get_type() == OperatorNode::Comma) )
693 {
694 if ( ExpressionNode *next = dynamic_cast< ExpressionNode * >( list->get_link() ) )
695 composite->add_arg( next );
696 return flattenCommas( composite->get_args() );
697 }
698 }
699
700 if ( ExpressionNode *next = dynamic_cast< ExpressionNode * >( list->get_link() ) )
701 list->set_next( flattenCommas( next ) );
702
703 return list;
704}
705
706ExpressionNode *tupleContents( ExpressionNode *tuple ) {
707 if ( CompositeExprNode *composite = dynamic_cast< CompositeExprNode * >( tuple ) ) {
708 OperatorNode *op = 0;
709 if ( (op = dynamic_cast< OperatorNode * >( composite->get_function() )) && (op->get_type() == OperatorNode::TupleC) )
710 return composite->get_args();
711 }
712 return tuple;
713}
Note: See TracBrowser for help on using the repository browser.