- - - - CENAPAD-MGCO

A seguir: Exemplos de Uso Acima: Conceitos e Notações Anterior: Comandos Alternativos e Repetitivos:

Comandos Alternativos e Repetitivos: Exemplos - 2

Exemplo 5

*[
 n: integer;
   X ? insert(n) -> INSERT
 ||
   X ? has(n)    -> SEARCH;
                    X ! (i < size)
 ]

• a escolha entre estas duas alternativas é determinada pelo primeiro comando de X onde um inteiro é enviado com o construtor insert ou com o construtor has;

Exemplo 6

*[
   X ? V()  -> val := val + 1
 ||
   val > 0; 
   Y ? P()  -> val := val - 1
 ]