Please enable Javascript, which is required for this site.
code-contracts

Code Contracts

Code Contracts provide a way for developers to express coding assumptions in .NET libraries and applications, facilitating the delivery of more reliable code that is easier to understand and maintain. In this course, we will cover the basics of Code Contracts, including how to enforce preconditions, guarantee postconditions, and define invariants. We will also cover some advanced techniques available to the Code Contracts library, including interface contracts and quantifiers. By the end of this course, you should know enough to get started using Code Contracts, and have a good understanding of the capabilities of the library.

Authored by: John Sonmez
Duration: 1h 51m
Level: Intermediate
Released: 7/17/2012
Features: Closed captions
Course Rating:
You are currently not signed in. Please sign in to access subscriber-only content.
Currently using:  {{getCurrentPlayerName()}}  [Change]
expand all | collapse all Progress Duration
This module is unavailableCode Contracts Overview
 You have not watched this Module. 00:14:04
Introduction
You have not watched this Clip. 00:33
What are Code Contracts?
You have not watched this Clip. 03:04
Why Code Contracts?
You have not watched this Clip. 02:29
How Code Contracts Work
You have not watched this Clip. 03:50
Installing and Configuring
You have not watched this Clip. 03:37
Summary
You have not watched this Clip. 00:31
This module is unavailableBasic Usage
 You have not watched this Module. 00:37:02
Introduction
You have not watched this Clip. 00:36
Preconditions
You have not watched this Clip. 01:25
Basic Preconditions
You have not watched this Clip. 09:55
Preconditions with Exceptions
You have not watched this Clip. 04:01
Legacy Preconditions
You have not watched this Clip. 03:34
Postconditions
You have not watched this Clip. 05:08
Basic Postconditions
You have not watched this Clip. 00:55
Postconditions for Exceptions and Original Values
You have not watched this Clip. 07:13
Checking Results
You have not watched this Clip. 03:19
Summary
You have not watched this Clip. 00:56
This module is unavailableDigging Deeper
 You have not watched this Module. 00:26:44
Introduction
You have not watched this Clip. 00:56
Object Invariants
You have not watched this Clip. 00:59
Using Object Invariants
You have not watched this Clip. 05:28
Automatic Properties
You have not watched this Clip. 05:09
Assert and Assume
You have not watched this Clip. 04:39
ForAll
You have not watched this Clip. 04:45
Exists
You have not watched this Clip. 03:45
Summary
You have not watched this Clip. 01:03
This module is unavailableAdvanced
 You have not watched this Module. 00:33:27
Introduction
You have not watched this Clip. 00:59
Inheritance Overview
You have not watched this Clip. 03:39
Inheritance Example
You have not watched this Clip. 04:14
Interfaces
You have not watched this Clip. 03:10
Abbreviators
You have not watched this Clip. 04:39
Static Checking Warning
You have not watched this Clip. 02:56
Turning on Static Checking
You have not watched this Clip. 02:24
Exploring Static Checking
You have not watched this Clip. 03:54
Static Checking Options
You have not watched this Clip. 06:51
Summary
You have not watched this Clip. 00:41