Search code examples
.netmonocode-contracts

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)

Solution

  • 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.