Changeset 54dd994 for src/Common/utility.h

Timestamp:

Jun 24, 2019, 10:30:47 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

84917e2

Parents:

3c6e417 (diff), 9e0a360 (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Common/utility.h (modified) (3 diffs)

src/Common/utility.h

@@ -16 +16 @@
 #pragma once
 
+#include <cassert>
 #include <cctype>
 #include <algorithm>
@@ -27 +28 @@
 #include <type_traits>
 #include <utility>
-
-#include <cassert>
+#include <vector>
 
 #include "Common/Indenter.h"
 
 class Expression;
+
+/// bring std::move into global scope
+using std::move;
+
+/// partner to move that copies any copyable type
+template<typename T>
+T copy( const T & x ) { return x; }
 
 template< typename T >
@@ -145 +152 @@
                 return ret;
         } // switch
+}
+
+/// Splice src onto the end of dst, clearing src
+template< typename T >
+void splice( std::vector< T > & dst, std::vector< T > & src ) {
+        dst.reserve( dst.size() + src.size() );
+        for ( T & x : src ) { dst.emplace_back( std::move( x ) ); }
+        src.clear();
+}
+
+/// Splice src onto the begining of dst, clearing src
+template< typename T >
+void spliceBegin( std::vector< T > & dst, std::vector< T > & src ) {
+        splice( src, dst );
+        dst.swap( src );
 }