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 getName(); 24 25 /** 26 * @return returns a short description of the CoverageNature. 27 */ 28 public String getDescription(); 29 30 /** 31 * @return returns a unique id. 32 */ 33 public String getID(); 34 35 /** 36 * @return returns an ImageDescriptor for this CoverageNature. 37 */ 38 public ImageDescriptor getImageDescriptor(); 39 } 40