diff --git a/regression/strings/RegexMatches01/RegexMatches01.class b/regression/strings/RegexMatches01/RegexMatches01.class new file mode 100644 index 00000000000..4006de70b28 Binary files /dev/null and b/regression/strings/RegexMatches01/RegexMatches01.class differ diff --git a/regression/strings/RegexMatches01/RegexMatches01.java b/regression/strings/RegexMatches01/RegexMatches01.java new file mode 100644 index 00000000000..79e05c1432d --- /dev/null +++ b/regression/strings/RegexMatches01/RegexMatches01.java @@ -0,0 +1,25 @@ +import java.util.regex.Matcher; +import java.util.regex.Pattern; + +public class RegexMatches01 +{ + public static void main(String[] args) + { + Pattern expression = + Pattern.compile("W.*\\d[0-35-9]-\\d\\d-\\d\\d"); + + String string1 = "XXXX's Birthday is 05-12-75\n" + + "YYYY's Birthday is 11-04-68\n" + + "ZZZZ's Birthday is 04-28-73\n" + + "WWWW's Birthday is 12-17-77"; + + Matcher matcher = expression.matcher(string1); + + while (matcher.find()) + { + System.out.println(matcher.group()); + String tmp=matcher.group(); + assert tmp.equals("WWWW's Birthday is 12-17-77"); + } + } +} diff --git a/regression/strings/RegexMatches01/test.desc b/regression/strings/RegexMatches01/test.desc new file mode 100644 index 00000000000..45cc542b352 --- /dev/null +++ b/regression/strings/RegexMatches01/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexMatches01.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/RegexMatches02/RegexMatches02.class b/regression/strings/RegexMatches02/RegexMatches02.class new file mode 100644 index 00000000000..d696c5eb047 Binary files /dev/null and b/regression/strings/RegexMatches02/RegexMatches02.class differ diff --git a/regression/strings/RegexMatches02/RegexMatches02.java b/regression/strings/RegexMatches02/RegexMatches02.java new file mode 100644 index 00000000000..634774832c1 --- /dev/null +++ b/regression/strings/RegexMatches02/RegexMatches02.java @@ -0,0 +1,25 @@ +import java.util.regex.Matcher; +import java.util.regex.Pattern; + +public class RegexMatches02 +{ + public static void main(String[] args) + { + Pattern expression = + Pattern.compile("W.*\\d[0-35-9]-\\d\\d-\\d\\d"); + + String string1 = "XXXX's Birthday is 05-12-75\n" + + "YYYY's Birthday is 11-04-68\n" + + "ZZZZ's Birthday is 04-28-73\n" + + "WWWW's Birthday is 12-17-77"; + + Matcher matcher = expression.matcher(string1); + + while (matcher.find()) + { + System.out.println(matcher.group()); + String tmp=matcher.group(); + assert tmp.equals("WWWWW's Birthday is 12-17-77"); + } + } +} diff --git a/regression/strings/RegexMatches02/test.desc b/regression/strings/RegexMatches02/test.desc new file mode 100644 index 00000000000..92d72ae941e --- /dev/null +++ b/regression/strings/RegexMatches02/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexMatches02.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/RegexSubstitution01/RegexSubstitution01.class b/regression/strings/RegexSubstitution01/RegexSubstitution01.class new file mode 100644 index 00000000000..fe4106df4e8 Binary files /dev/null and b/regression/strings/RegexSubstitution01/RegexSubstitution01.class differ diff --git a/regression/strings/RegexSubstitution01/RegexSubstitution01.java b/regression/strings/RegexSubstitution01/RegexSubstitution01.java new file mode 100644 index 00000000000..06b9e7aaa10 --- /dev/null +++ b/regression/strings/RegexSubstitution01/RegexSubstitution01.java @@ -0,0 +1,39 @@ +import java.util.Arrays; + +public class RegexSubstitution01 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + assert firstString.equals("DiffBlue ^^^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + assert secondString.equals("automatedautomatedautomatedAutomated Test Case Generation"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + assert results[0].equals("automatedautomatedautomatedAutomated"); + assert results[1].equals("Test"); + assert results[2].equals("Case"); + assert results[3].equals("Generation"); + } +} diff --git a/regression/strings/RegexSubstitution01/test.desc b/regression/strings/RegexSubstitution01/test.desc new file mode 100644 index 00000000000..bc7ed3648f3 --- /dev/null +++ b/regression/strings/RegexSubstitution01/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/RegexSubstitution02/RegexSubstitution02.class b/regression/strings/RegexSubstitution02/RegexSubstitution02.class new file mode 100644 index 00000000000..834c403b3b2 Binary files /dev/null and b/regression/strings/RegexSubstitution02/RegexSubstitution02.class differ diff --git a/regression/strings/RegexSubstitution02/RegexSubstitution02.java b/regression/strings/RegexSubstitution02/RegexSubstitution02.java new file mode 100644 index 00000000000..476c0921553 --- /dev/null +++ b/regression/strings/RegexSubstitution02/RegexSubstitution02.java @@ -0,0 +1,32 @@ +import java.util.Arrays; + +public class RegexSubstitution02 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + assert results[0].equals("automatedautomatedautomatedaAutomated"); + } +} diff --git a/regression/strings/RegexSubstitution02/test.desc b/regression/strings/RegexSubstitution02/test.desc new file mode 100644 index 00000000000..eb2c03599a1 --- /dev/null +++ b/regression/strings/RegexSubstitution02/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/RegexSubstitution03/RegexSubstitution03.class b/regression/strings/RegexSubstitution03/RegexSubstitution03.class new file mode 100644 index 00000000000..fa382774918 Binary files /dev/null and b/regression/strings/RegexSubstitution03/RegexSubstitution03.class differ diff --git a/regression/strings/RegexSubstitution03/RegexSubstitution03.java b/regression/strings/RegexSubstitution03/RegexSubstitution03.java new file mode 100644 index 00000000000..9ea91639e2c --- /dev/null +++ b/regression/strings/RegexSubstitution03/RegexSubstitution03.java @@ -0,0 +1,33 @@ +import java.util.Arrays; + +public class RegexSubstitution03 +{ + public static void main(String[] args) + { + String firstString = "DiffBlue ***"; + String secondString = "Automatic Test Case Generation"; + + firstString = firstString.replaceAll("\\*", "^"); + + assert firstString.equals("DiffBlue ^^^"); + + secondString = secondString.replaceAll("Automatic", "Automated"); + + System.out.printf( + "\"Automatic\" substituted for \"Automated\": %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + System.out.printf("Every word replaced by \"word\": %s\n\n", + firstString.replaceAll("\\w+", "word")); + + System.out.printf("Original String 2: %s\n", secondString); + secondString.equals("Automated Test Case Generation"); + + for (int i = 0; i < 3; i++) + secondString = secondString.replaceFirst("\\A", "automated"); + + System.out.print("String split at commas: "); + String[] results = secondString.split(" \\s*"); + System.out.println(Arrays.toString(results)); + } +} diff --git a/regression/strings/RegexSubstitution03/test.desc b/regression/strings/RegexSubstitution03/test.desc new file mode 100644 index 00000000000..20da1478b1a --- /dev/null +++ b/regression/strings/RegexSubstitution03/test.desc @@ -0,0 +1,8 @@ +FUTURE +RegexSubstitution03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods01/StaticCharMethods01.class b/regression/strings/StaticCharMethods01/StaticCharMethods01.class new file mode 100644 index 00000000000..9236c2521e1 Binary files /dev/null and b/regression/strings/StaticCharMethods01/StaticCharMethods01.class differ diff --git a/regression/strings/StaticCharMethods01/StaticCharMethods01.java b/regression/strings/StaticCharMethods01/StaticCharMethods01.java new file mode 100644 index 00000000000..d8e2f9d261b --- /dev/null +++ b/regression/strings/StaticCharMethods01/StaticCharMethods01.java @@ -0,0 +1,16 @@ +public class StaticCharMethods01 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.isDefined(c)==true; + assert Character.isDigit(c)==false; + assert Character.isJavaIdentifierStart(c)==false; + assert Character.isJavaIdentifierPart(c)==true; + assert Character.isLetter(c)==false; + assert Character.isLetterOrDigit(c)==false; + assert Character.isLowerCase(c)==false; + assert Character.isUpperCase(c)==false; + assert Character.toUpperCase(c)==Character.toLowerCase(c); + } +} diff --git a/regression/strings/StaticCharMethods01/test.desc b/regression/strings/StaticCharMethods01/test.desc new file mode 100644 index 00000000000..4b633e92bcf --- /dev/null +++ b/regression/strings/StaticCharMethods01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods02/StaticCharMethods02.class b/regression/strings/StaticCharMethods02/StaticCharMethods02.class new file mode 100644 index 00000000000..78ad3dbdc77 Binary files /dev/null and b/regression/strings/StaticCharMethods02/StaticCharMethods02.class differ diff --git a/regression/strings/StaticCharMethods02/StaticCharMethods02.java b/regression/strings/StaticCharMethods02/StaticCharMethods02.java new file mode 100644 index 00000000000..658186e9603 --- /dev/null +++ b/regression/strings/StaticCharMethods02/StaticCharMethods02.java @@ -0,0 +1,8 @@ +public class StaticCharMethods02 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.toUpperCase(c)!=Character.toLowerCase(c); + } +} diff --git a/regression/strings/StaticCharMethods02/test.desc b/regression/strings/StaticCharMethods02/test.desc new file mode 100644 index 00000000000..496814588a7 --- /dev/null +++ b/regression/strings/StaticCharMethods02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods03/StaticCharMethods03.class b/regression/strings/StaticCharMethods03/StaticCharMethods03.class new file mode 100644 index 00000000000..264331b2fbe Binary files /dev/null and b/regression/strings/StaticCharMethods03/StaticCharMethods03.class differ diff --git a/regression/strings/StaticCharMethods03/StaticCharMethods03.java b/regression/strings/StaticCharMethods03/StaticCharMethods03.java new file mode 100644 index 00000000000..abc29073402 --- /dev/null +++ b/regression/strings/StaticCharMethods03/StaticCharMethods03.java @@ -0,0 +1,8 @@ +public class StaticCharMethods03 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.isDefined(c)==false; + } +} diff --git a/regression/strings/StaticCharMethods03/test.desc b/regression/strings/StaticCharMethods03/test.desc new file mode 100644 index 00000000000..d48bf57dbba --- /dev/null +++ b/regression/strings/StaticCharMethods03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods04/StaticCharMethods04.class b/regression/strings/StaticCharMethods04/StaticCharMethods04.class new file mode 100644 index 00000000000..6966a3cc557 Binary files /dev/null and b/regression/strings/StaticCharMethods04/StaticCharMethods04.class differ diff --git a/regression/strings/StaticCharMethods04/StaticCharMethods04.java b/regression/strings/StaticCharMethods04/StaticCharMethods04.java new file mode 100644 index 00000000000..70fa2be2f36 --- /dev/null +++ b/regression/strings/StaticCharMethods04/StaticCharMethods04.java @@ -0,0 +1,8 @@ +public class StaticCharMethods04 +{ + public static void main(String[] args) + { + char c = 0; + assert Character.isLetter(c)==true; + } +} diff --git a/regression/strings/StaticCharMethods04/test.desc b/regression/strings/StaticCharMethods04/test.desc new file mode 100644 index 00000000000..93eebbae1da --- /dev/null +++ b/regression/strings/StaticCharMethods04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods05/StaticCharMethods05.class b/regression/strings/StaticCharMethods05/StaticCharMethods05.class new file mode 100644 index 00000000000..c58f3d328af Binary files /dev/null and b/regression/strings/StaticCharMethods05/StaticCharMethods05.class differ diff --git a/regression/strings/StaticCharMethods05/StaticCharMethods05.java b/regression/strings/StaticCharMethods05/StaticCharMethods05.java new file mode 100644 index 00000000000..cffbed129b4 --- /dev/null +++ b/regression/strings/StaticCharMethods05/StaticCharMethods05.java @@ -0,0 +1,33 @@ +import java.util.Scanner; + +public class StaticCharMethods05 +{ + public static void main(String[] args) + { + Scanner scanner = new Scanner(System.in); + + int radix = scanner.nextInt(); + + int choice = scanner.nextInt() % 3; + assert choice>=0 && choice<3; + + switch (choice) + { + case 1: // convert digit to character + System.out.println("Enter a digit:"); + int digit = scanner.nextInt(); + System.out.printf("Convert digit to character: %s\n", + Character.forDigit(digit, radix)); + char tmp=Character.forDigit(digit, radix); + assert tmp=='t'; + break; + + case 2: // convert character to digit + System.out.println("Enter a character:"); + char character = scanner.next().charAt(0); + System.out.printf("Convert character to digit: %s\n", + Character.digit(character, radix)); + break; + } + } +} diff --git a/regression/strings/StaticCharMethods05/test.desc b/regression/strings/StaticCharMethods05/test.desc new file mode 100644 index 00000000000..e009650a853 --- /dev/null +++ b/regression/strings/StaticCharMethods05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StaticCharMethods06/StaticCharMethods06.class b/regression/strings/StaticCharMethods06/StaticCharMethods06.class new file mode 100644 index 00000000000..10f416854e6 Binary files /dev/null and b/regression/strings/StaticCharMethods06/StaticCharMethods06.class differ diff --git a/regression/strings/StaticCharMethods06/StaticCharMethods06.java b/regression/strings/StaticCharMethods06/StaticCharMethods06.java new file mode 100644 index 00000000000..ca8ff1604ac --- /dev/null +++ b/regression/strings/StaticCharMethods06/StaticCharMethods06.java @@ -0,0 +1,19 @@ +public class StaticCharMethods06 +{ + public static void main(String[] args) + { + Character c1 = 'A'; + Character c2 = 'A'; + + if (c1.equals(c2)) + { + System.out.println("c1 and c2 are equal\n"); + assert true; + } + else + { + System.out.println("c1 and c2 are not equal\n"); + assert false; + } + } +} diff --git a/regression/strings/StaticCharMethods06/test.desc b/regression/strings/StaticCharMethods06/test.desc new file mode 100644 index 00000000000..6f351b2c7cf --- /dev/null +++ b/regression/strings/StaticCharMethods06/test.desc @@ -0,0 +1,8 @@ +FUTURE +StaticCharMethods06.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderAppend01/StringBuilderAppend01.class b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.class new file mode 100644 index 00000000000..b6202d6fc9a Binary files /dev/null and b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.class differ diff --git a/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java new file mode 100644 index 00000000000..26e164c02c9 --- /dev/null +++ b/regression/strings/StringBuilderAppend01/StringBuilderAppend01.java @@ -0,0 +1,43 @@ +public class StringBuilderAppend01 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'Z'; + int integerValue = 7; + long longValue = 10000000000L; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder lastBuffer = new StringBuilder("last buffer"); + StringBuilder buffer = new StringBuilder(); + + buffer.append(objectRef) + .append("%n") + .append(string) + .append("%n") + .append(charArray) + .append("%n") + .append(charArray, 0, 3) + .append("%n") + .append(booleanValue) + .append("%n") + .append(characterValue) + .append("%n") + .append(integerValue) + .append("%n") + .append(longValue) + .append("%n") + .append(floatValue) + .append("%n") + .append(doubleValue) + .append("%n") + .append(lastBuffer); + + String tmp=buffer.toString(); + assert tmp.equals("diffblue%ntest%nverification%nver%ntrue%nZ%n7%n10000000000%n2.5%n33.333%nlast buffer"); + } +} diff --git a/regression/strings/StringBuilderAppend01/test.desc b/regression/strings/StringBuilderAppend01/test.desc new file mode 100644 index 00000000000..f1f89b629be --- /dev/null +++ b/regression/strings/StringBuilderAppend01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderAppend01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderAppend02/StringBuilderAppend02.class b/regression/strings/StringBuilderAppend02/StringBuilderAppend02.class new file mode 100644 index 00000000000..bf07da6a613 Binary files /dev/null and b/regression/strings/StringBuilderAppend02/StringBuilderAppend02.class differ diff --git a/regression/strings/StringBuilderAppend02/StringBuilderAppend02.java b/regression/strings/StringBuilderAppend02/StringBuilderAppend02.java new file mode 100644 index 00000000000..98e0e189c6f --- /dev/null +++ b/regression/strings/StringBuilderAppend02/StringBuilderAppend02.java @@ -0,0 +1,43 @@ +public class StringBuilderAppend02 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'Z'; + int integerValue = 7; + long longValue = 10000000000L; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder lastBuffer = new StringBuilder("last buffer"); + StringBuilder buffer = new StringBuilder(); + + buffer.append(objectRef) + .append("%n") + .append(string) + .append("%n") + .append(charArray) + .append("%n") + .append(charArray, 0, 3) + .append("%n") + .append(booleanValue) + .append("%n") + .append(characterValue) + .append("%n") + .append(integerValue) + .append("%n") + .append(longValue) + .append("%n") + .append(floatValue) + .append("%n") + .append(doubleValue) + .append("%n") + .append(lastBuffer); + + String tmp=buffer.toString(); + assert tmp.equals("diffblue%ntest%nverification%nver%ntrue%n%Z%n7%n10000000000%n2.5%n33.333%nlast buffer"); + } +} diff --git a/regression/strings/StringBuilderAppend02/test.desc b/regression/strings/StringBuilderAppend02/test.desc new file mode 100644 index 00000000000..4ff9da595b5 --- /dev/null +++ b/regression/strings/StringBuilderAppend02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderAppend02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class b/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class new file mode 100644 index 00000000000..caf6da81f4b Binary files /dev/null and b/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.class differ diff --git a/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.java b/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.java new file mode 100644 index 00000000000..fb9d6e0b0f5 --- /dev/null +++ b/regression/strings/StringBuilderCapLen01/StringBuilderCapLen01.java @@ -0,0 +1,18 @@ +public class StringBuilderCapLen01 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + + assert buffer.toString().equals("Diffblue is leader in automatic test case generation"); + assert buffer.length()==52; + assert buffer.capacity()==68; + + buffer.ensureCapacity(75); + assert buffer.capacity()==138; + + buffer.setLength(8); + assert buffer.length()==8; + assert buffer.toString().equals("Diffblue"); + } +} diff --git a/regression/strings/StringBuilderCapLen01/test.desc b/regression/strings/StringBuilderCapLen01/test.desc new file mode 100644 index 00000000000..05516f08da2 --- /dev/null +++ b/regression/strings/StringBuilderCapLen01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.class b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.class new file mode 100644 index 00000000000..ec6949a763f Binary files /dev/null and b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.class differ diff --git a/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java new file mode 100644 index 00000000000..5397130cde4 --- /dev/null +++ b/regression/strings/StringBuilderCapLen02/StringBuilderCapLen02.java @@ -0,0 +1,8 @@ +public class StringBuilderCapLen02 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + assert buffer.toString().equals("Diffblue is leader in automatic test case generation"); + } +} diff --git a/regression/strings/StringBuilderCapLen02/test.desc b/regression/strings/StringBuilderCapLen02/test.desc new file mode 100644 index 00000000000..cf2a98acf6d --- /dev/null +++ b/regression/strings/StringBuilderCapLen02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class new file mode 100644 index 00000000000..a14ea26291a Binary files /dev/null and b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.class differ diff --git a/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java new file mode 100644 index 00000000000..86ac16fcdf6 --- /dev/null +++ b/regression/strings/StringBuilderCapLen03/StringBuilderCapLen03.java @@ -0,0 +1,8 @@ +public class StringBuilderCapLen03 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + assert buffer.length()==51; + } +} diff --git a/regression/strings/StringBuilderCapLen03/test.desc b/regression/strings/StringBuilderCapLen03/test.desc new file mode 100644 index 00000000000..7095d79fe5f --- /dev/null +++ b/regression/strings/StringBuilderCapLen03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class b/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class new file mode 100644 index 00000000000..7350cb80672 Binary files /dev/null and b/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.class differ diff --git a/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.java b/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.java new file mode 100644 index 00000000000..0ee0492b7bb --- /dev/null +++ b/regression/strings/StringBuilderCapLen04/StringBuilderCapLen04.java @@ -0,0 +1,8 @@ +public class StringBuilderCapLen04 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("Diffblue is leader in automatic test case generation"); + assert buffer.capacity()==69; + } +} diff --git a/regression/strings/StringBuilderCapLen04/test.desc b/regression/strings/StringBuilderCapLen04/test.desc new file mode 100644 index 00000000000..ce51066e789 --- /dev/null +++ b/regression/strings/StringBuilderCapLen04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderCapLen04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars01/StringBuilderChars01.class b/regression/strings/StringBuilderChars01/StringBuilderChars01.class new file mode 100644 index 00000000000..f2645ec7774 Binary files /dev/null and b/regression/strings/StringBuilderChars01/StringBuilderChars01.class differ diff --git a/regression/strings/StringBuilderChars01/StringBuilderChars01.java b/regression/strings/StringBuilderChars01/StringBuilderChars01.java new file mode 100644 index 00000000000..10265254980 --- /dev/null +++ b/regression/strings/StringBuilderChars01/StringBuilderChars01.java @@ -0,0 +1,28 @@ +public class StringBuilderChars01 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + + assert buffer.toString().equals("DiffBlue Limited"); + assert buffer.charAt(0)!=buffer.charAt(4); + + char[] charArray = new char[buffer.length()]; + buffer.getChars(0, buffer.length(), charArray, 0); + + int i=0; + for (char character : charArray) + { + System.out.print(character); + assert character==buffer.charAt(i); + ++i; + } + + buffer.setCharAt(0, 'H'); + buffer.setCharAt(6, 'T'); + assert buffer.toString().equals("HiffBlTe Limited"); + + buffer.reverse(); + assert buffer.toString().equals("detimiL eTlBffiH"); + } +} diff --git a/regression/strings/StringBuilderChars01/test.desc b/regression/strings/StringBuilderChars01/test.desc new file mode 100644 index 00000000000..41dfe54abeb --- /dev/null +++ b/regression/strings/StringBuilderChars01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars01.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars02/StringBuilderChars02.class b/regression/strings/StringBuilderChars02/StringBuilderChars02.class new file mode 100644 index 00000000000..bcfdcce9aa6 Binary files /dev/null and b/regression/strings/StringBuilderChars02/StringBuilderChars02.class differ diff --git a/regression/strings/StringBuilderChars02/StringBuilderChars02.java b/regression/strings/StringBuilderChars02/StringBuilderChars02.java new file mode 100644 index 00000000000..c5a2bb276f3 --- /dev/null +++ b/regression/strings/StringBuilderChars02/StringBuilderChars02.java @@ -0,0 +1,8 @@ +public class StringBuilderChars02 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + assert buffer.toString().equals("DiffBlue Limitted"); + } +} diff --git a/regression/strings/StringBuilderChars02/test.desc b/regression/strings/StringBuilderChars02/test.desc new file mode 100644 index 00000000000..3a6bde6ef78 --- /dev/null +++ b/regression/strings/StringBuilderChars02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars02.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars03/StringBuilderChars03.class b/regression/strings/StringBuilderChars03/StringBuilderChars03.class new file mode 100644 index 00000000000..d124e87d092 Binary files /dev/null and b/regression/strings/StringBuilderChars03/StringBuilderChars03.class differ diff --git a/regression/strings/StringBuilderChars03/StringBuilderChars03.java b/regression/strings/StringBuilderChars03/StringBuilderChars03.java new file mode 100644 index 00000000000..f226901e113 --- /dev/null +++ b/regression/strings/StringBuilderChars03/StringBuilderChars03.java @@ -0,0 +1,8 @@ +public class StringBuilderChars03 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + assert buffer.charAt(0)==buffer.charAt(4); + } +} diff --git a/regression/strings/StringBuilderChars03/test.desc b/regression/strings/StringBuilderChars03/test.desc new file mode 100644 index 00000000000..12f20189434 --- /dev/null +++ b/regression/strings/StringBuilderChars03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars03.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars04/StringBuilderChars04.class b/regression/strings/StringBuilderChars04/StringBuilderChars04.class new file mode 100644 index 00000000000..41be0e00683 Binary files /dev/null and b/regression/strings/StringBuilderChars04/StringBuilderChars04.class differ diff --git a/regression/strings/StringBuilderChars04/StringBuilderChars04.java b/regression/strings/StringBuilderChars04/StringBuilderChars04.java new file mode 100644 index 00000000000..039c0079c42 --- /dev/null +++ b/regression/strings/StringBuilderChars04/StringBuilderChars04.java @@ -0,0 +1,18 @@ +public class StringBuilderChars04 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + + char[] charArray = new char[buffer.length()]; + buffer.getChars(0, buffer.length(), charArray, 0); + + int i=0; + for (char character : charArray) + { + System.out.print(character); + assert character!=buffer.charAt(i); + ++i; + } + } +} diff --git a/regression/strings/StringBuilderChars04/test.desc b/regression/strings/StringBuilderChars04/test.desc new file mode 100644 index 00000000000..a2658cf2fe4 --- /dev/null +++ b/regression/strings/StringBuilderChars04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars04.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars05/StringBuilderChars05.class b/regression/strings/StringBuilderChars05/StringBuilderChars05.class new file mode 100644 index 00000000000..25d758c6d62 Binary files /dev/null and b/regression/strings/StringBuilderChars05/StringBuilderChars05.class differ diff --git a/regression/strings/StringBuilderChars05/StringBuilderChars05.java b/regression/strings/StringBuilderChars05/StringBuilderChars05.java new file mode 100644 index 00000000000..120871f8a9d --- /dev/null +++ b/regression/strings/StringBuilderChars05/StringBuilderChars05.java @@ -0,0 +1,10 @@ +public class StringBuilderChars05 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + buffer.setCharAt(0, 'H'); + buffer.setCharAt(6, 'T'); + assert buffer.toString().equals("HiffBllTe Limited"); + } +} diff --git a/regression/strings/StringBuilderChars05/test.desc b/regression/strings/StringBuilderChars05/test.desc new file mode 100644 index 00000000000..2bcbdbab934 --- /dev/null +++ b/regression/strings/StringBuilderChars05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars05.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderChars06/StringBuilderChars06.class b/regression/strings/StringBuilderChars06/StringBuilderChars06.class new file mode 100644 index 00000000000..e3597f40f87 Binary files /dev/null and b/regression/strings/StringBuilderChars06/StringBuilderChars06.class differ diff --git a/regression/strings/StringBuilderChars06/StringBuilderChars06.java b/regression/strings/StringBuilderChars06/StringBuilderChars06.java new file mode 100644 index 00000000000..f3b3b6bc8d8 --- /dev/null +++ b/regression/strings/StringBuilderChars06/StringBuilderChars06.java @@ -0,0 +1,9 @@ +public class StringBuilderChars06 +{ + public static void main(String[] args) + { + StringBuilder buffer = new StringBuilder("DiffBlue Limited"); + buffer.reverse(); + assert buffer.toString().equals("detimiL eTlBffiiH"); + } +} diff --git a/regression/strings/StringBuilderChars06/test.desc b/regression/strings/StringBuilderChars06/test.desc new file mode 100644 index 00000000000..4a711edf496 --- /dev/null +++ b/regression/strings/StringBuilderChars06/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderChars06.class +--string-refine --unwind 100 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class new file mode 100644 index 00000000000..c7052b38c1f Binary files /dev/null and b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.class differ diff --git a/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java new file mode 100644 index 00000000000..efb5524c2b8 --- /dev/null +++ b/regression/strings/StringBuilderConstructors01/StringBuilderConstructors01.java @@ -0,0 +1,13 @@ +public class StringBuilderConstructors01 +{ + public static void main(String[] args) + { + StringBuilder buffer1 = new StringBuilder(); + StringBuilder buffer2 = new StringBuilder(10); + StringBuilder buffer3 = new StringBuilder("diffblue"); + + assert buffer1.length()==0; + assert buffer2.length()==0; + assert buffer3.length()>0; + } +} diff --git a/regression/strings/StringBuilderConstructors01/test.desc b/regression/strings/StringBuilderConstructors01/test.desc new file mode 100644 index 00000000000..2c60f9bbbda --- /dev/null +++ b/regression/strings/StringBuilderConstructors01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringBuilderConstructors01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class b/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class new file mode 100644 index 00000000000..2bfe2e70d3b Binary files /dev/null and b/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.class differ diff --git a/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.java b/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.java new file mode 100644 index 00000000000..34df0144e82 --- /dev/null +++ b/regression/strings/StringBuilderConstructors02/StringBuilderConstructors02.java @@ -0,0 +1,8 @@ +public class StringBuilderConstructors02 +{ + public static void main(String[] args) + { + StringBuilder buffer3 = new StringBuilder("diffblue"); + assert buffer3.equals("diffblue"); + } +} diff --git a/regression/strings/StringBuilderConstructors02/test.desc b/regression/strings/StringBuilderConstructors02/test.desc new file mode 100644 index 00000000000..8cbad8cfe16 --- /dev/null +++ b/regression/strings/StringBuilderConstructors02/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringBuilderConstructors02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class b/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class new file mode 100644 index 00000000000..7858a392c3f Binary files /dev/null and b/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.class differ diff --git a/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.java b/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.java new file mode 100644 index 00000000000..e864b796249 --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete01/StringBuilderInsertDelete01.java @@ -0,0 +1,46 @@ +public class StringBuilderInsertDelete01 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'K'; + int integerValue = 7; + long longValue = 10000000; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder buffer = new StringBuilder(); + + buffer.insert(0, objectRef) + .insert(0, "-") + .insert(0, string) + .insert(0, "-") + .insert(0, charArray) + .insert(0, "-") + .insert(0, charArray, 3, 3) + .insert(0, "-") + .insert(0, booleanValue) + .insert(0, "-") + .insert(0, characterValue) + .insert(0, "-") + .insert(0, integerValue) + .insert(0, "-") + .insert(0, longValue) + .insert(0, "-") + .insert(0, floatValue) + .insert(0, "-") + .insert(0, doubleValue); + + String tmp=buffer.toString(); + assert tmp.equals("33.333-2.5-10000000-7-K-true-ifi-verification-test-diffblue"); + + buffer.deleteCharAt(10); + buffer.delete(2, 6); + + tmp=buffer.toString(); + assert tmp.equals("33-2.510000000-7-K-true-ifi-verification-test-diffblue"); + } +} diff --git a/regression/strings/StringBuilderInsertDelete01/test.desc b/regression/strings/StringBuilderInsertDelete01/test.desc new file mode 100644 index 00000000000..4c3000d6a97 --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderInsertDelete01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.class b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.class new file mode 100644 index 00000000000..e5a8ff2cd05 Binary files /dev/null and b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.class differ diff --git a/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java new file mode 100644 index 00000000000..d0e4923ad3c --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete02/StringBuilderInsertDelete02.java @@ -0,0 +1,40 @@ +public class StringBuilderInsertDelete02 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'K'; + int integerValue = 7; + long longValue = 10000000; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder buffer = new StringBuilder(); + + buffer.insert(0, objectRef) + .insert(0, "-") + .insert(0, string) + .insert(0, "-") + .insert(0, charArray) + .insert(0, "-") + .insert(0, charArray, 3, 3) + .insert(0, "-") + .insert(0, booleanValue) + .insert(0, "-") + .insert(0, characterValue) + .insert(0, "-") + .insert(0, integerValue) + .insert(0, "-") + .insert(0, longValue) + .insert(0, "-") + .insert(0, floatValue) + .insert(0, "-") + .insert(0, doubleValue); + + String tmp=buffer.toString(); + assert tmp.equals("33.333-2.5-10000000-7-K-true-ifi-verification-test--diffblue"); + } +} diff --git a/regression/strings/StringBuilderInsertDelete02/test.desc b/regression/strings/StringBuilderInsertDelete02/test.desc new file mode 100644 index 00000000000..f78bf3f983a --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderInsertDelete02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class b/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class new file mode 100644 index 00000000000..6e238d7caea Binary files /dev/null and b/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.class differ diff --git a/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.java b/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.java new file mode 100644 index 00000000000..bad25b201a3 --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete03/StringBuilderInsertDelete03.java @@ -0,0 +1,43 @@ +public class StringBuilderInsertDelete03 +{ + public static void main(String[] args) + { + Object objectRef = "diffblue"; + String string = "test"; + char[] charArray = {'v', 'e', 'r', 'i', 'f', 'i', 'c', 'a', 't', 'i', 'o', 'n'}; + boolean booleanValue = true; + char characterValue = 'K'; + int integerValue = 7; + long longValue = 10000000; + float floatValue = 2.5f; + double doubleValue = 33.333; + + StringBuilder buffer = new StringBuilder(); + + buffer.insert(0, objectRef) + .insert(0, "-") + .insert(0, string) + .insert(0, "-") + .insert(0, charArray) + .insert(0, "-") + .insert(0, charArray, 3, 3) + .insert(0, "-") + .insert(0, booleanValue) + .insert(0, "-") + .insert(0, characterValue) + .insert(0, "-") + .insert(0, integerValue) + .insert(0, "-") + .insert(0, longValue) + .insert(0, "-") + .insert(0, floatValue) + .insert(0, "-") + .insert(0, doubleValue); + + buffer.deleteCharAt(10); + buffer.delete(2, 6); + + String tmp=buffer.toString(); + assert tmp.equals("33-2.510000000-7-K-true-iai-verification-test-diffblue"); + } +} diff --git a/regression/strings/StringBuilderInsertDelete03/test.desc b/regression/strings/StringBuilderInsertDelete03/test.desc new file mode 100644 index 00000000000..b3882f41f7e --- /dev/null +++ b/regression/strings/StringBuilderInsertDelete03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringBuilderInsertDelete03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare01/StringCompare01.class b/regression/strings/StringCompare01/StringCompare01.class new file mode 100644 index 00000000000..38f0d216e1c Binary files /dev/null and b/regression/strings/StringCompare01/StringCompare01.class differ diff --git a/regression/strings/StringCompare01/StringCompare01.java b/regression/strings/StringCompare01/StringCompare01.java new file mode 100644 index 00000000000..5a669d5c409 --- /dev/null +++ b/regression/strings/StringCompare01/StringCompare01.java @@ -0,0 +1,47 @@ +public class StringCompare01 +{ + public static void main(String[] args) + { + String s1 = new String("test"); + String s2 = "goodbye"; + String s3 = "Automatic Test Generation"; + String s4 = "automatic test generation"; + + if (s1.equals("test")) // true + assert true; + else + assert false; + + if (s1 != "test") // true; they are not the same object + assert true; + else + assert false; + + if (s3.equalsIgnoreCase(s4)) // true + assert true; + else + assert false; + + assert s1.compareTo(s2)==13; //true + + assert s2.compareTo(s1)==-13; //true + + assert s1.compareTo(s1)==0; //true + + assert s3.compareTo(s4)==-32; //true + + assert s4.compareTo(s3)==32; //true + + // test regionMatches (case sensitive) + if (!s3.regionMatches(0, s4, 0, 5)) //true + assert true; + else + assert false; + + // test regionMatches (ignore case) + if (s3.regionMatches(true, 0, s4, 0, 5)) //true + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare01/test.desc b/regression/strings/StringCompare01/test.desc new file mode 100644 index 00000000000..52b1d6d084c --- /dev/null +++ b/regression/strings/StringCompare01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare02/StringCompare02.class b/regression/strings/StringCompare02/StringCompare02.class new file mode 100644 index 00000000000..4e8b7d2ad9f Binary files /dev/null and b/regression/strings/StringCompare02/StringCompare02.class differ diff --git a/regression/strings/StringCompare02/StringCompare02.java b/regression/strings/StringCompare02/StringCompare02.java new file mode 100644 index 00000000000..29978a7bd30 --- /dev/null +++ b/regression/strings/StringCompare02/StringCompare02.java @@ -0,0 +1,14 @@ +public class StringCompare02 +{ + public static void main(String[] args) + { + String s3 = "Automatic Test Generation"; + String s4 = "automatic test generation"; + + // test regionMatches (case sensitive) + if (s3.regionMatches(0, s4, 0, 5)) //false + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare02/test.desc b/regression/strings/StringCompare02/test.desc new file mode 100644 index 00000000000..abc986be65d --- /dev/null +++ b/regression/strings/StringCompare02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare03/StringCompare03.class b/regression/strings/StringCompare03/StringCompare03.class new file mode 100644 index 00000000000..1fcdba9a862 Binary files /dev/null and b/regression/strings/StringCompare03/StringCompare03.class differ diff --git a/regression/strings/StringCompare03/StringCompare03.java b/regression/strings/StringCompare03/StringCompare03.java new file mode 100644 index 00000000000..fbd881efd48 --- /dev/null +++ b/regression/strings/StringCompare03/StringCompare03.java @@ -0,0 +1,14 @@ +public class StringCompare03 +{ + public static void main(String[] args) + { + String s3 = "Automatic Test Generation"; + String s4 = "automatic test generation"; + + // test regionMatches (ignore case) + if (!s3.regionMatches(true, 0, s4, 0, 5)) //false + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare03/test.desc b/regression/strings/StringCompare03/test.desc new file mode 100644 index 00000000000..fa518907143 --- /dev/null +++ b/regression/strings/StringCompare03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare04/StringCompare04.class b/regression/strings/StringCompare04/StringCompare04.class new file mode 100644 index 00000000000..cb288719581 Binary files /dev/null and b/regression/strings/StringCompare04/StringCompare04.class differ diff --git a/regression/strings/StringCompare04/StringCompare04.java b/regression/strings/StringCompare04/StringCompare04.java new file mode 100644 index 00000000000..c602594930f --- /dev/null +++ b/regression/strings/StringCompare04/StringCompare04.java @@ -0,0 +1,9 @@ +public class StringCompare04 +{ + public static void main(String[] args) + { + String s1 = new String("test"); + String s2 = "goodbye"; + assert s2.compareTo(s1)==13; //false + } +} diff --git a/regression/strings/StringCompare04/test.desc b/regression/strings/StringCompare04/test.desc new file mode 100644 index 00000000000..f1b2a9790cc --- /dev/null +++ b/regression/strings/StringCompare04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringCompare05/StringCompare05.class b/regression/strings/StringCompare05/StringCompare05.class new file mode 100644 index 00000000000..70bbad48ef6 Binary files /dev/null and b/regression/strings/StringCompare05/StringCompare05.class differ diff --git a/regression/strings/StringCompare05/StringCompare05.java b/regression/strings/StringCompare05/StringCompare05.java new file mode 100644 index 00000000000..8764cb5c99a --- /dev/null +++ b/regression/strings/StringCompare05/StringCompare05.java @@ -0,0 +1,11 @@ +public class StringCompare05 +{ + public static void main(String[] args) + { + String s1 = new String("test"); + if (s1 == "test") // false; they are not the same object + assert true; + else + assert false; + } +} diff --git a/regression/strings/StringCompare05/test.desc b/regression/strings/StringCompare05/test.desc new file mode 100644 index 00000000000..159809fac0f --- /dev/null +++ b/regression/strings/StringCompare05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringCompare05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConcatenation01/StringConcatenation01.class b/regression/strings/StringConcatenation01/StringConcatenation01.class new file mode 100644 index 00000000000..8a2ee685b44 Binary files /dev/null and b/regression/strings/StringConcatenation01/StringConcatenation01.class differ diff --git a/regression/strings/StringConcatenation01/StringConcatenation01.java b/regression/strings/StringConcatenation01/StringConcatenation01.java new file mode 100644 index 00000000000..be516610e94 --- /dev/null +++ b/regression/strings/StringConcatenation01/StringConcatenation01.java @@ -0,0 +1,17 @@ +public class StringConcatenation01 +{ + public static void main(String[] args) + { + String s1 = "Happy at"; + String s2 = " DiffBlue"; + + assert s1.equals("Happy at"); + assert s2.equals(" DiffBlue"); + + String tmp=s1.concat(s2); + assert tmp.equals("Happy at DiffBlue"); + + tmp=s1; + assert tmp.equals("Happy at"); + } +} diff --git a/regression/strings/StringConcatenation01/test.desc b/regression/strings/StringConcatenation01/test.desc new file mode 100644 index 00000000000..a229b504571 --- /dev/null +++ b/regression/strings/StringConcatenation01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringConcatenation01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringConcatenation02/StringConcatenation02.class b/regression/strings/StringConcatenation02/StringConcatenation02.class new file mode 100644 index 00000000000..b8272c61412 Binary files /dev/null and b/regression/strings/StringConcatenation02/StringConcatenation02.class differ diff --git a/regression/strings/StringConcatenation02/StringConcatenation02.java b/regression/strings/StringConcatenation02/StringConcatenation02.java new file mode 100644 index 00000000000..84f1c72e60c --- /dev/null +++ b/regression/strings/StringConcatenation02/StringConcatenation02.java @@ -0,0 +1,10 @@ +public class StringConcatenation02 +{ + public static void main(String[] args) + { + String s1 = "Happy at"; + String s2 = " DiffBlue"; + assert s1.equals("Happy at "); + assert s2.equals(" DiffBlue"); + } +} diff --git a/regression/strings/StringConcatenation02/test.desc b/regression/strings/StringConcatenation02/test.desc new file mode 100644 index 00000000000..937caa3295e --- /dev/null +++ b/regression/strings/StringConcatenation02/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringConcatenation02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConcatenation03/StringConcatenation03.class b/regression/strings/StringConcatenation03/StringConcatenation03.class new file mode 100644 index 00000000000..49d03b9c937 Binary files /dev/null and b/regression/strings/StringConcatenation03/StringConcatenation03.class differ diff --git a/regression/strings/StringConcatenation03/StringConcatenation03.java b/regression/strings/StringConcatenation03/StringConcatenation03.java new file mode 100644 index 00000000000..56d397b96dc --- /dev/null +++ b/regression/strings/StringConcatenation03/StringConcatenation03.java @@ -0,0 +1,17 @@ +public class StringConcatenation03 +{ + public static void main(String[] args) + { + String s1 = "Happy at"; + String s2 = " DiffBlue"; + + System.out.printf( + "Result of s1.concat(s2) = %s\n", s1.concat(s2)); + String tmp=s1.concat(s2); + assert tmp.equals("Happy at DiffBllue"); + + tmp=s1; + System.out.printf("s1 after concatenation = %s\n", s1); + assert tmp.equals("Happy at"); + } +} diff --git a/regression/strings/StringConcatenation03/test.desc b/regression/strings/StringConcatenation03/test.desc new file mode 100644 index 00000000000..26ccc899a87 --- /dev/null +++ b/regression/strings/StringConcatenation03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConcatenation03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConcatenation04/StringConcatenation04.class b/regression/strings/StringConcatenation04/StringConcatenation04.class new file mode 100644 index 00000000000..047d2b908ab Binary files /dev/null and b/regression/strings/StringConcatenation04/StringConcatenation04.class differ diff --git a/regression/strings/StringConcatenation04/StringConcatenation04.java b/regression/strings/StringConcatenation04/StringConcatenation04.java new file mode 100644 index 00000000000..5ffc9086517 --- /dev/null +++ b/regression/strings/StringConcatenation04/StringConcatenation04.java @@ -0,0 +1,10 @@ +public class StringConcatenation04 +{ + public static void main(String[] args) + { + String s1 = "Happy at"; + String tmp=s1; + System.out.printf("s1 after concatenation = %s\n", s1); + assert tmp.equals("Happy at"); + } +} diff --git a/regression/strings/StringConcatenation04/test.desc b/regression/strings/StringConcatenation04/test.desc new file mode 100644 index 00000000000..ea980c45d54 --- /dev/null +++ b/regression/strings/StringConcatenation04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConcatenation04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors01/StringConstructors01.class b/regression/strings/StringConstructors01/StringConstructors01.class new file mode 100644 index 00000000000..c4e2ce34c83 Binary files /dev/null and b/regression/strings/StringConstructors01/StringConstructors01.class differ diff --git a/regression/strings/StringConstructors01/StringConstructors01.java b/regression/strings/StringConstructors01/StringConstructors01.java new file mode 100644 index 00000000000..406653de694 --- /dev/null +++ b/regression/strings/StringConstructors01/StringConstructors01.java @@ -0,0 +1,19 @@ +public class StringConstructors01 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s = new String("test"); + + String s1 = new String(); + String s2 = new String(s); + String s3 = new String(charArray); + String s4 = new String(charArray, 4, 4); + + assert s1.equals(""); + assert s2.equals("test"); + assert s3.equals("diffblue"); + assert s4.equals("blue"); + } +} + diff --git a/regression/strings/StringConstructors01/test.desc b/regression/strings/StringConstructors01/test.desc new file mode 100644 index 00000000000..ed57bdfdde5 --- /dev/null +++ b/regression/strings/StringConstructors01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors02/StringConstructors02.class b/regression/strings/StringConstructors02/StringConstructors02.class new file mode 100644 index 00000000000..0cca7f99377 Binary files /dev/null and b/regression/strings/StringConstructors02/StringConstructors02.class differ diff --git a/regression/strings/StringConstructors02/StringConstructors02.java b/regression/strings/StringConstructors02/StringConstructors02.java new file mode 100644 index 00000000000..b20877b8106 --- /dev/null +++ b/regression/strings/StringConstructors02/StringConstructors02.java @@ -0,0 +1,9 @@ +public class StringConstructors02 +{ + public static void main(String[] args) + { + String s1 = new String(); + assert s1.equals(" "); + } +} + diff --git a/regression/strings/StringConstructors02/test.desc b/regression/strings/StringConstructors02/test.desc new file mode 100644 index 00000000000..c2a30b3534c --- /dev/null +++ b/regression/strings/StringConstructors02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors03/StringConstructors03.class b/regression/strings/StringConstructors03/StringConstructors03.class new file mode 100644 index 00000000000..fba6b043267 Binary files /dev/null and b/regression/strings/StringConstructors03/StringConstructors03.class differ diff --git a/regression/strings/StringConstructors03/StringConstructors03.java b/regression/strings/StringConstructors03/StringConstructors03.java new file mode 100644 index 00000000000..a2f6ced182a --- /dev/null +++ b/regression/strings/StringConstructors03/StringConstructors03.java @@ -0,0 +1,10 @@ +public class StringConstructors03 +{ + public static void main(String[] args) + { + String s = new String("test"); + String s2 = new String(s); + assert s2.equals("tesst"); + } +} + diff --git a/regression/strings/StringConstructors03/test.desc b/regression/strings/StringConstructors03/test.desc new file mode 100644 index 00000000000..5419e5ae48e --- /dev/null +++ b/regression/strings/StringConstructors03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors04/StringConstructors04.class b/regression/strings/StringConstructors04/StringConstructors04.class new file mode 100644 index 00000000000..d7705f364f3 Binary files /dev/null and b/regression/strings/StringConstructors04/StringConstructors04.class differ diff --git a/regression/strings/StringConstructors04/StringConstructors04.java b/regression/strings/StringConstructors04/StringConstructors04.java new file mode 100644 index 00000000000..bd9828e6a5f --- /dev/null +++ b/regression/strings/StringConstructors04/StringConstructors04.java @@ -0,0 +1,10 @@ +public class StringConstructors04 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s4 = new String(charArray, 4, 4); + assert s4.equals("bllue"); + } +} + diff --git a/regression/strings/StringConstructors04/test.desc b/regression/strings/StringConstructors04/test.desc new file mode 100644 index 00000000000..21394f70327 --- /dev/null +++ b/regression/strings/StringConstructors04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringConstructors05/StringConstructors05.class b/regression/strings/StringConstructors05/StringConstructors05.class new file mode 100644 index 00000000000..8339e1ddab3 Binary files /dev/null and b/regression/strings/StringConstructors05/StringConstructors05.class differ diff --git a/regression/strings/StringConstructors05/StringConstructors05.java b/regression/strings/StringConstructors05/StringConstructors05.java new file mode 100644 index 00000000000..49cc43f4269 --- /dev/null +++ b/regression/strings/StringConstructors05/StringConstructors05.java @@ -0,0 +1,10 @@ +public class StringConstructors05 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String s3 = new String(charArray); + assert s3.equals("diffkblue"); + } +} + diff --git a/regression/strings/StringConstructors05/test.desc b/regression/strings/StringConstructors05/test.desc new file mode 100644 index 00000000000..9804850d77e --- /dev/null +++ b/regression/strings/StringConstructors05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringConstructors05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods01/StringIndexMethods01.class b/regression/strings/StringIndexMethods01/StringIndexMethods01.class new file mode 100644 index 00000000000..f8086f133e6 Binary files /dev/null and b/regression/strings/StringIndexMethods01/StringIndexMethods01.class differ diff --git a/regression/strings/StringIndexMethods01/StringIndexMethods01.java b/regression/strings/StringIndexMethods01/StringIndexMethods01.java new file mode 100644 index 00000000000..da000057993 --- /dev/null +++ b/regression/strings/StringIndexMethods01/StringIndexMethods01.java @@ -0,0 +1,20 @@ +public class StringIndexMethods01 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + + assert letters.indexOf('c')==8; + assert letters.indexOf('a', 1)==5; + assert letters.indexOf('$')==-1; + assert letters.lastIndexOf('c')==13; + assert letters.lastIndexOf('a', 25)==22; + assert letters.lastIndexOf('$')==-1; + assert letters.indexOf("diffblue")==29; + assert letters.indexOf("diffblue", 7)==29; + assert letters.indexOf("generation")==17; + assert letters.lastIndexOf("diffblue")==29; + assert letters.lastIndexOf("diffblue", 25)==-1; + assert letters.lastIndexOf("automatic")==0; + } +} diff --git a/regression/strings/StringIndexMethods01/test.desc b/regression/strings/StringIndexMethods01/test.desc new file mode 100644 index 00000000000..005d4459f12 --- /dev/null +++ b/regression/strings/StringIndexMethods01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods02/StringIndexMethods02.class b/regression/strings/StringIndexMethods02/StringIndexMethods02.class new file mode 100644 index 00000000000..fe322fde894 Binary files /dev/null and b/regression/strings/StringIndexMethods02/StringIndexMethods02.class differ diff --git a/regression/strings/StringIndexMethods02/StringIndexMethods02.java b/regression/strings/StringIndexMethods02/StringIndexMethods02.java new file mode 100644 index 00000000000..5c2ea999dd0 --- /dev/null +++ b/regression/strings/StringIndexMethods02/StringIndexMethods02.java @@ -0,0 +1,8 @@ +public class StringIndexMethods02 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.indexOf('a', 1)==6; + } +} diff --git a/regression/strings/StringIndexMethods02/test.desc b/regression/strings/StringIndexMethods02/test.desc new file mode 100644 index 00000000000..cad6c487fae --- /dev/null +++ b/regression/strings/StringIndexMethods02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods03/StringIndexMethods03.class b/regression/strings/StringIndexMethods03/StringIndexMethods03.class new file mode 100644 index 00000000000..e8733f57168 Binary files /dev/null and b/regression/strings/StringIndexMethods03/StringIndexMethods03.class differ diff --git a/regression/strings/StringIndexMethods03/StringIndexMethods03.java b/regression/strings/StringIndexMethods03/StringIndexMethods03.java new file mode 100644 index 00000000000..83b710073b5 --- /dev/null +++ b/regression/strings/StringIndexMethods03/StringIndexMethods03.java @@ -0,0 +1,8 @@ +public class StringIndexMethods03 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.lastIndexOf('$')==1; + } +} diff --git a/regression/strings/StringIndexMethods03/test.desc b/regression/strings/StringIndexMethods03/test.desc new file mode 100644 index 00000000000..3dff0b27714 --- /dev/null +++ b/regression/strings/StringIndexMethods03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods04/StringIndexMethods04.class b/regression/strings/StringIndexMethods04/StringIndexMethods04.class new file mode 100644 index 00000000000..69a8fe4d628 Binary files /dev/null and b/regression/strings/StringIndexMethods04/StringIndexMethods04.class differ diff --git a/regression/strings/StringIndexMethods04/StringIndexMethods04.java b/regression/strings/StringIndexMethods04/StringIndexMethods04.java new file mode 100644 index 00000000000..1271bcaf36b --- /dev/null +++ b/regression/strings/StringIndexMethods04/StringIndexMethods04.java @@ -0,0 +1,8 @@ +public class StringIndexMethods04 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.indexOf("diffblue")==28; + } +} diff --git a/regression/strings/StringIndexMethods04/test.desc b/regression/strings/StringIndexMethods04/test.desc new file mode 100644 index 00000000000..758f22d2bf4 --- /dev/null +++ b/regression/strings/StringIndexMethods04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringIndexMethods05/StringIndexMethods05.class b/regression/strings/StringIndexMethods05/StringIndexMethods05.class new file mode 100644 index 00000000000..a4f4f767495 Binary files /dev/null and b/regression/strings/StringIndexMethods05/StringIndexMethods05.class differ diff --git a/regression/strings/StringIndexMethods05/StringIndexMethods05.java b/regression/strings/StringIndexMethods05/StringIndexMethods05.java new file mode 100644 index 00000000000..f6de4ce541b --- /dev/null +++ b/regression/strings/StringIndexMethods05/StringIndexMethods05.java @@ -0,0 +1,8 @@ +public class StringIndexMethods05 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + assert letters.lastIndexOf("diffblue", 25)==1; + } +} diff --git a/regression/strings/StringIndexMethods05/test.desc b/regression/strings/StringIndexMethods05/test.desc new file mode 100644 index 00000000000..d415ef1381e --- /dev/null +++ b/regression/strings/StringIndexMethods05/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringIndexMethods05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous01/StringMiscellaneous01.class b/regression/strings/StringMiscellaneous01/StringMiscellaneous01.class new file mode 100644 index 00000000000..4f63b35324b Binary files /dev/null and b/regression/strings/StringMiscellaneous01/StringMiscellaneous01.class differ diff --git a/regression/strings/StringMiscellaneous01/StringMiscellaneous01.java b/regression/strings/StringMiscellaneous01/StringMiscellaneous01.java new file mode 100644 index 00000000000..26fc7442f7f --- /dev/null +++ b/regression/strings/StringMiscellaneous01/StringMiscellaneous01.java @@ -0,0 +1,32 @@ +public class StringMiscellaneous01 +{ + public static void main(String[] args) + { + String s1 = "Automatic Test Generation"; + String s2 = "noitareneG tseT citamotuA"; + String s3 = "Autom"; + char[] charArray = new char[5]; + + assert s1.length()==25; + + int i=0; + for (int count = s1.length() - 1; count >= 0; count--) + { + System.out.printf("%c ", s1.charAt(count)); + assert s1.charAt(count) == s2.charAt(i); + ++i; + } + + // copy characters from string into charArray + s1.getChars(0, 5, charArray, 0); + i=0; + for (char character : charArray) + { + System.out.print(character); + assert s3.charAt(i) == character; + ++i; + } + + System.out.println(); + } +} diff --git a/regression/strings/StringMiscellaneous01/test.desc b/regression/strings/StringMiscellaneous01/test.desc new file mode 100644 index 00000000000..050c3e99e90 --- /dev/null +++ b/regression/strings/StringMiscellaneous01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous02/StringMiscellaneous02.class b/regression/strings/StringMiscellaneous02/StringMiscellaneous02.class new file mode 100644 index 00000000000..f1d880c012a Binary files /dev/null and b/regression/strings/StringMiscellaneous02/StringMiscellaneous02.class differ diff --git a/regression/strings/StringMiscellaneous02/StringMiscellaneous02.java b/regression/strings/StringMiscellaneous02/StringMiscellaneous02.java new file mode 100644 index 00000000000..d2351fb79d6 --- /dev/null +++ b/regression/strings/StringMiscellaneous02/StringMiscellaneous02.java @@ -0,0 +1,8 @@ +public class StringMiscellaneous02 +{ + public static void main(String[] args) + { + String s1 = "Automatic Test Generation"; + assert s1.length()==24; + } +} diff --git a/regression/strings/StringMiscellaneous02/test.desc b/regression/strings/StringMiscellaneous02/test.desc new file mode 100644 index 00000000000..53c46cf1a7f --- /dev/null +++ b/regression/strings/StringMiscellaneous02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous02.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous03/StringMiscellaneous03.class b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.class new file mode 100644 index 00000000000..210c05ddf32 Binary files /dev/null and b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.class differ diff --git a/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java new file mode 100644 index 00000000000..2adfe30f5d0 --- /dev/null +++ b/regression/strings/StringMiscellaneous03/StringMiscellaneous03.java @@ -0,0 +1,15 @@ +public class StringMiscellaneous03 +{ + public static void main(String[] args) + { + String s1 = "Automatic Test Generation"; + String s2 = "noitareneG tseT citamotuA"; + char[] charArray = new char[5]; + int i=0; + for (int count = s1.length() - 1; count >= 0; count--) + { + assert s1.charAt(count) != s2.charAt(i); + ++i; + } + } +} diff --git a/regression/strings/StringMiscellaneous03/test.desc b/regression/strings/StringMiscellaneous03/test.desc new file mode 100644 index 00000000000..f255272ed5b --- /dev/null +++ b/regression/strings/StringMiscellaneous03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous03.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringMiscellaneous04/StringMiscellaneous04.class b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.class new file mode 100644 index 00000000000..c7f02bedbb2 Binary files /dev/null and b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.class differ diff --git a/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java new file mode 100644 index 00000000000..e9fe0292317 --- /dev/null +++ b/regression/strings/StringMiscellaneous04/StringMiscellaneous04.java @@ -0,0 +1,40 @@ +public class StringMiscellaneous04 +{ + public static void main(String[] args) + { + String s1 = "diffblue"; + String s2 = "TESTGENERATION"; + String s3 = " automated "; + + assert s1.equals("diffblue"); + assert s2.equals("TESTGENERATION"); + assert s3.equals(" automated "); + + System.out.printf( + "Replace 'f' with 'F' in s1: %s\n\n", s1.replace('f', 'F')); + String tmp=s1.replace('f', 'F'); + assert tmp.equals("diFFblue"); + + tmp=s1.toUpperCase(); + assert tmp.equals("DIFFBLUE"); + + tmp=s2.toLowerCase(); + assert tmp.equals("testgeneration"); + + tmp=s3.trim(); + assert tmp.equals("automated"); + + // test toCharArray method + char[] charArray = s1.toCharArray(); + System.out.print("s1 as a character array = "); + + int i=0; + for (char character : charArray) + { + assert character=="diffblue".charAt(i); + ++i; + } + + System.out.println(); + } +} diff --git a/regression/strings/StringMiscellaneous04/test.desc b/regression/strings/StringMiscellaneous04/test.desc new file mode 100644 index 00000000000..737ab3b0f8c --- /dev/null +++ b/regression/strings/StringMiscellaneous04/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringMiscellaneous04.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringStartEnd01/StringStartEnd01.class b/regression/strings/StringStartEnd01/StringStartEnd01.class new file mode 100644 index 00000000000..37d2596a6c1 Binary files /dev/null and b/regression/strings/StringStartEnd01/StringStartEnd01.class differ diff --git a/regression/strings/StringStartEnd01/StringStartEnd01.java b/regression/strings/StringStartEnd01/StringStartEnd01.java new file mode 100644 index 00000000000..c1bc4bac328 --- /dev/null +++ b/regression/strings/StringStartEnd01/StringStartEnd01.java @@ -0,0 +1,31 @@ +public class StringStartEnd01 +{ + public static void main(String[] args) + { + String[] strings = {"tested", "testing", "passed", "passing"}; + + int i=0; + for (String string : strings) + { + if (string.startsWith("te")) + ++i; + } + assert i==2; + + i=0; + for (String string : strings) + { + if (string.startsWith("ste", 2)) + ++i; + } + assert i==1; + + i=0; + for (String string : strings) + { + if (string.endsWith("ed")) + ++i; + } + assert i==2; + } +} diff --git a/regression/strings/StringStartEnd01/test.desc b/regression/strings/StringStartEnd01/test.desc new file mode 100644 index 00000000000..a5463d5b5ea --- /dev/null +++ b/regression/strings/StringStartEnd01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringStartEnd01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringStartEnd02/StringStartEnd02.class b/regression/strings/StringStartEnd02/StringStartEnd02.class new file mode 100644 index 00000000000..f7b535e4848 Binary files /dev/null and b/regression/strings/StringStartEnd02/StringStartEnd02.class differ diff --git a/regression/strings/StringStartEnd02/StringStartEnd02.java b/regression/strings/StringStartEnd02/StringStartEnd02.java new file mode 100644 index 00000000000..8920026e8fb --- /dev/null +++ b/regression/strings/StringStartEnd02/StringStartEnd02.java @@ -0,0 +1,15 @@ +public class StringStartEnd02 +{ + public static void main(String[] args) + { + String[] strings = {"tested", "testing", "passed", "passing"}; + + int i=0; + for (String string : strings) + { + if (string.startsWith("te")) + ++i; + } + assert i==1; + } +} diff --git a/regression/strings/StringStartEnd02/test.desc b/regression/strings/StringStartEnd02/test.desc new file mode 100644 index 00000000000..16f696efa01 --- /dev/null +++ b/regression/strings/StringStartEnd02/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringStartEnd02.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringStartEnd03/StringStartEnd03.class b/regression/strings/StringStartEnd03/StringStartEnd03.class new file mode 100644 index 00000000000..a353c5e3a30 Binary files /dev/null and b/regression/strings/StringStartEnd03/StringStartEnd03.class differ diff --git a/regression/strings/StringStartEnd03/StringStartEnd03.java b/regression/strings/StringStartEnd03/StringStartEnd03.java new file mode 100644 index 00000000000..79479f9535b --- /dev/null +++ b/regression/strings/StringStartEnd03/StringStartEnd03.java @@ -0,0 +1,15 @@ +public class StringStartEnd03 +{ + public static void main(String[] args) + { + String[] strings = {"tested", "testing", "passed", "passing"}; + + int i=0; + for (String string : strings) + { + if (string.endsWith("ed")) + ++i; + } + assert i==3; + } +} diff --git a/regression/strings/StringStartEnd03/test.desc b/regression/strings/StringStartEnd03/test.desc new file mode 100644 index 00000000000..e6d8c460709 --- /dev/null +++ b/regression/strings/StringStartEnd03/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringStartEnd03.class +--string-refine --unwind 15 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf01/StringValueOf01.class b/regression/strings/StringValueOf01/StringValueOf01.class new file mode 100644 index 00000000000..8103d7fb901 Binary files /dev/null and b/regression/strings/StringValueOf01/StringValueOf01.class differ diff --git a/regression/strings/StringValueOf01/StringValueOf01.java b/regression/strings/StringValueOf01/StringValueOf01.java new file mode 100644 index 00000000000..4a1bdc14273 --- /dev/null +++ b/regression/strings/StringValueOf01/StringValueOf01.java @@ -0,0 +1,41 @@ +public class StringValueOf01 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + boolean booleanValue = false; + char characterValue = 'T'; + int integerValue = 7; + long longValue = 10000000000L; // L suffix indicates long + float floatValue = 2.5f; // f indicates that 2.5 is a float + double doubleValue = 33.333; // no suffix, double is default + Object objectRef = "test"; // assign string to an Object reference + + String tmp=String.valueOf(charArray); + assert tmp.equals("diffblue"); + + tmp=String.valueOf(charArray, 3, 3); + assert tmp.equals("fbl"); + + tmp=String.valueOf(booleanValue); + assert tmp.equals("false"); + + tmp=String.valueOf(characterValue); + assert tmp.equals("T"); + + tmp=String.valueOf(integerValue); + assert tmp.equals("7"); + + tmp=String.valueOf(longValue); + assert tmp.equals("10000000000"); + + tmp=String.valueOf(floatValue); + assert tmp.equals("2.5"); + + tmp=String.valueOf(doubleValue); + assert tmp.equals("33.333"); + + tmp=String.valueOf(objectRef); + assert tmp.equals("test"); + } +} diff --git a/regression/strings/StringValueOf01/test.desc b/regression/strings/StringValueOf01/test.desc new file mode 100644 index 00000000000..341f5e98975 --- /dev/null +++ b/regression/strings/StringValueOf01/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf02/StringValueOf02.class b/regression/strings/StringValueOf02/StringValueOf02.class new file mode 100644 index 00000000000..daf17d33300 Binary files /dev/null and b/regression/strings/StringValueOf02/StringValueOf02.class differ diff --git a/regression/strings/StringValueOf02/StringValueOf02.java b/regression/strings/StringValueOf02/StringValueOf02.java new file mode 100644 index 00000000000..a730af26c02 --- /dev/null +++ b/regression/strings/StringValueOf02/StringValueOf02.java @@ -0,0 +1,9 @@ +public class StringValueOf02 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String tmp=String.valueOf(charArray); + assert tmp.equals("difffblue"); + } +} diff --git a/regression/strings/StringValueOf02/test.desc b/regression/strings/StringValueOf02/test.desc new file mode 100644 index 00000000000..00835385bc8 --- /dev/null +++ b/regression/strings/StringValueOf02/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf03/StringValueOf03.class b/regression/strings/StringValueOf03/StringValueOf03.class new file mode 100644 index 00000000000..886aedc6b1d Binary files /dev/null and b/regression/strings/StringValueOf03/StringValueOf03.class differ diff --git a/regression/strings/StringValueOf03/StringValueOf03.java b/regression/strings/StringValueOf03/StringValueOf03.java new file mode 100644 index 00000000000..0c51518b300 --- /dev/null +++ b/regression/strings/StringValueOf03/StringValueOf03.java @@ -0,0 +1,9 @@ +public class StringValueOf03 +{ + public static void main(String[] args) + { + char[] charArray = {'d', 'i', 'f', 'f', 'b', 'l', 'u', 'e'}; + String tmp=String.valueOf(charArray, 3, 3); + assert tmp.equals("fbbl"); + } +} diff --git a/regression/strings/StringValueOf03/test.desc b/regression/strings/StringValueOf03/test.desc new file mode 100644 index 00000000000..19921a8e98f --- /dev/null +++ b/regression/strings/StringValueOf03/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf04/StringValueOf04.class b/regression/strings/StringValueOf04/StringValueOf04.class new file mode 100644 index 00000000000..5a0d670146c Binary files /dev/null and b/regression/strings/StringValueOf04/StringValueOf04.class differ diff --git a/regression/strings/StringValueOf04/StringValueOf04.java b/regression/strings/StringValueOf04/StringValueOf04.java new file mode 100644 index 00000000000..91ea3e67c30 --- /dev/null +++ b/regression/strings/StringValueOf04/StringValueOf04.java @@ -0,0 +1,9 @@ +public class StringValueOf04 +{ + public static void main(String[] args) + { + boolean booleanValue = false; + String tmp=String.valueOf(booleanValue); + assert tmp.equals("true"); + } +} diff --git a/regression/strings/StringValueOf04/test.desc b/regression/strings/StringValueOf04/test.desc new file mode 100644 index 00000000000..1312d27676d --- /dev/null +++ b/regression/strings/StringValueOf04/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf04.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf05/StringValueOf05.class b/regression/strings/StringValueOf05/StringValueOf05.class new file mode 100644 index 00000000000..08abc79c499 Binary files /dev/null and b/regression/strings/StringValueOf05/StringValueOf05.class differ diff --git a/regression/strings/StringValueOf05/StringValueOf05.java b/regression/strings/StringValueOf05/StringValueOf05.java new file mode 100644 index 00000000000..03854f575b0 --- /dev/null +++ b/regression/strings/StringValueOf05/StringValueOf05.java @@ -0,0 +1,9 @@ +public class StringValueOf05 +{ + public static void main(String[] args) + { + char characterValue = 'T'; + String tmp=String.valueOf(characterValue); + assert tmp.equals("A"); + } +} diff --git a/regression/strings/StringValueOf05/test.desc b/regression/strings/StringValueOf05/test.desc new file mode 100644 index 00000000000..ccb5b3dc440 --- /dev/null +++ b/regression/strings/StringValueOf05/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf05.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf06/StringValueOf06.class b/regression/strings/StringValueOf06/StringValueOf06.class new file mode 100644 index 00000000000..e9a8065210a Binary files /dev/null and b/regression/strings/StringValueOf06/StringValueOf06.class differ diff --git a/regression/strings/StringValueOf06/StringValueOf06.java b/regression/strings/StringValueOf06/StringValueOf06.java new file mode 100644 index 00000000000..b13a3899f0f --- /dev/null +++ b/regression/strings/StringValueOf06/StringValueOf06.java @@ -0,0 +1,9 @@ +public class StringValueOf06 +{ + public static void main(String[] args) + { + int integerValue = 7; + String tmp=String.valueOf(integerValue); + assert tmp.equals("77"); + } +} diff --git a/regression/strings/StringValueOf06/test.desc b/regression/strings/StringValueOf06/test.desc new file mode 100644 index 00000000000..c78afa98f2f --- /dev/null +++ b/regression/strings/StringValueOf06/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf06.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf07/StringValueOf07.class b/regression/strings/StringValueOf07/StringValueOf07.class new file mode 100644 index 00000000000..36e9401884c Binary files /dev/null and b/regression/strings/StringValueOf07/StringValueOf07.class differ diff --git a/regression/strings/StringValueOf07/StringValueOf07.java b/regression/strings/StringValueOf07/StringValueOf07.java new file mode 100644 index 00000000000..c4c44435d22 --- /dev/null +++ b/regression/strings/StringValueOf07/StringValueOf07.java @@ -0,0 +1,10 @@ +public class StringValueOf07 +{ + public static void main(String[] args) + { + long longValue = 10000000000L; + System.out.printf("long = %s\n", String.valueOf(longValue)); + String tmp=String.valueOf(longValue); + assert tmp.equals("100000000000"); + } +} diff --git a/regression/strings/StringValueOf07/test.desc b/regression/strings/StringValueOf07/test.desc new file mode 100644 index 00000000000..7b19c4ff67b --- /dev/null +++ b/regression/strings/StringValueOf07/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +StringValueOf07.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf08/StringValueOf08.class b/regression/strings/StringValueOf08/StringValueOf08.class new file mode 100644 index 00000000000..356ddbbb9d4 Binary files /dev/null and b/regression/strings/StringValueOf08/StringValueOf08.class differ diff --git a/regression/strings/StringValueOf08/StringValueOf08.java b/regression/strings/StringValueOf08/StringValueOf08.java new file mode 100644 index 00000000000..539c60e5a9f --- /dev/null +++ b/regression/strings/StringValueOf08/StringValueOf08.java @@ -0,0 +1,9 @@ +public class StringValueOf08 +{ + public static void main(String[] args) + { + float floatValue = 2.5f; + String tmp=String.valueOf(floatValue); + assert tmp.equals("2.50"); + } +} diff --git a/regression/strings/StringValueOf08/test.desc b/regression/strings/StringValueOf08/test.desc new file mode 100644 index 00000000000..a7d90b1b9ef --- /dev/null +++ b/regression/strings/StringValueOf08/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf08.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf09/StringValueOf09.class b/regression/strings/StringValueOf09/StringValueOf09.class new file mode 100644 index 00000000000..e852bce13a4 Binary files /dev/null and b/regression/strings/StringValueOf09/StringValueOf09.class differ diff --git a/regression/strings/StringValueOf09/StringValueOf09.java b/regression/strings/StringValueOf09/StringValueOf09.java new file mode 100644 index 00000000000..cc35ddb0733 --- /dev/null +++ b/regression/strings/StringValueOf09/StringValueOf09.java @@ -0,0 +1,9 @@ +public class StringValueOf09 +{ + public static void main(String[] args) + { + double doubleValue = 33.333; // no suffix, double is default + String tmp=String.valueOf(doubleValue); + assert tmp.equals("33.3333"); + } +} diff --git a/regression/strings/StringValueOf09/test.desc b/regression/strings/StringValueOf09/test.desc new file mode 100644 index 00000000000..10f6b102a67 --- /dev/null +++ b/regression/strings/StringValueOf09/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf09.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/StringValueOf10/StringValueOf10.class b/regression/strings/StringValueOf10/StringValueOf10.class new file mode 100644 index 00000000000..da330143f4d Binary files /dev/null and b/regression/strings/StringValueOf10/StringValueOf10.class differ diff --git a/regression/strings/StringValueOf10/StringValueOf10.java b/regression/strings/StringValueOf10/StringValueOf10.java new file mode 100644 index 00000000000..044586124a7 --- /dev/null +++ b/regression/strings/StringValueOf10/StringValueOf10.java @@ -0,0 +1,9 @@ +public class StringValueOf10 +{ + public static void main(String[] args) + { + Object objectRef = "test"; // assign string to an Object reference + String tmp=String.valueOf(objectRef); + assert tmp.equals("tesst"); + } +} diff --git a/regression/strings/StringValueOf10/test.desc b/regression/strings/StringValueOf10/test.desc new file mode 100644 index 00000000000..5de3d5aade7 --- /dev/null +++ b/regression/strings/StringValueOf10/test.desc @@ -0,0 +1,8 @@ +FUTURE +StringValueOf10.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/SubString01/SubString01.class b/regression/strings/SubString01/SubString01.class new file mode 100644 index 00000000000..861bf6905d3 Binary files /dev/null and b/regression/strings/SubString01/SubString01.class differ diff --git a/regression/strings/SubString01/SubString01.java b/regression/strings/SubString01/SubString01.java new file mode 100644 index 00000000000..c99db9b7308 --- /dev/null +++ b/regression/strings/SubString01/SubString01.java @@ -0,0 +1,13 @@ +public class SubString01 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + + String tmp=letters.substring(20); + assert tmp.equals("erationatdiffblue"); + + tmp=letters.substring(9, 13); + assert tmp.equals("test"); + } +} diff --git a/regression/strings/SubString01/test.desc b/regression/strings/SubString01/test.desc new file mode 100644 index 00000000000..8eea70cf458 --- /dev/null +++ b/regression/strings/SubString01/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +SubString01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/SubString02/SubString02.class b/regression/strings/SubString02/SubString02.class new file mode 100644 index 00000000000..d758b7baf0b Binary files /dev/null and b/regression/strings/SubString02/SubString02.class differ diff --git a/regression/strings/SubString02/SubString02.java b/regression/strings/SubString02/SubString02.java new file mode 100644 index 00000000000..36961dcca75 --- /dev/null +++ b/regression/strings/SubString02/SubString02.java @@ -0,0 +1,9 @@ +public class SubString02 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + String tmp=letters.substring(20); + assert tmp.equals("erationatdifffblue"); + } +} diff --git a/regression/strings/SubString02/test.desc b/regression/strings/SubString02/test.desc new file mode 100644 index 00000000000..e7b21cdd678 --- /dev/null +++ b/regression/strings/SubString02/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +SubString02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/SubString03/SubString03.class b/regression/strings/SubString03/SubString03.class new file mode 100644 index 00000000000..27241061d32 Binary files /dev/null and b/regression/strings/SubString03/SubString03.class differ diff --git a/regression/strings/SubString03/SubString03.java b/regression/strings/SubString03/SubString03.java new file mode 100644 index 00000000000..33fe0f25d11 --- /dev/null +++ b/regression/strings/SubString03/SubString03.java @@ -0,0 +1,9 @@ +public class SubString03 +{ + public static void main(String[] args) + { + String letters = "automatictestcasegenerationatdiffblue"; + String tmp=letters.substring(9, 13); + assert tmp.equals("teest"); + } +} diff --git a/regression/strings/SubString03/test.desc b/regression/strings/SubString03/test.desc new file mode 100644 index 00000000000..2b8db21a829 --- /dev/null +++ b/regression/strings/SubString03/test.desc @@ -0,0 +1,8 @@ +KNOWNBUG +SubString03.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/TokenTest01/TokenTest01.class b/regression/strings/TokenTest01/TokenTest01.class new file mode 100644 index 00000000000..70e112fbafb Binary files /dev/null and b/regression/strings/TokenTest01/TokenTest01.class differ diff --git a/regression/strings/TokenTest01/TokenTest01.java b/regression/strings/TokenTest01/TokenTest01.java new file mode 100644 index 00000000000..2180bc94c1d --- /dev/null +++ b/regression/strings/TokenTest01/TokenTest01.java @@ -0,0 +1,24 @@ +import java.util.StringTokenizer; + +public class TokenTest01 +{ + public static void main(String[] args) + { + String sentence = "automatic test case generation"; + String[] tokens = sentence.split(" "); + System.out.printf("Number of elements: %d\nThe tokens are:\n", + tokens.length); + assert tokens.length==4; + + int i=0; + for (String token : tokens) + { + System.out.println(token); + if (i==0) assert token.equals("automatic"); + else if (i==1) assert token.equals("test"); + else if (i==2) assert token.equals("case"); + else if (i==3) assert token.equals("generation"); + ++i; + } + } +} diff --git a/regression/strings/TokenTest01/test.desc b/regression/strings/TokenTest01/test.desc new file mode 100644 index 00000000000..02a11e8e392 --- /dev/null +++ b/regression/strings/TokenTest01/test.desc @@ -0,0 +1,8 @@ +FUTURE +TokenTest01.class +--string-refine --unwind 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/TokenTest02/TokenTest02.class b/regression/strings/TokenTest02/TokenTest02.class new file mode 100644 index 00000000000..09f38782aa1 Binary files /dev/null and b/regression/strings/TokenTest02/TokenTest02.class differ diff --git a/regression/strings/TokenTest02/TokenTest02.java b/regression/strings/TokenTest02/TokenTest02.java new file mode 100644 index 00000000000..944d0a169a0 --- /dev/null +++ b/regression/strings/TokenTest02/TokenTest02.java @@ -0,0 +1,17 @@ +import java.util.StringTokenizer; + +public class TokenTest02 +{ + public static void main(String[] args) + { + String sentence = "automatic test case generation"; + String[] tokens = sentence.split(" "); + + int i=0; + for (String token : tokens) + { + if (i==3) assert token.equals("genneration"); + ++i; + } + } +} diff --git a/regression/strings/TokenTest02/test.desc b/regression/strings/TokenTest02/test.desc new file mode 100644 index 00000000000..3bcf7505e25 --- /dev/null +++ b/regression/strings/TokenTest02/test.desc @@ -0,0 +1,8 @@ +FUTURE +TokenTest02.class +--string-refine --unwind 15 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring diff --git a/regression/strings/Validate01/Validate01.class b/regression/strings/Validate01/Validate01.class new file mode 100644 index 00000000000..a5a99f5efc1 Binary files /dev/null and b/regression/strings/Validate01/Validate01.class differ diff --git a/regression/strings/Validate01/Validate01.java b/regression/strings/Validate01/Validate01.java new file mode 100644 index 00000000000..3443cd30588 --- /dev/null +++ b/regression/strings/Validate01/Validate01.java @@ -0,0 +1,30 @@ +public class Validate01 +{ + public static void main(String[] args) + { + String firstName = "XXX"; + String lastName = "YYY"; + String address = "ZZZ IIII AAAA 5689"; + String city = "Oxford"; + String state = "Oxfordshire"; + String zip = "OX37AF"; + String phone = "+4477777"; + + if (!ValidateInput01.validateFirstName(firstName)) + assert false; + else if (!ValidateInput01.validateLastName(lastName)) + assert false; + else if (!ValidateInput01.validateAddress(address)) + System.out.println("Invalid address"); + else if (!ValidateInput01.validateCity(city)) + assert false; + else if (!ValidateInput01.validateState(state)) + assert false; + else if (!ValidateInput01.validateZip(zip)) + System.out.println("Invalid zip code"); + else if (!ValidateInput01.validatePhone(phone)) + System.out.println("Invalid phone number"); + else + System.out.println("Valid input. Thank you."); + } +} diff --git a/regression/strings/Validate01/ValidateInput01.class b/regression/strings/Validate01/ValidateInput01.class new file mode 100644 index 00000000000..5efab9300fc Binary files /dev/null and b/regression/strings/Validate01/ValidateInput01.class differ diff --git a/regression/strings/Validate01/ValidateInput01.java b/regression/strings/Validate01/ValidateInput01.java new file mode 100644 index 00000000000..961b02f2d30 --- /dev/null +++ b/regression/strings/Validate01/ValidateInput01.java @@ -0,0 +1,38 @@ +public class ValidateInput01 +{ + public static boolean validateFirstName(String firstName) + { + return firstName.matches("[A-Z][a-zA-Z]*"); + } + + public static boolean validateLastName(String lastName) + { + return lastName.matches("[a-zA-z]+(['-][a-zA-Z]+)*"); + } + + public static boolean validateAddress(String address) + { + return address.matches( + "\\d+\\s+([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateCity(String city) + { + return city.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateState(String state) + { + return state.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)") ; + } + + public static boolean validateZip(String zip) + { + return zip.matches("\\d{5}"); + } + + public static boolean validatePhone(String phone) + { + return phone.matches("[1-9]\\d{2}-[1-9]\\d{2}-\\d{4}"); + } +} diff --git a/regression/strings/Validate01/test.desc b/regression/strings/Validate01/test.desc new file mode 100644 index 00000000000..e797b2735aa --- /dev/null +++ b/regression/strings/Validate01/test.desc @@ -0,0 +1,8 @@ +FUTURE +Validate01.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- +^warning: ignoring diff --git a/regression/strings/Validate02/Validate02.class b/regression/strings/Validate02/Validate02.class new file mode 100644 index 00000000000..1d9ddd04737 Binary files /dev/null and b/regression/strings/Validate02/Validate02.class differ diff --git a/regression/strings/Validate02/Validate02.java b/regression/strings/Validate02/Validate02.java new file mode 100644 index 00000000000..7f59d706e8c --- /dev/null +++ b/regression/strings/Validate02/Validate02.java @@ -0,0 +1,22 @@ +public class Validate02 +{ + public static void main(String[] args) + { + String address = "ZZZ IIII AAAA 5689"; + String city = "Oxford"; + String state = "Oxfordshire"; + String zip = "OX37AF"; + String phone = "+4477777"; + + if (!ValidateInput02.validateAddress(address)) + assert false; + else if (!ValidateInput02.validateCity(city)) + System.out.println("Invalid city"); + else if (!ValidateInput02.validateState(state)) + System.out.println("Invalid state"); + else if (!ValidateInput02.validateZip(zip)) + System.out.println("Invalid zip code"); + else + System.out.println("Valid input. Thank you."); + } +} diff --git a/regression/strings/Validate02/ValidateInput02.class b/regression/strings/Validate02/ValidateInput02.class new file mode 100644 index 00000000000..8aabb3aea58 Binary files /dev/null and b/regression/strings/Validate02/ValidateInput02.class differ diff --git a/regression/strings/Validate02/ValidateInput02.java b/regression/strings/Validate02/ValidateInput02.java new file mode 100644 index 00000000000..ac21ba620ba --- /dev/null +++ b/regression/strings/Validate02/ValidateInput02.java @@ -0,0 +1,38 @@ +public class ValidateInput02 +{ + public static boolean validateFirstName(String firstName) + { + return firstName.matches("[A-Z][a-zA-Z]*"); + } + + public static boolean validateLastName(String lastName) + { + return lastName.matches("[a-zA-z]+(['-][a-zA-Z]+)*"); + } + + public static boolean validateAddress(String address) + { + return address.matches( + "\\d+\\s+([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateCity(String city) + { + return city.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)"); + } + + public static boolean validateState(String state) + { + return state.matches("([a-zA-Z]+|[a-zA-Z]+\\s[a-zA-Z]+)") ; + } + + public static boolean validateZip(String zip) + { + return zip.matches("\\d{5}"); + } + + public static boolean validatePhone(String phone) + { + return phone.matches("[1-9]\\d{2}-[1-9]\\d{2}-\\d{4}"); + } +} diff --git a/regression/strings/Validate02/test.desc b/regression/strings/Validate02/test.desc new file mode 100644 index 00000000000..b30016bf880 --- /dev/null +++ b/regression/strings/Validate02/test.desc @@ -0,0 +1,8 @@ +FUTURE +Validate02.class +--string-refine +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- +^warning: ignoring