Loki::CheckForNoChangeOrThrow< Host > Class Template Reference

#include <Checker.h>

List of all members.


Detailed Description

template<class Host>
class Loki::CheckForNoChangeOrThrow< Host >

Exception Safety Level:
This exception-checking policy class for ContractChecker asserts either if a copy of the host differs from the original host object, or if an exception occurs. Host classes can use this policy to show which member functions provide the no-throw exception guarantee, and would never change data anyway.
Requirements For Host Class:
This policy requires hosts to provide both the copy-constructor and the equality operator, and is intended for classes with value semantics.

The documentation for this class was generated from the following file:

Generated on Thu Jan 29 18:51:42 2009 for Loki by  doxygen 1.5.8