From 0172e77ad6b73d56b57d1b5387e5bd3a9341228a Mon Sep 17 00:00:00 2001 From: fmalita Date: Thu, 25 Aug 2016 05:50:26 -0700 Subject: Revert of Experimental parsing expression grammar (PEG) template library (patchset #8 id:140001 of https://codereview.chromium.org/2271743002/ ) Reason for revert: G3 roll & Msan woes. Original issue's description: > Experimental parsing expression grammar (PEG) template library > > > BUG=skia: > GOLD_TRYBOT_URL= https://gold.skia.org/search?issue=2271743002 > > Committed: https://skia.googlesource.com/skia/+/9d08cbc8c6131ff61a1e71cc5c8cf27841d62b42 TBR=mtklein@google.com,bungeman@google.com,reed@google.com # Skipping CQ checks because original CL landed less than 1 days ago. NOPRESUBMIT=true NOTREECHECKS=true NOTRY=true BUG=skia: Review-Url: https://codereview.chromium.org/2275943004 --- tests/SkPEGTest.cpp | 300 ---------------------------------------------------- 1 file changed, 300 deletions(-) delete mode 100644 tests/SkPEGTest.cpp (limited to 'tests/SkPEGTest.cpp') diff --git a/tests/SkPEGTest.cpp b/tests/SkPEGTest.cpp deleted file mode 100644 index 68a47776e8..0000000000 --- a/tests/SkPEGTest.cpp +++ /dev/null @@ -1,300 +0,0 @@ -/* - * 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 "SkPEG.h" -#include "Test.h" - -using namespace skpeg; - -namespace { - -struct Alpha { - using V = char; - using MatchT = MatchResult; - - static MatchT Match(const char* in) { - static constexpr unsigned kAlphaRange = 'z' - 'a'; - return static_cast(*in - 'a') <= kAlphaRange - || static_cast(*in - 'A') <= kAlphaRange - ? MatchT(in + 1, *in) - : nullptr; - } -}; - -struct Digit { - using V = uint8_t; - using MatchT = MatchResult; - - static MatchT Match(const char* in) { - static constexpr unsigned kDigitRange = '9' - '0'; - return static_cast(*in - '0') <= kDigitRange - ? MatchT(in + 1, SkTo(*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>::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, EOS>::Match("X"))); - REPORTER_ASSERT(r, !(Seq, EOS>::Match("x"))); - REPORTER_ASSERT(r, !(Seq, EOS>::Match("xX"))); - REPORTER_ASSERT(r, !(Seq, EOS>::Match("XX"))); - REPORTER_ASSERT(r, (Seq, Seq, EOS>>::Match("XX"))); - REPORTER_ASSERT(r, (Seq, Seq, EOS>>::Match("XX"))); - - REPORTER_ASSERT(r, !(Seq, EOS>::Match("FooBar"))); - REPORTER_ASSERT(r, (Seq, EOS>::Match("Foo"))); - - { - const auto m = Seq, Digit>::Match("x5"); - REPORTER_ASSERT(r, m); - REPORTER_ASSERT(r, m->get<1>() == 5); - } - { - const auto m = Seq::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::Match(""))); - REPORTER_ASSERT(r, !(Choice::Match("\t"))); - REPORTER_ASSERT(r, !(Choice::Match(" "))); - REPORTER_ASSERT(r, (Choice::Match("a"))); - REPORTER_ASSERT(r, (Choice::Match("3"))); - REPORTER_ASSERT(r, (Choice::Match("a "))); - REPORTER_ASSERT(r, (Choice::Match("3 "))); - REPORTER_ASSERT(r, !(Choice::Match(" a "))); - REPORTER_ASSERT(r, !(Choice::Match(" 3 "))); - - { - const auto m = Choice::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::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>::Match(gTests[i].fInput); - REPORTER_ASSERT(r, matchAny); - REPORTER_ASSERT(r, matchAny->fValues.count() == gTests[i].fCount); - - const auto matchSome = Some>::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::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, - Opt, - Some>>, - 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>, - Choice, LIT<'f'>>, - LIT<'o', 'o'>, - Some, LIT<'b'>>, - LIT<'a', 'r'>>>, - Choice, LIT<'b'>>, - LIT<'a', 'z'>, - Any>, - 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); -} -- cgit v1.2.3