Overview  Package   Class  Use  Deprecated  Index
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 ServiceListHandler  

java.lang.Object
  com.microstar.xml.HandlerBase
      org.gjt.sp.jedit.ServiceListHandler

All Implemented Interfaces:

com.microstar.xml.XmlHandler

---

class ServiceListHandler

extends com.microstar.xml.HandlerBase

Since:

jEdit 4.2pre1

Version:

$Id: ServiceListHandler.java,v 1.3 2003/04/30 21:22:37 spestov Exp $

---

Field Summary
private  java.util.List	cachedServices
private  java.lang.String	code
private  PluginJAR	plugin
private  java.lang.String	serviceClass
private  java.lang.String	serviceName
private  java.util.Stack	stateStack
private  java.net.URL	uri

 

Constructor Summary
(package private)	ServiceListHandler(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.
ServiceManager.Descriptor[]	getCachedServices()
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 PluginJAR plugin

---

uri

private java.net.URL uri

---

serviceName

private java.lang.String serviceName

---

serviceClass

private java.lang.String serviceClass

---

code

private java.lang.String code

---

stateStack

private java.util.Stack stateStack

---

cachedServices

private java.util.List cachedServices

Constructor Detail

ServiceListHandler

ServiceListHandler(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.

---

getCachedServices

public ServiceManager.Descriptor[] getCachedServices()

---

pushElement

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

---

peekElement

private java.lang.String peekElement()

---

popElement

private java.lang.String popElement()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> [ jedit overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---