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

TInvariantVerifier Class Reference

Invariant verifier for UESQLC. More...

#include <invariant_verifier.hh>

Inheritance diagram for TInvariantVerifier:

mpcl::invariant::IVerifier< TStackValue * > List of all members.

Public Methods

 TInvariantVerifier (void)
 Builds a new instance.

bool verify (long int liINVARIANT_IDENTIFIER) const

Detailed Description

Invariant verifier for UESQLC.

Definition at line 35 of file invariant_verifier.hh.

Member Function Documentation

bool TInvariantVerifier::verify (  long int    liINVARIANT_IDENTIFIER )  const [virtual]
 

Verifies that invariant corresponding to liINVARIANT_IDENTIFIER, is true.

Parameters:
liINVARIANT_IDENTIFIER  Invariant identifier.
Returns:
True if invariant is verified.

Implements mpcl::invariant::IVerifier< TStackValue * >.

Definition at line 175 of file invariant_verifier.cc.

References mpcl::invariant::IVerifier< TStackValue * >::tArgumentArray, and mpcl::text::TString.

The documentation for this class was generated from the following files:
Generated on Mon Oct 13 02:40:11 2003 for UESQLC by doxygen1.2.18