class EPostConditionError

 Exception class representing PostCondition contract errors. More...
Definition#include <contracts.h>
InheritsEContractError
List of all Methods
Annotated List
Files
Globals
Hierarchy
Index

Public Methods

Detailed Description

This class is used to represent PostCondition errors in applications. It provides constructors that simply call EContractError's constructor.

This class is provided only to provide more specific exception object types.

See also: EContractError