class EPreConditionError

Exception class representing PreCondition 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 PreCondition 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