/*
 * Copyright 2021 Google LLC.
 *
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

#include "include/private/SkTArray.h"
#include "include/private/SkTOptional.h"

#include "tests/Test.h"

DEF_TEST(SkTOptionalEmpty, r) {
    skstd::optional<int> o;
    REPORTER_ASSERT(r, !o);
    REPORTER_ASSERT(r, !o.has_value());
}

DEF_TEST(SkTOptionalNulloptCtor, r) {
    skstd::optional<int> o(skstd::nullopt);
    REPORTER_ASSERT(r, !o);
    REPORTER_ASSERT(r, !o.has_value());
}

DEF_TEST(SkTOptionalValue, r) {
    skstd::optional<const char*> o("test");
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o.has_value());
    REPORTER_ASSERT(r, !strcmp(*o, "test"));
    REPORTER_ASSERT(r, !strcmp(o.value(), "test"));
    o.reset();
    REPORTER_ASSERT(r, !o);
    REPORTER_ASSERT(r, !o.has_value());
}

DEF_TEST(SkTOptionalNulloptAssignment, r) {
    skstd::optional<const char*> o("test");
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o.has_value());
    o = skstd::nullopt;
    REPORTER_ASSERT(r, !o);
    REPORTER_ASSERT(r, !o.has_value());
}

DEF_TEST(SkTOptionalNulloptReturn, r) {
    auto fn = []() -> skstd::optional<float> { return skstd::nullopt; };

    skstd::optional<float> o = fn();
    REPORTER_ASSERT(r, !o);
    REPORTER_ASSERT(r, !o.has_value());
}

DEF_TEST(SkTOptionalComparisons, r) {
    int v[] = { 1, 2, 3, 4, 5 };
    skstd::optional<int> o[] = {1, 2, skstd::nullopt, 4, 5};
    skstd::optional<int> five = 5;
    skstd::optional<int> six = 6;

    for (int index = 0; index < (int)SK_ARRAY_COUNT(v); ++index) {
        REPORTER_ASSERT(r, v[index] < six);
        REPORTER_ASSERT(r, o[index] < six);
        REPORTER_ASSERT(r, six > v[index]);
        REPORTER_ASSERT(r, six > o[index]);

        REPORTER_ASSERT(r, v[index] < 6);
        REPORTER_ASSERT(r, o[index] < 6);
        REPORTER_ASSERT(r, 6 > v[index]);
        REPORTER_ASSERT(r, 6 > o[index]);

        REPORTER_ASSERT(r, !(six < v[index]));
        REPORTER_ASSERT(r, !(six < o[index]));
        REPORTER_ASSERT(r, !(v[index] > six));
        REPORTER_ASSERT(r, !(o[index] > six));

        REPORTER_ASSERT(r, !(6 < v[index]));
        REPORTER_ASSERT(r, !(6 < o[index]));
        REPORTER_ASSERT(r, !(v[index] > 6));
        REPORTER_ASSERT(r, !(o[index] > 6));

        REPORTER_ASSERT(r, v[index] <= five);
        REPORTER_ASSERT(r, o[index] <= five);
        REPORTER_ASSERT(r, five >= v[index]);
        REPORTER_ASSERT(r, five >= o[index]);

        REPORTER_ASSERT(r, v[index] <= 5);
        REPORTER_ASSERT(r, o[index] <= 5);
        REPORTER_ASSERT(r, 5 >= v[index]);
        REPORTER_ASSERT(r, 5 >= o[index]);

        REPORTER_ASSERT(r, skstd::nullopt <= o[index]);
        REPORTER_ASSERT(r, !(skstd::nullopt > o[index]));
        REPORTER_ASSERT(r, o[index] >= skstd::nullopt);
        REPORTER_ASSERT(r, !(o[index] < skstd::nullopt));

        if (o[index].has_value()) {
            REPORTER_ASSERT(r, o[index] != skstd::nullopt);
            REPORTER_ASSERT(r, skstd::nullopt != o[index]);

            REPORTER_ASSERT(r, o[index] == o[index]);
            REPORTER_ASSERT(r, o[index] != six);
            REPORTER_ASSERT(r, o[index] == v[index]);
            REPORTER_ASSERT(r, v[index] == o[index]);
            REPORTER_ASSERT(r, o[index] > 0);
            REPORTER_ASSERT(r, o[index] >= 1);
            REPORTER_ASSERT(r, o[index] <= 5);
            REPORTER_ASSERT(r, o[index] < 6);
            REPORTER_ASSERT(r, 0 < o[index]);
            REPORTER_ASSERT(r, 1 <= o[index]);
            REPORTER_ASSERT(r, 5 >= o[index]);
            REPORTER_ASSERT(r, 6 > o[index]);
        } else {
            REPORTER_ASSERT(r, o[index] == skstd::nullopt);
            REPORTER_ASSERT(r, skstd::nullopt == o[index]);

            REPORTER_ASSERT(r, o[index] == o[index]);
            REPORTER_ASSERT(r, o[index] != five);
            REPORTER_ASSERT(r, o[index] != v[index]);
            REPORTER_ASSERT(r, v[index] != o[index]);
            REPORTER_ASSERT(r, o[index] < 0);
            REPORTER_ASSERT(r, o[index] <= 0);
            REPORTER_ASSERT(r, 0 > o[index]);
            REPORTER_ASSERT(r, 0 >= o[index]);
            REPORTER_ASSERT(r, !(o[index] > 0));
            REPORTER_ASSERT(r, !(o[index] >= 0));
            REPORTER_ASSERT(r, !(0 < o[index]));
            REPORTER_ASSERT(r, !(0 <= o[index]));
        }
    }
}

class SkTOptionalTestPayload {
public:
    enum State {
        kConstructed,
        kCopyConstructed,
        kCopyAssigned,
        kMoveConstructed,
        kMoveAssigned,
        kMovedFrom
    };

    SkTOptionalTestPayload(int payload)
        : fState(kConstructed)
        , fPayload(payload) {}

    SkTOptionalTestPayload(const SkTOptionalTestPayload& other)
        : fState(kCopyConstructed)
        , fPayload(other.fPayload) {}

    SkTOptionalTestPayload(SkTOptionalTestPayload&& other)
        : fState(kMoveConstructed)
        , fPayload(other.fPayload) {
            other.fState = kMovedFrom;
        }

    SkTOptionalTestPayload& operator=(const SkTOptionalTestPayload& other) {
        fState = kCopyAssigned;
        fPayload = other.fPayload;
        return *this;
    }

    SkTOptionalTestPayload& operator=(SkTOptionalTestPayload&& other) {
        fState = kMoveAssigned;
        fPayload = other.fPayload;
        other.fState = kMovedFrom;
        return *this;
    }
    State fState;
    int fPayload;
};

DEF_TEST(SkTOptionalConstruction, r) {
    skstd::optional<SkTOptionalTestPayload> o(1);
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kConstructed);
    REPORTER_ASSERT(r, o->fPayload == 1);

    skstd::optional<SkTOptionalTestPayload> copy(o);
    REPORTER_ASSERT(r, copy);
    REPORTER_ASSERT(r, copy->fState == SkTOptionalTestPayload::kCopyConstructed);
    REPORTER_ASSERT(r, copy->fPayload == 1);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kConstructed);

    skstd::optional<SkTOptionalTestPayload> move(std::move(o));
    REPORTER_ASSERT(r, move);
    REPORTER_ASSERT(r, move->fState == SkTOptionalTestPayload::kMoveConstructed);
    REPORTER_ASSERT(r, move->fPayload == 1);
    // NOLINTNEXTLINE(bugprone-use-after-move)
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kMovedFrom);
}

DEF_TEST(SkTOptionalMoveAssignment, r) {
    skstd::optional<SkTOptionalTestPayload> o;
    REPORTER_ASSERT(r, !o);

    // assign to an empty optional from an empty optional
    o = skstd::optional<SkTOptionalTestPayload>();
    REPORTER_ASSERT(r, !o);

    // assign to an empty optional from a full optional
    skstd::optional<SkTOptionalTestPayload> full(1);
    o = std::move(full);
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kMoveConstructed);
    REPORTER_ASSERT(r, o->fPayload == 1);
    // NOLINTNEXTLINE(bugprone-use-after-move)
    REPORTER_ASSERT(r, full->fState == SkTOptionalTestPayload::kMovedFrom);

    // assign to a full optional from a full optional
    full = skstd::optional<SkTOptionalTestPayload>(2);
    o = std::move(full);
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kMoveAssigned);
    REPORTER_ASSERT(r, o->fPayload == 2);
    // NOLINTNEXTLINE(bugprone-use-after-move)
    REPORTER_ASSERT(r, full->fState == SkTOptionalTestPayload::kMovedFrom);

    // assign to a full optional from an empty optional
    o = skstd::optional<SkTOptionalTestPayload>();
    REPORTER_ASSERT(r, !o);
}

DEF_TEST(SkTOptionalCopyAssignment, r) {
    skstd::optional<SkTOptionalTestPayload> o;
    REPORTER_ASSERT(r, !o);

    skstd::optional<SkTOptionalTestPayload> empty;
    skstd::optional<SkTOptionalTestPayload> full(1);

    // assign to an empty optional from an empty optional
    o = empty;
    REPORTER_ASSERT(r, !o);

    // assign to an empty optional from a full optional
    o = full;
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kCopyConstructed);
    REPORTER_ASSERT(r, o->fPayload == 1);

    // assign to a full optional from a full optional
    o = full;
    REPORTER_ASSERT(r, o);
    REPORTER_ASSERT(r, o->fState == SkTOptionalTestPayload::kCopyAssigned);
    REPORTER_ASSERT(r, o->fPayload == 1);

    // assign to a full optional from an empty optional
    o = empty;
    REPORTER_ASSERT(r, !o);
}

DEF_TEST(SkTOptionalNoDefaultConstructor, r) {
    class NoDefaultConstructor {
    public:
        NoDefaultConstructor(int value)
            : fValue(value) {}

        int fValue;
    };

    skstd::optional<NoDefaultConstructor> o1;
    REPORTER_ASSERT(r, !o1);
    skstd::optional<NoDefaultConstructor> o2(5);
    REPORTER_ASSERT(r, o2);
    REPORTER_ASSERT(r, o2->fValue == 5);
    o1 = std::move(o2);
    REPORTER_ASSERT(r, o1);
    REPORTER_ASSERT(r, o1->fValue == 5);
}

DEF_TEST(SkTOptionalSelfAssignment, r) {
    skstd::optional<SkString> empty;
    skstd::optional<SkString>& emptyRef = empty;
    empty = emptyRef;
    REPORTER_ASSERT(r, !empty);
    empty = std::move(emptyRef);
    REPORTER_ASSERT(r, !empty);

    skstd::optional<SkString> full("full");
    skstd::optional<SkString>& fullRef = full;
    full = fullRef;
    REPORTER_ASSERT(r, full);
    REPORTER_ASSERT(r, *full == SkString("full"));
    full = std::move(fullRef);
    REPORTER_ASSERT(r, full);
    REPORTER_ASSERT(r, *full == SkString("full"));
}