X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/f0dcb6b97d6d40f67698d1f71ac26970f1776f82..26ade07ab0e62b98b452fbbd18edba0450035e35:/types.h

diff --git a/types.h b/types.h
index 888cd68..7de35e9 100644
--- a/types.h
+++ b/types.h
@@ -4,14 +4,6 @@
 #include <sys/types.h>
 
 #include <algorithm>
-using std::copy;
-using std::count_if;
-using std::find;
-using std::max;
-using std::min;
-using std::min_element;
-using std::move;
-using std::swap;
 
 #include <condition_variable>
 using cond = std::condition_variable;
@@ -29,31 +21,15 @@ using std::chrono::time_point;
 using std::chrono::time_point_cast;
 
 #include <exception>
-using std::exception;
 
 #include <fstream>
 using std::ifstream;
 using std::ofstream;
 
 #include <functional>
-// std::bind conflicts with BIND(2)
-using std::function;
-using std::placeholders::_1;
 
 #include <iomanip>
 #include <iostream>
-using std::cout;
-using std::cerr;
-using std::endl;
-using std::dec;
-using std::hex;
-using std::left;
-using std::setw;
-using std::setfill;
-using std::setprecision;
-using std::ostream;
-using std::istream;
-using std::ios;
 
 #include <limits>
 using std::numeric_limits;
@@ -75,9 +51,10 @@ using std::weak_ptr;
 using std::mutex;
 using lock = std::unique_lock<std::mutex>;
 
+#include <stdexcept>
+using std::runtime_error;
+
 #include <sstream>
-using std::ostringstream;
-using std::istringstream;
 
 #include <string>
 using std::string;
@@ -136,15 +113,27 @@ using enum_type_t = typename enable_if<is_enum<E>::value, typename underlying_ty
 template<typename E> constexpr inline enum_type_t<E> from_enum(E e) noexcept { return (enum_type_t<E>)e; }
 template<typename E> constexpr inline E to_enum(enum_type_t<E> value) noexcept { return (E)value; }
 
+
+template <class A, typename I=void> struct is_tuple_convertible : false_type {};
+
+template<class A> struct is_tuple_convertible<A,
+    decltype(declval<A &>()._tuple_(), void())
+> : true_type {};
+
 // string manipulation
 
+template <class A, class B>
+std::ostream & operator<<(std::ostream & o, const pair<A,B> & d) {
+    return o << "<" << d.first << "," << d.second << ">";
+}
+
 template <class C>
 inline typename enable_if<is_const_iterable<C>::value, string>::type
 implode(const C & v, string delim=" ") {
     auto i=v.cbegin(), end=v.cend();
     if (i == end)
         return string();
-    ostringstream oss;
+    std::ostringstream oss;
     oss << *i++;
     while (i != end)
         oss << delim << *i++;
@@ -162,11 +151,17 @@ inline vector<string> explode(const string & s, string delim=" ") {
     return out;
 }
 
+template <class A>
+typename enable_if<is_const_iterable<A>::value && !is_same<A,string>::value, std::ostream>::type &
+operator<<(std::ostream & o, const A & a) {
+    return o << "[" << implode(a, ", ") << "]";
+}
+
 #include "verify.h"
 #include "threaded_log.h"
 
-// struct tuple adapter, useful for marshalling
-// used like
+// struct tuple adapter, useful for marshalling and endian swapping.  usage:
+//
 // struct foo {
 //     int a, b;
 //     MEMBERS(a, b)
@@ -176,12 +171,9 @@ inline vector<string> explode(const string & s, string delim=" ") {
 inline auto _tuple_() -> decltype(tie(__VA_ARGS__)) { return tie(__VA_ARGS__); } \
 inline auto _tuple_() const -> decltype(tie(__VA_ARGS__)) { return tie(__VA_ARGS__); }
 
-// struct ordering and comparison
-// used like
-// struct foo {
-//     int a, b;
-//     MEMBERS(a, b)
-// };
+// struct ordering and comparison operations; requires the use of MEMBERS.
+// usage:
+//
 // LEXICOGRAPHIC_COMPARISON(foo)
 
 #define LEXICOGRAPHIC_OPERATOR(_c_, _op_) \
@@ -209,6 +201,8 @@ template <size_t E, size_t S=0> struct make_tuple_indices {
     typedef typename make_indices_imp<S, tuple_indices<>, E>::type type;
 };
 
+#define TUPLE_INDICES(_ArgPack_) typename make_tuple_indices<sizeof...(_ArgPack_)>::type()
+
 // Template parameter pack expansion is not allowed in certain contexts, but
 // brace initializers (for instance, calls to constructors of empty structs)
 // are fair game.