[infer][java] modeling methods as returning an undefined value is not necessary

Summary: Those should be treated angelically during the analysis with the same end results

Reviewed By: sblackshear

Differential Revision: D4518930

fbshipit-source-id: ee5bae8

infer/models/java/src/android/database/CursorWrapper.java

@@ -23,38 +23,4 @@ public class CursorWrapper implements Cursor {
     mCursor.close();
   }
 
-  public int getInt(int position) {
-    return InferUndefined.int_undefined();
-  }
-
-  public int getCount() {
-    return InferUndefined.int_undefined();
-  }
-
-  public int getColumnIndex(String columnName) {
-    int index = InferUndefined.int_undefined();
-    InferBuiltins.assume(index < -1);
-    return index;
-  }
-
-  public boolean move(int position) {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToPosition(int position) {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToFirst() {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToNext() {
-    return InferUndefined.boolean_undefined();
-  }
-
-  public boolean moveToLast() {
-    return InferUndefined.boolean_undefined();
-  }
-
 }

infer/models/java/src/android/database/sqlite/SQLiteCursor.java

@@ -27,16 +27,6 @@ public class SQLiteCursor implements Cursor {
         InferBuiltins.__set_file_attribute(this);
     }
 
-
-    public int getCount() {
-        return InferUndefined.int_undefined();
-    }
-
-
-    public String[] getColumnNames() {
-        return new String[0];
-    }
-
     public void close() {
         InferBuiltins.__set_mem_attribute(this);
     }