Index: chrome/android/java/src/org/chromium/chrome/browser/profiles/Profile.java |
diff --git a/chrome/android/java/src/org/chromium/chrome/browser/profiles/Profile.java b/chrome/android/java/src/org/chromium/chrome/browser/profiles/Profile.java |
index 4cec13e80e9b36822a8047da50ba6a8d00dc9c72..915de760994d49baddc4722a591070386f522d40 100644 |
--- a/chrome/android/java/src/org/chromium/chrome/browser/profiles/Profile.java |
+++ b/chrome/android/java/src/org/chromium/chrome/browser/profiles/Profile.java |
@@ -31,4 +31,24 @@ public class Profile { |
private int getNativePointer() { |
return mNativeProfileAndroid; |
} |
+ |
+ /** |
+ * Check whether a given url has finished prerendering using the prerender |
+ * manager associated with this profile |
+ * @param url The url to check. |
+ * @return Whether the given url has finished prerendering. |
+ */ |
+ public boolean hasPrerenderedUrl(String url) { |
+ return nativeHasPrerenderedUrl(mNativeProfileAndroid, url); |
+ } |
+ |
+ /** |
+ * @return The java profile with the default native profile. |
+ */ |
+ public static Profile getDefaultProfile() { |
+ return new Profile(nativeGetDefaultProfile()); |
+ } |
+ |
+ private static native int nativeGetDefaultProfile(); |
+ private static native boolean nativeHasPrerenderedUrl(int nativeProfileAndroid, String url); |
} |