Constructor and Description |
---|
CommandBase(java.lang.String name)
construct command with denoted name
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
get name of command
|
abstract void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination).
|
static Command |
toCommand(org.w3c.dom.Element node)
Construct command from DOM representation.
|
org.w3c.dom.Node |
toNode(org.w3c.dom.Document document)
Convert proof command to external representation as a DOM node.
|
java.lang.String |
toString()
returns string representation of tree
|
public CommandBase(java.lang.String name)
name
- the name of the commandpublic java.lang.String getName()
public java.lang.String toString()
toString
in class java.lang.Object
public abstract void printCore(java.io.PrintWriter out)
out
- the stream on which the text is writtenpublic org.w3c.dom.Node toNode(org.w3c.dom.Document document)
toNode
in interface Command
document
- the document to which the node belongs.public static Command toCommand(org.w3c.dom.Element node)
node
- the DOM representation of the command.