ragel/mlgoto.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 _MLGOTO_H
  25 #define _MLGOTO_H
  26
  27 #include <iostream>
  28 #include "mlcodegen.h"
  29
  30 /* Forwards. */
  31 //struct CodeGenData;
  32 //struct NameInst;
  33 //struct RedTransAp;
  34 //struct RedStateAp;
  35 //struct GenStateCond;
  36
  37 /*
  38  * OCamlGotoCodeGen
  39  */
  40 class OCamlGotoCodeGen : virtual public OCamlCodeGen
  41 {
  42 public:
  43         OCamlGotoCodeGen( ostream &out ) : OCamlCodeGen(out) {}
  44         std::ostream &TO_STATE_ACTION_SWITCH();
  45         std::ostream &FROM_STATE_ACTION_SWITCH();
  46         std::ostream &EOF_ACTION_SWITCH();
  47         std::ostream &ACTION_SWITCH();
  48         std::ostream &STATE_GOTOS();
  49         std::ostream &TRANSITIONS();
  50         std::ostream &EXEC_FUNCS();
  51         std::ostream &FINISH_CASES();
  52
  53         void GOTO( ostream &ret, int gotoDest, bool inFinish );
  54         void CALL( ostream &ret, int callDest, int targState, bool inFinish );
  55         void NEXT( ostream &ret, int nextDest, bool inFinish );
  56         void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
  57         void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
  58         void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish );
  59         void CURS( ostream &ret, bool inFinish );
  60         void TARGS( ostream &ret, bool inFinish, int targState );
  61         void RET( ostream &ret, bool inFinish );
  62         void BREAK( ostream &ret, int targState );
  63
  64         virtual unsigned int TO_STATE_ACTION( RedStateAp *state );
  65         virtual unsigned int FROM_STATE_ACTION( RedStateAp *state );
  66         virtual unsigned int EOF_ACTION( RedStateAp *state );
  67
  68         std::ostream &TO_STATE_ACTIONS();
  69         std::ostream &FROM_STATE_ACTIONS();
  70         std::ostream &EOF_ACTIONS();
  71
  72         void COND_TRANSLATE( GenStateCond *stateCond, int level );
  73         void emitCondBSearch( RedStateAp *state, int level, int low, int high );
  74         void STATE_CONDS( RedStateAp *state, bool genDefault );
  75
  76         virtual std::ostream &TRANS_GOTO( RedTransAp *trans, int level );
  77
  78         void emitSingleSwitch( RedStateAp *state );
  79         void emitRangeBSearch( RedStateAp *state, int level, int low, int high, RedTransAp* def );
  80
  81         /* Called from STATE_GOTOS just before writing the gotos */
  82         virtual void GOTO_HEADER( RedStateAp *state );
  83         virtual void STATE_GOTO_ERROR();
  84
  85         virtual void writeData();
  86         virtual void writeExec();
  87 };
  88
  89 #endif