/* Generated By:JJTree: Do not edit this line. ASTchoice_element.java Version 4.3 */
/* JavaCCOptions:MULTI=true,NODE_USES_PARSER=false,VISITOR=true,TRACK_TOKENS=false,NODE_PREFIX=AST,NODE_EXTENDS=,NODE_FACTORY=,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
package parser;
import java.util.HashMap;
public
class ASTchoice_element extends SimpleNode {
public ASTchoice_element(int id) {
super(id);
}
public ASTchoice_element(SparcTranslator p, int id) {
super(p, id);
}
/** Accept the visitor. **/
public Object jjtAccept(SparcTranslatorVisitor visitor, Object data) {
return visitor.visit(this, data);
}
public String toString(HashMap<String,String> sortRenaming) {
StringBuilder result=new StringBuilder();
result.append(((SimpleNode)this.jjtGetChild(0)).toString());
//if there is a simpleAtomList
if(this.jjtGetNumChildren()>1) {
result.append(":");
result.append(((SimpleNode)this.jjtGetChild(1)).toString(sortRenaming));
}
return result.toString();
}
}
/* JavaCC - OriginalChecksum=d58796ac7ca6e92e9554588be1d44db2 (do not edit this line) */