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

java.lang.Objectcom.microstar.xml.HandlerBase
org.gjt.sp.jedit.ActionListHandler
- All Implemented Interfaces:
- com.microstar.xml.XmlHandler
- class ActionListHandler
- extends com.microstar.xml.HandlerBase
| Field Summary | |
private java.lang.String |
actionName
|
private ActionSet |
actionSet
|
private java.lang.String |
code
|
private java.lang.String |
isSelected
|
private boolean |
noRecord
|
private boolean |
noRememberLast
|
private boolean |
noRepeat
|
private java.lang.String |
path
|
private java.util.Stack |
stateStack
|
| Constructor Summary | |
(package private) |
ActionListHandler(java.lang.String path,
ActionSet actionSet)
|
| 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. |
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 |
path
private java.lang.String path
actionSet
private ActionSet actionSet
actionName
private java.lang.String actionName
code
private java.lang.String code
isSelected
private java.lang.String isSelected
noRepeat
private boolean noRepeat
noRecord
private boolean noRecord
noRememberLast
private boolean noRememberLast
stateStack
private java.util.Stack stateStack
| Constructor Detail |
ActionListHandler
ActionListHandler(java.lang.String path, ActionSet actionSet)
| 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.
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 overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC