added test cases related to StringTokenizer object used to tokenize strings

Signed-off-by: Lucas Cordeiro <[email protected]>

Author: lucasccordeiro

regression/strings/TokenTest01/TokenTest01.class

@@ -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;
+      }
+   }
+}

regression/strings/TokenTest01/TokenTest01.java

@@ -0,0 +1,8 @@
+FUTURE
+TokenTest01.class
+--string-refine --unwind 30
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring

regression/strings/TokenTest01/test.desc

@@ -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;
+      }
+   }
+}

regression/strings/TokenTest02/TokenTest02.class

@@ -0,0 +1,8 @@
+FUTURE
+TokenTest02.class
+--string-refine --unwind 15
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring