В качестве примера приведем В этом цикле участвуют две переменные — Именованный шаблон для этого случая будет иметь вид.Листинг 11.10. Шаблон цикла while в общем виде
while
-цикл для программы, вычисляющей факториал. Java-код был следующим:while (i != 0) {
result = result * i;
i--;
}
i
и result
. Функции, использующиеся в этом цикле, запишутся следующим образом:условие($1, $result) ::= ($i != 0)
функцияi($i, $result) ::= ($i - 1)
функцияresult($i, $result) ::= ($i * $result)
результат($I, $result) ::= ($result)