/* Generated By:JJTree: Do not edit this line. ASTfunctionalSymbol.java Version 4.3 */
/* JavaCCOptions:MULTI=true,NODE_USES_PARSER=false,VISITOR=false,TRACK_TOKENS=false,NODE_PREFIX=AST,NODE_EXTENDS=,NODE_FACTORY=,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
package parser;
public
class ASTfunctionalSymbol extends SimpleNode {
public ASTfunctionalSymbol(int id) {
super(id);
}
public ASTfunctionalSymbol(SparcTranslator p, int id) {
super(p, id);
}
public String toString() {
StringBuilder result = new StringBuilder();
result.append(this.image.substring(0,this.image.indexOf(')')));
result.append(((ASTsortExpressionList)this.jjtGetChild(0)).toString());
result.append(")");
return result.toString();
}
}
/* JavaCC - OriginalChecksum=635f26d7ed77a0136cf69a523865833a (do not edit this line) */