public interface ElementContext
Modifier and Type | Method and Description |
---|---|
ElementName |
getElementName()
Gets the name of the current element.
|
Extension |
getExtension()
Gets the extension currently being processed.
|
java.net.URI |
getExtensionSourceURI()
Gets the URI of the source of the extension.
|
java.util.logging.Logger |
getLogger()
Gets the logger to which warning, error and information messages should be
sent by the visitor.
|
java.util.Map |
getScopeData()
Gets scope data for the current context.
|
void |
registerChildVisitor(ElementName name,
ElementVisitor visitor)
Registers a visitor that will visit specific direct children of the current
element.
|
void |
registerVisitorFactory(ElementVisitorFactory factory)
Registers a factory that can dynamically retrieve visitors for named
elements.
|
void registerChildVisitor(ElementName name, ElementVisitor visitor)
name
- the qualified name of child elements to visit.visitor
- the visitor to register.void registerVisitorFactory(ElementVisitorFactory factory)
factory
- a factory used to create visitors for specific elements.ElementName getElementName()
java.util.Map getScopeData()
put
into the map can only be retrieved by the current visitor or visitors
of descendent elements of the current element.java.util.logging.Logger getLogger()
Extension getExtension()
java.net.URI getExtensionSourceURI()