stage1_2/iec.y
changeset 86 1988bf1634da
parent 85 a6e651ba55c2
child 87 b97f9ad7b2c6
equal deleted inserted replaced
85:a6e651ba55c2 86:1988bf1634da
  3787 | TRANSITION transition_name 
  3787 | TRANSITION transition_name 
  3788     FROM steps TO steps 
  3788     FROM steps TO steps 
  3789     {cmd_goto_body_state();} transition_condition 
  3789     {cmd_goto_body_state();} transition_condition 
  3790   END_TRANSITION 
  3790   END_TRANSITION 
  3791 	{$$ = new transition_c($2, NULL, $4, $6, $8, NULL, locloc(@$));}
  3791 	{$$ = new transition_c($2, NULL, $4, $6, $8, NULL, locloc(@$));}
  3792 | TRANSITION '(' PRIORITY ASSIGN integer ')' 
  3792 | TRANSITION '(' {cmd_goto_sfc_priority_state();} PRIORITY {cmd_pop_state();} ASSIGN integer ')' 
  3793     FROM steps TO steps 
  3793     FROM steps TO steps 
  3794     {cmd_goto_body_state();} transition_condition 
  3794     {cmd_goto_body_state();} transition_condition 
  3795   END_TRANSITION
  3795   END_TRANSITION
  3796         {$$ = new transition_c(NULL, $5, $8, $10, $12, NULL, locloc(@$));}
  3796         {$$ = new transition_c(NULL, $7, $10, $12, $14, NULL, locloc(@$));}
  3797 //| TRANSITION identifier '(' PRIORITY ASSIGN integer ')' FROM steps TO steps ...
  3797 //| TRANSITION identifier '(' PRIORITY ASSIGN integer ')' FROM steps TO steps ...
  3798 | TRANSITION transition_name '(' PRIORITY ASSIGN integer ')' 
  3798 | TRANSITION transition_name '(' {cmd_goto_sfc_priority_state();} PRIORITY {cmd_pop_state();} ASSIGN integer ')' 
  3799     FROM steps TO steps 
  3799     FROM steps TO steps 
  3800     {cmd_goto_body_state();} transition_condition 
  3800     {cmd_goto_body_state();} transition_condition 
  3801   END_TRANSITION
  3801   END_TRANSITION
  3802         {$$ = new transition_c($2, $6, $9, $11, $13, NULL, locloc(@$));}
  3802         {$$ = new transition_c($2, $8, $11, $13, $15, NULL, locloc(@$));}
  3803 ;
  3803 ;
  3804 
  3804 
  3805 
  3805 
  3806 
  3806 
  3807 transition_condition:
  3807 transition_condition: