Code Contracts for mono?

问题:

Does mono support Code Contracts? I.e. if I build a class library, can mono users use my assembly?

If not, are there any alternative libraries? Preferably supporting static analysis (through a plugin or similar in visual studio)

回答1:

According to the compatability website, Monos Code Contracts API is done but the tooling is not yet complete.

EDIT: The newest version of Mono (2.8) only supports Contract.Requires calls and you have to rewrite you code with ccrewrite, link.