Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

contract.hh File Reference

Definition of contract macros. More...

Include dependency graph for contract.hh:

This graph shows which files directly or indirectly include this file:


Namespaces

namespace  utility
namespace  utility::contract

Functions

static void trap (const char *file, int line, const char *location, const std::string &message)
 Internal function to report errors in failed contract macros.

Detailed Description

Definition of contract macros.


Generated on Thu Oct 27 12:47:38 2005 for Vaucanson by  doxygen 1.4.1