Changes in src/SynTree/Expression.cc [630a82a:e04ef3a]

File:

• src/SynTree/Expression.cc (modified) (15 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)
@@ -212 +217 @@
 
         os << " of ";
+
+        if ( type ) {
+                type->print(os, indent + 2);
+        } else {
+                os << "<NULL>";
+        }
+
+        os << std::endl;
+        Expression::print( os, indent );
+}
+
+OffsetPackExpr::OffsetPackExpr( StructInstType *type_, Expression *aname_ ) : Expression( aname_ ), type( type_ ) {
+        add_result( new ArrayType( Type::Qualifiers(), new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt ), 0, false, false ) );
+}
+
+OffsetPackExpr::OffsetPackExpr( const OffsetPackExpr &other ) : Expression( other ), type( maybeClone( other.type ) ) {}
+
+OffsetPackExpr::~OffsetPackExpr() { delete type; }
+
+void OffsetPackExpr::print( std::ostream &os, int indent ) const {
+        os << std::string( indent, ' ' ) << "Offset pack expression on ";
 
         if ( type ) {
@@ -274 +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;
@@ -297 +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 );
 }
@@ -324 +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 );
@@ -333 +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 );
 }
@@ -351 +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 );
 }
@@ -360 +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);
+        }
 }
 
@@ -372 +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 );
 }
@@ -433 +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 ) ) {}