mirror/sqlpp11
1
0
Fork 0
mirror of https://github.com/rbock/sqlpp11.git synced 2026-01-05 20:50:34 -06:00
Code Issues Packages Projects Releases Wiki Activity

Made can_be_null a recursive trait

Browse Source
This commit is contained in:
rbock
2014-07-23 18:26:13 +02:00
parent 80f09dc003
commit 9c15b45ac4
7 changed files with 31 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/sqlpp11/column.h
View File

@@ -57,6 +57,7 @@ namespace sqlpp
using _provided_tables = detail::type_set<>;
using _required_tables = detail::type_set<Table>;
using _extra_tables = detail::type_set<>;
using _can_be_null = column_spec_can_be_null_t<ColumnSpec>;
};
using _spec_t = ColumnSpec;

1
include/sqlpp11/extra_tables.h
View File

@@ -58,6 +58,7 @@ namespace sqlpp
using _required_tables = ::sqlpp::detail::type_set<>;
using _provided_tables = ::sqlpp::detail::type_set<>;
using _extra_tables = ::sqlpp::detail::type_set<Tables...>;
using _can_be_null = std::false_type;
};
// FIXME: extra_tables must not require tables!

1
include/sqlpp11/parameter.h
View File

@@ -43,6 +43,7 @@ namespace sqlpp
using _provided_tables = detail::type_set<>;
using _required_tables = detail::type_set<>;
using _extra_tables = detail::type_set<>;
using _can_be_null = std::true_type;
};
using _instance_t = typename NameType::_name_t::template _member_t<typename ValueType::_parameter_t>;

1
include/sqlpp11/statement.h
View File

@@ -110,6 +110,7 @@ namespace sqlpp
using _provided_tables = detail::type_set<>;
using _extra_tables = detail::type_set<>;
using _parameters = detail::make_parameter_tuple_t<parameters_of<Policies>...>;
using _can_be_null = detail::any_t<can_be_null_t<_value_type>::value>;
};
};
}

1
include/sqlpp11/table.h
View File

@@ -50,6 +50,7 @@ namespace sqlpp
using _required_tables = detail::type_set<>;
using _provided_tables = detail::type_set<Table>;
using _extra_tables = detail::type_set<>;
using _can_be_null = std::false_type;
};
static_assert(sizeof...(ColumnSpec), "at least one column required per table");

1
include/sqlpp11/table_alias.h
View File

@@ -47,6 +47,7 @@ namespace sqlpp
using _required_tables = detail::type_set<>;
using _provided_tables = detail::type_set<AliasProvider>;
using _extra_tables = detail::type_set<>;
using _can_be_null = std::false_type;
};
static_assert(required_tables_of<Table>::size::value == 0, "table aliases must not depend on external tables");

26
include/sqlpp11/type_traits.h
View File

@@ -32,6 +32,30 @@
namespace sqlpp
{
namespace detail
{
template<typename T, typename Enable = void>
struct can_be_null_impl { using type = std::false_type; };
template<typename T>
struct can_be_null_impl<T, typename std::enable_if<T::_recursive_traits::_can_be_null::value>::type> { using type = std::true_type; };
}
template<typename T>
using can_be_null_t = typename detail::can_be_null_impl<T>::type;
namespace tag\
{\
struct can_be_null{};\
};\
namespace detail\
{\
template<typename T, typename Enable = void>\
struct column_spec_can_be_null_impl { using type = std::false_type; };\
template<typename T>\
struct column_spec_can_be_null_impl<T, typename std::enable_if<detail::is_element_of<tag::can_be_null, typename T::_traits::_tags>::value>::type> { using type = std::true_type; };\
}\
template<typename T>\
using column_spec_can_be_null_t = typename detail::column_spec_can_be_null_impl<T>::type;
#define SQLPP_VALUE_TRAIT_GENERATOR(name) \
namespace tag\
{\
@@ -112,7 +136,6 @@ namespace sqlpp
SQLPP_VALUE_TRAIT_GENERATOR(must_not_insert);
SQLPP_VALUE_TRAIT_GENERATOR(must_not_update);
SQLPP_VALUE_TRAIT_GENERATOR(require_insert);
SQLPP_VALUE_TRAIT_GENERATOR(can_be_null);
SQLPP_VALUE_TRAIT_GENERATOR(trivial_value_is_null);
SQLPP_IS_VALUE_TRAIT_GENERATOR(noop);
@@ -237,6 +260,7 @@ namespace sqlpp
using _provided_tables = detail::make_joined_set_t<provided_tables_of<Arguments>...>;
using _extra_tables = detail::make_joined_set_t<extra_tables_of<Arguments>...>;
using _parameters = detail::make_parameter_tuple_t<parameters_of<Arguments>...>;
using _can_be_null = detail::any_t<can_be_null_t<Arguments>::value...>;
};
}