Merge pull request #1009 from vaibhavbsharma/printtokens_eqchk-2

[JAVA] Adding a 2nd property to check on PrintTokens2

Author: dbeyer

java/ReachSafety-Java.set

@@ -6,6 +6,7 @@ java-ranger-regression/WBS/*.yml
 java-ranger-regression/siena_eqchk/*.yml
 java-ranger-regression/replace5_eqchk/*.yml
 java-ranger-regression/nanoxml_eqchk/*.yml
+java-ranger-regression/printtokens_eqchk/*.yml
 MinePump/*.yml
 algorithms/*.yml
 juliet-java/*.yml

java/java-ranger-regression/printtokens_eqchk/IntReader.java

@@ -0,0 +1,55 @@
+
+import java.io.IOException;
+import java.io.Reader;
+
+public class IntReader extends Reader {
+  private char[] str;
+  private int length;
+  private int next = 0;
+
+  public IntReader(char[] s) {
+    str = s;
+    length = s.length;
+  }
+
+  public int read() throws IOException {
+    if (next >= length) {
+      return -1;
+    }
+    else{
+      char ch = str[next];
+      next = next + 1;
+      return ch;
+    }
+  }
+
+  public void close() {
+    str = null;
+  }
+
+  public int read(char[] cbuf, int off, int len) throws IOException {
+    if(off < 0 || off >= cbuf.length || len < 0 || off+len >= cbuf.length || off+len < 0) {
+      throw new IndexOutOfBoundsException();
+    }
+    else if(len == 0) {
+      return 0;
+    }
+    if(next >= length) {
+      return -1;
+    }
+    int lenReader = -1;
+    int lenStr = length - next;
+    if(lenStr > len) {
+      lenReader = len;
+    }
+    else {
+      lenReader = lenStr;
+    }
+    for(int i=0; i<lenReader; i++) {
+      cbuf[off] = str[next];
+      off++;
+      next++;
+    }
+    return lenReader;
+  }
+}