org.gjt.sp.jedit
Class PluginJAR.PluginCacheEntry

java.lang.Object
  org.gjt.sp.jedit.PluginJAR.PluginCacheEntry

Enclosing class:

PluginJAR

public static class PluginJAR.PluginCacheEntry
extends java.lang.Object

Used by the DockableWindowManager and ServiceManager to handle caching.

Since:

jEdit 4.2pre1

Field Summary

java.net.URL	actionsURI
java.net.URL	browserActionsURI
java.lang.String[]	cachedActionNames
boolean[]	cachedActionToggleFlags
java.lang.String[]	cachedBrowserActionNames
boolean[]	cachedBrowserActionToggleFlags
boolean[]	cachedDockableActionFlags
java.lang.String[]	cachedDockableNames
java.util.Properties	cachedProperties
org.gjt.sp.jedit.ServiceManager.Descriptor[]	cachedServices
java.lang.String[]	classes
java.net.URL	dockablesURI
static int	MAGIC
long	modTime
PluginJAR	plugin
java.lang.String	pluginClass
java.net.URL	servicesURI

Constructor Summary

PluginJAR.PluginCacheEntry()

Method Summary

boolean	read(java.io.DataInputStream din)
void	write(java.io.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 java.lang.String[] classes

actionsURI

public java.net.URL actionsURI

cachedActionNames

public java.lang.String[] cachedActionNames

cachedActionToggleFlags

public boolean[] cachedActionToggleFlags

browserActionsURI

public java.net.URL browserActionsURI

cachedBrowserActionNames

public java.lang.String[] cachedBrowserActionNames

cachedBrowserActionToggleFlags

public boolean[] cachedBrowserActionToggleFlags

dockablesURI

public java.net.URL dockablesURI

cachedDockableNames

public java.lang.String[] cachedDockableNames

cachedDockableActionFlags

public boolean[] cachedDockableActionFlags

servicesURI

public java.net.URL servicesURI

cachedServices

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

cachedProperties

public java.util.Properties cachedProperties

pluginClass

public java.lang.String pluginClass

Constructor Detail

PluginJAR.PluginCacheEntry

public PluginJAR.PluginCacheEntry()

Method Detail

read

public boolean read(java.io.DataInputStream din)
             throws java.io.IOException

Throws:

java.io.IOException

write

public void write(java.io.DataOutputStream dout)
           throws java.io.IOException

Throws:

java.io.IOException