|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jmlspecs.eclipse.jdt.ui.ZipEditorInput
public class ZipEditorInput
This class is used to provide an IEditorInput from files that are in a jar file, so that entries in a jar file can be displayed (readonly) in an editor within Eclipse.
Constructor Summary | |
---|---|
ZipEditorInput(java.lang.String jarFileName,
java.lang.String jarEntryName)
Constructor to wrap an element of the zip file for the editor |
|
ZipEditorInput(org.eclipse.debug.core.sourcelookup.containers.ZipEntryStorage zes)
Constructor to wrap the zip file entry for the editor |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
|
boolean |
exists()
|
java.lang.Object |
getAdapter(java.lang.Class c)
|
org.eclipse.jface.resource.ImageDescriptor |
getImageDescriptor()
|
java.lang.String |
getName()
|
org.eclipse.ui.IPersistableElement |
getPersistable()
|
IStorage |
getStorage()
Returns the IStorage object represented by this. |
java.lang.String |
getToolTipText()
|
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ZipEditorInput(org.eclipse.debug.core.sourcelookup.containers.ZipEntryStorage zes)
zes
- The zip file entry destined for the editorpublic ZipEditorInput(java.lang.String jarFileName, java.lang.String jarEntryName) throws java.io.IOException
jarFileName
- The name of the zip or jar file in which the element residesjarEntryName
- The file name of the entry within the zip /jar file
java.io.IOException
Method Detail |
---|
public java.lang.Object getAdapter(java.lang.Class c)
getAdapter
in interface org.eclipse.core.runtime.IAdaptable
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public IStorage getStorage()
getStorage
in interface org.eclipse.ui.IStorageEditorInput
public java.lang.String getName()
getName
in interface org.eclipse.ui.IEditorInput
IEditorInput.getName()
public boolean exists()
exists
in interface org.eclipse.ui.IEditorInput
IEditorInput.exists()
public org.eclipse.jface.resource.ImageDescriptor getImageDescriptor()
getImageDescriptor
in interface org.eclipse.ui.IEditorInput
IEditorInput.getImageDescriptor()
public org.eclipse.ui.IPersistableElement getPersistable()
getPersistable
in interface org.eclipse.ui.IEditorInput
IEditorInput.getPersistable()
public java.lang.String getToolTipText()
getToolTipText
in interface org.eclipse.ui.IEditorInput
IEditorInput.getToolTipText()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |