KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > views > markers > internal > IMarkerChangedListener


1 /*******************************************************************************
2  * Copyright (c) 2000, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/

11
12 package org.eclipse.ui.views.markers.internal;
13
14 import java.util.List JavaDoc;
15
16 /**
17  * Listener interface that listens for changes in resource markers.
18  */

19 public interface IMarkerChangedListener {
20
21     /**
22      * @param additions new markers added
23      * @param removals markers removed
24      * @param changes changed markers
25      */

26     public void markerChanged(List JavaDoc additions, List JavaDoc removals, List JavaDoc changes);
27
28 }
29
Popular Tags