595 lines
		
	
	
		
			20 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			595 lines
		
	
	
		
			20 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| // This file is distributed under the BSD License.
 | |
| // See "license.txt" for details.
 | |
| // Copyright 2009-2012, Jonathan Turner (jonathan@emptycrate.com)
 | |
| // Copyright 2009-2015, Jason Turner (jason@emptycrate.com)
 | |
| // http://www.chaiscript.com
 | |
| 
 | |
| /// \file
 | |
| /// This file contains utility functions for registration of STL container
 | |
| /// classes. The methodology used is based on the SGI STL concepts.
 | |
| /// http://www.sgi.com/tech/stl/table_of_contents.html
 | |
| 
 | |
| 
 | |
| #ifndef CHAISCRIPT_BOOTSTRAP_STL_HPP_
 | |
| #define CHAISCRIPT_BOOTSTRAP_STL_HPP_
 | |
| 
 | |
| #include <functional>
 | |
| #include <memory>
 | |
| #include <stdexcept>
 | |
| #include <typeinfo>
 | |
| #include <vector>
 | |
| 
 | |
| #include "bootstrap.hpp"
 | |
| #include "boxed_value.hpp"
 | |
| #include "dispatchkit.hpp"
 | |
| #include "operators.hpp"
 | |
| #include "proxy_constructors.hpp"
 | |
| #include "register_function.hpp"
 | |
| #include "type_info.hpp"
 | |
| 
 | |
| namespace chaiscript 
 | |
| {
 | |
|   namespace bootstrap
 | |
|   {
 | |
|     namespace standard_library
 | |
|     {
 | |
| 
 | |
|       /// Bidir_Range, based on the D concept of ranges.
 | |
|       /// \todo Update the Range code to base its capabilities on
 | |
|       ///       the user_typetraits of the iterator passed in
 | |
|       template<typename Container>
 | |
|         struct Bidir_Range
 | |
|         {
 | |
|           typedef Container container_type;
 | |
|           typedef typename std::iterator_traits<typename Container::iterator>::reference reference_type;
 | |
| 
 | |
|           Bidir_Range(Container &c)
 | |
|             : m_begin(c.begin()), m_end(c.end())
 | |
|           {
 | |
|           }
 | |
| 
 | |
|           bool empty() const
 | |
|           {
 | |
|             return m_begin == m_end;
 | |
|           }
 | |
| 
 | |
|           void pop_front()
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             ++m_begin;
 | |
|           }
 | |
| 
 | |
|           void pop_back()
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             --m_end;
 | |
|           }
 | |
| 
 | |
|           reference_type front() const
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             return *m_begin;
 | |
|           }
 | |
| 
 | |
|           reference_type back() const
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             typename Container::iterator pos = m_end;
 | |
|             --pos;
 | |
|             return *(pos);
 | |
|           }
 | |
| 
 | |
|           typename Container::iterator m_begin;
 | |
|           typename Container::iterator m_end;
 | |
|         };
 | |
| 
 | |
|       template<typename Container>
 | |
|         struct Const_Bidir_Range
 | |
|         {
 | |
|           typedef const Container container_type;
 | |
|           typedef typename std::iterator_traits<typename Container::const_iterator>::reference const_reference_type;
 | |
| 
 | |
|           Const_Bidir_Range(const Container &c)
 | |
|             : m_begin(c.begin()), m_end(c.end())
 | |
|           {
 | |
|           }
 | |
| 
 | |
|           bool empty() const
 | |
|           {
 | |
|             return m_begin == m_end;
 | |
|           }
 | |
| 
 | |
|           void pop_front()
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             ++m_begin;
 | |
|           }
 | |
| 
 | |
|           void pop_back()
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             --m_end;
 | |
|           }
 | |
| 
 | |
|           const_reference_type front() const
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             return *m_begin;
 | |
|           }
 | |
| 
 | |
|           const_reference_type back() const
 | |
|           {
 | |
|             if (empty())
 | |
|             {
 | |
|               throw std::range_error("Range empty");
 | |
|             }
 | |
|             typename Container::const_iterator pos = m_end;
 | |
|             --pos;
 | |
|             return *(pos);
 | |
|           }
 | |
