diff --git a/tests/ResultTest.cpp b/tests/ResultTest.cpp new file mode 100644 index 00000000..1353c791 --- /dev/null +++ b/tests/ResultTest.cpp @@ -0,0 +1,74 @@ +/* + * 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 +#include "Sample.h" +#include "MockDb.h" +#include + + +static_assert(not sqlpp::enforce_null_result_treatment_t::value, "MockDb interprets NULL as trivial"); +static_assert(sqlpp::enforce_null_result_treatment_t::value, "MockDb does not interpret NULL as trivial"); + +MockDb db = {}; +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"); + + // Using a non-enforcing db + for (const auto& row : db(select(all_of(t)).from(t).where(true))) + { + static_assert(sqlpp::can_be_null_t::value, "row.alpha can be null"); + static_assert(sqlpp::null_is_trivial_value_t::value, "row.alpha interprets null_is_trivial"); + } + + sqlpp::select((t.alpha + 1).as(t.alpha)).flags(sqlpp::all).from(t); + for (const auto& row : db(select(all_of(t)).from(t).where(true))) + { + static_assert(sqlpp::can_be_null_t::value, "row.alpha can be null"); + static_assert(sqlpp::null_is_trivial_value_t::value, "row.alpha interprets null_is_trivial"); + } + + // Using a non-enforcing db + 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 interprets null_is_trivial"); + } + + sqlpp::select((t.alpha + 1).as(t.alpha)).flags(sqlpp::all).from(t); + 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 interprets null_is_trivial"); + } + + return 0; +}