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

#include "Test.h"

#if defined(SK_XML)
#include "SkPEG.h"

using namespace skpeg;

namespace {

struct Alpha {
    using V = char;
    using MatchT = MatchResult<V>;

    static MatchT Match(const char* in) {
        static constexpr unsigned kAlphaRange = 'z' - 'a';
        return static_cast<unsigned>(*in - 'a') <= kAlphaRange
            || static_cast<unsigned>(*in - 'A') <= kAlphaRange
            ? MatchT(in + 1, *in)
            : nullptr;
    }
};

struct Digit {
    using V = uint8_t;
    using MatchT = MatchResult<V>;

    static MatchT Match(const char* in) {
        static constexpr unsigned kDigitRange = '9' - '0';
        return static_cast<unsigned>(*in - '0') <= kDigitRange
            ? MatchT(in + 1, SkTo<uint8_t>(*in - '0'))
            : nullptr;
    }
};

void test_EOS(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        bool        fMatch;
    } gTests[] = {
        { ""   , true  },
        { " "  , false },
        { "\0" , true  },
        { "foo", false },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto match = EOS::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, match == gTests[i].fMatch);
        REPORTER_ASSERT(r, match.fNext == (match ? gTests[i].fInput : nullptr));
    }
}

void test_LIT(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        bool        fMatch;
    } gTests[] = {
        { ""  , false },
        { " " , false },
        { "x" , false },
        { "X" , true  },
        { "xX", false },
        { "Xx", true  },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto match = LIT<'X'>::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, match == gTests[i].fMatch);
        REPORTER_ASSERT(r, match.fNext == (match ? gTests[i].fInput + 1 : nullptr));
    }

    REPORTER_ASSERT(r, !(LIT<'F', 'o', 'o'>::Match("")));
    REPORTER_ASSERT(r, !(LIT<'F', 'o', 'o'>::Match("Fo")));
    REPORTER_ASSERT(r, !(LIT<'F', 'o', 'o'>::Match("FoO")));
    REPORTER_ASSERT(r,  (LIT<'F', 'o', 'o'>::Match("Foo")));
    REPORTER_ASSERT(r,  (LIT<'F', 'o', 'o'>::Match("Foobar")));
}

void test_Alpha(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        bool        fMatch;
        char        fMatchValue;
    } gTests[] = {
        { ""  , false,  0  },
        { "\r", false,  0  },
        { "\n", false,  0  },
        { "\t", false,  0  },
        { "0" , false,  0  },
        { "9" , false,  0  },
        { "a" , true , 'a' },
        { "a" , true , 'a' },
        { "z" , true , 'z' },
        { "A" , true , 'A' },
        { "Z" , true , 'Z' },
        { "az", true , 'a' },
        { "a0", true , 'a' },
        { "0a", false,  0  },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto match = Alpha::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, match == gTests[i].fMatch);
        REPORTER_ASSERT(r, match.fNext == (match ? gTests[i].fInput + 1 : nullptr));
        if (match) {
            REPORTER_ASSERT(r, *match == gTests[i].fMatchValue);
        }
    }
}

void test_Digit(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        bool        fMatch;
        uint8_t     fMatchValue;
    } gTests[] = {
        { ""   , false, 0 },
        { "/"  , false, 0 },
        { ":"  , false, 0 },
        { "x"  , false, 0 },
        { "x0" , false, 0 },
        { "0"  , true , 0 },
        { "1x" , true , 1 },
        { "9 a", true , 9 },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto match = Digit::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, match == gTests[i].fMatch);
        REPORTER_ASSERT(r, match.fNext == (match ? gTests[i].fInput + 1 : nullptr));
        if (match) {
            REPORTER_ASSERT(r, *match == gTests[i].fMatchValue);
        }
    }
}

void test_Opt(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        bool        fMatch;
    } gTests[] = {
        { ""       , false },
        { "fo"     , false },
        { " foo"   , false },
        { "foo"    , true },
        { "foobar" , true },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto m = Opt<LIT<'f', 'o', 'o'>>::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, m);
        REPORTER_ASSERT(r, m->fValue.isValid() == gTests[i].fMatch);
    }
}

void test_Seq(skiatest::Reporter* r) {
    REPORTER_ASSERT(r,  (Seq<LIT<'X'>, EOS>::Match("X")));
    REPORTER_ASSERT(r, !(Seq<LIT<'X'>, EOS>::Match("x")));
    REPORTER_ASSERT(r, !(Seq<LIT<'X'>, EOS>::Match("xX")));
    REPORTER_ASSERT(r, !(Seq<LIT<'X'>, EOS>::Match("XX")));
    REPORTER_ASSERT(r,  (Seq<LIT<'X'>, Seq<LIT<'X'>, EOS>>::Match("XX")));
    REPORTER_ASSERT(r,  (Seq<LIT<'X'>, Seq<LIT<'X'>, EOS>>::Match("XX")));

    REPORTER_ASSERT(r, !(Seq<LIT<'F', 'o', 'o'>, EOS>::Match("FooBar")));
    REPORTER_ASSERT(r,  (Seq<LIT<'F', 'o', 'o'>, EOS>::Match("Foo")));

    {
        const auto m = Seq<LIT<'x'>, Digit>::Match("x5");
        REPORTER_ASSERT(r, m);
        REPORTER_ASSERT(r, m->get<1>() == 5);
    }
    {
        const auto m = Seq<Digit, Digit>::Match("42");
        REPORTER_ASSERT(r, m);
        REPORTER_ASSERT(r, m->get<0>() == 4);
        REPORTER_ASSERT(r, m->get<1>() == 2);
    }
}

