ErrorEvent.java

/*
 * Copyright 2011 Daniel Kurka
 *
 * 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.googlecode.mgwt.linker.client.cache.event;

import com.google.gwt.event.shared.EventHandler;
import com.google.gwt.event.shared.GwtEvent;

/**
 * The manifest was a 404 or 410 page, so the attempt to cache the application
 * has been aborted. The manifest hadn't changed, but the page referencing the
 * manifest failed to download properly. A fatal error occurred while fetching
 * the resources listed in the manifest. The manifest changed while the update
 * was being run. The user agent will try fetching the files again momentarily.
 *
 * @author Daniel Kurka
 *
 */
public class ErrorEvent extends GwtEvent<ErrorEvent.Handler> {
	public interface Handler extends EventHandler {
		public void onErrorEvent(ErrorEvent event);
	}

	private static final GwtEvent.Type<Handler> TYPE = new Type<Handler>();

	public static GwtEvent.Type<Handler> getType() {
		return TYPE;
	}

	@Override
	public com.google.gwt.event.shared.GwtEvent.Type<Handler> getAssociatedType() {
		return TYPE;
	}

	@Override
	protected void dispatch(Handler handler) {
		handler.onErrorEvent(this);
	}
}