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

java.lang.Objectcom.microstar.xml.HandlerBase
org.gjt.sp.jedit.gui.DockableWindowManager.DockableListHandler
- All Implemented Interfaces:
- com.microstar.xml.XmlHandler
- Enclosing class:
- DockableWindowManager
- static class DockableWindowManager.DockableListHandler
- extends com.microstar.xml.HandlerBase
| Field Summary | |
private boolean |
actions
|
private java.util.List |
cachedDockableActionFlags
|
private java.util.List |
cachedDockableNames
|
private java.lang.String |
code
|
private java.lang.String |
dockableName
|
private org.gjt.sp.jedit.PluginJAR |
plugin
|
private java.util.Stack |
stateStack
|
private java.net.URL |
uri
|
| Constructor Summary | |
(package private) |
DockableWindowManager.DockableListHandler(org.gjt.sp.jedit.PluginJAR plugin,
java.net.URL uri)
|
| 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 |
endElement(java.lang.String name)
Handle the end of an element. |
boolean[] |
getCachedDockableActionFlags()
|
java.lang.String[] |
getCachedDockableNames()
|
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 |
endDocument, 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 |
plugin
private org.gjt.sp.jedit.PluginJAR plugin
uri
private java.net.URL uri
cachedDockableNames
private java.util.List cachedDockableNames
cachedDockableActionFlags
private java.util.List cachedDockableActionFlags
dockableName
private java.lang.String dockableName
code
private java.lang.String code
actions
private boolean actions
stateStack
private java.util.Stack stateStack
| Constructor Detail |
DockableWindowManager.DockableListHandler
DockableWindowManager.DockableListHandler(org.gjt.sp.jedit.PluginJAR plugin, java.net.URL uri)
| 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 name)
- 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.
getCachedDockableNames
public java.lang.String[] getCachedDockableNames()
getCachedDockableActionFlags
public boolean[] getCachedDockableActionFlags()
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 >> [ gui overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC