/*
=====================================================================
                        Source: while.rule
=====================================================================
*/


while_cmd : WHILE atline  fgl_expr_c {
			push_blockcommand("WHILE");
		} commands_as_list END_WHILE {
			set_cmdlineno($<integer_val>2);
			pop_blockcommand("WHILE");
			$<cmd>$=new_while_cmd(chk_expr($<ptr>3), $<commands>5);
		}
;

/* ========================= while.rule ========================= */