void test_Choice(skiatest::Reporter* r) {
    REPORTER_ASSERT(r, !(Choice<Digit,Alpha>::Match("")));
    REPORTER_ASSERT(r, !(Choice<Digit,Alpha>::Match("\t")));
    REPORTER_ASSERT(r, !(Choice<Digit,Alpha>::Match(" ")));
    REPORTER_ASSERT(r,  (Choice<Digit,Alpha>::Match("a")));
    REPORTER_ASSERT(r,  (Choice<Digit,Alpha>::Match("3")));
    REPORTER_ASSERT(r,  (Choice<Digit,Alpha>::Match("a ")));
    REPORTER_ASSERT(r,  (Choice<Digit,Alpha>::Match("3 ")));
    REPORTER_ASSERT(r, !(Choice<Digit,Alpha>::Match(" a ")));
    REPORTER_ASSERT(r, !(Choice<Digit,Alpha>::Match(" 3 ")));

    {
        const auto m = Choice<Alpha, Digit>::Match("x");
        REPORTER_ASSERT(r,  m);
        REPORTER_ASSERT(r,  m->v1.isValid());
        REPORTER_ASSERT(r, !m->v2.isValid());
        REPORTER_ASSERT(r, *m->v1.get() == 'x');
    }

    {
        const auto m = Choice<Alpha, Digit>::Match("7");
        REPORTER_ASSERT(r,  m);
        REPORTER_ASSERT(r, !m->v1.isValid());
        REPORTER_ASSERT(r,  m->v2.isValid());
        REPORTER_ASSERT(r, *m->v2.get() == 7);
    }
}

void test_AnySome(skiatest::Reporter* r) {
    static const struct {
        const char* fInput;
        int         fCount;
    } gTests[] = {
        { ""      , 0 },
        { "fo"    , 0 },
        { "Foo"   , 0 },
        { "foo"   , 1 },
        { "foofoo", 2 },
    };

    for (size_t i = 0; i < SK_ARRAY_COUNT(gTests); ++i) {
        const auto matchAny = Any<LIT<'f', 'o', 'o'>>::Match(gTests[i].fInput);
        REPORTER_ASSERT(r, matchAny);
        REPORTER_ASSERT(r, matchAny->fValues.count() == gTests[i].fCount);

        const auto matchSome = Some<LIT<'f', 'o', 'o'>>::Match(gTests[i].fInput);
        REPORTER_ASSERT(r,  matchSome == (gTests[i].fCount > 0));
        REPORTER_ASSERT(r, !matchSome ||
                            matchSome->get<1>().fValues.count() == gTests[i].fCount - 1);
    }

    {
        const auto m = Any<Digit>::Match("0123456789foo");
        REPORTER_ASSERT(r, m);
        REPORTER_ASSERT(r, m->fValues.count() == 10);
        for (int i = 0; i < m->fValues.count(); ++i) {
            REPORTER_ASSERT(r, m->fValues[i] == i);
        }
    }
}

void test_Complex(skiatest::Reporter* r) {
    // [0-9]+(,[0-9]+)?$
    using P0 =
        Seq<
          Some<Digit>,
          Opt<Seq<
            LIT<','>,
            Some<Digit>>>,
          EOS>;

    REPORTER_ASSERT(r, !P0::Match(""));
    REPORTER_ASSERT(r, !P0::Match(","));
    REPORTER_ASSERT(r, !P0::Match("1,"));
    REPORTER_ASSERT(r, !P0::Match(",1"));
    REPORTER_ASSERT(r,  P0::Match("1"));
    REPORTER_ASSERT(r,  P0::Match("1,2"));
    REPORTER_ASSERT(r, !P0::Match("1,2 "));
    REPORTER_ASSERT(r,  P0::Match("123,456"));

    // [ ]*[Ff]oo([Bb]ar)+[Bb]az[ ]*$
    using P1 =
        Seq<
          Any<LIT<' '>>,
          Choice<LIT<'F'>, LIT<'f'>>,
          LIT<'o', 'o'>,
          Some<Seq<
            Choice<LIT<'B'>, LIT<'b'>>,
            LIT<'a', 'r'>>>,
          Choice<LIT<'B'>, LIT<'b'>>,
          LIT<'a', 'z'>,
          Any<LIT<' '>>,
          EOS>;

    REPORTER_ASSERT(r, !P1::Match(""));
    REPORTER_ASSERT(r, !P1::Match("FooBar"));
    REPORTER_ASSERT(r, !P1::Match("FooBaz"));
    REPORTER_ASSERT(r,  P1::Match("FooBarBaz"));
    REPORTER_ASSERT(r,  P1::Match("foobarbaz"));
    REPORTER_ASSERT(r,  P1::Match("  FooBarbaz     "));
    REPORTER_ASSERT(r,  P1::Match(" FooBarbarbarBaz "));
}

} // anonymous ns

DEF_TEST(SkPEG, r) {
    test_EOS(r);
    test_LIT(r);
    test_Alpha(r);
    test_Digit(r);
    test_Opt(r);
    test_Seq(r);
    test_Choice(r);
    test_AnySome(r);
    test_Complex(r);
}

#endif // SK_XML