Check Class

Design By Contract Checks. Each method generates an exception or a trace assertion statement if the contract is broken. This class checks for DesignByContract exceptions. Each method generates an exception or a trace assertion statement if the contract is broken.

Object Model

Syntax

Visual Basic
C#
Delphi
JScript
Managed Extensions for C++
C++/CLI

'Declaration
 
Public NotInheritable Class Check

'Usage
 
Dim instance As Check

public sealed class Check

public class Check sealed;

public sealed class Check

public __gc __sealed class Check

public ref class Check sealed

Remarks

This example shows how to call the Require method.

public void Test(int x) { try { Check.Require(x > 1, "x must be > 1"); } catch (System.Exception ex) { Console.WriteLine(ex.ToString()); } }

You can direct output to a Trace listener. For example, you could insert Trace.Listeners.Clear(); Trace.Listeners.Add(new TextWriterTraceListener(Console.Out)); or direct output to a file or the Event Log. (Note: For ASP.NET clients use the Listeners collection of the Debug, not the Trace, object and, for a Release build, only exception-handling is possible.)

Inheritance Hierarchy

System.Object
Miner.Tasks.Check

Requirements

Target Platforms: Windows 7, Windows Vista SP1 or later, Windows XP SP3, Windows Server 2008 (Server Core not supported), Windows Server 2008 R2 (Server Core supported with SP1 or later), Windows Server 2003 SP2

Reference

Check Members
Miner.Tasks Namespace