---

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

#include <verifier.hh>

Inheritance diagram for mpcl::invariant::IVerifier< TParameter >:

List of all members.

Public Methods
	IVerifier (int iDEFAULT_CONFORMANCE_LEVEL)
virtual	~IVerifier (void)
	Destroyes the instance.
void	addInvariant (long int liINVARIANT_IDENTIFIER, int iCONFORMANCE_LEVEL, const char *pkcMESSAGE)
void	addInvariant (long int liINVARIANT_IDENTIFIER, const char *pkcMESSAGE)
void	addConformanceLevel (int iCONFORMANCE_LEVEL)
void	removeConformanceLevel (int iCONFORMANCE_LEVEL)
void	clearConformanceLevelSet (void)
	Empties conformance level set.
void	resetConformanceLevelSet (void)
	Sets default conformance level.
void	require (long int liINVARIANT_IDENTIFIER...) const
void	requireList (long int liINVARIANT_IDENTIFIER, va_list tVA_LIST) const
virtual bool	verify (long int liINVARIANT_IDENTIFIER) const=0
Public Attributes
TMap< long int, TInvariant >	tInvariantMap
TVariableArgumentArray< TParameter >	tArgumentArray
TConformanceLevelSet	tConformanceLevelSet
Protected Attributes
int	iDefaultConformanceLevel
	Integer with default conformance level.

---

Detailed Description

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

Base invariant verifier. This class verifies a invariant set, having each invariant a unique domain for application (conformance level). Depending to the active conformance set, only the corresponding invariants will be active.

Definition at line 55 of file verifier.hh.

---

Constructor & Destructor Documentation

template<typename TParameter> mpcl::invariant::IVerifier< TParameter >::IVerifier (  int    iDEFAULT_CONFORMANCE_LEVEL )  [inline]

Builds a new instance. Parameters: iDEFAULT_CONFORMANCE_LEVEL  Default conformance level. Definition at line 128 of file verifier.hh.

---

Member Function Documentation

template<typename TParameter> void mpcl::invariant::IVerifier< TParameter >::addConformanceLevel (  int    iCONFORMANCE_LEVEL )  [inline]

Activates a new conformance level. Parameters: iCONFORMANCE_LEVEL  Conformance level to be activated. Definition at line 166 of file verifier.hh.

template<typename TParameter> void mpcl::invariant::IVerifier< TParameter >::addInvariant (  long int    liINVARIANT_IDENTIFIER, const char *    pkcMESSAGE )  [inline]

Adds a new invariant. Parameters: liINVARIANT_IDENTIFIER  Invariant identifier (must be unique). pkcMESSAGE  Description message. Definition at line 156 of file verifier.hh.

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

Adds a new invariant. Parameters: liINVARIANT_IDENTIFIER  Invariant identifier (must be unique). iCONFORMANCE_LEVEL  Conformance level. pkcMESSAGE  Description message. Definition at line 143 of file verifier.hh.

template<typename TParameter> void mpcl::invariant::IVerifier< TParameter >::removeConformanceLevel (  int    iCONFORMANCE_LEVEL )  [inline]

Deactivates a conformance level. Parameters: iCONFORMANCE_LEVEL  Conformance level to be deactivated. Definition at line 178 of file verifier.hh.

template<typename TParameter> void mpcl::invariant::IVerifier< TParameter >::require (  long int    liINVARIANT_IDENTIFIER... )  const [inline]

Verifies that invariant corresponding to liINVARIANT_IDENTIFIER, is true. If not, then throws the corresponding exception. Parameters: liINVARIANT_IDENTIFIER  Invariant identifier. ...  Parameters (TParameter). See also: TParameter. Definition at line 214 of file verifier.hh.

template<typename TParameter> void mpcl::invariant::IVerifier< TParameter >::requireList (  long int    liINVARIANT_IDENTIFIER, va_list    tVA_LIST )  const [inline]

Verifies that invariant corresponding to liINVARIANT_IDENTIFIER, is true. If not, then throws the corresponding exception. Parameters: liINVARIANT_IDENTIFIER  Invariant identifier. tVA_LIST  Variable argument parameter list. Definition at line 229 of file verifier.hh. Referenced by mpcl::invariant::IVerifier< int >::require(), and mpcl::invariant::IVerifier< int >::requireList().

template<typename TParameter> virtual bool mpcl::invariant::IVerifier< TParameter >::verify (  long int    liINVARIANT_IDENTIFIER )  const [pure virtual]

Verifies that the invariant corresponding to liINVARIANT_IDENTIFIER, is true. Parameters: liINVARIANT_IDENTIFIER  Invariant identifier. Returns: True if invariant is verified.

---

Member Data Documentation

template<typename TParameter> TVariableArgumentArray<TParameter> mpcl::invariant::IVerifier< TParameter >::tArgumentArray

Handler for variable size list of arguments. See also: require(). Definition at line 109 of file verifier.hh. Referenced by mpcl::invariant::IVerifier< int >::IVerifier(), and mpcl::invariant::IVerifier< int >::requireList().

template<typename TParameter> TConformanceLevelSet mpcl::invariant::IVerifier< TParameter >::tConformanceLevelSet

Set with conformance identifiers. See also: addConformanceLevel(), removeConformanceLevel(). Definition at line 115 of file verifier.hh. Referenced by mpcl::invariant::IVerifier< int >::addConformanceLevel(), mpcl::invariant::IVerifier< int >::clearConformanceLevelSet(), mpcl::invariant::IVerifier< int >::IVerifier(), mpcl::invariant::IVerifier< int >::removeConformanceLevel(), mpcl::invariant::IVerifier< int >::requireList(), and mpcl::invariant::IVerifier< int >::resetConformanceLevelSet().

template<typename TParameter> TMap<long int, TInvariant> mpcl::invariant::IVerifier< TParameter >::tInvariantMap

Map with restrictions. See also: addInvariant(). Definition at line 103 of file verifier.hh. Referenced by mpcl::invariant::IVerifier< int >::addInvariant(), mpcl::invariant::IVerifier< int >::IVerifier(), and mpcl::invariant::IVerifier< int >::requireList().

---

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

• verifier.hh

---