Pravidlo 10: Dotazovací operace

Každá operace může mít definovaný libovolný počet podmínek (metatřída Constraint), které musí být splněny před jejím spuštěním (tzv. pre-condition), a libovolné množství podmínek, které musí být splněny po jejím dokončení (tzv. post-condition). Druhé jmenované podmínky platí ve chvíli, kdy běh operace nevyvolá výjimku.

Číst více

Pravidlo 6: Rozlišitelnost prvků

V rámci jmenného prostoru (prvek Namespace, zástupcem je např. třída nebo komponenta) je možné se na prvky odkazovat pouze jejich jménem. Např. operace jedné třídy se mohou názvem přímo odkazovat samy na sebe nebo např. na atributy téže třídy. Nebo v jednom balíku se mohou prvky v něm obsažené odkazovat na sebe přímo (např. třídy).

Číst více