KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > uka > ipd > coverage > plugin > ui > MarkerListener


1 /*
2  * Created on Apr 18, 2005
3  *
4  * written by Matthias Kempka
5  */
6 package de.uka.ipd.coverage.plugin.ui;
7
8 import org.eclipse.core.resources.IMarker;
9
10 /**
11  * Created on Apr 18, 2005
12  * @author Matthias Kempka
13  */
14 public interface MarkerListener {
15
16     public void markersChanged(CoverageMarkerManager source);
17     
18     public void markersAdded(IMarker[] markers);
19     
20 }
21
Popular Tags