DDD1978

а нафига в магазин бегаь когда можно по инету скачать. Короче дело так наверное все знают. Решил его подучить и столкнулся с такой проблемкой. Насчет корректности методов.
вот определение
Пусть P(x,z) - программа P с входными аргументами x и выходными z. Пусть Q(y) - некоторое логическое условие (предикат) над переменными программы y. Язык для записи предикатов Q(y) формализовать не будем. Отметим только, что он может быть шире языка, на котором записываются условия в программах, и включать, например, кванторы. Предусловием программы P(x,z) будем называть предикат Pre(x), заданный на входах программы. Постусловием программы P(x,z) будем называть предикат Post(x,z), связывающий входы и выходы программы. Для простоты будем полагать, что программа P не изменяет своих входов x в процессе своей работы.
в своих функциях я получаю инвариант функции создаю дополниельную функцию которая проинициализирует все и проверит значение на выходе вот на входе как проверить?
ну операторы ref и оut ведут себя ужас мля такого извращения не видел или может я как то не так использую

Думаю Жаббер намного лучше будет работать я сам и с тем и с другим работал жаба работает намного лучше а пользователей можно брать с актив директори я как то делал в пору админства на С++ прогу написал которую вытаскивала пользователей из актив директори и врубала на жабе

да нет почему у нас везде FreeBSD стоят