Added a bunch of tests for static_assert in insert

test_static_asserts/CMakeLists.txt

@@ -29,4 +29,5 @@ function(test_compile name)
 endfunction()
 
 test_compile(aggregates)
+test_compile(insert)
 

test_static_asserts/aggregates.cpp

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013-2015, Roland Bock
+ * Copyright (c) 2015-2015, Roland Bock
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without modification,
@@ -68,7 +68,7 @@ namespace sqlpp
 
 namespace
 {
-  SQLPP_ALIAS_PROVIDER(whatever);
+  SQLPP_ALIAS_PROVIDER(whatever)
   using sqlpp::test::run_check;
   static constexpr auto t = test::TabBar{};
 

test_static_asserts/insert.cpp

@@ -0,0 +1,106 @@
+/*
+ * Copyright (c) 2015-2015, 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 <iostream>
+#include "MockDb.h"
+#include "Sample.h"
+#include <sqlpp11/sqlpp11.h>
+
+namespace
+{
+  static constexpr auto t = test::TabBar{};
+  static constexpr auto f = test::TabFoo{};
+
+  template <typename T>
+  void print_type_on_error(std::true_type)
+  {
+  }
+
+  template <typename T>
+  void print_type_on_error(std::false_type)
+  {
+    T::_print_me_;
+  }
+
+  template <typename Assert, typename... Assignments>
+  void set_static_check(const Assignments&... assignments)
+  {
+    using CheckResult = sqlpp::check_insert_static_set_t<Assignments...>;
+    using ExpectedCheckResult = std::is_same<CheckResult, Assert>;
+    static_assert(ExpectedCheckResult::value, "Unexpected check result");
+    print_type_on_error<CheckResult>(ExpectedCheckResult{});
+
+    using ReturnType = decltype(insert_into(t).set(assignments...));
+    using ExpectedReturnType =
+        sqlpp::logic::all_t<Assert::value xor std::is_same<ReturnType, sqlpp::bad_statement>::value>;
+    static_assert(ExpectedReturnType::value, "Unexpected return type");
+    print_type_on_error<ReturnType>(ExpectedReturnType{});
+  }
+
+  // column alpha is not allowed, column gamma is required
+  void static_set()
+  {
+    // OK
+    set_static_check<sqlpp::consistent_t>(t.gamma = true);
+    set_static_check<sqlpp::consistent_t>(t.beta = "fortytwo", t.gamma = true);
+    set_static_check<sqlpp::consistent_t>(t.beta = "fortytwo", t.gamma = true, t.delta = 42);
+    set_static_check<sqlpp::consistent_t>(t.delta = 42, t.beta = "fortytwo", t.gamma = true);
+    set_static_check<sqlpp::consistent_t>(t.delta = 42, t.gamma = true, t.beta = "fortytwo");
+    set_static_check<sqlpp::consistent_t>(t.gamma = true, t.delta = 42, t.beta = "fortytwo");
+
+    // Try setting alpha
+    set_static_check<sqlpp::assert_insert_set_prohibited_t>(t.alpha = 17, t.beta = "whatever");
+    set_static_check<sqlpp::assert_insert_set_prohibited_t>(t.beta = "whatever", t.alpha = 17);
+
+    // Try omitting gamma
+    set_static_check<sqlpp::assert_insert_static_set_all_required_t>(t.delta = 42);
+    set_static_check<sqlpp::assert_insert_static_set_all_required_t>(t.beta = "whatever");
+
+    // Try no arguments
+    set_static_check<sqlpp::assert_insert_static_set_count_args_t>();
+
+    // Try none-assignment arguments
+    set_static_check<sqlpp::assert_insert_set_assignments_t>(t.delta == 42, t.delta = 42, t.beta = "fortytwo",
+                                                             t.gamma = true);
+    set_static_check<sqlpp::assert_insert_set_assignments_t>(17, t.delta = 42, t.beta = "fortytwo", t.gamma = true);
+    set_static_check<sqlpp::assert_insert_set_assignments_t>(t.delta = 42, t.beta = "fortytwo", t.gamma = true, "EEEK");
+
+    // Try duplicates
+    set_static_check<sqlpp::assert_insert_set_no_duplicates_t>(t.delta = 41, t.delta = 42, t.beta = "fortytwo",
+                                                               t.gamma = true);
+    set_static_check<sqlpp::assert_insert_set_no_duplicates_t>(t.beta = "fortyone", t.delta = 41, t.beta = "fortytwo",
+                                                               t.gamma = true);
+    set_static_check<sqlpp::assert_insert_set_no_duplicates_t>(t.gamma = false, t.delta = 41, t.beta = "fortytwo",
+                                                               t.gamma = true);
+
+    // Try multiple tables
+    set_static_check<sqlpp::assert_insert_set_one_table_t>(f.omega = 41, t.gamma = true);
+  }
+}
+
+int main(int, char**)
+{
+  static_set();
+}

tests/MockDb.h

@@ -29,6 +29,8 @@
 #include <sstream>
 #include <iostream>
 #include <sqlpp11/schema.h>
+#include <sqlpp11/no_value.h>
+#include <sqlpp11/serialize.h>
 #include <sqlpp11/serializer_context.h>
 #include <sqlpp11/connection.h>