added test cases related to validate data from user using the ValidateInput class

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

Author: lucasccordeiro

regression/strings/Validate01/Validate01.class

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

regression/strings/Validate01/Validate01.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}");
+   }
+}

regression/strings/Validate01/ValidateInput01.class

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

regression/strings/Validate01/ValidateInput01.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.");
+   }
+}

regression/strings/Validate01/test.desc

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

regression/strings/Validate02/Validate02.class

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