| 3518 | // |
| 3519 | |
| 3520 | static void gen_update(const act* action) |
| 3521 | { |
| 3522 | const upd* modify = (const upd*) action->act_object; |
| 3523 | const gpre_port* port = modify->upd_port; |
| 3524 | asgn_from(action, port->por_references); |
| 3525 | gen_send(action, port); |
| 3526 | } |
| 3527 | |
| 3528 | |
| 3529 | //____________________________________________________________ |
no test coverage detected