Changeset 99614c2

Timestamp:

Feb 14, 2019, 4:27:49 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

no_list

Children:

43e0949

Parents:

80eefcb

Message:

InitAlternatives? are now in vectors

Location:

src

Files:

• ResolvExpr/CurrentObject.cc (modified) (12 diffs)
• ResolvExpr/CurrentObject.h (modified) (2 diffs)
• ResolvExpr/Resolver.cc (modified) (1 diff)
• SynTree/Expression.cc (modified) (1 diff)
• SynTree/Expression.h (modified) (3 diffs)

src/ResolvExpr/CurrentObject.cc

@@ -65 +65 @@
                 virtual void setPosition( std::list< Expression * > & designators ) = 0;
 
-                /// retrieve the list of possible Type/Designaton pairs for the current position in the currect object
-                virtual std::list<InitAlternative> operator*() const = 0;
+                /// retrieve the vector of possible Type/Designaton pairs for the current position in the currect object
+                virtual std::vector<InitAlternative> operator*() const = 0;
 
                 /// true if the iterator is not currently at the end
@@ -88 +88 @@
                 /// helper for operator*; aggregates must add designator to each init alternative, but
                 /// adding designators in operator* creates duplicates.
-                virtual std::list<InitAlternative> first() const = 0; // should be protected
+                virtual std::vector<InitAlternative> first() const = 0; // should be protected
         };
 
@@ -109 +109 @@
                 }
 
-                virtual std::list<InitAlternative> operator*() const { return first(); }
+                virtual std::vector<InitAlternative> operator*() const { return first(); }
                 virtual operator bool() const { return type; }
 
@@ -127 +127 @@
 
         protected:
-                virtual std::list<InitAlternative> first() const {
-                        if ( type ) return std::list<InitAlternative>{ { type->clone(), new Designation( {} ) } };
-                        else return std::list<InitAlternative>{};
+                virtual std::vector<InitAlternative> first() const {
+                        if ( type ) return std::vector<InitAlternative>{ { type->clone(), new Designation( {} ) } };
+                        else return std::vector<InitAlternative>{};
                 }
         private:
@@ -192 +192 @@
                 }
 
-                virtual std::list<InitAlternative> operator*() const {
+                virtual std::vector<InitAlternative> operator*() const {
                         return first();
                 }
@@ -223 +223 @@
                 virtual Type * getNext() { return base; }
 
-                virtual std::list<InitAlternative> first() const {
+                virtual std::vector<InitAlternative> first() const {
                         PRINT( std::cerr << "first in ArrayIterator (" << index << "/" << size << ")" << std::endl; )
                         if ( memberIter && *memberIter ) {
-                                std::list<InitAlternative> ret = memberIter->first();
+                                std::vector<InitAlternative> ret = memberIter->first();
                                 for ( InitAlternative & alt : ret ) {
                                         alt.designation->get_designators().push_front( new ConstantExpr( Constant::from_ulong( index ) ) );
@@ -232 +232 @@
                                 return ret;
                         }
-                        return std::list<InitAlternative>();
+                        return std::vector<InitAlternative>();
                 }
 
@@ -288 +288 @@
                 }
 
-                virtual std::list<InitAlternative> operator*() const {
+                virtual std::vector<InitAlternative> operator*() const {
                         if (memberIter && *memberIter) {
-                                std::list<InitAlternative> ret = memberIter->first();
+                                std::vector<InitAlternative> ret = memberIter->first();
                                 PRINT( std::cerr << "sub: " << sub << std::endl; )
                                 for ( InitAlternative & alt : ret ) {
@@ -302 +302 @@
                                 return ret;
                         }
-                        return std::list<InitAlternative>();
+                        return std::vector<InitAlternative>();
                 }
 
@@ -346 +346 @@
                 }
 
-                virtual std::list<InitAlternative> first() const {
-                        std::list<InitAlternative> ret;
+                virtual std::vector<InitAlternative> first() const {
+                        std::vector<InitAlternative> ret;
                         PRINT( std::cerr << "first " << kind << std::endl; )
                         if ( memberIter && *memberIter ) { // might not need *memberIter??
@@ -361 +361 @@
                                 // only add self if at the very beginning of the structure
                                 PRINT( std::cerr << "adding self" << std::endl; )
-                                ret.push_front( { inst->clone(), new Designation( {} ) } );
+                                ret.insert(ret.begin(), { inst->clone(), new Designation( {} ) } );
                         }
                         return ret;
@@ -566 +566 @@
         }
 
-        std::list< InitAlternative > CurrentObject::getOptions() {
+        std::vector< InitAlternative > CurrentObject::getOptions() {
                 PRINT( std::cerr << "____getting current options" << std::endl; )
                 assertf( ! objStack.empty(), "objstack empty in getOptions" );

src/ResolvExpr/CurrentObject.h

@@ -16 +16 @@
 #pragma once
 
-#include <list>   // for list
+#include <vector> // for vector
 #include <stack>  // for stack
 
@@ -43 +43 @@
                 void exitListInit();
                 /// produces a list of alternatives (Type *, Designation *) for the current sub-object's initializer
-                std::list< InitAlternative > getOptions();
+                std::vector< InitAlternative > getOptions();
                 /// produces the type of the current object but no subobjects
                 Type * getCurrentType();

src/ResolvExpr/Resolver.cc

@@ -513 +513 @@
         void Resolver::previsit( CaseStmt *caseStmt ) {
                 if ( caseStmt->condition ) {
-                        std::list< InitAlternative > initAlts = currentObject.getOptions();
+                        const auto & initAlts = currentObject.getOptions();
                         assertf( initAlts.size() == 1, "SwitchStmt did not correctly resolve an integral expression." );
                         // must remove cast from case statement because RangeExpr cannot be cast.

src/SynTree/Expression.cc

@@ -698 +698 @@
 }
 
-UntypedInitExpr::UntypedInitExpr( Expression * expr, const std::list<InitAlternative> & initAlts ) : expr( expr ), initAlts( initAlts ) {}
+UntypedInitExpr::UntypedInitExpr( Expression * expr, const std::vector<InitAlternative> & initAlts ) : expr( expr ), initAlts( initAlts ) {}
 UntypedInitExpr::UntypedInitExpr( const UntypedInitExpr & other ) : Expression( other ), expr( maybeClone( other.expr ) ), initAlts( other.initAlts ) {}
 UntypedInitExpr::~UntypedInitExpr() {

src/SynTree/Expression.h

@@ -62 +62 @@
         InferredParams inferParams;       ///< Post-resolution inferred parameter slots
         std::vector<UniqueId> resnSlots;  ///< Pre-resolution inferred parameter slots
-        
+
         // xxx - should turn inferParams+resnSlots into a union to save some memory
 
@@ -813 +813 @@
 public:
         Expression * expr;
-        std::list<InitAlternative> initAlts;
-
-        UntypedInitExpr( Expression * expr, const std::list<InitAlternative> & initAlts );
+        std::vector<InitAlternative> initAlts;
+
+        UntypedInitExpr( Expression * expr, const std::vector<InitAlternative> & initAlts );
         UntypedInitExpr( const UntypedInitExpr & other );
         ~UntypedInitExpr();
@@ -822 +822 @@
         UntypedInitExpr * set_expr( Expression * newValue ) { expr = newValue; return this; }
 
-        std::list<InitAlternative> & get_initAlts() { return initAlts; }
+        std::vector<InitAlternative> & get_initAlts() { return initAlts; }
 
         virtual UntypedInitExpr * clone() const { return new UntypedInitExpr( * this ); }