---

invariant_verifier.hh

/*
*  Name:      invariant_verifier.hh
*  Author:    Rafael Jesus Alcantara Perez
*  Summary:   UESQLC invariant verifier for ANSI/ISO SQL 92
*  Date:      $Date: 2003/06/22 14:35:39 $
*  Revision:  $Revision: 1.3 $
*
*  Copyright (C) 1996-2002  Rafael Jesus Alcantara Perez <rafa@dedalo-ing.com>
*
*  This program is free software; you can redistribute it and/or modify
*  it under the terms of the GNU General Public License as published by
*  the Free Software Foundation; either version 2 of the License, or
*  (at your option) any later version.
*
*  This program is distributed in the hope that it will be useful,
*  but WITHOUT ANY WARRANTY; without even the implied warranty of
*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
*  GNU General Public License for more details.
*
*  You should have received a copy of the GNU General Public License
*  along with this program; if not, write to the Free Software
*  Foundation, Inc., 59 Temple Place, Suite 330, Boston,
*  MA 02111-1307, USA.
*/

#ifndef _INVARIANT_VERIFIER__
#define _INVARIANT_VERIFIER__

#include <mpcl/invariant/verifier.hh>
#include "defs.hh"
#include "stack_value.hh"


class TInvariantVerifier : public mpcl::invariant::IVerifier<TStackValue*>
{

  public:

    //
    //  C O N S T R U C T O R S
    //

    TInvariantVerifier (void);
    

  public:

    //
    //  S E L E C T O R S
    //
    
    bool verify (long int liINVARIANT_IDENTIFIER) const;

};  // class TInvariantVerifier


#endif  // not _INVARIANT_VERIFIER__

---