Main Page
|
Modules
|
Namespace List
|
Class Hierarchy
|
Alphabetical List
|
Class List
|
Directories
|
File List
|
Namespace Members
|
Class Members
|
File Members
|
Related Pages
utility
::
contract
utility::contract Namespace Reference
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.
Generated on Mon Jul 3 13:39:23 2006 for Vaucanson by
1.4.4