blob: d0f0acc966dcea9f248ee3bb2570da10c04ab8c6 [file] [log] [blame]
package org.eclipse.ui;
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
*/
import org.eclipse.jface.resource.ImageDescriptor;
/**
* An association between a file name/extension and a list of known editors for
* files of that type.
* <p>
* The name and extension can never empty or null. The name may contain
* the single wild card character (*) to indicate the editor applies to
* all files with the same extension (e.g. *.doc). The name can never
* embed the wild card character within itself (i.e. rep*)
* </p>
* <p>
* This interface is not intended to be implemented by clients.
* </p>
*
* @see IEditorRegistry#getFileEditorMappings
*/
public interface IFileEditorMapping {
/**
* Returns the default editor registered for this type mapping.
*
* @return the descriptor of the default editor, or <code>null</code> if there
* is no default editor registered
*/
public IEditorDescriptor getDefaultEditor();
/**
* Returns the list of editors registered for this type mapping.
*
* @return a possibly empty list of editors
*/
public IEditorDescriptor[] getEditors();
/**
* Returns the list of editors formerly registered for this type mapping
* which have since been deleted.
*
* @return a possibly empty list of editors
*/
public IEditorDescriptor[] getDeletedEditors();
/**
* Returns the file's extension for this type mapping.
*
* @return the extension for this mapping
*/
public String getExtension();
/**
* Returns the descriptor of the image to use for a file of this type.
* <p>
* The image is obtained from the default editor. A default file image is
* returned if no default editor is available.
* </p>
*
* @return the descriptor of the image to use for a resource of this type
*/
public ImageDescriptor getImageDescriptor() ;
/**
* Returns the label to use for this mapping.
* Labels have the form "<it>name</it>.<it>extension</it>".
*
* @return the label to use for this mapping
*/
public String getLabel();
/**
* Returns the file's name for this type mapping.
*
* @return the name for this mapping
*/
public String getName();
}