/* Generated By:JJTree: Do not edit this line. ASTInteger.java Version 7.0 */ /* JavaCCOptions:MULTI=true,NODE_USES_PARSER=false,VISITOR=true,TRACK_TOKENS=false,NODE_PREFIX=AST,NODE_EXTENDS=,NODE_FACTORY=,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */ public class ASTInteger extends SimpleNode { public ASTInteger(int id) { super(id); } public ASTInteger(HL p, int id) { super(p, id); } /** Accept the visitor. **/ public Object jjtAccept(HLVisitor visitor, Object data) { return visitor.visit(this, data); } } /* JavaCC - OriginalChecksum=de116e804c1dab98297bdac07a7fa703 (do not edit this line) */