## Summary of the Pull Request Adjusts DirectX renderer to use `til::bitmap` to track invalidation regions. Uses special modification to invalidate a row-at-a-time to ensure ligatures and NxM glyphs continue to work. ## References Likely helps #1064 ## PR Checklist * [x] Closes #778 * [x] I work here. * [x] Manual testing performed. See Performance traces in #778. * [x] Automated tests for `til` changes. * [x] Am core contributor. And discussed with @DHowett-MSFT. ## Detailed Description of the Pull Request / Additional comments - Applies `til::bitmap` as the new invalidation scheme inside the DirectX renderer and updates all entrypoints for collecting invalidation data to coalesce into this structure. - Semi-permanently routes all invalidations through a helper method `_InvalidateRectangle` that will expand any invalidation to cover the entire line. This ensures that ligatures and NxM glyphs will continue to render appropriately while still allowing us to dramatically reduce the number of lines drawn overall. In the future, we may come up with a tighter solution than line-by-line invalidation and can modify this helper method appropriately at that later date to further scope the invalid region. - Ensures that the `experimental.retroTerminalEffects` feature continues to invalidate the entire display on start of frame as the shader is applied at the end of the frame composition and will stack on itself in an amusing fashion when we only redraw part of the display. - Moves many member variables inside the DirectX renderer into the new `til::size`, `til::point`, and `til::rectangle` methods to facilitate easier management and mathematical operations. Consequently adds `try/catch` blocks around many of the already-existing `noexcept` methods to deal with mathematical or casting failures now detected by using the support classes. - Corrects `TerminalCore` redraw triggers to appropriately communicate scrolling circumstances to the renderer so it can optimize the draw regions appropriately. - Fixes an issue in the base `Renderer` that was causing overlapping scroll regions due to behavior of `Viewport::TrimToViewport` modifying the local. This fix is "good enough" for now and should go away when `Viewport` is fully migrated to `til::rectangle`. - Adds multiplication and division operators to `til::rectangle` and supporting tests. These operates will help scale back and forth between a cell-based rectangle and a pixel-based rectangle. They take special care to ensure that a pixel rectangle being divided downward back to cells will expand (with the ceiling division methods) to cover a full cell when even one pixel inside the cell is touched (as is how a redraw would have to occur). - Blocks off trace logging of invalid regions if no one is listening to optimize performance. - Restores full usage of `IDXGISwapChain1::Present1` to accurately and fully communicate dirty and scroll regions to the underlying DirectX framework. This additional information allows the framework to optimize drawing between frames by eliminating data transfer of regions that aren't modified and shuffling frames in place. See [Remarks](https://docs.microsoft.com/en-us/windows/win32/api/dxgi1_2/nf-dxgi1_2-idxgiswapchain1-present1#remarks) for more details. - Updates `til::bitmap` set methods to use more optimized versions of the setters on the `dynamic_bitset<>` that can bulk fill bits as the existing algorithm was noticeably slow after applying the "expand-to-row" helper to the DirectX renderer invalidation. - All `til` import hierarchy is now handled in the parent `til.h` file and not in the child files to prevent circular imports from happening. We don't expect the import of any individual library file, only the base one. So this should be OK for now. ## Validation Steps Performed - Ran `cmatrix`, `cmatrix -u0`, and `cacafire` after changes were made. - Made a bunch of ligatures with `Cascadia Code` in the Terminal before/after the changes and confirmed they still ligate. - Ran `dir` in Powershell and fixed the scrolling issues - Clicked all over the place and dragged to make sure selection works. - Checked retro terminal effect manually with Powershell.
838 lines
26 KiB
C++
838 lines
26 KiB
C++
// Copyright (c) Microsoft Corporation.
|
|
// Licensed under the MIT license.
|
|
|
|
#include "precomp.h"
|
|
|
|
#include "til/point.h"
|
|
|
|
using namespace WEX::Common;
|
|
using namespace WEX::Logging;
|
|
using namespace WEX::TestExecution;
|
|
|
|
class PointTests
|
|
{
|
|
TEST_CLASS(PointTests);
|
|
|
|
TEST_METHOD(DefaultConstruct)
|
|
{
|
|
const til::point pt;
|
|
VERIFY_ARE_EQUAL(0, pt._x);
|
|
VERIFY_ARE_EQUAL(0, pt._y);
|
|
}
|
|
|
|
TEST_METHOD(RawConstruct)
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
VERIFY_ARE_EQUAL(5, pt._x);
|
|
VERIFY_ARE_EQUAL(10, pt._y);
|
|
}
|
|
|
|
TEST_METHOD(UnsignedConstruct)
|
|
{
|
|
Log::Comment(L"0.) Normal unsigned construct.");
|
|
{
|
|
const size_t x = 5;
|
|
const size_t y = 10;
|
|
|
|
const til::point pt{ x, y };
|
|
VERIFY_ARE_EQUAL(5, pt._x);
|
|
VERIFY_ARE_EQUAL(10, pt._y);
|
|
}
|
|
|
|
Log::Comment(L"1.) Unsigned construct overflow on x.");
|
|
{
|
|
constexpr size_t x = std::numeric_limits<size_t>().max();
|
|
const size_t y = 10;
|
|
|
|
auto fn = [&]() {
|
|
til::point pt{ x, y };
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Unsigned construct overflow on y.");
|
|
{
|
|
constexpr size_t y = std::numeric_limits<size_t>().max();
|
|
const size_t x = 10;
|
|
|
|
auto fn = [&]() {
|
|
til::point pt{ x, y };
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(SignedConstruct)
|
|
{
|
|
const ptrdiff_t x = -5;
|
|
const ptrdiff_t y = -10;
|
|
|
|
const til::point pt{ x, y };
|
|
VERIFY_ARE_EQUAL(x, pt._x);
|
|
VERIFY_ARE_EQUAL(y, pt._y);
|
|
}
|
|
|
|
TEST_METHOD(CoordConstruct)
|
|
{
|
|
COORD coord{ -5, 10 };
|
|
|
|
const til::point pt{ coord };
|
|
VERIFY_ARE_EQUAL(coord.X, pt._x);
|
|
VERIFY_ARE_EQUAL(coord.Y, pt._y);
|
|
}
|
|
|
|
TEST_METHOD(PointConstruct)
|
|
{
|
|
POINT point{ 5, -10 };
|
|
|
|
const til::point pt{ point };
|
|
VERIFY_ARE_EQUAL(point.x, pt._x);
|
|
VERIFY_ARE_EQUAL(point.y, pt._y);
|
|
}
|
|
|
|
TEST_METHOD(Equality)
|
|
{
|
|
Log::Comment(L"0.) Equal.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_TRUE(s1 == s2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Left Width changed.");
|
|
{
|
|
const til::point s1{ 4, 10 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_FALSE(s1 == s2);
|
|
}
|
|
|
|
Log::Comment(L"2.) Right Width changed.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 6, 10 };
|
|
VERIFY_IS_FALSE(s1 == s2);
|
|
}
|
|
|
|
Log::Comment(L"3.) Left Height changed.");
|
|
{
|
|
const til::point s1{ 5, 9 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_FALSE(s1 == s2);
|
|
}
|
|
|
|
Log::Comment(L"4.) Right Height changed.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 5, 11 };
|
|
VERIFY_IS_FALSE(s1 == s2);
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(Inequality)
|
|
{
|
|
Log::Comment(L"0.) Equal.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_FALSE(s1 != s2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Left Width changed.");
|
|
{
|
|
const til::point s1{ 4, 10 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_TRUE(s1 != s2);
|
|
}
|
|
|
|
Log::Comment(L"2.) Right Width changed.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 6, 10 };
|
|
VERIFY_IS_TRUE(s1 != s2);
|
|
}
|
|
|
|
Log::Comment(L"3.) Left Height changed.");
|
|
{
|
|
const til::point s1{ 5, 9 };
|
|
const til::point s2{ 5, 10 };
|
|
VERIFY_IS_TRUE(s1 != s2);
|
|
}
|
|
|
|
Log::Comment(L"4.) Right Height changed.");
|
|
{
|
|
const til::point s1{ 5, 10 };
|
|
const til::point s2{ 5, 11 };
|
|
VERIFY_IS_TRUE(s1 != s2);
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(Addition)
|
|
{
|
|
Log::Comment(L"0.) Addition of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() + pt2.x(), pt.y() + pt2.y() };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt + pt2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Addition results in value that is too large (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
pt + pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Addition results in value that is too large (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
pt + pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(AdditionInplace)
|
|
{
|
|
Log::Comment(L"0.) Addition of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() + pt2.x(), pt.y() + pt2.y() };
|
|
|
|
auto actual = pt;
|
|
actual += pt2;
|
|
|
|
VERIFY_ARE_EQUAL(expected, actual);
|
|
}
|
|
|
|
Log::Comment(L"1.) Addition results in value that is too large (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt;
|
|
actual += pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Addition results in value that is too large (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt;
|
|
actual += pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(Subtraction)
|
|
{
|
|
Log::Comment(L"0.) Subtraction of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() - pt2.x(), pt.y() - pt2.y() };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt - pt2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Subtraction results in value that is too small (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ -2, -2 };
|
|
|
|
auto fn = [&]() {
|
|
pt2 - pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Subtraction results in value that is too small (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ -2, -2 };
|
|
|
|
auto fn = [&]() {
|
|
pt2 - pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(SubtractionInplace)
|
|
{
|
|
Log::Comment(L"0.) Subtraction of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() - pt2.x(), pt.y() - pt2.y() };
|
|
|
|
auto actual = pt;
|
|
actual -= pt2;
|
|
|
|
VERIFY_ARE_EQUAL(expected, actual);
|
|
}
|
|
|
|
Log::Comment(L"1.) Subtraction results in value that is too small (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ -2, -2 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt2;
|
|
actual -= pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Subtraction results in value that is too small (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ -2, -2 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt2;
|
|
actual -= pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(Multiplication)
|
|
{
|
|
Log::Comment(L"0.) Multiplication of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() * pt2.x(), pt.y() * pt2.y() };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt * pt2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Multiplication results in value that is too large (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 10, 10 };
|
|
|
|
auto fn = [&]() {
|
|
pt* pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Multiplication results in value that is too large (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ 10, 10 };
|
|
|
|
auto fn = [&]() {
|
|
pt* pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(MultiplicationInplace)
|
|
{
|
|
Log::Comment(L"0.) Multiplication of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() * pt2.x(), pt.y() * pt2.y() };
|
|
|
|
auto actual = pt;
|
|
actual *= pt2;
|
|
|
|
VERIFY_ARE_EQUAL(expected, actual);
|
|
}
|
|
|
|
Log::Comment(L"1.) Multiplication results in value that is too large (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 10, 10 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt;
|
|
actual *= pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Multiplication results in value that is too large (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const til::point pt2{ 10, 10 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt;
|
|
actual *= pt2;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(ScaleByFloat)
|
|
{
|
|
Log::Comment(L"0.) Scale that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const float scale = 1.783f;
|
|
|
|
const til::point expected{ static_cast<ptrdiff_t>(ceil(5 * scale)), static_cast<ptrdiff_t>(ceil(10 * scale)) };
|
|
|
|
const auto actual = pt.scale(til::math::ceiling, scale);
|
|
|
|
VERIFY_ARE_EQUAL(expected, actual);
|
|
}
|
|
|
|
Log::Comment(L"1.) Scale results in value that is too large.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
constexpr float scale = std::numeric_limits<float>().max();
|
|
|
|
auto fn = [&]() {
|
|
pt.scale(til::math::ceiling, scale);
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(Division)
|
|
{
|
|
Log::Comment(L"0.) Division of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 555, 510 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() / pt2.x(), pt.y() / pt2.y() };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt / pt2);
|
|
}
|
|
|
|
Log::Comment(L"1.) Division by zero");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
pt2 / pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(DivisionInplace)
|
|
{
|
|
Log::Comment(L"0.) Division of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 555, 510 };
|
|
const til::point pt2{ 23, 47 };
|
|
|
|
const til::point expected{ pt.x() / pt2.x(), pt.y() / pt2.y() };
|
|
auto actual = pt;
|
|
actual /= pt2;
|
|
|
|
VERIFY_ARE_EQUAL(expected, actual);
|
|
}
|
|
|
|
Log::Comment(L"1.) Division by zero");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const til::point pt2{ 1, 1 };
|
|
|
|
auto fn = [&]() {
|
|
auto actual = pt2;
|
|
actual /= pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(X)
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
VERIFY_ARE_EQUAL(pt._x, pt.x());
|
|
}
|
|
|
|
TEST_METHOD(XCast)
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
VERIFY_ARE_EQUAL(static_cast<SHORT>(pt._x), pt.x<SHORT>());
|
|
}
|
|
|
|
TEST_METHOD(Y)
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
VERIFY_ARE_EQUAL(pt._y, pt.y());
|
|
}
|
|
|
|
TEST_METHOD(YCast)
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
VERIFY_ARE_EQUAL(static_cast<SHORT>(pt._x), pt.x<SHORT>());
|
|
}
|
|
|
|
TEST_METHOD(CastToCoord)
|
|
{
|
|
Log::Comment(L"0.) Typical situation.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
COORD val = pt;
|
|
VERIFY_ARE_EQUAL(5, val.X);
|
|
VERIFY_ARE_EQUAL(10, val.Y);
|
|
}
|
|
|
|
Log::Comment(L"1.) Overflow on x.");
|
|
{
|
|
constexpr ptrdiff_t x = std::numeric_limits<ptrdiff_t>().max();
|
|
const ptrdiff_t y = 10;
|
|
const til::point pt{ x, y };
|
|
|
|
auto fn = [&]() {
|
|
COORD val = pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Overflow on y.");
|
|
{
|
|
constexpr ptrdiff_t y = std::numeric_limits<ptrdiff_t>().max();
|
|
const ptrdiff_t x = 10;
|
|
const til::point pt{ x, y };
|
|
|
|
auto fn = [&]() {
|
|
COORD val = pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(CastToPoint)
|
|
{
|
|
Log::Comment(L"0.) Typical situation.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
POINT val = pt;
|
|
VERIFY_ARE_EQUAL(5, val.x);
|
|
VERIFY_ARE_EQUAL(10, val.y);
|
|
}
|
|
|
|
Log::Comment(L"1.) Fit max x into POINT (may overflow).");
|
|
{
|
|
constexpr ptrdiff_t x = std::numeric_limits<ptrdiff_t>().max();
|
|
const ptrdiff_t y = 10;
|
|
const til::point pt{ x, y };
|
|
|
|
// On some platforms, ptrdiff_t will fit inside x/y
|
|
const bool overflowExpected = x > std::numeric_limits<decltype(POINT::x)>().max();
|
|
|
|
if (overflowExpected)
|
|
{
|
|
auto fn = [&]() {
|
|
POINT val = pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
else
|
|
{
|
|
POINT val = pt;
|
|
VERIFY_ARE_EQUAL(x, val.x);
|
|
}
|
|
}
|
|
|
|
Log::Comment(L"2.) Fit max y into POINT (may overflow).");
|
|
{
|
|
constexpr ptrdiff_t y = std::numeric_limits<ptrdiff_t>().max();
|
|
const ptrdiff_t x = 10;
|
|
const til::point pt{ x, y };
|
|
|
|
// On some platforms, ptrdiff_t will fit inside x/y
|
|
const bool overflowExpected = y > std::numeric_limits<decltype(POINT::y)>().max();
|
|
|
|
if (overflowExpected)
|
|
{
|
|
auto fn = [&]() {
|
|
POINT val = pt;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
else
|
|
{
|
|
POINT val = pt;
|
|
VERIFY_ARE_EQUAL(y, val.y);
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST_METHOD(CastToD2D1Point2F)
|
|
{
|
|
Log::Comment(L"0.) Typical situation.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
D2D1_POINT_2F val = pt;
|
|
VERIFY_ARE_EQUAL(5, val.x);
|
|
VERIFY_ARE_EQUAL(10, val.y);
|
|
}
|
|
|
|
// All ptrdiff_ts fit into a float, so there's no exception tests.
|
|
}
|
|
|
|
TEST_METHOD(Scaling)
|
|
{
|
|
Log::Comment(L"0.) Multiplication of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 5, 10 };
|
|
const int scale = 23;
|
|
|
|
const til::point expected{ pt.x() * scale, pt.y() * scale };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt * scale);
|
|
}
|
|
|
|
Log::Comment(L"1.) Multiplication results in value that is too large (x).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ bigSize, static_cast<ptrdiff_t>(0) };
|
|
const int scale = 10;
|
|
|
|
auto fn = [&]() {
|
|
pt* scale;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"2.) Multiplication results in value that is too large (y).");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ static_cast<ptrdiff_t>(0), bigSize };
|
|
const int scale = 10;
|
|
|
|
auto fn = [&]() {
|
|
pt* scale;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"3.) Division of two things that should be in bounds.");
|
|
{
|
|
const til::point pt{ 555, 510 };
|
|
const int scale = 23;
|
|
|
|
const til::point expected{ pt.x() / scale, pt.y() / scale };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt / scale);
|
|
}
|
|
|
|
Log::Comment(L"4.) Division by zero");
|
|
{
|
|
constexpr ptrdiff_t bigSize = std::numeric_limits<ptrdiff_t>().max();
|
|
const til::point pt{ 1, 1 };
|
|
const int scale = 0;
|
|
|
|
auto fn = [&]() {
|
|
pt / scale;
|
|
};
|
|
|
|
VERIFY_THROWS_SPECIFIC(fn(), wil::ResultException, [](wil::ResultException& e) { return e.GetErrorCode() == E_ABORT; });
|
|
}
|
|
|
|
Log::Comment(L"5.) Multiplication of floats that should be in bounds.");
|
|
{
|
|
const til::point pt{ 3, 10 };
|
|
const float scale = 5.5f;
|
|
|
|
// 3 * 5.5 = 15.5, which we'll round to 15
|
|
const til::point expected{ 16, 55 };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt * scale);
|
|
}
|
|
|
|
Log::Comment(L"6.) Multiplication of doubles that should be in bounds.");
|
|
{
|
|
const til::point pt{ 3, 10 };
|
|
const double scale = 5.5f;
|
|
|
|
// 3 * 5.5 = 15.5, which we'll round to 15
|
|
const til::point expected{ 16, 55 };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt * scale);
|
|
}
|
|
|
|
Log::Comment(L"5.) Division of floats that should be in bounds.");
|
|
{
|
|
const til::point pt{ 15, 10 };
|
|
const float scale = 2.0f;
|
|
|
|
// 15 / 2 = 7.5, which we'll floor to 7
|
|
const til::point expected{ 7, 5 };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt / scale);
|
|
}
|
|
|
|
Log::Comment(L"6.) Division of doubles that should be in bounds.");
|
|
{
|
|
const til::point pt{ 15, 10 };
|
|
const double scale = 2.0;
|
|
|
|
// 15 / 2 = 7.5, which we'll floor to 7
|
|
const til::point expected{ 7, 5 };
|
|
|
|
VERIFY_ARE_EQUAL(expected, pt / scale);
|
|
}
|
|
}
|
|
|
|
template<typename T>
|
|
struct PointTypeWith_xy
|
|
{
|
|
T x, y;
|
|
};
|
|
template<typename T>
|
|
struct PointTypeWith_XY
|
|
{
|
|
T X, Y;
|
|
};
|
|
TEST_METHOD(CastFromFloatWithMathTypes)
|
|
{
|
|
PointTypeWith_xy<float> xyFloatIntegral{ 1.f, 2.f };
|
|
PointTypeWith_xy<float> xyFloat{ 1.6f, 2.4f };
|
|
PointTypeWith_XY<double> XYDoubleIntegral{ 3., 4. };
|
|
PointTypeWith_XY<double> XYDouble{ 3.6, 4.4 };
|
|
Log::Comment(L"0.) Ceiling");
|
|
{
|
|
{
|
|
til::point converted{ til::math::ceiling, xyFloatIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::ceiling, xyFloat };
|
|
VERIFY_ARE_EQUAL((til::point{ 2, 3 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::ceiling, XYDoubleIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::ceiling, XYDouble };
|
|
VERIFY_ARE_EQUAL((til::point{ 4, 5 }), converted);
|
|
}
|
|
}
|
|
|
|
Log::Comment(L"1.) Flooring");
|
|
{
|
|
{
|
|
til::point converted{ til::math::flooring, xyFloatIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::flooring, xyFloat };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::flooring, XYDoubleIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::flooring, XYDouble };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
}
|
|
|
|
Log::Comment(L"2.) Rounding");
|
|
{
|
|
{
|
|
til::point converted{ til::math::rounding, xyFloatIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::rounding, xyFloat };
|
|
VERIFY_ARE_EQUAL((til::point{ 2, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::rounding, XYDoubleIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::rounding, XYDouble };
|
|
VERIFY_ARE_EQUAL((til::point{ 4, 4 }), converted);
|
|
}
|
|
}
|
|
|
|
Log::Comment(L"3.) Truncating");
|
|
{
|
|
{
|
|
til::point converted{ til::math::truncating, xyFloatIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::truncating, xyFloat };
|
|
VERIFY_ARE_EQUAL((til::point{ 1, 2 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::truncating, XYDoubleIntegral };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
{
|
|
til::point converted{ til::math::truncating, XYDouble };
|
|
VERIFY_ARE_EQUAL((til::point{ 3, 4 }), converted);
|
|
}
|
|
}
|
|
}
|
|
};
|