diff options
Diffstat (limited to 'kernel/kapi/devices/device.tests.cpp')
| -rw-r--r-- | kernel/kapi/devices/device.tests.cpp | 406 |
1 files changed, 406 insertions, 0 deletions
diff --git a/kernel/kapi/devices/device.tests.cpp b/kernel/kapi/devices/device.tests.cpp new file mode 100644 index 00000000..8104f6eb --- /dev/null +++ b/kernel/kapi/devices/device.tests.cpp @@ -0,0 +1,406 @@ +#include <kapi/devices/device.hpp> + +#include <kapi/devices/resource.hpp> + +#include <kstd/memory.hpp> +#include <kstd/system_error.hpp> +#include <kstd/units.hpp> + +#include <catch2/catch_test_macros.hpp> + +SCENARIO("Devices allow access to their resources", "[kapi][devices]") +{ + GIVEN("A device without any resources") + { + auto device = kstd::make_shared<kapi::devices::device>("test_device"); + + THEN("its resources vector is empty") + { + REQUIRE(device->resources().empty()); + } + + WHEN("trying to get the first MMIO resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::mmio>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first MMIO resource via the unsafe accessor") + { + auto result = device->request_resource(kapi::devices::resource_type::mmio, 0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first I/O port resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::port>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first I/O port resource via the unsafe accessor") + { + auto result = device->request_resource(kapi::devices::resource_type::port, 0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first IRQ resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::irq>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first IRQ resource via the unsafe accessor") + { + auto result = device->request_resource(kapi::devices::resource_type::irq, 0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first DMA resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::dma>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("trying to get the first DMA resource via the unsafe accessor") + { + auto result = device->request_resource(kapi::devices::resource_type::dma, 0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + WHEN("adding an MMIO resource") + { + auto range = kapi::devices::mmio_range{{}, kstd::units::bytes{100}}; + device->set_resources({kapi::devices::resource{range}}); + + AND_WHEN("trying to get the first MMIO resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::mmio>(); + + THEN("the result is a success") + { + REQUIRE(result); + } + + THEN("the result is the expected MMIO range") + { + REQUIRE(result == range); + } + } + + AND_WHEN("trying to get the first I/O port resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::port>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first IRQ resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::irq>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first DMA resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::dma>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + } + + WHEN("adding an I/O port resource") + { + auto port = kapi::devices::io_port{0x40, 1}; + device->set_resources({kapi::devices::resource{port}}); + + AND_WHEN("trying to get the first MMIO resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::mmio>(); + + THEN("the result is en error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first I/O port resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::port>(); + + THEN("the result is a success") + { + REQUIRE(result); + } + + THEN("the result is the expected MMIO range") + { + REQUIRE(result == port); + } + } + + AND_WHEN("trying to get the first IRQ resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::irq>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first DMA resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::dma>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + } + + WHEN("adding an interrupt line resource") + { + auto line = kapi::devices::interrupt_line{128}; + device->set_resources({kapi::devices::resource{line}}); + + AND_WHEN("trying to get the first MMIO resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::mmio>(); + + THEN("the result is en error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first I/O port resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::port>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first IRQ resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::irq>(0); + + THEN("the result is a success") + { + REQUIRE(result); + } + + THEN("the result is the expected interrupt line") + { + REQUIRE(result == line); + } + } + + AND_WHEN("trying to get the first DMA resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::dma>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + } + + WHEN("adding a DMA channel resource") + { + auto channel = kapi::devices::dma_channel{1024}; + device->set_resources({kapi::devices::resource{channel}}); + + AND_WHEN("trying to get the first MMIO resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::mmio>(); + + THEN("the result is en error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first I/O port resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::port>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first IRQ resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::irq>(0); + + THEN("the result is an error") + { + REQUIRE_FALSE(result); + } + + THEN("the error is 'invalid argument'") + { + REQUIRE(result.error() == kstd::errc::invalid_argument); + } + } + + AND_WHEN("trying to get the first DMA resource via the type-safe accessor") + { + auto result = device->request_resource<kapi::devices::resource_type::dma>(0); + + THEN("the result is a success") + { + REQUIRE(result); + } + + THEN("the result it the expected DMA channel") + { + REQUIRE(result == channel); + } + } + } + } +} |