---

mpcl::invariant::IVerifier< TParameter >::TInvariant Class Reference

Invariant holder. More...

#include <verifier.hh>

List of all members.

Public Methods
	TInvariant (const char *pkcMESSAGE, int iCONFORMANCE_LEVEL)
Public Attributes
TString	yMessage
	String with a message explaining the invariant.
int	iConformanceLevel
	Integer with the conformance identifier for the invariant.

---

Detailed Description

template<typename TParameter>
class mpcl::invariant::IVerifier< TParameter >::TInvariant

Invariant holder.

Definition at line 61 of file verifier.hh.

---

Constructor & Destructor Documentation

template<typename TParameter> mpcl::invariant::IVerifier< TParameter >::TInvariant::TInvariant (  const char *    pkcMESSAGE, int    iCONFORMANCE_LEVEL )  [inline]

Builds a new instance. Parameters: pkcMESSAGE  Invariant description message. iCONFORMANCE_LEVEL  Conformance level. Definition at line 84 of file verifier.hh. References mpcl::invariant::IVerifier< TParameter >::TInvariant::iConformanceLevel, and mpcl::invariant::IVerifier< TParameter >::TInvariant::yMessage.

---

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

• verifier.hh

---