kites.TRSModel
Class Constant

java.lang.Object
  extended by kites.TRSModel.ASTNode
      extended by kites.TRSModel.Constant

public class Constant
extends ASTNode

Represents a constant symbol in a syntax tree. A constant is like a Function it just does not have any children.


Field Summary
 
Fields inherited from class kites.TRSModel.ASTNode
name
 
Constructor Summary
Constant(java.lang.String name)
          Create a constant with a name
 
Method Summary
 NodeContainer toLabel()
          Return the graphical representation of this node.
 NodeContainer toLabelWithRule(java.util.LinkedHashMap<ASTNode,java.util.LinkedList<Rule>> decomp, boolean highlight)
          Return the graphical representation of this node and also embed information about the possible rewrites into it.
 
Methods inherited from class kites.TRSModel.ASTNode
add, getChildIterator, getLine, getName, getParamCount, getRevChildIterator, getSize, reverse, toString, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Constant

public Constant(java.lang.String name)
Create a constant with a name

Parameters:
name - The constant's name
Method Detail

toLabel

public NodeContainer toLabel()
Description copied from class: ASTNode
Return the graphical representation of this node.

Specified by:
toLabel in class ASTNode
Returns:
The constant's graphical representation
See Also:
ASTNode.toLabel()

toLabelWithRule

public NodeContainer toLabelWithRule(java.util.LinkedHashMap<ASTNode,java.util.LinkedList<Rule>> decomp,
                                     boolean highlight)
Description copied from class: ASTNode
Return the graphical representation of this node and also embed information about the possible rewrites into it.

Specified by:
toLabelWithRule in class ASTNode
Parameters:
decomp - list of rules that can be applied to this node
highlight - shall the node be initially highlighted
Returns:
The constant's graphical representation
See Also:
ASTNode.toLabelWithRule(LinkedHashMap, boolean)