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: