isvalid(message_name) проверяет, является ли входы или локальное сообщение допустимым. Сообщение действительно, если график удалил его из очереди и не переадресовал или не сбросил.
Когда состояние A активно, получаем сообщение M. Если значение данных сообщения равно 3, отбросьте сообщение. Затем, когда состояние B активно, проверяйте, что сообщение M все еще действителен. Если сообщение верно и имеет значение данных, равное 6, отбросьте сообщение.
В состоянии A:
during:
if receive(M) == true
if M.data == 3
discard(M);
endend
В состоянии B:
during:
if isvalid(M) == true
if M.data == 6
discard(M);
endend
Для просмотра документации необходимо авторизоваться на сайте
Памятка переводчика
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.