Russian ⇄ English

проверка предусловия надклассового типа stresses
progr.	class-wide precondition check (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk)