jj_consume_token(END_FORMULA);
}
final private void focParam() throws ParseException {
/*@bgen(jjtree) FocParam */
ASTFocParam jjtn000 = new ASTFocParam(this, JJTFOCPARAM);
boolean jjtc000 = true;
jjtree.openNodeScope(jjtn000);
Token t;
try {
jj_consume_token(BEGIN_PARAM);
t = jj_consume_token(PARAM_VALUE);
jj_consume_token(END_PARAM);
jjtree.closeNodeScope(jjtn000, true);
jjtc000 = false;
jjtn000.init(t.image);
} finally {
if (jjtc000) {
jjtree.closeNodeScope(jjtn000, true);
}
}