public interface NodeDef
Modifier and Type | Method and Description |
---|---|
void |
display(PrintWriter out,
int indent)
Outputs this node to any PrintWriter,
in a formatted fashion with automatic indenting.
|
void |
displayXML(XMLOutput out,
int indent)
Outputs this element definition in XML to any XMLOutput.
|
NodeDef[] |
getChildren()
Returns the children of this node.
|
Location |
getLocation()
Returns the location of this element in its document.
|
String |
getName()
Returns the name of this node's tag.
|
String |
getText()
Returns the text inside this node.
|
int |
getType()
Returns the type of this element.
|
DOMWrapper |
getWrapper()
Retrieves the
DOMWrapper which was used to create this
node. |
String getName()
int getType()
DOMWrapper.getType()
.String getText()
NodeDef[] getChildren()
void displayXML(XMLOutput out, int indent)
out
- the XMLOutput class to display the XMLvoid display(PrintWriter out, int indent)
out
- the PrintWriter to which to write this NodeDef.indent
- the indentation level for the printout.DOMWrapper getWrapper()
DOMWrapper
which was used to create this
node. Only works if this nodes's MetaDef.Element.keepDef
was
true (or, if it is not set, if the default
MetaDef.Model.defaultKeepDef
is true);
otherwise, returns null
.Location getLocation()
Copyright © 2012 Julian Hyde. All Rights Reserved.