PostconditionException Class

Exception raised when a postcondition fails. This exception is raised when a post-condition fails.

Object Model

Syntax

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

'Declaration
 
Public Class PostconditionException 
   Inherits DesignByContractException

'Usage
 
Dim instance As PostconditionException

public class PostconditionException : DesignByContractException

public class PostconditionException = class(DesignByContractException)

public class PostconditionException extends DesignByContractException

public __gc class PostconditionException : public DesignByContractException

public ref class PostconditionException : public DesignByContractException

Inheritance Hierarchy

System.Object
   System.Exception
      System.ApplicationException
         Miner.Tasks.DesignByContractException
            Miner.Tasks.PostconditionException

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

PostconditionException Members
Miner.Tasks Namespace