| 
 | |
|           typename Container::const_iterator m_begin;
 | |
|           typename Container::const_iterator m_end;
 | |
|         };
 | |
| 
 | |
|       namespace detail {
 | |
| 
 | |
|         template<typename T>
 | |
|         size_t count(const T &t_target, const typename T::key_type &t_key)
 | |
|         {
 | |
|           return t_target.count(t_key);
 | |
|         }
 | |
| 
 | |
|         template<typename T>
 | |
|           void insert(T &t_target, const T &t_other)
 | |
|           {
 | |
|             t_target.insert(t_other.begin(), t_other.end());
 | |
|           }
 | |
| 
 | |
|         template<typename T>
 | |
|           void insert_ref(T &t_target, const typename T::value_type &t_val)
 | |
|           {
 | |
|             t_target.insert(t_val);
 | |
|           }
 | |
| 
 | |
| 
 | |
| 
 | |
|         /// Add Bidir_Range support for the given ContainerType
 | |
|         template<typename Bidir_Type>
 | |
|           ModulePtr input_range_type_impl(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|           {
 | |
|             m->add(user_type<Bidir_Type>(), type + "_Range");
 | |
| 
 | |
|             copy_constructor<Bidir_Type>(type + "_Range", m);
 | |
| 
 | |
|             m->add(constructor<Bidir_Type (typename Bidir_Type::container_type &)>(), "range_internal");
 | |
| 
 | |
|             m->add(fun(&Bidir_Type::empty), "empty");
 | |
|             m->add(fun(&Bidir_Type::pop_front), "pop_front");
 | |
|             m->add(fun(&Bidir_Type::front), "front");
 | |
|             m->add(fun(&Bidir_Type::pop_back), "pop_back");
 | |
|             m->add(fun(&Bidir_Type::back), "back");
 | |
| 
 | |
|             return m;
 | |
|           } 
 | |
| 
 | |
| 
 | |
|         /// Algorithm for inserting at a specific position into a container
 | |
|         template<typename Type>
 | |
|           void insert_at(Type &container, int pos, const typename Type::value_type &v)
 | |
|           {
 | |
|             auto itr = container.begin();
 | |
|             auto end = container.end();
 | |
| 
 | |
|             if (pos < 0 || std::distance(itr, end) < pos)
 | |
|             {
 | |
|               throw std::range_error("Cannot insert past end of range");
 | |
|             }
 | |
| 
 | |
|             std::advance(itr, pos);
 | |
|             container.insert(itr, v);
 | |
|           }
 | |
| 
 | |
| 
 | |
|         /// Algorithm for erasing a specific position from a container
 | |
|         template<typename Type>
 | |
|           void erase_at(Type &container, int pos)
 | |
|           {
 | |
|             auto itr = container.begin();
 | |
|             auto end = container.end();
 | |
| 
 | |
|             if (pos < 0 || std::distance(itr, end) < (pos-1))
 | |
|             {
 | |
|               throw std::range_error("Cannot erase past end of range");
 | |
|             }
 | |
| 
 | |
|             std::advance(itr, pos);
 | |
|             container.erase(itr);
 | |
|           }
 | |
|       }
 | |
| 
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr input_range_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           detail::input_range_type_impl<Bidir_Range<ContainerType> >(type,m);
 | |
|           detail::input_range_type_impl<Const_Bidir_Range<ContainerType> >("Const_" + type, m);
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add random_access_container concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/RandomAccessContainer.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr random_access_container_type(const std::string &/*type*/, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           //In the interest of runtime safety for the m, we prefer the at() method for [] access,
 | |
|           //to throw an exception in an out of bounds condition.
 | |
|           m->add(
 | |
|               fun(
 | |
|                 [](ContainerType &c, int index) -> typename ContainerType::reference {
 | |
|                   return c.at(index);
 | |
|                 }), "[]");
 | |
| 
 | |
|           m->add(
 | |
|               fun(
 | |
|                 [](const ContainerType &c, int index) -> typename ContainerType::const_reference {
 | |
|                   return c.at(index);
 | |
|                 }), "[]");
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add assignable concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/Assignable.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr assignable_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           copy_constructor<ContainerType>(type, m);
 | |
|           operators::assign<ContainerType>(m);
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add container concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/Container.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr container_type(const std::string &/*type*/, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(fun([](const ContainerType *a) { return a->size(); } ), "size");
 | |
|           m->add(fun([](const ContainerType *a) { return a->empty(); } ), "empty");
 | |
|           m->add(fun([](ContainerType *a) { a->clear(); } ), "clear");
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add default constructable concept to the given Type
 | |
|       /// http://www.sgi.com/tech/stl/DefaultConstructible.html
 | |
|       template<typename Type>
 | |
|         ModulePtr default_constructible_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(constructor<Type ()>(), type);
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
| 
 | |
| 
 | |
|       /// Add sequence concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/Sequence.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr sequence_type(const std::string &/*type*/, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(fun(&detail::insert_at<ContainerType>), 
 | |
|               []()->std::string{
 | |
|                 if (typeid(typename ContainerType::value_type) == typeid(Boxed_Value)) {
 | |
|                   return "insert_ref_at";
 | |
|                 } else {
 | |
|                   return "insert_at";
 | |
|                 }
 | |
|               }());
 | |
| 
 | |
|           m->add(fun(&detail::erase_at<ContainerType>), "erase_at");
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add back insertion sequence concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/BackInsertionSequence.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr back_insertion_sequence_type(const std::string &/*type*/, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           typedef typename ContainerType::reference (ContainerType::*backptr)();
 | |
| 
 | |
|           m->add(fun(static_cast<backptr>(&ContainerType::back)), "back");
 | |
| 
 | |
| 
 | |
|           typedef void (ContainerType::*push_back)(const typename ContainerType::value_type &);
 | |
|           m->add(fun(static_cast<push_back>(&ContainerType::push_back)),
 | |
|               []()->std::string{
 | |
|                 if (typeid(typename ContainerType::value_type) == typeid(Boxed_Value)) {
 | |
|                   return "push_back_ref";
 | |
|                 } else {
 | |
|                   return "push_back";
 | |
|                 }
 | |
|               }());
 | |
| 
 | |
|           m->add(fun(&ContainerType::pop_back), "pop_back");
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
| 
 | |
|       /// Front insertion sequence
 | |
|       /// http://www.sgi.com/tech/stl/FrontInsertionSequence.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr front_insertion_sequence_type(const std::string &, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           typedef typename ContainerType::reference (ContainerType::*front_ptr)();
 | |
|           typedef typename ContainerType::const_reference (ContainerType::*const_front_ptr)() const;
 | |
|           typedef void (ContainerType::*push_ptr)(typename ContainerType::const_reference);
 | |
|           typedef void (ContainerType::*pop_ptr)();
 | |
| 
 | |
|           m->add(fun(static_cast<front_ptr>(&ContainerType::front)), "front");
 | |
|           m->add(fun(static_cast<const_front_ptr>(&ContainerType::front)), "front");
 | |
| 
 | |
|           m->add(fun(static_cast<push_ptr>(&ContainerType::push_front)),
 | |
|               []()->std::string{
 | |
|                 if (typeid(typename ContainerType::value_type) == typeid(Boxed_Value)) {
 | |
|                   return "push_front_ref";
 | |
|                 } else {
 | |
|                   return "push_front";
 | |
|                 }
 | |
|               }());
 | |
| 
 | |
|           m->add(fun(static_cast<pop_ptr>(&ContainerType::pop_front)), "pop_front");
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// bootstrap a given PairType
 | |
|       /// http://www.sgi.com/tech/stl/pair.html
 | |
|       template<typename PairType>
 | |
|         ModulePtr pair_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<PairType>(), type);
 | |
| 
 | |
| 
 | |
|           typename PairType::first_type PairType::* f = &PairType::first;
 | |
|           typename PairType::second_type PairType::* s = &PairType::second;
 | |
| 
 | |
|           m->add(fun(f), "first");
 | |
|           m->add(fun(s), "second");
 | |
| 
 | |
|           basic_constructors<PairType>(type, m);
 | |
|           m->add(constructor<PairType (const typename PairType::first_type &, const typename PairType::second_type &)>(), type);
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
| 
 | |
|       /// Add pair associative container concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/PairAssociativeContainer.html
 | |
| 
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr pair_associative_container_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           pair_type<typename ContainerType::value_type>(type + "_Pair", m);
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add unique associative container concept to the given ContainerType
 | |
|       /// http://www.sgi.com/tech/stl/UniqueAssociativeContainer.html
 | |
|       template<typename ContainerType>
 | |
|         ModulePtr unique_associative_container_type(const std::string &/*type*/, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(fun(detail::count<ContainerType>), "count");
 | |
| 
 | |
|           typedef size_t (ContainerType::*erase_ptr)(const typename ContainerType::key_type &);
 | |
| 
 | |
|           m->add(fun(static_cast<erase_ptr>(&ContainerType::erase)), "erase");
 | |
| 
 | |
|           m->add(fun(&detail::insert<ContainerType>), "insert");
 | |
| 
 | |
|           m->add(fun(&detail::insert_ref<ContainerType>), 
 | |
|               []()->std::string{
 | |
|                 if (typeid(typename ContainerType::mapped_type) == typeid(Boxed_Value)) {
 | |
|                   return "insert_ref";
 | |
|                 } else {
 | |
|                   return "insert";
 | |
|                 }
 | |
|               }());
 | |
| 
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Add a MapType container
 | |
|       /// http://www.sgi.com/tech/stl/Map.html
 | |
|       template<typename MapType>
 | |
|         ModulePtr map_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<MapType>(), type);
 | |
| 
 | |
|           typedef typename MapType::mapped_type &(MapType::*elem_access)(const typename MapType::key_type &);
 | |
|           typedef const typename MapType::mapped_type &(MapType::*const_elem_access)(const typename MapType::key_type &) const;
 | |
| 
 | |
|           m->add(fun(static_cast<elem_access>(&MapType::operator[])), "[]");
 | |
| 
 | |
|           m->add(fun(static_cast<elem_access>(&MapType::at)), "at");
 | |
|           m->add(fun(static_cast<const_elem_access>(&MapType::at)), "at");
 | |
| 
 | |
|           container_type<MapType>(type, m);
 | |
|           default_constructible_type<MapType>(type, m);
 | |
|           assignable_type<MapType>(type, m);
 | |
|           unique_associative_container_type<MapType>(type, m);
 | |
|           pair_associative_container_type<MapType>(type, m);
 | |
|           input_range_type<MapType>(type, m);
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// hopefully working List type
 | |
|       /// http://www.sgi.com/tech/stl/List.html
 | |
|       template<typename ListType>
 | |
|         ModulePtr list_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<ListType>(), type);
 | |
| 
 | |
|           front_insertion_sequence_type<ListType>(type, m);
 | |
|           back_insertion_sequence_type<ListType>(type, m);
 | |
|           sequence_type<ListType>(type, m);
 | |
|           container_type<ListType>(type, m);
 | |
|           default_constructible_type<ListType>(type, m);
 | |
|           assignable_type<ListType>(type, m);
 | |
|           input_range_type<ListType>(type, m);
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
|       /// Create a vector type with associated concepts
 | |
|       /// http://www.sgi.com/tech/stl/Vector.html
 | |
|       template<typename VectorType>
 | |
|         ModulePtr vector_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<VectorType>(), type);
 | |
