Definition of contract macros. More...
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
The main namespace of the Vaucanson library. | |
namespace | vcsn::misc |
The namespace for miscellaneous constructs. | |
Functions | |
void | trap (const char *file, int line, const char *location, const std::string &message) |
Internal function to report errors in failed contract macros. |
Definition of contract macros.
Definition in file contract.hh.