1 /*
2  *  Copyright 2004-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 _CDFLAT_H
25 #define _CDFLAT_H
26 
27 #include <iostream>
28 #include "cdcodegen.h"
29 
30 /* Forwards. */
31 struct CodeGenData;
32 struct NameInst;
33 struct RedTransAp;
34 struct RedStateAp;
35 
36 /*
37  * FlatCodeGen
38  */
39 class FlatCodeGen : virtual public FsmCodeGen
40 {
41 public:
FlatCodeGen(ostream & out)42 	FlatCodeGen( ostream &out ) : FsmCodeGen(out) {}
~FlatCodeGen()43 	virtual ~FlatCodeGen() { }
44 
45 protected:
46 	std::ostream &TO_STATE_ACTION_SWITCH();
47 	std::ostream &FROM_STATE_ACTION_SWITCH();
48 	std::ostream &EOF_ACTION_SWITCH();
49 	std::ostream &ACTION_SWITCH();
50 	std::ostream &KEYS();
51 	std::ostream &INDICIES();
52 	std::ostream &FLAT_INDEX_OFFSET();
53 	std::ostream &KEY_SPANS();
54 	std::ostream &TO_STATE_ACTIONS();
55 	std::ostream &FROM_STATE_ACTIONS();
56 	std::ostream &EOF_ACTIONS();
57 	std::ostream &EOF_TRANS();
58 	std::ostream &TRANS_TARGS();
59 	std::ostream &TRANS_ACTIONS();
60 	void LOCATE_TRANS();
61 
62 	std::ostream &COND_INDEX_OFFSET();
63 	void COND_TRANSLATE();
64 	std::ostream &CONDS();
65 	std::ostream &COND_KEYS();
66 	std::ostream &COND_KEY_SPANS();
67 
68 	void GOTO( ostream &ret, int gotoDest, bool inFinish );
69 	void CALL( ostream &ret, int callDest, int targState, bool inFinish );
70 	void NEXT( ostream &ret, int nextDest, bool inFinish );
71 	void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
72 	void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish );
73 	void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish );
74 	void CURS( ostream &ret, bool inFinish );
75 	void TARGS( ostream &ret, bool inFinish, int targState );
76 	void RET( ostream &ret, bool inFinish );
77 	void BREAK( ostream &ret, int targState, bool csForced );
78 
79 	virtual std::ostream &TO_STATE_ACTION( RedStateAp *state );
80 	virtual std::ostream &FROM_STATE_ACTION( RedStateAp *state );
81 	virtual std::ostream &EOF_ACTION( RedStateAp *state );
82 	virtual std::ostream &TRANS_ACTION( RedTransAp *trans );
83 
84 	virtual void writeData();
85 	virtual void writeExec();
86 };
87 
88 /*
89  * CFlatCodeGen
90  */
91 struct CFlatCodeGen
92 	: public FlatCodeGen, public CCodeGen
93 {
CFlatCodeGenCFlatCodeGen94 	CFlatCodeGen( ostream &out ) :
95 		FsmCodeGen(out), FlatCodeGen(out), CCodeGen(out) {}
96 };
97 
98 /*
99  * DFlatCodeGen
100  */
101 struct DFlatCodeGen
102 	: public FlatCodeGen, public DCodeGen
103 {
DFlatCodeGenDFlatCodeGen104 	DFlatCodeGen( ostream &out ) :
105 		FsmCodeGen(out), FlatCodeGen(out), DCodeGen(out) {}
106 };
107 
108 /*
109  * D2FlatCodeGen
110  */
111 struct D2FlatCodeGen
112 	: public FlatCodeGen, public D2CodeGen
113 {
D2FlatCodeGenD2FlatCodeGen114 	D2FlatCodeGen( ostream &out ) :
115 		FsmCodeGen(out), FlatCodeGen(out), D2CodeGen(out) {}
116 };
117 
118 #endif
119