libstdc++-v3/testsuite/28_regex/algorithms/regex_search/ecma/assertion.cc

   1 // { dg-do run { target c++11 } }
   2 // { dg-timeout-factor 2 }
   3
   4 //
   5 // 2013-09-14  Tim Shen <timshen91@gmail.com>
   6 //
   7 // Copyright (C) 2013-2024 Free Software Foundation, Inc.
   8 //
   9 // This file is part of the GNU ISO C++ Library.  This library is free
  10 // software; you can redistribute it and/or modify it under the
  11 // terms of the GNU General Public License as published by the
  12 // Free Software Foundation; either version 3, or (at your option)
  13 // any later version.
  14 //
  15 // This library is distributed in the hope that it will be useful,
  16 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 // GNU General Public License for more details.
  19 //
  20 // You should have received a copy of the GNU General Public License along
  21 // with this library; see the file COPYING3.  If not see
  22 // <http://www.gnu.org/licenses/>.
  23
  24 // 28.11.3 regex_search
  25 // Tests ECMAScript assertion.
  26
  27 #include <regex>
  28 #include <testsuite_hooks.h>
  29 #include <testsuite_regex.h>
  30
  31 using namespace __gnu_test;
  32 using namespace std;
  33
  34 void
  35 test01()
  36 {
  37   VERIFY(!regex_search_debug("2123456", regex("^1234")));
  38   VERIFY(regex_search_debug("123456", regex("^1234")));
  39   VERIFY(regex_search_debug("123456", regex("(5|^)1234")));
  40   VERIFY(regex_search_debug("5123456", regex("(5|^)1234")));
  41   VERIFY(!regex_search_debug("1234562", regex("3456$")));
  42   VERIFY(regex_search_debug("123456", regex("3456$")));
  43   VERIFY(!regex_search_debug("123456", regex("(?=1234)56")));
  44   VERIFY(regex_search_debug("123456", regex("(?=1234)123456")));
  45   VERIFY(regex_search_debug("123456", regex("(?!1234)56")));
  46   VERIFY(!regex_search_debug("123456", regex("(?!1234)123456")));
  47
  48   VERIFY(regex_search_debug("a-", regex("a\\b-")));
  49   VERIFY(!regex_search_debug("ab", regex("a\\bb")));
  50   VERIFY(!regex_search_debug("a-", regex("a\\B-")));
  51   VERIFY(regex_search_debug("ab", regex("a\\Bb")));
  52
  53   string s("This is a regular expression");
  54   string sol[] =
  55     {
  56       "This",
  57       "",
  58       "is",
  59       "",
  60       "a",
  61       "",
  62       "regular",
  63       "",
  64       "expression",
  65       "",
  66     };
  67
  68   regex re("\\b\\w*\\b");
  69   int i = 0;
  70   for (auto it = sregex_iterator(s.begin(), s.end(), re);
  71        it != sregex_iterator();
  72        ++it)
  73     {
  74       string s((*it)[0].first, (*it)[0].second);
  75       VERIFY(s == sol[i++]);
  76     }
  77   VERIFY(i == 10);
  78
  79   {
  80     cmatch m;
  81     regex re("(?=(as)df)as(df)");
  82     regex_search("asdf", m, re);
  83     VERIFY(m.size() == 3);
  84     VERIFY(m[0].matched && string(m[0].first, m[0].second) == "asdf");
  85     VERIFY(m[1].matched && string(m[1].first, m[1].second) == "as");
  86     VERIFY(m[2].matched && string(m[2].first, m[2].second) == "df");
  87   }
  88 }
  89
  90 int
  91 main()
  92 {
  93   test01();
  94   return 0;
  95 }