ZScript DAP Debug server (#3009)
* Add STL-standard type traits and functions to TMap to enable for loop iteration * add third-party range-map library I have e-mailed the author for clarifcation on the license, will update this when they respond * vcpkg: Add cppdap and eventpp libraries, update baseline * DAP implementation * Add `FileSystem::FileHash()` to get the CRC32 hash * add `starting_offset` param to `VMDisasm()` for debugger disassembly view Defaults to `0`, should not change output if it's not set * Add `VMFrameStack::HasFrames()` to prevent assertions when inspecting in the debugger * Add `PC` field to VMFrame, ensure that it is updated whenever vm increments/decrements the pc Does not change alignment, the offsets used in VMFrame still work We need this for the debugger because we otherwise have no way to get the pc; it was a local in `ExecScriptFunc()` * `ZCCCompiler::CreateClassTypes()`: ensure SourceLumpName is set for classes derived from non-native classes * start debug server in d_main, add `vm_debug` cvars and `-debug` CLI arg * Add documentation for `vm_debug` cvars * vm_exec: Add debugger hooks for instruction execution events * c_console: Add debugger hooks for logging events in `PrintString` * add `.cache/` to gitignore * vendor cppdap on main @ 6464cd7 Patches: removed .gitmodules (submodules were thirdparty/json, thirdparty/googletest) removed thirdparty/googletest, not needed removed thirdparty/json/docs, thirdparty/json/test, thirdparty/json/benchmarks to prevent massive bloat * vendor eventpp on master @ 1224dd6 * build: use internal cppdap and eventpp by default * dap: fix Binary::GetFunctionLineRange() * fix bug in range_map::find_ranges * make Binary dap::Source dynamic * cache source code upon retrieval * refactor Binary into a class, cleanup PexCache * fix ending session gracefully * d_main: Stop debug server in D_Cleanup() * Fix connecting to debugger when session already started * cleanup unused stuff in ZScriptDebugger * always send TerminateEvents on disconnect if initialized * tweak color display * Don't cache disassembly lines when scanning scripts * Cache nodes when getting runtime state * WIP display locals * Fix display of static arrays * Ensure names display in proper order * dap: Fix struct locals display, add args display * Support `start` parameter * Support `filter` parameter * remove struct unbound native data display Practically useless for debugging zscript and didn't work properly anyway * d_main: fix vm_jit and vm_jit not being disabled soon enough * support breaking on abort exceptions * dap: refactor game event emitter functions into seperate header * dap: show native functions on stack * dap: Remove "Native" from exception handling, simplify exception event emit * dap: add instruction breakpoints * dap: fix display of locals not in scope yet * dap: Make disassembly view display invalid instructions for non-code addresses * dap: remove dot initializers * dap: fix local structs in scope * dap: don't parse the non-used options in the launch/attach requests * dap: fix local struct view * dap: Fix displaying objects that aren't their actual types * dap: Fix action and state handling * dap: stack display view * dap: fix object display view * d_dehacked: set qualified name in addition to the printable name * dap: fix displaying breakpoint errors when script isn't loaded * dap: remove debug print * dap: Display parameter names * dap: Turn down verbosity of logging * dap: fix disassembly view * dap: fix performance problems with arrays * c_console: emit event only if not PRINT_NODAPEVENT * dap: improve logging * dap: update upstream cppdap library to fix deadlocks on no bind * dap: Fix ending session on client socket closed * dap: prevent DebugServer.h from pulling in `dap` and `ZScriptDebugger.h` * dap: fix pause event not being emitted on pause * dap: remove eventpp emitters, way too slow * Remove eventpp dependency * dap: Display correct register names * dap: Show special inits in registers * dap: Add stack offset to VMLocalVariable * dap: fix display of static arrays and local variables on stack vs. registers * dap: fix displaying function pointers * dap: tweak color display * dap: fix scalar display < 4 * dap: add Globals display to debugger * dap: unify methods to get vmvalue * dap: rename free method to freeValue to avoid running afoul of macro defs * fix windows builds * fix compile on linux * cleanup * Fix display of function breakpoints * dap: Don't send back binary files * dap: include sbarinfo in script types (no debug support for anything but zscript yet, this is just for returning source info) * dap: don't show ending session message unless initialized * fix erroneous commit * dap: handle evaluate requests * Fix getting bitfield values * Add CVars Scope and evaluation * add running console commands from repl * dap: disable commands via repl for now * fix loading functions DECORATE scripts * Add source information to Dehacked VM functions, add debugging support * dap: cleanup * fix resolving archive paths * don't send source back on native stack frames * handle `modules` request * cleanup * allow evaluating cvars on hover * fix oob bpinfos * fix restarting the game blowing out the debug server * dap: process input events while paused to prevent deadlocks * fix getting local state * dap: fix LocalState alignment * dap: fix DumpStateHelper * update cppdap protocol version to 1.68.0 * remove cppdap from vcpkg deps We can't use the upstream version anyway because the maintainers are not merging our patches * dap: make named variable nodes derive from the same class * dap: make cvar scope available in native stack frames * handle local variables with conflicting names * add I_GetWindowEvent() to win32 to only process window events when debugging is paused * dap: fix evaluate * dap: fix display of `out` variables
This commit is contained in:
Nikita
GitHub
parent
fcf529590f
commit
45ac7c1d9e
235 changed files with 83166 additions and 62 deletions
387
libraries/cppdap/src/traits_test.cpp
Normal file
387
libraries/cppdap/src/traits_test.cpp
Normal file
|
|
@ -0,0 +1,387 @@
|
|||
// Copyright 2021 Google LLC
|
||||
//
|
||||
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||
// you may not use this file except in compliance with the License.
|
||||
// You may obtain a copy of the License at
|
||||
//
|
||||
// https://www.apache.org/licenses/LICENSE-2.0
|
||||
//
|
||||
// Unless required by applicable law or agreed to in writing, software
|
||||
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
// See the License for the specific language governing permissions and
|
||||
// limitations under the License.
|
||||
|
||||
#include "dap/traits.h"
|
||||
|
||||
#include "gmock/gmock.h"
|
||||
#include "gtest/gtest.h"
|
||||
|
||||
namespace dap {
|
||||
namespace traits {
|
||||
|
||||
namespace {
|
||||
struct S {};
|
||||
struct E : S {};
|
||||
void F1(S) {}
|
||||
void F3(int, S, float) {}
|
||||
void E1(E) {}
|
||||
void E3(int, E, float) {}
|
||||
} // namespace
|
||||
|
||||
TEST(ParameterType, Function) {
|
||||
F1({}); // Avoid unused method warning
|
||||
F3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(std::is_same<ParameterType<decltype(&F1), 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&F3), 0>, int>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&F3), 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&F3), 2>, float>::value,
|
||||
"");
|
||||
}
|
||||
|
||||
TEST(ParameterType, Method) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) {}
|
||||
void F3(int, S, float) {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F1), 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 0>, int>::value,
|
||||
"");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 2>, float>::value,
|
||||
"");
|
||||
}
|
||||
|
||||
TEST(ParameterType, ConstMethod) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) const {}
|
||||
void F3(int, S, float) const {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F1), 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 0>, int>::value,
|
||||
"");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 2>, float>::value,
|
||||
"");
|
||||
}
|
||||
|
||||
TEST(ParameterType, StaticMethod) {
|
||||
class C {
|
||||
public:
|
||||
static void F1(S) {}
|
||||
static void F3(int, S, float) {}
|
||||
};
|
||||
C::F1({}); // Avoid unused method warning
|
||||
C::F3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F1), 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 0>, int>::value,
|
||||
"");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(&C::F3), 2>, float>::value,
|
||||
"");
|
||||
}
|
||||
|
||||
TEST(ParameterType, FunctionLike) {
|
||||
using F1 = std::function<void(S)>;
|
||||
using F3 = std::function<void(int, S, float)>;
|
||||
static_assert(std::is_same<ParameterType<F1, 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<F3, 0>, int>::value, "");
|
||||
static_assert(std::is_same<ParameterType<F3, 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<F3, 2>, float>::value, "");
|
||||
}
|
||||
|
||||
TEST(ParameterType, Lambda) {
|
||||
auto l1 = [](S) {};
|
||||
auto l3 = [](int, S, float) {};
|
||||
static_assert(std::is_same<ParameterType<decltype(l1), 0>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(l3), 0>, int>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(l3), 1>, S>::value, "");
|
||||
static_assert(std::is_same<ParameterType<decltype(l3), 2>, float>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, Function) {
|
||||
F1({}); // Avoid unused method warning
|
||||
F3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(HasSignature<decltype(&F1), decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<decltype(&F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&F3), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&F1), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&F3), decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, Method) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) {}
|
||||
void F3(int, S, float) {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(HasSignature<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, ConstMethod) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) const {}
|
||||
void F3(int, S, float) const {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(HasSignature<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, StaticMethod) {
|
||||
class C {
|
||||
public:
|
||||
static void F1(S) {}
|
||||
static void F3(int, S, float) {}
|
||||
};
|
||||
C::F1({}); // Avoid unused method warning
|
||||
C::F3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(HasSignature<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, FunctionLike) {
|
||||
using f1 = std::function<void(S)>;
|
||||
using f3 = std::function<void(int, S, float)>;
|
||||
static_assert(HasSignature<f1, decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<f3, decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<f3, decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<f3, decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<f1, decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<f3, decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<f3, decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<f3, decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
TEST(HasSignature, Lambda) {
|
||||
auto l1 = [](S) {};
|
||||
auto l3 = [](int, S, float) {};
|
||||
static_assert(HasSignature<decltype(l1), decltype(&F1)>::value, "");
|
||||
static_assert(HasSignature<decltype(l3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(l3), decltype(&F3)>::value, "");
|
||||
static_assert(HasSignature<decltype(l3), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(l1), decltype(&F3)>::value, "");
|
||||
static_assert(!HasSignature<decltype(l3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(l3), decltype(&F1)>::value, "");
|
||||
static_assert(!HasSignature<decltype(l3), decltype(&F1)>::value, "");
|
||||
}
|
||||
|
||||
////
|
||||
|
||||
TEST(CompatibleWith, Function) {
|
||||
F1({}); // Avoid unused method warning
|
||||
F3(0, {}, 0); // Avoid unused method warning
|
||||
E1({}); // Avoid unused method warning
|
||||
E3(0, {}, 0); // Avoid unused method warning
|
||||
static_assert(CompatibleWith<decltype(&F1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&F3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&F1), decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<decltype(&E1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&E3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&E3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&E3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&F1), decltype(&E1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&F3), decltype(&E3)>::value, "");
|
||||
}
|
||||
|
||||
TEST(CompatibleWith, Method) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) {}
|
||||
void F3(int, S, float) {}
|
||||
void E1(E) {}
|
||||
void E3(int, E, float) {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
C().E1({}); // Avoid unused method warning
|
||||
C().E3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::E1), decltype(&C::F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&C::E1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
}
|
||||
|
||||
TEST(CompatibleWith, ConstMethod) {
|
||||
class C {
|
||||
public:
|
||||
void F1(S) const {}
|
||||
void F3(int, S, float) const {}
|
||||
void E1(E) const {}
|
||||
void E3(int, E, float) const {}
|
||||
};
|
||||
C().F1({}); // Avoid unused method warning
|
||||
C().F3(0, {}, 0); // Avoid unused method warning
|
||||
C().E1({}); // Avoid unused method warning
|
||||
C().E3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::E1), decltype(&C::F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&C::E1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
}
|
||||
|
||||
TEST(CompatibleWith, StaticMethod) {
|
||||
class C {
|
||||
public:
|
||||
static void F1(S) {}
|
||||
static void F3(int, S, float) {}
|
||||
static void E1(E) {}
|
||||
static void E3(int, E, float) {}
|
||||
};
|
||||
C::F1({}); // Avoid unused method warning
|
||||
C::F3(0, {}, 0); // Avoid unused method warning
|
||||
C::E1({}); // Avoid unused method warning
|
||||
C::E3(0, {}, 0); // Avoid unused method warning
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::F1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::F3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<decltype(&C::E1), decltype(&C::F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(&C::E3), decltype(&C::F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(&C::F1), decltype(&C::E1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(&C::F3), decltype(&C::E3)>::value, "");
|
||||
}
|
||||
|
||||
TEST(CompatibleWith, FunctionLike) {
|
||||
using f1 = std::function<void(S)>;
|
||||
using f3 = std::function<void(int, S, float)>;
|
||||
using e1 = std::function<void(E)>;
|
||||
using e3 = std::function<void(int, E, float)>;
|
||||
static_assert(CompatibleWith<f1, decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<f3, decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<f3, decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<f3, decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<f1, decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<f3, decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<f3, decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<f3, decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<e1, f1>::value, "");
|
||||
static_assert(CompatibleWith<e3, f3>::value, "");
|
||||
static_assert(CompatibleWith<e3, f3>::value, "");
|
||||
static_assert(CompatibleWith<e3, f3>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<f1, e1>::value, "");
|
||||
static_assert(!CompatibleWith<f3, e3>::value, "");
|
||||
static_assert(!CompatibleWith<f3, e3>::value, "");
|
||||
static_assert(!CompatibleWith<f3, e3>::value, "");
|
||||
}
|
||||
|
||||
TEST(CompatibleWith, Lambda) {
|
||||
auto f1 = [](S) {};
|
||||
auto f3 = [](int, S, float) {};
|
||||
auto e1 = [](E) {};
|
||||
auto e3 = [](int, E, float) {};
|
||||
static_assert(CompatibleWith<decltype(f1), decltype(&F1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(f3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(f3), decltype(&F3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(f3), decltype(&F3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(f1), decltype(&F3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(&F1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(&F1)>::value, "");
|
||||
|
||||
static_assert(CompatibleWith<decltype(e1), decltype(f1)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(e3), decltype(f3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(e3), decltype(f3)>::value, "");
|
||||
static_assert(CompatibleWith<decltype(e3), decltype(f3)>::value, "");
|
||||
|
||||
static_assert(!CompatibleWith<decltype(f1), decltype(e1)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(e3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(e3)>::value, "");
|
||||
static_assert(!CompatibleWith<decltype(f3), decltype(e3)>::value, "");
|
||||
}
|
||||
|
||||
} // namespace traits
|
||||
} // namespace dap
|
||||
Loading…
Add table
Add a link
Reference in a new issue