问题
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.
来源：https://stackoverflow.com/questions/6483055/code-contracts-for-mono