ASTRefinement.java

/* Generated By:JJTree: Do not edit this line. ASTRefinement.java Version 7.0 */
/* JavaCCOptions:MULTI=true,NODE_USES_PARSER=false,VISITOR=true,TRACK_TOKENS=true,NODE_PREFIX=AST,NODE_EXTENDS=,NODE_FACTORY=,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
package com.github.tom65536.adelante.parser;

public
class ASTRefinement extends SimpleNode {
  public ASTRefinement(int id) {
    super(id);
  }

  public ASTRefinement(AdelanteParser p, int id) {
    super(p, id);
  }


  /** Accept the visitor. **/
  public Object jjtAccept(AdelanteParserVisitor visitor, Object data) {

    return
    visitor.visit(this, data);
  }
}
/* JavaCC - OriginalChecksum=34af5fc02eaab03224f7bf7ec9210276 (do not edit this line) */