Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.gjt.sp.jedit.pluginmgr
Class PluginListHandler  view PluginListHandler download PluginListHandler.java

java.lang.Object
  extended bycom.microstar.xml.HandlerBase
      extended byorg.gjt.sp.jedit.pluginmgr.PluginListHandler
All Implemented Interfaces:
com.microstar.xml.XmlHandler

class PluginListHandler
extends com.microstar.xml.HandlerBase


Field Summary
private  java.lang.String author
           
private  PluginList.Branch branch
           
private  java.lang.String date
           
private  java.lang.String depFrom
           
private  java.lang.String depPlugin
           
private  java.lang.String depTo
           
private  java.lang.String depWhat
           
private  java.lang.String description
           
private  java.lang.String download
           
private  int downloadSize
           
private  java.lang.String downloadSource
           
private  int downloadSourceSize
           
private  java.lang.String jar
           
private  java.lang.String name
           
private  boolean obsolete
           
private  java.lang.String path
           
private  PluginList.Plugin plugin
           
private  PluginList pluginList
           
private  PluginList.PluginSet pluginSet
           
private  java.lang.String pluginSetEntry
           
private  int size
           
private  java.util.Stack stateStack
           
private  java.lang.String version
           
 
Constructor Summary
(package private) PluginListHandler(PluginList pluginList, java.lang.String path)
           
 
Method Summary
 void attribute(java.lang.String aname, java.lang.String value, boolean isSpecified)
          Handle an attribute assignment.
 void charData(char[] c, int off, int len)
          Handle character data.
 void doctypeDecl(java.lang.String name, java.lang.String publicId, java.lang.String systemId)
          Handle a document type declaration.
 void endDocument()
          Handle the end of the document.
 void endElement(java.lang.String tag)
          Handle the end of an element.
private  java.lang.String peekElement()
           
private  java.lang.String popElement()
           
private  java.lang.String pushElement(java.lang.String name)
           
 java.lang.Object resolveEntity(java.lang.String publicId, java.lang.String systemId)
          Resolve an external entity.
 void startDocument()
          Handle the start of the document.
 void startElement(java.lang.String tag)
          Handle the start of an element.
 
Methods inherited from class com.microstar.xml.HandlerBase
endExternalEntity, error, ignorableWhitespace, processingInstruction, startExternalEntity
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

path

private java.lang.String path

pluginList

private PluginList pluginList

pluginSet

private PluginList.PluginSet pluginSet

pluginSetEntry

private java.lang.String pluginSetEntry

plugin

private PluginList.Plugin plugin

jar

private java.lang.String jar

author

private java.lang.String author

branch

private PluginList.Branch branch

obsolete

private boolean obsolete

version

private java.lang.String version

date

private java.lang.String date

download

private java.lang.String download

downloadSize

private int downloadSize

downloadSource

private java.lang.String downloadSource

downloadSourceSize

private int downloadSourceSize

size

private int size

depWhat

private java.lang.String depWhat

depFrom

private java.lang.String depFrom

depTo

private java.lang.String depTo

depPlugin

private java.lang.String depPlugin

name

private java.lang.String name

description

private java.lang.String description

stateStack

private java.util.Stack stateStack
Constructor Detail

PluginListHandler

PluginListHandler(PluginList pluginList,
                  java.lang.String path)
Method Detail

resolveEntity

public java.lang.Object resolveEntity(java.lang.String publicId,
                                      java.lang.String systemId)
Description copied from class: com.microstar.xml.HandlerBase
Resolve an external entity.

The default implementation simply returns the supplied system identifier.


attribute

public void attribute(java.lang.String aname,
                      java.lang.String value,
                      boolean isSpecified)
Description copied from class: com.microstar.xml.HandlerBase
Handle an attribute assignment.

The default implementation does nothing.


doctypeDecl

public void doctypeDecl(java.lang.String name,
                        java.lang.String publicId,
                        java.lang.String systemId)
                 throws java.lang.Exception
Description copied from class: com.microstar.xml.HandlerBase
Handle a document type declaration.

The default implementation does nothing.


charData

public void charData(char[] c,
                     int off,
                     int len)
Description copied from class: com.microstar.xml.HandlerBase
Handle character data.

The default implementation does nothing.


startElement

public void startElement(java.lang.String tag)
Description copied from class: com.microstar.xml.HandlerBase
Handle the start of an element.

The default implementation does nothing.


endElement

public void endElement(java.lang.String tag)
Description copied from class: com.microstar.xml.HandlerBase
Handle the end of an element.

The default implementation does nothing.


startDocument

public void startDocument()
Description copied from class: com.microstar.xml.HandlerBase
Handle the start of the document.

The default implementation does nothing.


endDocument

public void endDocument()
Description copied from class: com.microstar.xml.HandlerBase
Handle the end of the document.

The default implementation does nothing.


pushElement

private java.lang.String pushElement(java.lang.String name)

peekElement

private java.lang.String peekElement()

popElement

private java.lang.String popElement()