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

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

Cross Ref Guide

ASP CLASSICLANGUAGE

ASP Classic

ASP CLASSICANDDELPHI PRISMTOC

Overview

+Tool Basics

Report Tools Overview

+Language Basics

+Language Details

+Data Structures

Array

+Statements

+Operators

+Commands

+Database

+OOP Basics

+OOP Details

Code Contract◄╣

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

► KB ► To/From Guides ► ASP Classic

Print This

Code Contract (ASP Classic and Delphi Prism Cross Reference Guide)

By Mike Prestwood

ASP Classic versus Delphi Prism: A side by side comparison between ASP Classic and Delphi Prism.

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.

ASP Classic: "Code Contracts" Not Supported

Delphi Prism: "Class Contracts" require, ensure

Prism supports class contracts with its require and ensure keywords. The require keyword is a pre condition that must be true when the method is called. The ensure keyword is a post condition that must be true when a method exits. With either, if the condition evaluates to false, then an assertion is generated.

The require and ensure keywords will expand the method body to list the preconditions; both sections can contain a list of Boolean statements, separated by semicolons.

Syntax Example:

method Cyborg.Walk(pPace);
require
  pPace > 0;

  pPace < 100;

begin
  ensure
    FEnergyLevel >= 10;
end;