cwi.GraphXML.Elements
Class Extensions.ExtensionNode

java.lang.Object
  extended by cwi.GraphXML.Elements.Extensions.ExtensionNode
Enclosing class:
Extensions

public static class Extensions.ExtensionNode
extends java.lang.Object

This is what the 'public' sees of an extension node.


Constructor Summary
Extensions.ExtensionNode(java.lang.String nm, java.util.Properties p, org.w3c.dom.Node n)
           
 
Method Summary
 java.util.Properties getAttributes()
          Get the attributes of the node in the form of a java.util.Properties instance.
 org.w3c.dom.Node getDomNode()
          Get the real node in the form of an org.w3c.dom.Node instance.
 java.lang.String getName()
          Get the name of the node.
 java.lang.String toString()
          Help for debug.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Extensions.ExtensionNode

public Extensions.ExtensionNode(java.lang.String nm,
                                java.util.Properties p,
                                org.w3c.dom.Node n)
Method Detail

getName

public java.lang.String getName()
Get the name of the node.


getAttributes

public java.util.Properties getAttributes()
Get the attributes of the node in the form of a java.util.Properties instance.


getDomNode

public org.w3c.dom.Node getDomNode()
Get the real node in the form of an org.w3c.dom.Node instance. The user is supposed to interpret the full tree if necessary.


toString

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

Overrides:
toString in class java.lang.Object