| 
 | |
|           typedef typename VectorType::reference (VectorType::*frontptr)();
 | |
|           typedef typename VectorType::const_reference (VectorType::*constfrontptr)() const;
 | |
| 
 | |
|           m->add(fun(static_cast<frontptr>(&VectorType::front)), "front");
 | |
|           m->add(fun(static_cast<constfrontptr>(&VectorType::front)), "front");
 | |
| 
 | |
| 
 | |
|           back_insertion_sequence_type<VectorType>(type, m);
 | |
|           sequence_type<VectorType>(type, m);
 | |
|           random_access_container_type<VectorType>(type, m);
 | |
|           container_type<VectorType>(type, m);
 | |
|           default_constructible_type<VectorType>(type, m);
 | |
|           assignable_type<VectorType>(type, m);
 | |
|           input_range_type<VectorType>(type, m);
 | |
| 
 | |
|           if (typeid(VectorType) == typeid(std::vector<Boxed_Value>))
 | |
|           {
 | |
|             m->eval(R"(
 | |
|                     def Vector::`==`(rhs) : type_match(rhs, this) {
 | |
|                        if ( rhs.size() != this.size() ) {
 | |
|                          return false;
 | |
|                        } else {
 | |
|                          auto r1 = range(this);
 | |
|                          auto r2 = range(rhs);
 | |
|                          while (!r1.empty())
 | |
|                          {
 | |
|                            if (!eq(r1.front(), r2.front()))
 | |
|                            {
 | |
|                              return false;
 | |
|                            }
 | |
|                            r1.pop_front();
 | |
|                            r2.pop_front();
 | |
|                          }
 | |
|                          true;
 | |
|                        }
 | |
|                    } )"
 | |
|                  );
 | |
