Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | 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:

Include dependency graph

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

Included by dependency graph

Go to the source code of this file.

Namespaces

namespace  vcsn
namespace  vcsn::misc
namespace  vcsn::misc::contract

Functions

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.

Definition in file contract.hh.


Generated on Sun Jul 30 21:10:34 2006 for Vaucanson by  doxygen 1.3.9.1