KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * Created on Apr 10, 2005
3  *
4  * written by Matthias Kempka
5  */

6 package de.uka.ipd.coverage.plugin.ui;
7
8 import org.eclipse.jface.resource.ImageDescriptor;
9
10 /**
11  * Created on Apr 10, 2005
12  * A descriptor for a CoverageNature. It provides the name and a
13  * short description of a CoverageNature without it instanciating the
14  * CoverageNature.
15  *
16  * @author Matthias Kempka
17  */

18 public interface CoverageNatureDescriptor {
19
20     /**
21      * @return returns the name of the CoverageNature.
22      */

23     public String JavaDoc getName();
24     
25     /**
26      * @return returns a short description of the CoverageNature.
27      */

28     public String JavaDoc getDescription();
29     
30     /**
31      * @return returns a unique id.
32      */

33     public String JavaDoc getID();
34
35     /**
36      * @return returns an ImageDescriptor for this CoverageNature.
37      */

38     public ImageDescriptor getImageDescriptor();
39 }
40
Popular Tags