Kod umowy na mono?

Question

Czy mono obsługuje Code Contracts? To znaczy. jeśli zbuduję bibliotekę klas, użytkownicy mono mogą używać mojego zestawu?

Jeśli nie, czy są jakieś alternatywne biblioteki? Najlepiej obsługuje analizę statyczną (za pomocą wtyczki lub podobnego narzędzia w visual studio).

Answer 1

Zgodnie z compatability website, API kontraktów kodu Monos jest wykonywane, ale narzędzia nie zostały jeszcze zakończone.

EDIT: Najnowsza wersja Mono (2.8) obsługuje tylko Contract.Requires połączeń i trzeba przepisać kod z ccrewrite Ci, link.