Changes in src/Parser/DeclarationNode.cc [de62360d:721f17a]

File:

• src/Parser/DeclarationNode.cc (modified) (10 diffs)

src/Parser/DeclarationNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 24 15:29:19 2015
-// Update Count     : 86
+// Last Modified On : Fri Jun 26 23:36:03 2015
+// Update Count     : 105
 //
 
@@ -173 +173 @@
 }
 
-DeclarationNode *DeclarationNode::newAggregate( Aggregate kind, std::string *name, DeclarationNode *formals, ExpressionNode *actuals, DeclarationNode *fields ) {
+DeclarationNode *DeclarationNode::newAggregate( Aggregate kind, std::string *name, ExpressionNode *actuals, DeclarationNode *fields ) {
         DeclarationNode *newnode = new DeclarationNode;
         newnode->type = new TypeData( TypeData::Aggregate );
@@ -189 +189 @@
         newnode->appendList( typedf->addType( newnode->clone() )->addTypedef() );
 
-        newnode->type->aggregate->params = formals;
         newnode->type->aggregate->actuals = actuals;
-        newnode->type->aggregate->members = fields;
+        newnode->type->aggregate->fields = fields;
         return newnode;
 }
@@ -251 +250 @@
         newnode->type->aggregate->kind = Context;
         newnode->type->aggregate->params = params;
-        newnode->type->aggregate->members = asserts;
+        newnode->type->aggregate->fields = asserts;
         newnode->type->aggregate->name = assign_strptr( name );
         return newnode;
@@ -371 +370 @@
                                         if ( type->kind == TypeData::Aggregate ) {
                                                 type->aggregate->params = q->type->forall;
+                                                // change implicit typedef from TYPEDEFname to TYPEGENname
+                                                typedefTable.changeKind( type->aggregate->name, TypedefTable::TG );
                                         } else {
                                                 type->forall = q->type->forall;
@@ -407 +408 @@
                                 src = 0;
                                 break;
-
                           case TypeData::Basic:
                                 dst->qualifiers.splice( dst->qualifiers.end(), src->qualifiers );
@@ -416 +416 @@
                                 } // if
                                 break;
-
                           default:
                                 switch ( src->kind ) {
@@ -429 +428 @@
                                         src = 0;
                                         break;
-
                                   default:
                                         if ( dst->forall ) {
@@ -684 +682 @@
                 } else {
                         assert( newnode->type->aggInst->aggregate->kind == TypeData::Aggregate );
-                        delete newnode->type->aggInst->aggregate->aggregate->members;
-                        newnode->type->aggInst->aggregate->aggregate->members = 0;
+                        delete newnode->type->aggInst->aggregate->aggregate->fields;
+                        newnode->type->aggInst->aggregate->aggregate->fields = 0;
                 } // if
         } // if
@@ -710 +708 @@
                                 } else {
                                         assert( newType->aggInst->aggregate->kind == TypeData::Aggregate );
-                                        delete newType->aggInst->aggregate->aggregate->members;
-                                        newType->aggInst->aggregate->aggregate->members = 0;
+                                        delete newType->aggInst->aggregate->aggregate->fields;
+                                        newType->aggInst->aggregate->aggregate->fields = 0;
                                 } // if
                         } // if