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

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

Cross Ref Guide

COREL PARADOXLANGUAGE

Corel Paradox

COREL PARADOXANDJAVATOC

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 ► Corel Paradox

Print This

Code Contract (Corel Paradox and Java Cross Reference Guide)

By Mike Prestwood

Corel Paradox versus Java: A side by side comparison between Corel Paradox and Java.

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.

Corel Paradox: "Code Contracts" Not Supported

[Not specified yet. Coming...]