bareflank-hypervisor/bfsdk/tests/test_delegate.cpp

178 lines
3.9 KiB
C++
Raw Permalink Normal View History

//
// Bareflank Hypervisor
// Copyright (C) 2015 Assured Information Security, Inc.
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
#include <list>
#include <catch/catch.hpp>
#include <bfdelegate.h>
// -----------------------------------------------------------------------------
// Setup
// -----------------------------------------------------------------------------
constexpr auto modval = 10;
constexpr auto result = 11;
class test_class
{
public:
test_class() = default;
int foo(int val)
{ return val + mod; }
private:
int mod{modval};
};
class test_const_class
{
public:
test_const_class() = default;
int foo(int val) const
{ return val + mod; }
private:
int mod{modval};
};
int foo(int val)
{ return val + modval; }
// -----------------------------------------------------------------------------
// Tests
// -----------------------------------------------------------------------------
TEST_CASE("segfault cases")
{
// delegate<int(int)> d0;
// d0(1);
// test_class *t1 = nullptr;
// auto d1 = delegate<int(int)>::create<test_class, &test_class::foo>(t1);
// d1(1);
}
TEST_CASE("is valid")
{
delegate<int(int)> d0;
CHECK(!d0);
Build System Bug Fixes (#575) This patch addresses several bugs with the build system: - Lack of Windows support - Clang Tidy was not working properly - Making modifications to the source code would compile, but would not re-link resulting in issues - Removed excess file copying - Make clean now works - Removed unused or confusing folders in the build folder as part of the build process. It is now much easier to traverse the build folder for dependencies - The targets didn't work with extensions. This has been fixed. In addition, the following was also done under this patch - Intrinsics was moved to the top level and out of the VMM - Platform files are now in a folder called "platform" instead of "arch" - All subprojects have the same include/src/tests files structure - All intel specific code is properly organized to match intended namespacing - Removed dead code - A small part of the VMCS was converted to use the delegate pattern - All dependencies are now downloaded at configure time instead of compile time. - The cache directory is now cached by Travis CI - CMake output better matches old build system - Added make rebuild and separate clean targets to remove various parts of the build depending on needs. - Added targets for Clean, Tidy, Rebuild and Format for each subproject - Re-organized the cmake logic so that macros are not spread out - New validation removes unneeded complexity - Removed the need for the compiler wrapper, and in doing so, we now provide a simpilar set of toolchain files - Removed the need for Git repos. All external dependencies are downloaded using a zip or tarball - Libcxx and Libcxxabi are now in their own files. Much similar logic - Unit test CMake files have been greatly simplified - Each subproject is unaware of it's prefix and no long use VMM, USERSPACE or TEST variables in their cmake files - Fixed bugs with the flags - Renamed the varbiables in the default.cmake config to be more consistent and easier to follow in the rest of the code Signed-off-by: “rianquinn” <“rianquinn@gmail.com”>
2018-01-22 12:45:07 -07:00
CHECK(!d0.is_valid());
}
TEST_CASE("test class")
{
test_class t;
auto d = delegate<int(int)>::create<test_class, &test_class::foo>(t);
CHECK(d(1) == result);
}
TEST_CASE("test class ptr")
{
auto t = std::make_unique<test_class>();
auto d = delegate<int(int)>::create<test_class, &test_class::foo>(t.get());
CHECK(d(1) == result);
}
TEST_CASE("test unique class ptr")
{
auto t = std::make_unique<test_class>();
auto d = delegate<int(int)>::create<test_class, &test_class::foo>(t);
CHECK(d(1) == result);
}
TEST_CASE("test const class")
{
test_const_class t;
auto d = delegate<int(int)>::create_const<test_const_class, &test_const_class::foo>(t);
CHECK(d(1) == result);
}
TEST_CASE("free function")
{
auto d = delegate<int(int)>::create<foo>();
CHECK(d(1) == result);
}
TEST_CASE("lambda no capture")
{
auto l = [](int val) -> int {
return val + modval;
};
auto d = delegate<int(int)>::create(l);
CHECK(d(1) == result);
}
TEST_CASE("lambda capture")
{
auto capture = 42;
auto l = [capture](int val) -> int {
return val + modval + capture;
};
auto d = delegate<int(int)>::create(l);
CHECK(d(1) == result + capture);
capture = 0;
CHECK(d(1) != result + capture);
}
TEST_CASE("lambda reference capture")
{
auto capture = 42;
auto l = [&capture](int val) -> int {
return val + modval + capture;
};
auto d = delegate<int(int)>::create(l);
CHECK(d(1) == result + capture);
capture = 0;
CHECK(d(1) == result);
}
TEST_CASE("list")
{
test_class t;
auto l = [](int val) -> int {
return val + modval;
};
auto d1 = delegate<int(int)>::create(l);
auto d2 = delegate<int(int)>::create<foo>();
auto d3 = delegate<int(int)>::create<test_class, &test_class::foo>(t);
std::list<delegate<int(int)>> delegates;
delegates.push_back(d1);
delegates.push_back(d2);
delegates.push_back(d3);
for (const auto &d : delegates) {
CHECK(d(1) == result);
}
}