rlgen-cd/ipgotocodegen.h

   1 /*
   2  *  Copyright 2001-2006 Adrian Thurston <thurston@cs.queensu.ca>
   3  *            2004 Erich Ocean <eric.ocean@ampede.com>
   4  *            2005 Alan West <alan@alanz.com>
   5  */
   6
   7 /*  This file is part of Ragel.
   8  *
   9  *  Ragel is free software; you can redistribute it and/or modify
  10  *  it under the terms of the GNU General Public License as published by
  11  *  the Free Software Foundation; either version 2 of the License, or
  12  *  (at your option) any later version.
  13  *
  14  *  Ragel is distributed in the hope that it will be useful,
  15  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17  *  GNU General Public License for more details.
  18  *
  19  *  You should have received a copy of the GNU General Public License
  20  *  along with Ragel; if not, write to the Free Software
  21  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  22  */
  23
  24 #ifndef _IPGCODEGEN_H
  25 #define _IPGCODEGEN_H
  26
  27 #include <iostream>
  28 #include "gotocodegen.h"
  29
  30 /* Forwards. */
  31 struct CodeGenData;
  32
  33 /*
  34  * class FGotoCodeGen
  35  */
  36 class IpGotoCodeGen : public GotoCodeGen
  37 {
  38 public:
  39         IpGotoCodeGen( ostream &out ) : FsmCodeGen(out), GotoCodeGen(out) {}
  40
  41         std::ostream &EXIT_STATES();
  42         std::ostream &TRANS_GOTO( RedTransAp *trans, int level );
  43         std::ostream &FINISH_CASES();
  44         std::ostream &AGAIN_CASES();
  45
  46         void GOTO( ostream &ret, int gotoDest, bool inFinish );
  47         void CALL( ostream &ret, int callDest, int targState, bool inFinish );
  48         void NEXT( ostream &ret, int nextDest, bool inFinish );
  49         void GOTO_EXPR( ostream &ret, InlineItem *ilItem, bool inFinish );
  50         void NEXT_EXPR( ostream &ret, InlineItem *ilItem, bool inFinish );
  51         void CALL_EXPR( ostream &ret, InlineItem *ilItem, int targState, bool inFinish );
  52         void RET( ostream &ret, bool inFinish );
  53         void CURS( ostream &ret, bool inFinish );
  54         void TARGS( ostream &ret, bool inFinish, int targState );
  55         void BREAK( ostream &ret, int targState );
  56
  57         virtual void writeOutData();
  58         virtual void writeOutEOF();
  59         virtual void writeOutExec();
  60
  61 protected:
  62         bool useAgainLabel();
  63
  64         /* Called from GotoCodeGen::STATE_GOTOS just before writing the gotos for
  65          * each state. */
  66         bool IN_TRANS_ACTIONS( RedStateAp *state );
  67         void GOTO_HEADER( RedStateAp *state );
  68         void STATE_GOTO_ERROR();
  69
  70         /* Set up labelNeeded flag for each state. */
  71         void setLabelsNeeded( InlineList *inlineList );
  72         void setLabelsNeeded();
  73 };
  74
  75
  76 /*
  77  * class CIpGotoCodeGen
  78  */
  79 struct CIpGotoCodeGen
  80         : public IpGotoCodeGen, public CCodeGen
  81 {
  82         CIpGotoCodeGen( ostream &out ) :
  83                 FsmCodeGen(out), IpGotoCodeGen(out), CCodeGen(out) {}
  84 };
  85
  86 /*
  87  * class DIpGotoCodeGen
  88  */
  89 struct DIpGotoCodeGen
  90         : public IpGotoCodeGen, public DCodeGen
  91 {
  92         DIpGotoCodeGen( ostream &out ) :
  93                 FsmCodeGen(out), IpGotoCodeGen(out), DCodeGen(out) {}
  94 };
  95
  96
  97 #endif /* _IPGCODEGEN_H */