org.gjt.sp.jedit
Class PluginJAR.PluginCacheEntry

java.lang.Object
  extended byorg.gjt.sp.jedit.PluginJAR.PluginCacheEntry
Enclosing class:
PluginJAR

public static class PluginJAR.PluginCacheEntry
extends Object

Used by the DockableWindowManager and ServiceManager to handle caching.

Since:
jEdit 4.2pre1

Field Summary
 URL actionsURI
           
 URL browserActionsURI
           
 String[] cachedActionNames
           
 boolean[] cachedActionToggleFlags
           
 String[] cachedBrowserActionNames
           
 boolean[] cachedBrowserActionToggleFlags
           
 boolean[] cachedDockableActionFlags
           
 String[] cachedDockableNames
           
 Properties cachedProperties
           
 org.gjt.sp.jedit.ServiceManager.Descriptor[] cachedServices
           
 String[] classes
           
 URL dockablesURI
           
static int MAGIC
           
 long modTime
           
 PluginJAR plugin
           
 String pluginClass
           
 URL servicesURI
           
 
Constructor Summary
PluginJAR.PluginCacheEntry()
           
 
Method Summary
 boolean read(DataInputStream din)
           
 void write(DataOutputStream dout)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MAGIC

public static final int MAGIC
See Also:
Constant Field Values

plugin

public PluginJAR plugin

modTime

public long modTime

classes

public String[] classes

actionsURI

public URL actionsURI

cachedActionNames

public String[] cachedActionNames

cachedActionToggleFlags

public boolean[] cachedActionToggleFlags

browserActionsURI

public URL browserActionsURI

cachedBrowserActionNames

public String[] cachedBrowserActionNames

cachedBrowserActionToggleFlags

public boolean[] cachedBrowserActionToggleFlags

dockablesURI

public URL dockablesURI

cachedDockableNames

public String[] cachedDockableNames

cachedDockableActionFlags

public boolean[] cachedDockableActionFlags

servicesURI

public URL servicesURI

cachedServices

public org.gjt.sp.jedit.ServiceManager.Descriptor[] cachedServices

cachedProperties

public Properties cachedProperties

pluginClass

public String pluginClass
Constructor Detail

PluginJAR.PluginCacheEntry

public PluginJAR.PluginCacheEntry()
Method Detail

read

public boolean read(DataInputStream din)
             throws IOException
Throws:
IOException

write

public void write(DataOutputStream dout)
           throws IOException
Throws:
IOException