Searched refs:JJTINTEGER (Results 1 – 3 of 3) sorted by relevance
33 public int JJTINTEGER = 9; field
403 ASTInteger jjtn000 = new ASTInteger(JJTINTEGER);
539 ASTInteger jjtn000 = new ASTInteger(JJTINTEGER); in Integer()