2 * Copyright 2001-2006 Adrian Thurston <thurston@complang.org>
3 * 2004 Erich Ocean <eric.ocean@ampede.com>
4 * 2005 Alan West <alan@alanz.com>
7 /* This file is part of Ragel.
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.
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.
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
36 class IpGotoCodeGen : public GotoCodeGen
39 IpGotoCodeGen( ostream &out ) : FsmCodeGen(out), GotoCodeGen(out) {}
41 std::ostream &EXIT_STATES();
42 std::ostream &TRANS_GOTO( RedTransAp *trans, int level );
43 std::ostream &FINISH_CASES();
44 std::ostream &AGAIN_CASES();
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 );
57 virtual void writeData();
58 virtual void writeExec();
63 /* Called from GotoCodeGen::STATE_GOTOS just before writing the gotos for
65 bool IN_TRANS_ACTIONS( RedStateAp *state );
66 void GOTO_HEADER( RedStateAp *state );
67 void STATE_GOTO_ERROR();
69 /* Set up labelNeeded flag for each state. */
70 void setLabelsNeeded( GenInlineList *inlineList );
71 void setLabelsNeeded();
76 * class CIpGotoCodeGen
79 : public IpGotoCodeGen, public CCodeGen
81 CIpGotoCodeGen( ostream &out ) :
82 FsmCodeGen(out), IpGotoCodeGen(out), CCodeGen(out) {}
86 * class DIpGotoCodeGen
89 : public IpGotoCodeGen, public DCodeGen
91 DIpGotoCodeGen( ostream &out ) :
92 FsmCodeGen(out), IpGotoCodeGen(out), DCodeGen(out) {}