Changes in src/ResolvExpr/Alternative.cc [234b1cb:4e7cc5ce]

File:

• src/ResolvExpr/Alternative.cc (modified) (7 diffs)

src/ResolvExpr/Alternative.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Sat May 16 23:44:23 2015
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Thu Oct 11 10:55:00 2018
-// Update Count     : 3
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat May 16 23:54:23 2015
+// Update Count     : 2
 //
 
@@ -20 +20 @@
 #include <utility>                       // for move
 
-#include "Common/utility.h"              // for cloneAll
+#include "Common/utility.h"              // for maybeClone
 #include "ResolvExpr/Cost.h"             // for Cost, Cost::zero, operator<<
 #include "ResolvExpr/TypeEnvironment.h"  // for TypeEnvironment
@@ -27 +27 @@
 
 namespace ResolvExpr {
-        Alternative::Alternative() 
-        : cost( Cost::zero ), cvtCost( Cost::zero ), expr( nullptr ), env(), openVars(), need() {}
+        Alternative::Alternative() : cost( Cost::zero ), cvtCost( Cost::zero ), expr( nullptr ) {}
 
-        Alternative::Alternative( Expression *expr, const TypeEnvironment &env )
-        : cost( Cost::zero ), cvtCost( Cost::zero ), expr( expr ), env( env ), openVars(), need() {}
-        
-        Alternative::Alternative( const Alternative &o, Expression *expr, const Cost &cost ) 
-        : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( o.env ), openVars( o.openVars ), 
-          need() { cloneAll( o.need, need ); }
+        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost )
+                : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( env ) {}
 
-        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, 
-                const OpenVarSet& openVars, const AssertionList& oneed, const Cost& cost )
-        : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( env ), openVars( openVars ), 
-          need() { cloneAll( oneed, need ); }
+        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost, const Cost &cvtCost )
+                : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( env ) {}
 
-        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, 
-                const OpenVarSet& openVars, const AssertionList& oneed, const Cost& cost, 
-                const Cost &cvtCost )
-        : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( env ), openVars( openVars ), 
-          need() { cloneAll( oneed, need ); }
-        
-        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, 
-                const OpenVarSet &openVars, const AssertionSet &oneed, const Cost &cost)
-        : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( env ), openVars( openVars ), 
-          need() { cloneAll( oneed, need ); }
-        
-        Alternative::Alternative( Expression *expr, const TypeEnvironment &env, 
-                const OpenVarSet &openVars, const AssertionSet &oneed, const Cost &cost, 
-                const Cost& cvtCost )
-        : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( env ), openVars( openVars ), 
-          need() { cloneAll( oneed, need ); }
-        
-        Alternative::Alternative( Expression *expr, TypeEnvironment &&env, OpenVarSet &&openVars, 
-                AssertionSet &&needSet, const Cost &cost )
-        : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( std::move(env) ), 
-          openVars( std::move(openVars) ), need( needSet.begin(), needSet.end() ) {}
-        
-        Alternative::Alternative( Expression *expr, TypeEnvironment &&env, OpenVarSet &&openVars, 
-                AssertionSet &&needSet, const Cost &cost, const Cost &cvtCost )
-        : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( std::move(env) ), 
-          openVars( std::move(openVars) ), need( needSet.begin(), needSet.end() ) {}
-
-        Alternative::Alternative( const Alternative &other ) 
-        : cost( other.cost ), cvtCost( other.cvtCost ), expr( maybeClone( other.expr ) ), 
-          env( other.env ), openVars( other.openVars ), need() { cloneAll( other.need, need ); }
+        Alternative::Alternative( const Alternative &other ) : cost( other.cost ), cvtCost( other.cvtCost ), expr( maybeClone( other.expr ) ), env( other.env ) {
+        }
 
         Alternative &Alternative::operator=( const Alternative &other ) {
@@ -80 +45 @@
                 expr = maybeClone( other.expr );
                 env = other.env;
-                openVars = other.openVars;
-                need.clear();
-                cloneAll( other.need, need );
                 return *this;
         }
 
-        Alternative::Alternative( Alternative && other ) 
-        : cost( other.cost ), cvtCost( other.cvtCost ), expr( other.expr ), 
-          env( std::move( other.env ) ), openVars( std::move( other.openVars ) ), 
-          need( std::move( other.need ) ) { other.expr = nullptr; }
+        Alternative::Alternative( Alternative && other ) : cost( other.cost ), cvtCost( other.cvtCost ), expr( other.expr ), env( std::move( other.env ) ) {
+                other.expr = nullptr;
+        }
 
         Alternative & Alternative::operator=( Alternative && other ) {
@@ -98 +59 @@
                 expr = other.expr;
                 env = std::move( other.env );
-                openVars = std::move( other.openVars );
-                need = std::move( other.need );
                 other.expr = nullptr;
                 return *this;
@@ -105 +64 @@
 
         Alternative::~Alternative() {
-                for ( AssertionItem& n : need ) { delete n.decl; }
                 delete expr;
         }
@@ -120 +78 @@
                         os << "Null expression!" << std::endl;
                 } // if
-                os << indent << "Environment:";
+                os << indent << "Environment: ";
                 env.print( os, indent+1 );
                 os << std::endl;
+        }
+
+        void splice( AltList& dst, AltList& src ) {
+                dst.reserve( dst.size() + src.size() );
+                for ( Alternative& alt : src ) {
+                        dst.push_back( std::move(alt) );
+                }
+                src.clear();
+        }
+
+        void spliceBegin( AltList& dst, AltList& src ) {
+                splice( src, dst );
+                dst.swap( src );
         }