Definovanie všetkých použitých premenných v predpise je potrebné uviesť v úvode predpisu pred použitím prvej operácie. Systém v súčasnosti pozná nasledovné typy premenných:
Typ | Popis |
---|---|
BOOL | Typ reprezentujúci logickú premennú. Nadobúda hodnoty 0 a 1. |
INT | Typ reprezentujúci celočíselnú hodnotu. Rozsah hodnôt je <-253 .. 253>. |
REAL | Typ reprezentujúci reálnu premennú implementovaný pomocou 64-bitového formátu IEEE 754. |
TIME | Typ reprezentujúci univerzálnu časovú značku. |
TEXT | Typ reprezentujúci textovú premennú. |
VECTOR | Typ reprezentujúci vektor (časový rad/pole hodnôt). Používa sa aj na deklaráciu použitého EDA vektora v EDA-L predpise. |
VECTORS | Typ predstavujúci pole vektorov. |
GROUP | Typ predstavujúci pole vektorov. Používa sa na deklaráciu použitej skupiny EDA vektorov v EDA-L predpise. |
SCENARIO | Typ predstavujúci pole vektorov. Používa sa na deklaráciu použitého scenára EDA vektorov v EDA-L predpise. |
Všetky lokálne premenné musia začítať znakom "_" (podčiarkovník). Je možné deklarovať aj viacero premenných toho istého typu naraz. Samotná deklarácia má tvar: <typ> <názov>[, <názov_2>[, ...]];
...
Premenné typu BOOL, INT, REAL a TIME je možné rozšíriť voliteľným modifikátorom NOINVALID. Tento modifikátor hovorí, že premenná nemôže nadobudnúť neplatnú hodnotu. Takáto premenná musí byť pri definícii inicializovaná na platnú hodnotu a pri každom priradení do nej sa robí kontrola platnosti hodnoty. V prípade, že by mala premenná nadobudnúť po priradení neplatnú hodnotu, je generovaná výnimka. Premenné typu TEXT nikdy nenadobúdajú neplatnú hodnotu.
Kotva | ||||
---|---|---|---|---|
|
Parametre vektora sa deklarujú podobne ako premenné a práca s nimi je rovnaká ako s premennými. Ich predvolená hodnota je však určená hodnotou, ktorá bola danému parametru odovzdaná pri načítaní vektora.
...