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

java.lang.Objectcom.microstar.xml.HandlerBase
org.gjt.sp.jedit.help.HelpTOCPanel.TOCHandler
- All Implemented Interfaces:
- com.microstar.xml.XmlHandler
- Enclosing class:
- HelpTOCPanel
- class HelpTOCPanel.TOCHandler
- extends com.microstar.xml.HandlerBase
| Field Summary | |
(package private) java.lang.String |
dir
|
private java.lang.String |
href
|
private javax.swing.tree.DefaultMutableTreeNode |
node
|
private java.util.Stack |
nodes
|
private java.lang.String |
tag
|
private java.lang.String |
title
|
| Constructor Summary | |
(package private) |
HelpTOCPanel.TOCHandler(javax.swing.tree.DefaultMutableTreeNode root,
java.lang.String dir)
|
| 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 |
endElement(java.lang.String name)
Handle the end of an element. |
void |
startElement(java.lang.String name)
Handle the start of an element. |
| Methods inherited from class com.microstar.xml.HandlerBase |
doctypeDecl, endDocument, endExternalEntity, error, ignorableWhitespace, processingInstruction, resolveEntity, startDocument, startExternalEntity |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
dir
java.lang.String dir
tag
private java.lang.String tag
title
private java.lang.String title
href
private java.lang.String href
node
private javax.swing.tree.DefaultMutableTreeNode node
nodes
private java.util.Stack nodes
| Constructor Detail |
HelpTOCPanel.TOCHandler
HelpTOCPanel.TOCHandler(javax.swing.tree.DefaultMutableTreeNode root, java.lang.String dir)
| Method Detail |
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.
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 name)
- 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 name)
- Description copied from class:
com.microstar.xml.HandlerBase - Handle the end of an element.
The default implementation does nothing.
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ help overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC