00001 package edu.ksu.cis.bandera.abstraction.predicate.parser;
00002
00003
00004 public class ASTArrayExpr extends ASTSingleExpr {
00005 public ASTArrayExpr(int id) {
00006 super(id);
00007 }
00008 public ASTArrayExpr(PredicateParser p, int id) {
00009 super(p, id);
00010 }
00011
00012 public Object jjtAccept(PredicateParserVisitor visitor, Object data) {
00013 return visitor.visit(this, data);
00014 }
00015 public static Node jjtCreate(int id) {
00016 return new ASTArrayExpr(id);
00017 }
00018 public static Node jjtCreate(PredicateParser p, int id) {
00019 return new ASTArrayExpr(p, id);
00020 }
00021 }