Blokk
::=block
[konstansok]
[deklarációk]
begin
[törzs;]....
[kezelő]...
end block
konstansok:
::=constant (alap-változó [, alap-változó]
...])
deklarációk:
::=declare [ deklarációk;]
A blokk új hatáskört vezet be. Ezen belül új változók deklarálására, létező változók konstansra állítására és kivételkezelők elhelyezésére van lehetőség.
Minden kezelőt megelőz annak a kilépésnek vagy kivételnek a neve amit kezelni képes. Az others kulcsszó kiírásával határozhatjuk meg az explicite nem kezelt kivételekkor végrehajtani kívánt utasításokat. Megszorítás: Egy blokkon belül nem lehet két azonos kivételt kezelő ág. A törzsben bekövetkező kivétel esetén a neki megfelelő kivétel kezelői ágra adódik a vezérlés ugyanezen blokkban. Egymásbaágyazott blokkok esetén mindig a legbelsőbb kivételkezelő rész a felelős. Abban az esetben, ha minden utasítás kivétel fellépése nélkül végrehajtódott akkor normális kilépés következik be. Egy blokkon belüli kifejezések bármelyike normális kilépést produkál akkor ugyanezt mondjuk a blokkra is.
Folyamatok törzse is egy blokk, bár a block, end block szavakat nem írjuk ki.
Elágazás
::= if teszt-kifejezés
then [ utasítások;] ...
[ else [ utasítások;] ... ]
end if
Működése megegyezik a többi nyelvben megszokott működéssel, azaz a tesztkifejezés kiértékelése logikai értéket eredményez amely meghatározza, hogy melyik ág lefutása kell, hogy következzék.
While
::= while teszt-kifejezés repeat
[ utasítások;] ...
end while
[ utasítások;] ...
end while
Működése megegyezik a többi nyelvben megszokott működéssel, azaz a tesztkifejezés ciklikus kiértékelése logikai értéket eredményez amely meghatározza, hogy a ciklusmag lefusson-e vagy sem.
Select
::= select [select-kifejezés]
[ select-rész] ...
otherwise-rész
end select
otherwise-rész
end select
select-rész
::= logikai-őr [utasítások;] ...
::= esemény-őr[utasítások;] ...
::= esemény-őr and logikai-őr [utasítások;] ...
::= esemény-őr[utasítások;] ...
::= esemény-őr and logikai-őr [utasítások;] ...
esemény-őr
::= event inport-változó
logikai-őr
::= where ( teszt-kifejezés)
otherwise-rész
::= otherwise [utasítások;] ...
select-kifejezés
::= kifejezés
A select utasítás egy opcionális kifejezésből, select részek halmazából és egy otherwise részből áll. A select rész őrfeltételből és egy további részből áll. Az őrfeltétel lehet
- logikai őrfeltétel
- logikai őrfeltétel és egy esemény őrfeltétel (ami megnevez egy input portot) konjunkciója
-
esemény őrfeltétel ömagában amely a
fent említett speciális esete (a logikai őrfeltétel
'true'-ként való kezelése)
példa:
select where (x>0) y:=x+y; event inport_1 receive parms_1 from inport_1; event inport_2 and where (x<=0) receive parms_1 from inport_2; otherwise end select;Működése során először is a logikai őrfeltételek kiértékelése történik, beleértve az implicit 'true' feltétes ágakat is. Azon ágakat amelyek 'true'-ra értékelődnek ki bekapcsolt ágaknak, a 'false' ágakat kikapcsolt ágaknak nevezzük.
- Abban az esetben, ha minden ág kikapcsolt, az otherwise ág fut le és a select terminál
- Egy vagy több bekapcsolt ág esetén akkor, ha mindegyik rendelkezik esemény őrfeltétellel és az input portoknak nincsen csatlakozásuk a Disconnected kivétel lép fel.
- Ha van olyan ág ami nem rendelkezik esemény őrrel vagy olyan esemény őrfeltétellel bír aminek az input portja nem üres akkor az a rész fog lefutni. Több ilyen esetén a választás nem determinisztikus. A választás nem fair.
-
Minden bakapcsolt ág esemény őrrel rendelkezik úgy,
hogy legalább egynek a portja csatlakoztatva van, de minden input port
végtelen ideig üres marad, akkor a select végtelen ideig
várakozni fog
Kifejezés blokk
::= evaluate deklaráció from [ utasítások;] ... endA kifejezés blokk vagyis az evaluate operátor segítségével ágyazhatunk utasításokat egy kifejezésbe. Az eredmény változó deklarációjából és kiszámításának mikéntjét leíró utasításokból áll. A blokkon kívül deklarált összes változó a blokk belsejében konstansként kezelt.
Exit
::= exit exit-névAz exit utasítás egy blokk végrehajtását terminálja úgy, mintha kivétel lépett volna fel. Hatásában az exit lokálisan definiált kivétel feltétel.
példa:
block begin if x> 200000 then exit TooBig; end if; ... on exit (TooBig) ... end block;