| 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);
|
| }
|
|
|