---

application.hh

/*
*  Name:      application.hh
*  Author:    Rafael Jesus Alcantara Perez
*  Summary:   UESQLC application
*  Date:      $Date: 2003/10/06 13:21:36 $
*  Revision:  $Revision: 1.40 $
*
*  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 _UESQLC_APPLICATION__
#define _UESQLC_APPLICATION__

#include <cstdio>
#include <mpcl/abstract_application.hh>
#include <mpcl/memory/smart_pointer.hh>
#include <mpcl/text/codegen/pattern_based_code_generator.hh>
#include <mpcl/util/collection/map.hh>
#include <mpcl/util/collection/string_to_string_map.hh>
#include <mpcl/util/prefs/config_processor.hh>
#include <mpcl/text/codegen/variable_string.hh>
#include "defs.hh"
#include "invariant_verifier.hh"

using mpcl::memory::TSmartPointer;
using mpcl::text::TString;
using mpcl::text::codegen::TPatternBasedCodeGenerator;
using mpcl::text::codegen::TStringToVariableMap;
using mpcl::text::codegen::TVariableString;
using mpcl::util::collection::TMap;
using mpcl::util::collection::TStringToStringMap;
using mpcl::util::prefs::TConfigProcessor;


class TApplication : public mpcl::TAbstractApplication
{

  private:

    typedef 
      TSmartPointer <TPatternBasedCodeGenerator>  
      QTPatternBasedCodeGenerator;

    typedef
      TMap<TString, QTPatternBasedCodeGenerator>
      TTargetToCodeGeneratorMap;

    typedef
      TMap<TString, TStringToVariableMap>
      TTargetToRuntimeParametersMapMap;


  private:

    static const char* const   _pkcExtension;

    bool   gCfgComplementaryFiles;
    
    bool   gCfgHelp;

    bool   gCfgLineDirectives;

    bool   gCfgMainFile;
    
    bool   gCfgOutputCdml;

    bool   gCfgOutputCdmlSkel;

    bool   gCfgParameters;

    bool   gCfgSyntaxCheckOnly;

    bool   gCfgVersion;

    bool   gCompilationOk;

    bool   gReusingTarget;

    TStringToVariableMap*   ptRuntimeParametersMap;

    TStringToVariableMap   tCodeParametersMap;

    TConfigProcessor   tConfigProcessor;

    TInvariantVerifier   tInvariantVerifier;

    TMap<TString, long int>   tReservedWordMap;

    TTargetToCodeGeneratorMap   tTargetToCodeGeneratorMap;

    TTargetToRuntimeParametersMapMap   tTargetToRuntimeParametersMapMap;

    unsigned int   uiCfgDebug;

    TString   yCfgCdmlPath;

    TString   yCfgComplementaryFileDirectory;

    TString   yCfgLanguage;

    TString   yCfgTarget;

    TString   yCurrentInputFileName;

    TString   yCurrentTarget;

    TString   yLastToken;

    TString   yOutputCode;

    TString   yPostfixOutputCode;

    TString   yPrefixOutputCode;

    size_t   zEmbeddedIntroducerLine;


  public:

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

    TApplication ( const char*  pkcAPPLICATION_NAME    ,
                   const char*  pkcAPPLICATION_RELEASE ,
                   int          iPARAMETER_COUNT       ,
                   const char** ppkcPARAMETERS         );

    ~TApplication (void)
    {
      closeFiles();
    }

    void bindCodeParameter ( const TString& rkyVARIABLE ,
                             const TString& rkyVALUE    )
    {
      tCodeParametersMap.bind (rkyVARIABLE, TVariableString (rkyVALUE));
    }

    TString collapseStringLiteral (const char* pkcSOURCE_TEXT);
    
    void handleTarget (const TString& rkySOURCE_TEXT);

    int identifyToken (const char* pkcSOURCE_TEXT, unsigned int uiPERIOD_COUNT = 0);

    void initCodeParameters (void);

    void initialize (void);

    void loadCodeGenerator (const TString& rkyTARGET);

    void outputClauseCode (const char* pkcINSTRUCTION_NAME, const char* pkcCLAUSE_NAME = "body")
    {
      yOutputCode.append (getClauseCode (pkcINSTRUCTION_NAME, pkcCLAUSE_NAME));
    }

    void outputCode (const char* pkccSOURCE_TEXT, size_t zLENGTH = 0);

    void outputCode (const TString& rkySOURCE_TEXT)
    {
      yOutputCode.append (rkySOURCE_TEXT);
    }

    void postAppend (const TString& rkySOURCE_TEXT)
    {
      yPostfixOutputCode.append (rkySOURCE_TEXT);
    }

    void preAppend (const TString& rkySOURCE_TEXT)
    {
      yPrefixOutputCode.append (rkySOURCE_TEXT);
    }

    void pushTokenName (const char* pkcLAST_TOKEN)
    {
      yLastToken = pkcLAST_TOKEN;  
    }

    void pushTokenName (const TString& kyLAST_TOKEN)
    {
      yLastToken = kyLAST_TOKEN;
    }

    void setCompilationFailed (void)
    {
      gCompilationOk = false;
    }

    int splitToken (unsigned int uiPERIOD_COUNT)
      throw (TFatalException);

    int start (void);


  public:

    //
    //  S E L E C T O R S
    //

    bool compilationFailed (void) const
    {
      return !gCompilationOk;
    }

    void createComplementaryFiles (void) const;

    TString debugDescription (void) const;

    TString getClauseCode ( const char* pkcINSTRUCTION_NAME     ,
                            const char* pkcCLAUSE_NAME = "body" );

    size_t getEmbeddedLineNumber (void) const
    {
      return zEmbeddedIntroducerLine;
    }

    TString getLineDirective (unsigned int uiLINE_NUMBER = 0) const;

    void handleCompilerError (const char* pkcMESSAGE);
    
    bool isReusingTarget (void) const;

    void printDebugInformation (void) const
    {
      if ( uiCfgDebug > 0 )
      {
        std::cerr << debugDescription();
      }
    }

    TString programFileName (void) const
    {
      return tConfigProcessor.programFileName();
    }

    void require (long int liINVARIANT_IDENTIFIER...) const;

    bool useLineDirective (void) const
    {
      return ( gCfgLineDirectives && ( yCfgLanguage == "c++" ) );
    }
    

  private:

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

    void openFiles ( const TString& rkyINPUT_FILE_NAME  ,
                     const TString& rkyOUTPUT_FILE_NAME );

    void closeFiles (void);


  private:

    //
    //  S E L E C T O R S
    //

    void printExceptionDescription (const mpcl::TException& rktEXCEPTION) const;

    void printParameters (void) const;

    void printUsage (void) const;

};  // class TApplication


//
//  E X P O R T E D   V A R I A B L E S
//

extern char    yytext[];
extern int     yylineno;
extern int     yydebug;
extern FILE*   yyin;
extern FILE*   yyout;


//
//  E X P O R T E D   F U N C T I O N S
//

extern int yyparse (void);


#endif  // not _UESQLC_APPLICATION__

---