To/From Code

	Languages
BROWSEBYLANGUAGE Access VBA ASP Classic C# C++ C++/CLI Corel Paradox Delphi Delphi Prism Java JavaScript Perl PHP VB Classic VB.Net

	Categories
BROWSEBYCATEGORY +Tool Basics +Language Basics +Language Details +Data Structures +Statements +Operators +Commands +Database +OOP Basics +OOP Details

	VB.Net Guides
VB.Net To/From Conversion Guides VB.Net and Access VBA VB.Net and C# VB.Net and C++ VB.Net and C++/CLI VB.Net and Corel Paradox VB.Net and Delphi VB.Net and Delphi Prism VB.Net and Java VB.Net and JavaScript VB.Net and Perl VB.Net and PHP VB.Net and VB Classic

Cross Ref Guide

VB.NETLANGUAGE

VB.Net

VB.NETANDASP CLASSICTOC

Overview

+Tool Basics

Report Tools Overview

+Language Basics

+Language Details

+Data Structures

Array

+Statements

+Operators

+Commands

+OOP Basics

+OOP Details

Code Contract◄╣

	Members-Only
Sign in to see member-only pages.

► KB ► To/From Guides ► VB.Net

Print This

Code Contract (VB.Net and ASP Classic Cross Reference Guide)

By Mike Prestwood

VB.Net versus ASP Classic: A side by side comparison between VB.Net and ASP Classic.

OOP Details

More object oriented (OO) stuff.

Code Contract

[Other Languages]

A.k.a. Class Contract and Design by Contracts.

A contract with a method that must be true upon calling (pre) or exiting (post). A pre-condition contract must be true when the method is called. A post-condition contract must be true when exiting. If either are not true, an error is raised. For example, you can use code contracts to check for the validity of input parameters, and results

An invariant is also a code contract which validates the state of the object required by the method.

VB.Net: "Code Contracts" Not Supported

Although not currently supported, there are plans for the next version of VS.Net and .Net using Requires and Ensures keywords. Look for code contracts in VS.Net 2010 and .Net 4.

Read About It: Introduction to Code Contracts

If you code with VS.Net 2008 Pro or above and wish to implement contracts now, checkout the following download:

Managed Contract Tools

ASP Classic: "Code Contracts" Not Supported