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

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

Cross Ref Guide

C++/CLILANGUAGE

C++/CLI

C++/CLIANDVB CLASSICTOC

Overview

+Tool Basics

Report Tools Overview

+Language Basics

+Language Details

+Statements

+Operators

+OOP Basics

+OOP Details

Code Contract◄╣

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

► KB ► To/From Guides ► C++/CLI

Print This

Code Contract (C++/CLI and VB Classic Cross Reference Guide)

By Mike Prestwood

C++/CLI versus VB Classic: A side by side comparison between C++/CLI and VB 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.

C++/CLI: "Code Contracts" Not Supported

VB Classic: "Code Contracts" Not Supported