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 Object
Used by the DockableWindowManager
and
ServiceManager
to handle caching.
- Since:
- jEdit 4.2pre1
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
PluginJAR.PluginCacheEntry
public PluginJAR.PluginCacheEntry()
read
public boolean read(DataInputStream din)
throws IOException
- Throws:
IOException
write
public void write(DataOutputStream dout)
throws IOException
- Throws:
IOException