char_map_test.cc 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172
  1. // Copyright 2017 The Abseil Authors.
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // https://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. #include "absl/strings/internal/char_map.h"
  15. #include <cctype>
  16. #include <string>
  17. #include <vector>
  18. #include "gmock/gmock.h"
  19. #include "gtest/gtest.h"
  20. namespace {
  21. constexpr absl::strings_internal::Charmap everything_map =
  22. ~absl::strings_internal::Charmap();
  23. constexpr absl::strings_internal::Charmap nothing_map{};
  24. TEST(Charmap, AllTests) {
  25. const absl::strings_internal::Charmap also_nothing_map("", 0);
  26. ASSERT_TRUE(everything_map.contains('\0'));
  27. ASSERT_TRUE(!nothing_map.contains('\0'));
  28. ASSERT_TRUE(!also_nothing_map.contains('\0'));
  29. for (unsigned char ch = 1; ch != 0; ++ch) {
  30. ASSERT_TRUE(everything_map.contains(ch));
  31. ASSERT_TRUE(!nothing_map.contains(ch));
  32. ASSERT_TRUE(!also_nothing_map.contains(ch));
  33. }
  34. const absl::strings_internal::Charmap symbols("&@#@^!@?", 5);
  35. ASSERT_TRUE(symbols.contains('&'));
  36. ASSERT_TRUE(symbols.contains('@'));
  37. ASSERT_TRUE(symbols.contains('#'));
  38. ASSERT_TRUE(symbols.contains('^'));
  39. ASSERT_TRUE(!symbols.contains('!'));
  40. ASSERT_TRUE(!symbols.contains('?'));
  41. int cnt = 0;
  42. for (unsigned char ch = 1; ch != 0; ++ch)
  43. cnt += symbols.contains(ch);
  44. ASSERT_EQ(cnt, 4);
  45. const absl::strings_internal::Charmap lets("^abcde", 3);
  46. const absl::strings_internal::Charmap lets2("fghij\0klmnop", 10);
  47. const absl::strings_internal::Charmap lets3("fghij\0klmnop");
  48. ASSERT_TRUE(lets2.contains('k'));
  49. ASSERT_TRUE(!lets3.contains('k'));
  50. ASSERT_TRUE(symbols.IntersectsWith(lets));
  51. ASSERT_TRUE(!lets2.IntersectsWith(lets));
  52. ASSERT_TRUE(lets.IntersectsWith(symbols));
  53. ASSERT_TRUE(!lets.IntersectsWith(lets2));
  54. ASSERT_TRUE(nothing_map.IsZero());
  55. ASSERT_TRUE(!lets.IsZero());
  56. }
  57. namespace {
  58. std::string Members(const absl::strings_internal::Charmap& m) {
  59. std::string r;
  60. for (size_t i = 0; i < 256; ++i)
  61. if (m.contains(i)) r.push_back(i);
  62. return r;
  63. }
  64. std::string ClosedRangeString(unsigned char lo, unsigned char hi) {
  65. // Don't depend on lo<hi. Just increment until lo==hi.
  66. std::string s;
  67. while (true) {
  68. s.push_back(lo);
  69. if (lo == hi) break;
  70. ++lo;
  71. }
  72. return s;
  73. }
  74. } // namespace
  75. TEST(Charmap, Constexpr) {
  76. constexpr absl::strings_internal::Charmap kEmpty = nothing_map;
  77. EXPECT_THAT(Members(kEmpty), "");
  78. constexpr absl::strings_internal::Charmap kA =
  79. absl::strings_internal::Charmap::Char('A');
  80. EXPECT_THAT(Members(kA), "A");
  81. constexpr absl::strings_internal::Charmap kAZ =
  82. absl::strings_internal::Charmap::Range('A', 'Z');
  83. EXPECT_THAT(Members(kAZ), "ABCDEFGHIJKLMNOPQRSTUVWXYZ");
  84. constexpr absl::strings_internal::Charmap kIdentifier =
  85. absl::strings_internal::Charmap::Range('0', '9') |
  86. absl::strings_internal::Charmap::Range('A', 'Z') |
  87. absl::strings_internal::Charmap::Range('a', 'z') |
  88. absl::strings_internal::Charmap::Char('_');
  89. EXPECT_THAT(Members(kIdentifier),
  90. "0123456789"
  91. "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
  92. "_"
  93. "abcdefghijklmnopqrstuvwxyz");
  94. constexpr absl::strings_internal::Charmap kAll = everything_map;
  95. for (size_t i = 0; i < 256; ++i) {
  96. EXPECT_TRUE(kAll.contains(i)) << i;
  97. }
  98. constexpr absl::strings_internal::Charmap kHello =
  99. absl::strings_internal::Charmap::FromString("Hello, world!");
  100. EXPECT_THAT(Members(kHello), " !,Hdelorw");
  101. // test negation and intersection
  102. constexpr absl::strings_internal::Charmap kABC =
  103. absl::strings_internal::Charmap::Range('A', 'Z') &
  104. ~absl::strings_internal::Charmap::Range('D', 'Z');
  105. EXPECT_THAT(Members(kABC), "ABC");
  106. }
  107. TEST(Charmap, Range) {
  108. // Exhaustive testing takes too long, so test some of the boundaries that
  109. // are perhaps going to cause trouble.
  110. std::vector<size_t> poi = {0, 1, 2, 3, 4, 7, 8, 9, 15,
  111. 16, 17, 30, 31, 32, 33, 63, 64, 65,
  112. 127, 128, 129, 223, 224, 225, 254, 255};
  113. for (auto lo = poi.begin(); lo != poi.end(); ++lo) {
  114. SCOPED_TRACE(*lo);
  115. for (auto hi = lo; hi != poi.end(); ++hi) {
  116. SCOPED_TRACE(*hi);
  117. EXPECT_THAT(Members(absl::strings_internal::Charmap::Range(*lo, *hi)),
  118. ClosedRangeString(*lo, *hi));
  119. }
  120. }
  121. }
  122. bool AsBool(int x) { return static_cast<bool>(x); }
  123. TEST(CharmapCtype, Match) {
  124. for (int c = 0; c < 256; ++c) {
  125. SCOPED_TRACE(c);
  126. SCOPED_TRACE(static_cast<char>(c));
  127. EXPECT_EQ(AsBool(std::isupper(c)),
  128. absl::strings_internal::UpperCharmap().contains(c));
  129. EXPECT_EQ(AsBool(std::islower(c)),
  130. absl::strings_internal::LowerCharmap().contains(c));
  131. EXPECT_EQ(AsBool(std::isdigit(c)),
  132. absl::strings_internal::DigitCharmap().contains(c));
  133. EXPECT_EQ(AsBool(std::isalpha(c)),
  134. absl::strings_internal::AlphaCharmap().contains(c));
  135. EXPECT_EQ(AsBool(std::isalnum(c)),
  136. absl::strings_internal::AlnumCharmap().contains(c));
  137. EXPECT_EQ(AsBool(std::isxdigit(c)),
  138. absl::strings_internal::XDigitCharmap().contains(c));
  139. EXPECT_EQ(AsBool(std::isprint(c)),
  140. absl::strings_internal::PrintCharmap().contains(c));
  141. EXPECT_EQ(AsBool(std::isspace(c)),
  142. absl::strings_internal::SpaceCharmap().contains(c));
  143. EXPECT_EQ(AsBool(std::iscntrl(c)),
  144. absl::strings_internal::CntrlCharmap().contains(c));
  145. EXPECT_EQ(AsBool(std::isblank(c)),
  146. absl::strings_internal::BlankCharmap().contains(c));
  147. EXPECT_EQ(AsBool(std::isgraph(c)),
  148. absl::strings_internal::GraphCharmap().contains(c));
  149. EXPECT_EQ(AsBool(std::ispunct(c)),
  150. absl::strings_internal::PunctCharmap().contains(c));
  151. }
  152. }
  153. } // namespace