Changeset f80e0218 for src/SynTree/Expression.cc

Timestamp:

Jun 30, 2016, 4:32:56 PM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

ea29e73

Parents:

1b5c81ed (diff), 84d4d6f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into gc_noraii

Conflicts:

Jenkinsfile
src/SymTab/Validate.cc

File:

• src/SynTree/Expression.cc (modified) (14 diffs)

src/SynTree/Expression.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Apr  8 17:16:23 2016
-// Update Count     : 40
+// Last Modified On : Mon Jun 13 16:03:39 2016
+// Update Count     : 42
 //
 
@@ -32 +32 @@
 Expression::Expression( Expression *_aname ) : env( 0 ), argName( _aname ) {}
 
-Expression::Expression( const Expression &other ) : env( maybeClone( other.env ) ), argName( maybeClone( other.get_argName() ) ) {
+Expression::Expression( const Expression &other ) : env( maybeClone( other.env ) ), argName( maybeClone( other.get_argName() ) ), extension( other.extension ) {
         cloneAll( other.results, results );
 }
@@ -60 +60 @@
                 argName->print( os, indent+2 );
         } // if
+
+        if ( extension ) {
+                os << std::string( indent, ' ' ) << "with extension:";
+        } // if
 }
 
@@ -72 +76 @@
 
 void ConstantExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "constant expression " ;
+        os << "constant expression " ;
         constant.print( os );
         Expression::print( os, indent );
-        os << std::endl;
 }
 
 VariableExpr::VariableExpr( DeclarationWithType *_var, Expression *_aname ) : Expression( _aname ), var( _var ) {
+        assert( var );
+        assert( var->get_type() );
         add_result( var->get_type()->clone() );
         for ( std::list< Type* >::iterator i = get_results().begin(); i != get_results().end(); ++i ) {
@@ -93 +98 @@
 
 void VariableExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Variable Expression: ";
+        os << "Variable Expression: ";
 
         Declaration *decl = get_var();
@@ -122 +127 @@
 
 void SizeofExpr::print( std::ostream &os, int indent) const {
-        os << std::string( indent, ' ' ) << "Sizeof Expression on: ";
+        os << "Sizeof Expression on: ";
 
         if (isType)
@@ -295 +300 @@
 
 void CastExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Cast of:" << std::endl;
+        os << "Cast of:" << std::endl << std::string( indent+2, ' ' );
         arg->print(os, indent+2);
         os << std::endl << std::string( indent, ' ' ) << "to:" << std::endl;
@@ -318 +323 @@
 
 void UntypedMemberExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Member Expression, with field: " << get_member();
+        os << "Untyped Member Expression, with field: " << get_member();
 
         Expression *agg = get_aggregate();
-        os << std::string( indent, ' ' ) << "from aggregate: ";
-        if (agg != 0) agg->print(os, indent + 2);
+        os << ", from aggregate: ";
+        if (agg != 0) {
+                os << std::string( indent + 2, ' ' );
+                agg->print(os, indent + 2);
+        }
+        os << std::string( indent+2, ' ' );
         Expression::print( os, indent );
 }
@@ -345 +354 @@
 
 void MemberExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Member Expression, with field: " << std::endl;
+        os << "Member Expression, with field: " << std::endl;
 
         assert( member );
@@ -354 +363 @@
         Expression *agg = get_aggregate();
         os << std::string( indent, ' ' ) << "from aggregate: " << std::endl;
-        if (agg != 0) agg->print(os, indent + 2);
+        if (agg != 0) {
+                os << std::string( indent + 2, ' ' );
+                agg->print(os, indent + 2);
+        }
+        os << std::string( indent+2, ' ' );
         Expression::print( os, indent );
 }
@@ -372 +385 @@
 
 void UntypedExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Applying untyped: " << std::endl;
-        function->print(os, indent + 4);
+        os << "Applying untyped: " << std::endl;
+        os << std::string( indent+2, ' ' );
+        function->print(os, indent + 2);
         os << std::string( indent, ' ' ) << "...to: " << std::endl;
-        printArgs(os, indent + 4);
+        printAll(args, os, indent + 2);
         Expression::print( os, indent );
 }
@@ -381 +395 @@
 void UntypedExpr::printArgs( std::ostream &os, int indent ) const {
         std::list<Expression *>::const_iterator i;
-        for (i = args.begin(); i != args.end(); i++)
+        for (i = args.begin(); i != args.end(); i++) {
+                os << std::string(indent, ' ' );
                 (*i)->print(os, indent);
+        }
 }
 
@@ -393 +409 @@
 
 void NameExpr::print( std::ostream &os, int indent ) const {
-        os << std::string( indent, ' ' ) << "Name: " << get_name() << std::endl;
+        os << "Name: " << get_name() << std::endl;
         Expression::print( os, indent );
 }
@@ -454 +470 @@
 }
 
+
+ImplicitCopyCtorExpr::ImplicitCopyCtorExpr( ApplicationExpr * callExpr ) : callExpr( callExpr ) {
+        assert( callExpr );
+        cloneAll( callExpr->get_results(), results );
+}
+
+ImplicitCopyCtorExpr::ImplicitCopyCtorExpr( const ImplicitCopyCtorExpr & other ) : Expression( other ), callExpr( maybeClone( other.callExpr ) ) {
+        cloneAll( other.tempDecls, tempDecls );
+        cloneAll( other.returnDecls, returnDecls );
+        cloneAll( other.dtors, dtors );
+}
+
+ImplicitCopyCtorExpr::~ImplicitCopyCtorExpr() {
+        delete callExpr;
+        deleteAll( tempDecls );
+        deleteAll( returnDecls );
+        deleteAll( dtors );
+}
+
+void ImplicitCopyCtorExpr::print( std::ostream &os, int indent ) const {
+        os << std::string( indent, ' ' ) <<  "Implicit Copy Constructor Expression: " << std::endl;
+        assert( callExpr );
+        callExpr->print( os, indent + 2 );
+        os << std::endl << std::string( indent, ' ' ) << "with temporaries:" << std::endl;
+        printAll(tempDecls, os, indent+2);
+        os << std::endl << std::string( indent, ' ' ) << "with return temporaries:" << std::endl;
+        printAll(returnDecls, os, indent+2);
+        Expression::print( os, indent );
+}
+
 UntypedValofExpr::UntypedValofExpr( const UntypedValofExpr & other ) : Expression( other ), body ( maybeClone( other.body ) ) {}