|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcwi.GraphXML.Elements.Extensions
Class of user extensions. These extensions can be defined by the user through an extension of the basic DTD. This class collects all the extensions of one level into one datastructure.
Nested Class Summary | |
static class |
Extensions.ExtensionNode
This is what the 'public' sees of an extension node. |
Constructor Summary | |
(package private) |
Extensions(Extensions.ExtensionNode[] e)
Initialization of the extension class with the list of extension nodes. |
Method Summary | |
static Extensions |
createExtensions(org.w3c.dom.Node node)
Collect the extension from a node. |
static Extensions |
createExtensions(org.w3c.dom.NodeList children)
Collect the extensions from among a list of nodes. |
Extensions.ExtensionNode[] |
getExtensionNodes()
Get the list of extensions. |
java.lang.String |
toString()
Help to debug. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
Extensions(Extensions.ExtensionNode[] e)
Method Detail |
public static Extensions createExtensions(org.w3c.dom.Node node)
public static Extensions createExtensions(org.w3c.dom.NodeList children)
public Extensions.ExtensionNode[] getExtensionNodes()
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |