Кодовые контракты для моно?

Question

Поддерживает ли моно кодовые контракты ?Т.е., если я собираю библиотеку классов, могут ли моно пользователи использовать мою сборку?

Если нет, есть ли альтернативные библиотеки?Предпочтительно поддержка статического анализа (через плагин или аналогичный в визуальной студии)

Answer 1

Согласно веб-сайту о совместимости API-интерфейсы Monos Code Contracts выполнены, но инструменты еще не завершены.

EDIT : новейшая версия Mono (2.8) поддерживает только Contract.Requires звонки, и вы должны переписать свой код с помощью ccrewrite, link .