Implement contracts with Microsoft code contracts

[Chuck]

Microsoft is working on standardized support for code contracts in .NET languages. Cobra should embrace this, but still support its current facilities for 2 reasons:

• There could be differences in semantics around contracts, such as how inheritance is handled. We don't want to break existing programs (including the Cobra compiler).
• There is no just standard on JVM where Cobra's current facilities will be needed.

[Chuck]

See also:  http://www.google.com/search?hl=en&q=microsoft+code+contracts

[Chuck]

See also:  http://research.microsoft.com/en-us/projects/contracts/