UNITY Program Structure 9: Always section
syntax rovnaká ako v initially_section
premenná na lavej strane sa nazýva transparentná, ak je funkciou netransparentných a nie je na lavej strane inicializácií alebo priradení
rovnaké obmedzenia ako v initially_section
Príklad:
- ne ? pocet zamestnancov
- nm, nf ? pocet muzov, zien
- always ne = nm + nf
always_section nie je nevyhnutná, ale
- invarianty
- transparent variables ? macro
- efektívna implementácia ? vyhodnotenie TV môze byt odlozené kým treba alebo kým sa nezmení hodnota premennej ktorú definuje