diff --git a/CMakeLists.txt b/CMakeLists.txt index 3dd3e7ea..32fd43cc 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -37,6 +37,7 @@ set(include_dir "${PROJECT_SOURCE_DIR}/include") file(GLOB_RECURSE sqlpp_headers ${include_dir}/*.h) include_directories(${include_dir}) add_subdirectory(tests) +add_subdirectory(test_constraints) install(DIRECTORY "${PROJECT_SOURCE_DIR}/include/sqlpp11" DESTINATION include) diff --git a/test_constraints/CMakeLists.txt b/test_constraints/CMakeLists.txt new file mode 100644 index 00000000..678412dc --- /dev/null +++ b/test_constraints/CMakeLists.txt @@ -0,0 +1,17 @@ +include_directories(${CMAKE_BINARY_DIR}/tests) + +add_executable( + no_conversion_operator_if_null_not_trivial + EXCLUDE_FROM_ALL + no_conversion_operator_if_null_not_trivial.cpp + ) + +add_custom_command(OUTPUT no_conversion_operator_if_null_not_trivial.out + COMMAND ${CMAKE_MAKE_PROGRAM} no_conversion_operator_if_null_not_trivial > ${CMAKE_CURRENT_BINARY_DIR}/no_conversion_operator_if_null_not_trivial.out 2>&1 || true + COMMAND grep "int i = row.alpha" ${CMAKE_CURRENT_BINARY_DIR}/no_conversion_operator_if_null_not_trivial.out > /dev/null + DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/no_conversion_operator_if_null_not_trivial.cpp + COMMENT "no_conversion_operator_if_null_not_trivial" + ) + +add_custom_target(test_constraints DEPENDS no_conversion_operator_if_null_not_trivial.out COMMAND true) + diff --git a/test_constraints/no_conversion_operator_if_null_not_trivial.cpp b/test_constraints/no_conversion_operator_if_null_not_trivial.cpp new file mode 100644 index 00000000..7b995626 --- /dev/null +++ b/test_constraints/no_conversion_operator_if_null_not_trivial.cpp @@ -0,0 +1,48 @@ +/* + * Copyright (c) 2013-2014, Roland Bock + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without modification, + * are permitted provided that the following conditions are met: + * + * * Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * * Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND + * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED + * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, + * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, + * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF + * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE + * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED + * OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include "Sample.h" +#include "MockDb.h" +#include + +EnforceDb edb {}; + +int main() +{ + test::TabBar t; + + static_assert(sqlpp::can_be_null_t::value, "t.alpha can be null"); + static_assert(not sqlpp::null_is_trivial_value_t::value, "t.alpha does not say null_is_trivial"); + + for (const auto& row : edb(select(all_of(t)).from(t).where(true))) + { + static_assert(sqlpp::can_be_null_t::value, "row.alpha can be null"); + static_assert(not sqlpp::null_is_trivial_value_t::value, "row.alpha does not interpret null_is_trivial"); + + int i = row.alpha; + } + + return 0; +}