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 _GOTOCODEGEN_H 25 #define _GOTOCODEGEN_H 26 27 #include <iostream> 28 #include "cscodegen.h" 29 30 /* Forwards. */ 31 struct CodeGenData; 32 struct NameInst; 33 struct RedTransAp; 34 struct RedStateAp; 35 struct GenStateCond; 36 37 /* 38 * Goto driven fsm. 39 */ 40 class CSharpGotoCodeGen : virtual public CSharpFsmCodeGen, public CSharpCodeGen 41 { 42 public: CSharpGotoCodeGen(ostream & out)43 CSharpGotoCodeGen( ostream &out ) : CSharpFsmCodeGen(out), CSharpCodeGen(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 ); 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 90