9

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)

Volker Stolz
  • 7,274
  • 1
  • 32
  • 50
jgauffin
  • 99,844
  • 45
  • 235
  • 372

1 Answers1

4

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.

Shenk
  • 352
  • 4
  • 12
Yet Another Geek
  • 4,251
  • 1
  • 28
  • 40