Lines Matching refs:prefix
421 void testExhaustively(char[] prefix, int n) {
422 int len = prefix.length;
423 char[] ia = Arrays.copyOf(prefix, len + 1);
433 void testRandomly(char[] prefix, int n) {
434 int len = prefix.length;
435 char[] ia = Arrays.copyOf(prefix, len + n);
443 void testPrefix(char[] prefix) {
444 if (prefix.length > 0)
445 System.out.printf("Testing prefix %s%n", string(prefix));
447 test(prefix);
449 testExhaustively(prefix, 1);
451 //testExhaustively(prefix, 2);
453 testRandomly(prefix, 2);
454 testRandomly(prefix, 3);