Throw runtime exception for condition associated with #38.

cmusatyalab · Mar 15, 2015 · 02a522d · 02a522d
1 parent 0fcc74c
commit 02a522d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...id-studio-root/diamondandroidlibrary/src/main/java/edu/cmu/cs/diamond/android/Filter.java b/...id-studio-root/diamondandroidlibrary/src/main/java/edu/cmu/cs/diamond/android/Filter.java
@@ -190,6 +190,9 @@ private String readLine() throws IOException {
         char c = 0;
         do {
             c = (char) is.read();
+            if (c == 65535) {
+                throw new RuntimeException("Character is 65535 in readLine");
+            }
             if (c != '\n' && c != '\0') buf.append(c);
         } while (c != '\n' && c != '\0');
         return buf.toString();