This seems similar to .Net Code Contracts. Although I've never used either so couldn't say for sure.