ragel/cdipgoto.h

   1 /*
   2  *  Copyright 2001-2006 Adrian Thurston <thurston@complang.org>
   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 _CDIPGOTO_H
  25 #define _CDIPGOTO_H
  26
  27 #include <iostream>
  28 #include "cdgoto.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, GenInlineItem *ilItem, bool inFinish );
  50         void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
  51         void CALL_EXPR( ostream &ret, GenInlineItem *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, bool csForced );
  56
  57         virtual void writeData();
  58         virtual void writeExec();
  59
  60 protected:
  61         bool useAgainLabel();
  62
  63         /* Called from GotoCodeGen::STATE_GOTOS just before writing the gotos for
  64          * each state. */
  65         bool IN_TRANS_ACTIONS( RedStateAp *state );
  66         void GOTO_HEADER( RedStateAp *state );
  67         void STATE_GOTO_ERROR();
  68
  69         /* Set up labelNeeded flag for each state. */
  70         void setLabelsNeeded( GenInlineList *inlineList );
  71         void setLabelsNeeded();
  72 };
  73
  74
  75 /*
  76  * class CIpGotoCodeGen
  77  */
  78 struct CIpGotoCodeGen
  79         : public IpGotoCodeGen, public CCodeGen
  80 {
  81         CIpGotoCodeGen( ostream &out ) :
  82                 FsmCodeGen(out), IpGotoCodeGen(out), CCodeGen(out) {}
  83 };
  84
  85 /*
  86  * class DIpGotoCodeGen
  87  */
  88 struct DIpGotoCodeGen
  89         : public IpGotoCodeGen, public DCodeGen
  90 {
  91         DIpGotoCodeGen( ostream &out ) :
  92                 FsmCodeGen(out), IpGotoCodeGen(out), DCodeGen(out) {}
  93 };
  94
  95 #endif