Node.java

/* Generated By:JJTree: Do not edit this line. Node.java Version 7.0 */
/* JavaCCOptions:MULTI=true,NODE_USES_PARSER=false,VISITOR=false,TRACK_TOKENS=false,NODE_PREFIX=AST,NODE_EXTENDS=,NODE_FACTORY=,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
/* All AST nodes must implement this interface.  It provides basic
   machinery for constructing the parent and child relationships
   between nodes. */

import java.util.Set;

public
interface Node {

    /**
     * This method is called after the node has been made the current
     * node.  It indicates that child nodes can now be added to it.
     */
    public void jjtOpen();

    /**
     * This method is called after all the child nodes have been
     * added.
     */
    public void jjtClose();

    /**
     * This pair of methods are used to inform the node of its
     * parent.
     */
    public void jjtSetParent(Node n);

    public Node jjtGetParent();

    /**
     * This method tells the node to add its argument to the node's
     * list of children.
     */
    public void jjtAddChild(Node n, int i);

    /**
     * This method returns a child node.  The children are numbered
     * from zero, left to right.
     */
    public Node jjtGetChild(int i);

    /**
     * Return the number of children the node has.
     */
    public int jjtGetNumChildren();

    public int getId();

    public void astToString();

    public Set<String> FV();

    public void addFV(Set<String> fv);

    public void dumpFV(String prefix, Set<String> fv);

    public SimpleNode substitute(String var, SimpleNode expr);

    public SimpleNode deepCopy();

    public SimpleNode normalOrderEvaluate() throws CloneNotSupportedException;

    public SimpleNode performSubstitution(String var, SimpleNode expr);
}
/* JavaCC - OriginalChecksum=57203b6dbedd2e78c95c2bf5cb2fe927 (do not edit this line) */