| 1 | #include <containers/string.hfa>
|
|---|
| 2 | #include <string_sharectx.hfa>
|
|---|
| 3 |
|
|---|
| 4 | void assertWellFormedHandleList( int maxLen ) { // with(HeapArea)
|
|---|
| 5 | // HandleNode *n;
|
|---|
| 6 | // int limit1 = maxLen;
|
|---|
| 7 | // for ( n = Header.flink; (limit1-- > 0) && n != &Header; n = n->flink ) {}
|
|---|
| 8 | // assert (n == &Header);
|
|---|
| 9 | // int limit2 = maxLen;
|
|---|
| 10 | // for ( n = Header.blink; (limit2-- > 0) && n != &Header; n = n->blink ) {}
|
|---|
| 11 | // assert (n == &Header);
|
|---|
| 12 | // assert (limit1 == limit2);
|
|---|
| 13 | }
|
|---|
| 14 |
|
|---|
| 15 | // The given string is reachable.
|
|---|
| 16 | void assertOnHandleList( string & q ) { // with(HeapArea)
|
|---|
| 17 | // HandleNode *n;
|
|---|
| 18 | // for ( n = Header.flink; n != &Header; n = n->flink ) {
|
|---|
| 19 | // if ( n == & q.inner->Handle ) return;
|
|---|
| 20 | // }
|
|---|
| 21 | // assert( false );
|
|---|
| 22 | }
|
|---|
| 23 |
|
|---|
| 24 |
|
|---|
| 25 | // Purpose: call each function in string.hfa, top to bottom
|
|---|
| 26 |
|
|---|
| 27 | int main () {
|
|---|
| 28 |
|
|---|
| 29 | #ifdef STRING_SHARING_OFF
|
|---|
| 30 | string_sharectx c = { NO_SHARING };
|
|---|
| 31 | #endif
|
|---|
| 32 |
|
|---|
| 33 | string s = "hello";
|
|---|
| 34 | string s2 = "hello";
|
|---|
| 35 | string s3 = "world";
|
|---|
| 36 | string frag = "ell";
|
|---|
| 37 |
|
|---|
| 38 | // IO operator, x2
|
|---|
| 39 | sout | s | s | s; // hello hello hello
|
|---|
| 40 |
|
|---|
| 41 | // empty ctor then assign
|
|---|
| 42 | string sxx;
|
|---|
| 43 | sout | sxx; // (blank line)
|
|---|
| 44 | sxx = s;
|
|---|
| 45 | sout | sxx; // hello
|
|---|
| 46 |
|
|---|
| 47 | // Comparisons
|
|---|
| 48 | // all print "true false"
|
|---|
| 49 | sout | (s == s2) | (s == s3);
|
|---|
| 50 | sout | (s != s3) | (s != s2);
|
|---|
| 51 | sout | (s == "hello") | (s == "world");
|
|---|
| 52 | sout | (s != "world") | (s != "hello");
|
|---|
| 53 | sout | ( frag == s(1,4) ) | ( s3 == s(1,4) );
|
|---|
| 54 | sout | ( s3 != s(1,4) ) | ( frag != s(1,4) );
|
|---|
| 55 | sout | ( s2(1,4) == s(1,4) ) | ( s3(1,4) == s(1,4) );
|
|---|
| 56 | sout | ( s3(1,4) != s(1,4) ) | ( s2(1,4) != s(1,4) );
|
|---|
| 57 | sout | ( s(1,4) == frag ) | ( s(1,4) == s3 );
|
|---|
| 58 | sout | ( s(1,4) != s3 ) | ( s(1,4) != frag );
|
|---|
| 59 | sout | ( s(1,4) == "ell" ) | ( s(1,4) == "world" );
|
|---|
| 60 | sout | ( s(1,4) != "world" ) | ( s(1,4) != "ell" );
|
|---|
| 61 |
|
|---|
| 62 |
|
|---|
| 63 | assertWellFormedHandleList( 10 );
|
|---|
| 64 | //
|
|---|
| 65 | // breadth Constructors
|
|---|
| 66 | //
|
|---|
| 67 | {
|
|---|
| 68 | string b1 = { "1234567", 3 };
|
|---|
| 69 | sout | b1; // 123
|
|---|
| 70 |
|
|---|
| 71 | string b2 = s;
|
|---|
| 72 | sout | b2; // hello
|
|---|
| 73 |
|
|---|
| 74 | // todo: a plain string &
|
|---|
| 75 | const string & s_ref = s;
|
|---|
| 76 | string b3 = s_ref;
|
|---|
| 77 | sout | b3; // hello
|
|---|
| 78 |
|
|---|
| 79 | & s_ref = & s3;
|
|---|
| 80 | b3 = s_ref;
|
|---|
| 81 | sout | b3; // world
|
|---|
| 82 |
|
|---|
| 83 | const string & s_constref = s;
|
|---|
| 84 | string b4 = s_constref;
|
|---|
| 85 | sout | b4; // hello
|
|---|
| 86 |
|
|---|
| 87 | & s_constref = & s3;
|
|---|
| 88 | b4 = s_constref;
|
|---|
| 89 | sout | b4; // world
|
|---|
| 90 | }
|
|---|
| 91 | assertWellFormedHandleList( 10 );
|
|---|
| 92 |
|
|---|
| 93 | sout | size(s); // 5
|
|---|
| 94 |
|
|---|
| 95 | //
|
|---|
| 96 | // concatenation/append
|
|---|
| 97 | //
|
|---|
| 98 |
|
|---|
| 99 | string sx = s + s3;
|
|---|
| 100 | assertWellFormedHandleList( 10 );
|
|---|
| 101 | sout | sx; // helloworld
|
|---|
| 102 | assertWellFormedHandleList( 10 );
|
|---|
| 103 | sx = "xx";
|
|---|
| 104 | assertWellFormedHandleList( 10 );
|
|---|
| 105 | sx = s + s3;
|
|---|
| 106 | assertWellFormedHandleList( 10 );
|
|---|
| 107 | sout | sx; // helloworld
|
|---|
| 108 | assertWellFormedHandleList( 10 );
|
|---|
| 109 |
|
|---|
| 110 | sx += '!';
|
|---|
| 111 | sout | sx; // helloworld!
|
|---|
| 112 | sx = s + '!';
|
|---|
| 113 | sout | sx; // hello!
|
|---|
| 114 |
|
|---|
| 115 | sx = s;
|
|---|
| 116 | sx += s;
|
|---|
| 117 | sout | sx; // hellohello
|
|---|
| 118 | assertWellFormedHandleList( 10 );
|
|---|
| 119 | sx += ", friend";
|
|---|
| 120 | sout | sx; // hellohello, friend
|
|---|
| 121 |
|
|---|
| 122 | sx = s + ", friend";
|
|---|
| 123 | sout | sx; // hello, friend
|
|---|
| 124 |
|
|---|
| 125 | sx = "bye, " + "friend";
|
|---|
| 126 | sout | sx; // bye, friend
|
|---|
| 127 |
|
|---|
| 128 | //
|
|---|
| 129 | // repetition
|
|---|
| 130 | //
|
|---|
| 131 | sx = s * 3;
|
|---|
| 132 | sout | sx; // hellohellohello
|
|---|
| 133 |
|
|---|
| 134 | sx = 'Q' * (size_t)3;
|
|---|
| 135 | sout | sx; // QQQ
|
|---|
| 136 |
|
|---|
| 137 | sx = "asdf" * 3;
|
|---|
| 138 | sout | sx; // asdfasdfasdf
|
|---|
| 139 |
|
|---|
| 140 | //
|
|---|
| 141 | // slicing
|
|---|
| 142 | //
|
|---|
| 143 |
|
|---|
| 144 | //...
|
|---|
| 145 |
|
|---|
| 146 | //
|
|---|
| 147 | // character access
|
|---|
| 148 | //
|
|---|
| 149 |
|
|---|
| 150 | char c = s[1];
|
|---|
| 151 | sout | c; // e
|
|---|
| 152 |
|
|---|
| 153 | s[3] = "p!!!";
|
|---|
| 154 | sout | s; // help!!!o
|
|---|
| 155 |
|
|---|
| 156 | s[7] = '!';
|
|---|
| 157 | sout | s; // help!!!!
|
|---|
| 158 |
|
|---|
| 159 | s[7] = "";
|
|---|
| 160 | sout | s; // help!!!
|
|---|
| 161 |
|
|---|
| 162 | sout | s[3]; // p
|
|---|
| 163 |
|
|---|
| 164 | //
|
|---|
| 165 | // search
|
|---|
| 166 | //
|
|---|
| 167 |
|
|---|
| 168 | s += '?'; // already tested
|
|---|
| 169 | sout | contains( s, 'h' ) | contains( s, '?' ) | contains( s, 'o' ); // true true false
|
|---|
| 170 |
|
|---|
| 171 | sout
|
|---|
| 172 | | find( s, 'h' ) // 0
|
|---|
| 173 | | find( s, '!' ) // 4
|
|---|
| 174 | | find( s, '?' ) // 7
|
|---|
| 175 | | find( s, 'o' ); // 8, not found
|
|---|
| 176 |
|
|---|
| 177 | string alphabet = "abcdefghijklmnopqrstuvwxyz";
|
|---|
| 178 |
|
|---|
| 179 | sout
|
|---|
| 180 | | find( alphabet, "" ) // 0
|
|---|
| 181 | | find( alphabet, "a" ) // 0
|
|---|
| 182 | | find( alphabet, "z" ) // 25
|
|---|
| 183 | | find( alphabet, "abc" ) // 0
|
|---|
| 184 | | find( alphabet, "abq" ) // 26, not found
|
|---|
| 185 | | find( alphabet, "def"); // 3
|
|---|
| 186 |
|
|---|
| 187 | sout
|
|---|
| 188 | | includes( alphabet, "" ) // true
|
|---|
| 189 | | includes( alphabet, "a" ) // true
|
|---|
| 190 | | includes( alphabet, "z" ) // true
|
|---|
| 191 | | includes( alphabet, "abc" ) // true
|
|---|
| 192 | | includes( alphabet, "abq" ) // false
|
|---|
| 193 | | includes( alphabet, "def"); // true
|
|---|
| 194 |
|
|---|
| 195 | {
|
|---|
| 196 | char *empty_c = "";
|
|---|
| 197 | char *a_c = "a";
|
|---|
| 198 | char *z_c = "z";
|
|---|
| 199 | char *dex_c = "dex";
|
|---|
| 200 |
|
|---|
| 201 | sout
|
|---|
| 202 | | find( alphabet, empty_c ) // 0
|
|---|
| 203 | | find( alphabet, a_c ) // 0
|
|---|
| 204 | | find( alphabet, dex_c ) // 26, not found
|
|---|
| 205 | | find( alphabet, dex_c, 2 ); // 3
|
|---|
| 206 |
|
|---|
| 207 | sout
|
|---|
| 208 | | includes( alphabet, empty_c ) // true
|
|---|
| 209 | | includes( alphabet, a_c ) // true
|
|---|
| 210 | | includes( alphabet, dex_c ) // false
|
|---|
| 211 | | includes( alphabet, dex_c, 2 ); // true
|
|---|
| 212 |
|
|---|
| 213 | sout
|
|---|
| 214 | | startsWith( alphabet, a_c) // true
|
|---|
| 215 | | endsWith ( alphabet, a_c) // false
|
|---|
| 216 | | startsWith( alphabet, z_c) // false
|
|---|
| 217 | | endsWith ( alphabet, z_c); // true
|
|---|
| 218 |
|
|---|
| 219 | string empty = empty_c;
|
|---|
| 220 | string a = a_c;
|
|---|
| 221 | string z = z_c;
|
|---|
| 222 | string dex = dex_c;
|
|---|
| 223 |
|
|---|
| 224 | sout
|
|---|
| 225 | | find( alphabet, empty ) // 0
|
|---|
| 226 | | find( alphabet, a ) // 0
|
|---|
| 227 | | find( alphabet, dex ) // 26, not found
|
|---|
| 228 | | find( alphabet, dex(0,2) ); // 3
|
|---|
| 229 |
|
|---|
| 230 | sout
|
|---|
| 231 | | includes( alphabet, empty ) // true
|
|---|
| 232 | | includes( alphabet, a ) // true
|
|---|
| 233 | | includes( alphabet, dex ) // false
|
|---|
| 234 | | includes( alphabet, dex(0,2) ); // true
|
|---|
| 235 |
|
|---|
| 236 | sout
|
|---|
| 237 | | startsWith( alphabet, a) // true
|
|---|
| 238 | | endsWith ( alphabet, a) // false
|
|---|
| 239 | | startsWith( alphabet, z) // false
|
|---|
| 240 | | endsWith ( alphabet, z); // true
|
|---|
| 241 | }
|
|---|
| 242 |
|
|---|
| 243 | sout
|
|---|
| 244 | | find( alphabet , "def") // 3
|
|---|
| 245 | | find( alphabet( 0, 26), "def") // 3
|
|---|
| 246 | | find( alphabet( 2, 26), "def") // 1
|
|---|
| 247 | | find( alphabet( 3, 26), "def") // 0
|
|---|
| 248 | | find( alphabet( 4, 26), "def") // 22, not found
|
|---|
| 249 | | find( alphabet( 4, 26), "ef") // 0
|
|---|
| 250 | | find( alphabet( 0, 6), "def") // 3
|
|---|
| 251 | | find( alphabet( 0, 5), "def") // 5, not found
|
|---|
| 252 | | find( alphabet( 0, 5), "de" ); // 3
|
|---|
| 253 |
|
|---|
| 254 | sout
|
|---|
| 255 | | includes( alphabet , "def") // true
|
|---|
| 256 | | includes( alphabet( 0, 26), "def") // true
|
|---|
| 257 | | includes( alphabet( 2, 26), "def") // true
|
|---|
| 258 | | includes( alphabet( 3, 26), "def") // true
|
|---|
| 259 | | includes( alphabet( 4, 26), "def") // false
|
|---|
| 260 | | includes( alphabet( 4, 26), "ef") // true
|
|---|
| 261 | | includes( alphabet( 0, 6), "def") // true
|
|---|
| 262 | | includes( alphabet( 0, 5), "def") // false
|
|---|
| 263 | | includes( alphabet( 0, 5), "de" ); // true
|
|---|
| 264 |
|
|---|
| 265 | sout
|
|---|
| 266 | | startsWith( alphabet , "abc") // true
|
|---|
| 267 | | startsWith( alphabet( 0, 26), "abc") // true
|
|---|
| 268 | | startsWith( alphabet( 1, 26), "abc") // false
|
|---|
| 269 | | startsWith( alphabet( 1, 26), "bc") // true
|
|---|
| 270 | | startsWith( alphabet( 0, 26), "abc") // true
|
|---|
| 271 | | startsWith( alphabet( 0, 4), "abc") // true
|
|---|
| 272 | | startsWith( alphabet( 0, 3), "abc") // true
|
|---|
| 273 | | startsWith( alphabet( 0, 3), "ab" ) // true
|
|---|
| 274 | | startsWith( alphabet , "xyz"); // false
|
|---|
| 275 |
|
|---|
| 276 | sout
|
|---|
| 277 | | endsWith( alphabet , "xyz") // true
|
|---|
| 278 | | endsWith( alphabet , "xyzz") // false
|
|---|
| 279 | | endsWith( alphabet( 0, 26), "xyz") // true
|
|---|
| 280 | | endsWith( alphabet( 0, 25), "xyz") // false
|
|---|
| 281 | | endsWith( alphabet( 0, 25), "xy" ) // true
|
|---|
| 282 | | endsWith( alphabet( 0, 26), "xyz") // true
|
|---|
| 283 | | endsWith( alphabet(23, 26), "xyz") // true
|
|---|
| 284 | | endsWith( alphabet(24, 26), "xyz") // false
|
|---|
| 285 | | endsWith( alphabet(24, 26), "yz") // true
|
|---|
| 286 | | endsWith( alphabet , "abc"); // false
|
|---|
| 287 |
|
|---|
| 288 | charclass cc_cba = {"cba"};
|
|---|
| 289 | charclass cc_onml = {"onml"};
|
|---|
| 290 | charclass cc_alphabet = {alphabet};
|
|---|
| 291 |
|
|---|
| 292 | // include (rest of the) numbers: tell me where the numbers stop
|
|---|
| 293 | // exclude (until) numbers: tell me where the numbers start (include rest of the non-numbers)
|
|---|
| 294 |
|
|---|
| 295 | sout
|
|---|
| 296 | | include( alphabet, cc_cba ) // 3
|
|---|
| 297 | | exclude( alphabet, cc_cba ) // 0
|
|---|
| 298 | | include( alphabet, cc_onml ) // 0
|
|---|
| 299 | | exclude( alphabet, cc_onml ) // 11
|
|---|
| 300 | | include( alphabet, cc_alphabet ) // 26
|
|---|
| 301 | | exclude( alphabet, cc_alphabet ); // 0
|
|---|
| 302 | }
|
|---|
| 303 |
|
|---|
