Ошибка: необъявленная переменная: fromS увидел 'оператор:?' - PullRequest
0 голосов
/ 24 мая 2019

Это код, и я получаю сообщение об ошибке. В нем говорится, что «необъявленная переменная: fromS увидел оператор:?»

  proctype Sender(chan in, out) 
  { byte mt;  /* message data */ 
    bit at;   /* alternation bit transmitted */ 
    bit ar;   /* alternation bit received */

FETCH;            /* get a new message */
out!data(mt,at);  /* send it */ 
do 
::in?ack(ar) -> /* await response */ 
    if 
    ::(ar == at) -> /* correct send */ 
        FETCH;      /* get a new message */ 
        at=1-at     /* toggle bit */ 
    ::else ->       /* there was a send error */ 
        skip        /* don’t fetch */ 
    fi; 
    out!data(mt,at)  
::in?error(ar) ->   /* recv error */ 
    out!data(mt,at)  
od}
...