1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <string> 11 12 // size_type rfind(const charT* s, size_type pos = npos) const; 13 14 #include <string> 15 #include <cassert> 16 17 #include "min_allocator.h" 18 19 template <class S> 20 void 21 test(const S& s, const typename S::value_type* str, typename S::size_type pos, 22 typename S::size_type x) 23 { 24 assert(s.rfind(str, pos) == x); 25 if (x != S::npos) 26 { 27 typename S::size_type n = S::traits_type::length(str); 28 assert(x <= pos && x + n <= s.size()); 29 } 30 } 31 32 template <class S> 33 void 34 test(const S& s, const typename S::value_type* str, typename S::size_type x) 35 { 36 assert(s.rfind(str) == x); 37 if (x != S::npos) 38 { 39 typename S::size_type pos = s.size(); 40 typename S::size_type n = S::traits_type::length(str); 41 assert(x <= pos && x + n <= s.size()); 42 } 43 } 44 45 template <class S> 46 void test0() 47 { 48 test(S(""), "", 0, 0); 49 test(S(""), "abcde", 0, S::npos); 50 test(S(""), "abcdeabcde", 0, S::npos); 51 test(S(""), "abcdeabcdeabcdeabcde", 0, S::npos); 52 test(S(""), "", 1, 0); 53 test(S(""), "abcde", 1, S::npos); 54 test(S(""), "abcdeabcde", 1, S::npos); 55 test(S(""), "abcdeabcdeabcdeabcde", 1, S::npos); 56 test(S("abcde"), "", 0, 0); 57 test(S("abcde"), "abcde", 0, 0); 58 test(S("abcde"), "abcdeabcde", 0, S::npos); 59 test(S("abcde"), "abcdeabcdeabcdeabcde", 0, S::npos); 60 test(S("abcde"), "", 1, 1); 61 test(S("abcde"), "abcde", 1, 0); 62 test(S("abcde"), "abcdeabcde", 1, S::npos); 63 test(S("abcde"), "abcdeabcdeabcdeabcde", 1, S::npos); 64 test(S("abcde"), "", 2, 2); 65 test(S("abcde"), "abcde", 2, 0); 66 test(S("abcde"), "abcdeabcde", 2, S::npos); 67 test(S("abcde"), "abcdeabcdeabcdeabcde", 2, S::npos); 68 test(S("abcde"), "", 4, 4); 69 test(S("abcde"), "abcde", 4, 0); 70 test(S("abcde"), "abcdeabcde", 4, S::npos); 71 test(S("abcde"), "abcdeabcdeabcdeabcde", 4, S::npos); 72 test(S("abcde"), "", 5, 5); 73 test(S("abcde"), "abcde", 5, 0); 74 test(S("abcde"), "abcdeabcde", 5, S::npos); 75 test(S("abcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 76 test(S("abcde"), "", 6, 5); 77 test(S("abcde"), "abcde", 6, 0); 78 test(S("abcde"), "abcdeabcde", 6, S::npos); 79 test(S("abcde"), "abcdeabcdeabcdeabcde", 6, S::npos); 80 test(S("abcdeabcde"), "", 0, 0); 81 test(S("abcdeabcde"), "abcde", 0, 0); 82 test(S("abcdeabcde"), "abcdeabcde", 0, 0); 83 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 0, S::npos); 84 test(S("abcdeabcde"), "", 1, 1); 85 test(S("abcdeabcde"), "abcde", 1, 0); 86 test(S("abcdeabcde"), "abcdeabcde", 1, 0); 87 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 1, S::npos); 88 test(S("abcdeabcde"), "", 5, 5); 89 test(S("abcdeabcde"), "abcde", 5, 5); 90 test(S("abcdeabcde"), "abcdeabcde", 5, 0); 91 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 5, S::npos); 92 test(S("abcdeabcde"), "", 9, 9); 93 test(S("abcdeabcde"), "abcde", 9, 5); 94 test(S("abcdeabcde"), "abcdeabcde", 9, 0); 95 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 9, S::npos); 96 test(S("abcdeabcde"), "", 10, 10); 97 test(S("abcdeabcde"), "abcde", 10, 5); 98 test(S("abcdeabcde"), "abcdeabcde", 10, 0); 99 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 10, S::npos); 100 test(S("abcdeabcde"), "", 11, 10); 101 test(S("abcdeabcde"), "abcde", 11, 5); 102 test(S("abcdeabcde"), "abcdeabcde", 11, 0); 103 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", 11, S::npos); 104 test(S("abcdeabcdeabcdeabcde"), "", 0, 0); 105 test(S("abcdeabcdeabcdeabcde"), "abcde", 0, 0); 106 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 0, 0); 107 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0, 0); 108 test(S("abcdeabcdeabcdeabcde"), "", 1, 1); 109 test(S("abcdeabcdeabcdeabcde"), "abcde", 1, 0); 110 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 1, 0); 111 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 1, 0); 112 test(S("abcdeabcdeabcdeabcde"), "", 10, 10); 113 test(S("abcdeabcdeabcdeabcde"), "abcde", 10, 10); 114 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10, 10); 115 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 10, 0); 116 test(S("abcdeabcdeabcdeabcde"), "", 19, 19); 117 test(S("abcdeabcdeabcdeabcde"), "abcde", 19, 15); 118 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 19, 10); 119 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 19, 0); 120 test(S("abcdeabcdeabcdeabcde"), "", 20, 20); 121 test(S("abcdeabcdeabcdeabcde"), "abcde", 20, 15); 122 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 20, 10); 123 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 20, 0); 124 test(S("abcdeabcdeabcdeabcde"), "", 21, 20); 125 test(S("abcdeabcdeabcdeabcde"), "abcde", 21, 15); 126 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 21, 10); 127 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 21, 0); 128 } 129 130 template <class S> 131 void test1() 132 { 133 test(S(""), "", 0); 134 test(S(""), "abcde", S::npos); 135 test(S(""), "abcdeabcde", S::npos); 136 test(S(""), "abcdeabcdeabcdeabcde", S::npos); 137 test(S("abcde"), "", 5); 138 test(S("abcde"), "abcde", 0); 139 test(S("abcde"), "abcdeabcde", S::npos); 140 test(S("abcde"), "abcdeabcdeabcdeabcde", S::npos); 141 test(S("abcdeabcde"), "", 10); 142 test(S("abcdeabcde"), "abcde", 5); 143 test(S("abcdeabcde"), "abcdeabcde", 0); 144 test(S("abcdeabcde"), "abcdeabcdeabcdeabcde", S::npos); 145 test(S("abcdeabcdeabcdeabcde"), "", 20); 146 test(S("abcdeabcdeabcdeabcde"), "abcde", 15); 147 test(S("abcdeabcdeabcdeabcde"), "abcdeabcde", 10); 148 test(S("abcdeabcdeabcdeabcde"), "abcdeabcdeabcdeabcde", 0); 149 } 150 151 int main() 152 { 153 { 154 typedef std::string S; 155 test0<S>(); 156 test1<S>(); 157 } 158 #if __cplusplus >= 201103L 159 { 160 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 161 test0<S>(); 162 test1<S>(); 163 } 164 #endif 165 } 166