fixed adding file problem

[c11concurrency-benchmarks.git] / gdax-orderbook-hpp / demo / dependencies / libcds-2.3.2 / test / unit / misc / find_option.cpp

diff --git a/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/test/unit/misc/find_option.cpp b/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/test/unit/misc/find_option.cpp
new file mode 100644 (file)
index 0000000..fa908dd
--- /dev/null
+++ b/gdax-orderbook-hpp/demo/dependencies/libcds-2.3.2/test/unit/misc/find_option.cpp
@@ -0,0 +1,209 @@
+/*
+    This file is a part of libcds - Concurrent Data Structures library
+
+    (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2017
+
+    Source code repo: http://github.com/khizmax/libcds/
+    Download: http://sourceforge.net/projects/libcds/files/
+
+    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 <type_traits>
+#include <cds/opt/options.h>
+
+// Value options
+namespace {
+
+    template <int Val>
+    struct int_opt {
+        static const int value = Val;
+    };
+
+    template <bool Val>
+    struct bool_opt {
+        static const bool value = Val;
+    };
+
+    enum user_enum {
+        val_zero, val_one, val_two, val_three, val_four, val_five
+    };
+
+    template <user_enum Val>
+    struct enum_opt {
+        static const user_enum value = Val;
+    };
+}
+
+// Declare necessary cds::opt::find_option specialization for user-provided enum type
+CDS_DECLARE_FIND_OPTION_INTEGRAL_SPECIALIZATION( user_enum )
+
+void find_option_compiler_test()
+{
+
+    // *************************************************
+    // Type options
+    //
+    struct tag_default;
+    struct tag_a;
+    struct tag_b;
+
+    // Option not found
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>, cds::opt::stat<tag_a>, bool_opt<false> >::type,
+        cds::opt::tag<tag_default>
+    >::value), "Result != tag_default" );
+
+    // Option found once
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>, cds::opt::tag<tag_a> >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>, cds::opt::stat<tag_a>, cds::opt::tag<tag_a> >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    // First option
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>
+        ,cds::opt::tag<tag_a>   // desired
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    // Last option
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::tag<tag_a>   // desired
+        >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    // Middle option
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::tag<tag_a>   // desired
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    // Option not found
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_default>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        >::type,
+        cds::opt::tag<tag_default>
+    >::value), "Result != tag_default" );
+
+    // Multiple options
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>, cds::opt::tag<tag_a>, cds::opt::tag<tag_b> >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+    static_assert( (std::is_same<
+        cds::opt::find_option< cds::opt::tag<tag_default>
+        ,cds::opt::tag<tag_a>   // desired - first accepted
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_b>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::stat<tag_a>
+        ,cds::opt::tag<tag_b>    // desired
+        >::type,
+        cds::opt::tag<tag_a>
+    >::value), "Result != tag_a" );
+
+
+    // *****************************************************
+    // Value options
+
+    // Not found
+    static_assert( (std::is_same<
+        cds::opt::find_option< int_opt<15>, bool_opt<false>, cds::opt::stat<tag_a> >::type,
+        int_opt<15>
+    >::value), "Result != int_opt<15>" );
+
+    static_assert( (std::is_same<
+        cds::opt::find_option< int_opt<15>, int_opt<100>, cds::opt::stat<tag_a> >::type,
+        int_opt<100>
+    >::value), "Result != int_opt<100>" );
+
+    static_assert( (std::is_same<
+        cds::opt::find_option< int_opt<15>, int_opt<100>, cds::opt::stat<tag_a>, bool_opt<true>, int_opt<200> >::type,
+        int_opt<100>
+    >::value), "Result != int_opt<100>" );
+
+    // User-provided enum type
+    static_assert( (std::is_same<
+        cds::opt::find_option< enum_opt<val_zero>, int_opt<100>, cds::opt::stat<tag_a>, int_opt<200> >::type,
+        enum_opt<val_zero>
+    >::value), "Result != enum_opt<val_zero>" );
+
+    static_assert( (std::is_same<
+        cds::opt::find_option< enum_opt<val_zero>, int_opt<100>, cds::opt::stat<tag_a>, enum_opt<val_three>, int_opt<200> >::type,
+        enum_opt<val_three>
+    >::value), "Result != enum_opt<val_three>" );
+
+}
+
+void test_extracting_option_value()
+{
+    struct tag_a;
+
+    // Define option
+    typedef cds::opt::tag< tag_a >  tag_option;
+
+    // What is the value of the tag_option?
+    // How we can extract tag_a from tag_option?
+    // Here is a solution:
+    typedef cds::opt::value< tag_option >::tag  tag_option_value;
+
+    // tag_option_value is the same as tag_a
+    static_assert( (std::is_same< tag_option_value, tag_a >::value), "Error getting the value of option: tag_option_value != tag_a" );
+
+    // Value-option
+    typedef cds::opt::alignment< 16 >   align_option;
+    static_assert( cds::opt::value< align_option >::alignment == 16, "Error getting the value of option: option value != 16" );
+}