Ticket #99 (new enhancement)

Opened 10 years ago

Last modified 10 years ago

Implement contracts with Microsoft code contracts

Reported by: Chuck Owned by:
Priority: minor Milestone:
Component: Cobra Compiler Version: 0.8.0
Keywords: contracts Cc:


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.

Change History

Note: See TracTickets for help on using tickets.