org.topcased.modeler.documentation
Class ExternalResourceEditorInput
java.lang.Object
org.topcased.modeler.documentation.ExternalResourceEditorInput
- All Implemented Interfaces:
- org.eclipse.core.runtime.IAdaptable, org.eclipse.ui.editors.text.ILocationProvider, org.eclipse.ui.IEditorInput, org.eclipse.ui.IPathEditorInput
public class ExternalResourceEditorInput
- extends java.lang.Object
- implements org.eclipse.ui.IPathEditorInput, org.eclipse.ui.editors.text.ILocationProvider
A class defining an editor input in order to be able to visualize external
resources in eclipse editors. This class has been copied from
org.eclipse.ui.internal.editors.text.JavaFileEditorInput.
Creation : 11
oct. 2005
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
ExternalResourceEditorInput
public ExternalResourceEditorInput(java.io.File file)
exists
public boolean exists()
- Specified by:
exists
in interface org.eclipse.ui.IEditorInput
getImageDescriptor
public org.eclipse.jface.resource.ImageDescriptor getImageDescriptor()
- Specified by:
getImageDescriptor
in interface org.eclipse.ui.IEditorInput
getName
public java.lang.String getName()
- Specified by:
getName
in interface org.eclipse.ui.IEditorInput
getPersistable
public org.eclipse.ui.IPersistableElement getPersistable()
- Specified by:
getPersistable
in interface org.eclipse.ui.IEditorInput
getToolTipText
public java.lang.String getToolTipText()
- Specified by:
getToolTipText
in interface org.eclipse.ui.IEditorInput
getAdapter
public java.lang.Object getAdapter(java.lang.Class adapter)
- Specified by:
getAdapter
in interface org.eclipse.core.runtime.IAdaptable
getPath
public org.eclipse.core.runtime.IPath getPath(java.lang.Object element)
- Specified by:
getPath
in interface org.eclipse.ui.editors.text.ILocationProvider
getPath
public org.eclipse.core.runtime.IPath getPath()
- Specified by:
getPath
in interface org.eclipse.ui.IPathEditorInput
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.