}
}
final private void formula() throws ParseException {
/*@bgen(jjtree) Function */
ASTFunction jjtn000 = new ASTFunction(this, JJTFUNCTION);
boolean jjtc000 = true;
jjtree.openNodeScope(jjtn000);
Token t;
try {
t = getToken(0);
if (jj_2_6(2)) {
jj_consume_token(OParen);
statement();
label_19: while (true) {
switch ((jj_ntk == -1) ? jj_ntk() : jj_ntk) {
case EOS:
;
break;
default:
jj_la1[39] = jj_gen;
break label_19;
}
jj_consume_token(EOS);
statement();
}
jj_consume_token(CParen);
} else {
;
}
jjtree.closeNodeScope(jjtn000, true);
jjtc000 = false;
jjtn000.init(t.image);
} catch (Throwable jjte000) {
if (jjtc000) {
jjtree.clearNodeScope(jjtn000);
jjtc000 = false;
} else {