Class 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 Detail

      • modTime

        public long modTime
      • classes

        public java.lang.String[] classes
      • resources

        public java.lang.String[] resources
      • 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
      • cachedDockableMovableFlags

        public boolean[] cachedDockableMovableFlags
      • servicesURI

        public java.net.URL servicesURI
      • cachedProperties

        public java.util.Properties cachedProperties
      • localizationProperties

        public java.util.Map<java.lang.String,​java.util.Properties> localizationProperties
      • pluginClass

        public java.lang.String pluginClass
    • Constructor Detail

      • PluginCacheEntry

        public 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