Main Page   Namespace List   Class Hierarchy   Compound List   File List   Namespace Members   Compound Members  

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:
Generated on Mon Oct 13 02:35:25 2003 for MPCL by doxygen1.2.18