אנגלית ⇄ רוסית +

class-wide precondition check מתח
.תִכנו	проверка предусловия надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk)