ragel/csipgoto.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 _IPGCODEGEN_H
  25 #define _IPGCODEGEN_H
  26
  27 #include <iostream>
  28 #include "csgoto.h"
  29
  30 /* Forwards. */
  31 struct CodeGenData;
  32
  33 /*
  34  * class CSharpIpGotoCodeGen
  35  */
  36 class CSharpIpGotoCodeGen : public CSharpGotoCodeGen
  37 {
  38 public:
  39         CSharpIpGotoCodeGen( ostream &out ) : CSharpFsmCodeGen(out),
  40                 CSharpGotoCodeGen(out) {}
  41
  42         std::ostream &EXIT_STATES();
  43         std::ostream &TRANS_GOTO( RedTransAp *trans, int level );
  44         std::ostream &FINISH_CASES();
  45         std::ostream &AGAIN_CASES();
  46
  47         void GOTO( ostream &ret, int gotoDest, bool inFinish );
  48         void CALL( ostream &ret, int callDest, int targState, bool inFinish );
  49         void NEXT( ostream &ret, int nextDest, bool inFinish );
  50         void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
  51         void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
  52         void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish );
  53         void RET( ostream &ret, bool inFinish );
  54         void CURS( ostream &ret, bool inFinish );
  55         void TARGS( ostream &ret, bool inFinish, int targState );
  56         void BREAK( ostream &ret, int targState );
  57
  58         virtual void writeData();
  59         virtual void writeExec();
  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( GenInlineList *inlineList );
  72         void setLabelsNeeded();
  73 };
  74
  75 #endif