• views: 1 338
• date: 17 July 2012
• posted by: pm1

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.

Code Contracts Overview 00:14:04
Introduction 00:33
What are Code Contracts? 03:04
Why Code Contracts? 02:29
How Code Contracts Work 03:50
Installing and Configuring 03:37
Summary 00:31

Basic Usage 00:37:02
Introduction 00:36
Preconditions 01:25
Basic Preconditions 09:55
Preconditions with Exceptions 04:01
Legacy Preconditions 03:34
Postconditions 05:08
Basic Postconditions 00:55
Postconditions for Exceptions and Original Values 07:13
Checking Results 03:19
Summary 00:56

Digging Deeper 00:26:44
Introduction 00:56
Object Invariants 00:59
Using Object Invariants 05:28
Automatic Properties 05:09
Assert and Assume 04:39
ForAll 04:45
Exists 03:45
Summary 01:03

Advanced 00:33:27
Introduction 00:59
Inheritance Overview 03:39
Inheritance Example 04:14
Interfaces 03:10
Abbreviators 04:39
Static Checking Warning 02:56
Turning on Static Checking 02:24
Exploring Static Checking 03:54
Static Checking Options 06:51
Summary 00:41

INFO:






   
   
   

Forex Trading

Crypto Trading. 20 USD Bonus after KYC

We need your support!
Make a donation to help us stay online
        
Bitcoin (BTC)
bc1q08g9d22cxkawsjlf8etuek2pc9n2a3hs4cdrld
	
Bitcoin Cash (BCH)
qqvwexzhvgauxq2apgc4j0ewvcak6hh6lsnzmvtkem

Ethereum (ETH)
0xb55513D2c91A6e3c497621644ec99e206CDaf239

Litecoin (LTC)
ltc1qt6g2trfv9tjs4qj68sqc4uf0ukvc9jpnsyt59u

USDT (ERC20)
0xb55513D2c91A6e3c497621644ec99e206CDaf239

USDT (TRC20)
TYdPNrz7v1P9riWBWZ317oBgJueheGjATm

0 1 2 3 4 5

| Print version |

	Information
		Users of GUESTS are not allowed to comment this publication.