Or at least comparable to what the Cobra language has for contract support: http://cobra-language.com/docs/quality/