/* Generated By:JJTree: Do not edit this line. ASTdisjunction.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 ASTdisjunction extends SimpleNode {
public ASTdisjunction(int id) {
super(id);
}
public ASTdisjunction(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();
for(int i=0;i<this.jjtGetNumChildren();i++) {
ASTnonRelAtom nonrelAtomatom=(ASTnonRelAtom)this.jjtGetChild(i);
if(i!=0) {
result.append('|');
}
result.append(nonrelAtomatom.toString());
}
return result.toString();
}
}
/* JavaCC - OriginalChecksum=a134183f6370d456d866d5fda4f8b49e (do not edit this line) */