What do code contracts do?
Code contracts contain definitions for a group of related functionalities that a class or a struct can implement.
Code contracts contain data structures for a group of related functionalities that a class or a struct can implement.
Code contracts provide a way to specify preconditions, postconditions, and object invariants in your code.
Code contracts are data structures that can operate on demand per requirements.