|
|||||||||
Home >> All >> javax >> ide >> [ extension overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: ![]() ![]() ![]() |
DETAIL: FIELD | CONSTR | METHOD |
javax.ide.extension
Interface ElementContext

- All Known Subinterfaces:
- ElementEndContext, ElementStartContext
- public interface ElementContext
ElementContext provides information about the current element being visited and provides utilities for processing child elements, reporting logging messages and storing information for use by other visitors.
Method Summary | |
ElementName |
getElementName()
Get the name of the current element. |
Extension |
getExtension()
Get the extension currently being processed. |
java.net.URI |
getExtensionSourceURI()
Get the URI of the source of the extension. |
java.util.logging.Logger |
getLogger()
Get the logger to which warning, error and information messages should be sent by the visitor. |
java.util.Map |
getScopeData()
Get scope data for the current context. |
void |
registerChildVisitor(ElementName name,
ElementVisitor visitor)
Register a visitor that will visit specific direct children of the current element. |
void |
registerVisitorFactory(ElementVisitorFactory factory)
Register a factory that can dynamically retrieve visitors for named elements. |
Method Detail |
registerChildVisitor
public void registerChildVisitor(ElementName name, ElementVisitor visitor)
- Register a visitor that will visit specific direct children of the current
element.
registerVisitorFactory
public void registerVisitorFactory(ElementVisitorFactory factory)
- Register a factory that can dynamically retrieve visitors for named
elements.
getElementName
public ElementName getElementName()
- Get the name of the current element.
getScopeData
public java.util.Map getScopeData()
- Get scope data for the current context. The returned map is
scoped: values put 55
into the map can only be retrieved by the current visitor or visitors
of descendent elements of the current element.
getLogger
public java.util.logging.Logger getLogger()
- Get the logger to which warning, error and information messages should be
sent by the visitor.
getExtension
public Extension getExtension()
- Get the extension currently being processed.
getExtensionSourceURI
public java.net.URI getExtensionSourceURI()
- Get the URI of the source of the extension. For extensions packaged in
JAR files, this is the URI of the JAR file.
|
|||||||||
Home >> All >> javax >> ide >> [ extension overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: ![]() ![]() ![]() |
DETAIL: FIELD | CONSTR | METHOD |