Детали программы:
Версия: 0.3.1
Дата загрузки: 12 May 15
Тип распространения: Бесплатная
Популярность: 1076
Библиотека позволяет разработчикам применять Рубин просто, ясно ограничений
к способам и классов
Особенности :.
- Метод подписи договоров
- Контракты на блоки и проками
- Метод пред- и пост-условия
- Инварианты класса
- Определение класса, как абстрактное
Комментарии не найдены