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

Code Contracts

This course provides an introduction to Code Contracts in the Microsoft .NET Framework.

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