Java tutorial
/* * Copyright 2009 Bart Guijt and others. * * Licensed under the Apache License, Version 2.0 (the "License"); you may not * use this file except in compliance with the License. You may obtain a copy of * the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the * License for the specific language governing permissions and limitations under * the License. */ package com.google.code.gwt.appcache.client; import com.google.gwt.core.client.GWT; import com.google.gwt.core.client.JavaScriptObject; import com.google.gwt.core.client.GWT.UncaughtExceptionHandler; import com.google.gwt.user.client.Event; import com.google.gwt.user.client.EventListener; public final class ApplicationCache extends JavaScriptObject { // getStatus() values: public static final short UNCACHED = 0; public static final short IDLE = 1; public static final short CHECKING = 2; public static final short DOWNLOADING = 3; public static final short UPDATEREADY = 4; public static final short OBSOLETE = 5; // event types for addEventListener(): public static final String ONCHECKING = "checking"; public static final String ONERROR = "error"; public static final String ONNOUPDATE = "noupdate"; public static final String ONDOWNLOADING = "downloading"; public static final String ONPROGRESS = "progress"; public static final String ONUPDATEREADY = "updateready"; public static final String ONCACHED = "cached"; protected ApplicationCache() { } /** * Returns <code>true</code> if the Application Cache API is supported on the * running platform. */ public static native boolean isSupported() /*-{ return typeof $wnd.applicationCache != "undefined"; }-*/; public static native ApplicationCache getApplicationCache() /*-{ return $wnd.applicationCache; }-*/; @SuppressWarnings("unused") private static void handleCacheEvents(EventListener listener, Event event) { UncaughtExceptionHandler ueh = GWT.getUncaughtExceptionHandler(); if (ueh != null) { try { listener.onBrowserEvent(event); } catch (Throwable t) { ueh.onUncaughtException(t); } } else { listener.onBrowserEvent(event); } } public native void addEventListener(String type, EventListener listener, boolean useCapture) /*-{ this.addEventListener( type, function(event) { @com.google.code.gwt.appcache.client.ApplicationCache::handleCacheEvents(Lcom/google/gwt/user/client/EventListener;Lcom/google/gwt/user/client/Event;) (listener, event); }, useCapture ); }-*/; public native void update() /*-{ this.update(); }-*/; public native void swapCache() /*-{ this.swapCache(); }-*/; public native int getStatus() /*-{ return this.status; }-*/; public native boolean isOnline() /*-{ return $wnd.navigator.onLine; }-*/; }