Question: What do code contracts do?

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

Answer: The correct answer of the above question is Option B:Code contracts provide a way to specify preconditions, postconditions, and object invariants in your code.