From fd8e135994f6ea89012a6b6a143591b0dbc66e6f Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Mon, 6 Feb 2017 21:39:29 -0800
Subject: [PATCH] [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
---
 .../src/android/database/CursorWrapper.java   | 34 -------------------
 .../android/database/sqlite/SQLiteCursor.java | 10 ------
 2 files changed, 44 deletions(-)

diff --git a/infer/models/java/src/android/database/CursorWrapper.java b/infer/models/java/src/android/database/CursorWrapper.java
index a3fa5c580..b5481fd98 100644
--- a/infer/models/java/src/android/database/CursorWrapper.java
+++ b/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();
-  }
-
 }
diff --git a/infer/models/java/src/android/database/sqlite/SQLiteCursor.java b/infer/models/java/src/android/database/sqlite/SQLiteCursor.java
index c20222216..0329a1067 100644
--- a/infer/models/java/src/android/database/sqlite/SQLiteCursor.java
+++ b/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);
     }