cwi.GraphXML.Elements
Class Extensions

java.lang.Object
  extended bycwi.GraphXML.Elements.Extensions

public class Extensions
extends java.lang.Object

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.

Author:
Ivan Herman

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(Extensions.ExtensionNode[] e)
Initialization of the extension class with the list of extension nodes.

Method Detail

createExtensions

public static Extensions createExtensions(org.w3c.dom.Node node)
Collect the extension from a node.


createExtensions

public static Extensions createExtensions(org.w3c.dom.NodeList children)
Collect the extensions from among a list of nodes.


getExtensionNodes

public Extensions.ExtensionNode[] getExtensionNodes()
Get the list of extensions.


toString

public java.lang.String toString()
Help to debug.