|           } 
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
|       /// Add a String container
 | |
|       /// http://www.sgi.com/tech/stl/basic_string.html
 | |
|       template<typename String>
 | |
|         ModulePtr string_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<String>(), type);
 | |
|           operators::addition<String>(m);
 | |
|           operators::assign_sum<String>(m);
 | |
|           opers_comparison<String>(m);
 | |
|           random_access_container_type<String>(type, m);
 | |
|           sequence_type<String>(type, m);
 | |
|           default_constructible_type<String>(type, m);
 | |
|           // container_type<String>(type, m);
 | |
|           assignable_type<String>(type, m);
 | |
|           input_range_type<String>(type, m);
 | |
| 
 | |
|           //Special case: add push_back to string (which doesn't support other back_insertion operations
 | |
|           m->add(fun(&String::push_back), 
 | |
|               []()->std::string{
 | |
|                 if (typeid(typename String::value_type) == typeid(Boxed_Value)) {
 | |
|                   return "push_back_ref";
 | |
|                 } else {
 | |
|                   return "push_back";
 | |
|                 }
 | |
|               }());
 | |
| 
 | |
| 
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->find(f, pos); } ), "find");
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->rfind(f, pos); } ), "rfind");
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->find_first_of(f, pos); } ), "find_first_of");
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->find_last_of(f, pos); } ), "find_last_of");
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->find_last_not_of(f, pos); } ), "find_last_not_of");
 | |
|           m->add(fun([](const String *s, const String &f, size_t pos) { return s->find_first_not_of(f, pos); } ), "find_first_not_of");
 | |
| 
 | |
|           m->add(fun([](String *s) { s->clear(); } ), "clear");
 | |
|           m->add(fun([](const String *s) { return s->empty(); } ), "empty");
 | |
|           m->add(fun([](const String *s) { return s->size(); } ), "size");
 | |
| 
 | |
|           m->add(fun([](const String *s) { return s->c_str(); } ), "c_str");
 | |
|           m->add(fun([](const String *s) { return s->data(); } ), "data");
 | |
|           m->add(fun([](const String *s, size_t pos, size_t len) { return s->substr(pos, len); } ), "substr");
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
| 
 | |
| 
 | |
| 
 | |
|       /// Add a MapType container
 | |
|       /// http://www.sgi.com/tech/stl/Map.html
 | |
|       template<typename FutureType>
 | |
|         ModulePtr future_type(const std::string &type, ModulePtr m = std::make_shared<Module>())
 | |
|         {
 | |
|           m->add(user_type<FutureType>(), type);
 | |
| 
 | |
|           m->add(fun([](const FutureType &t) { return t.valid(); }), "valid");
 | |
|           m->add(fun(&FutureType::get), "get");
 | |
|           m->add(fun(&FutureType::wait), "wait");
 | |
| 
 | |
|           return m;
 | |
|         }
 | |
|     }
 | |
|   }
 | |
| }
 | |
| 
 | |
| 
 | |
| #endif
 | |
| 
 | |
| 
 | 
