|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.pluginmgr
Class PluginListHandler

java.lang.Objectcom.microstar.xml.HandlerBase
org.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()
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ pluginmgr overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC