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 /* Integer array line length. */
49 struct LongestMatchPart;
56 class FsmCodeGen : public CodeGenData
59 FsmCodeGen( ostream &out );
60 virtual ~FsmCodeGen() {}
62 virtual void finishRagelDef();
63 virtual void writeInit();
64 virtual void writeStart();
65 virtual void writeFirstFinal();
66 virtual void writeError();
70 string START_STATE_ID();
71 ostream &ACTIONS_ARRAY();
72 string GET_WIDE_KEY();
73 string GET_WIDE_KEY( RedStateAp *state );
74 string TABS( int level );
75 string KEY( Key key );
76 string LDIR_PATH( char *path );
77 void ACTION( ostream &ret, GenAction *action, int targState,
78 bool inFinish, bool csForced );
79 void CONDITION( ostream &ret, GenAction *condition );
81 string WIDE_ALPH_TYPE();
82 string ARRAY_TYPE( unsigned long maxVal );
84 virtual string ARR_OFF( string ptr, string offset ) = 0;
85 virtual string CAST( string type ) = 0;
86 virtual string UINT() = 0;
87 virtual string NULL_ITEM() = 0;
88 virtual string POINTER() = 0;
89 virtual string GET_KEY();
90 virtual ostream &SWITCH_DEFAULT() = 0;
104 string DATA_PREFIX();
105 string PM() { return "_" + DATA_PREFIX() + "partition_map"; }
106 string C() { return "_" + DATA_PREFIX() + "cond_spaces"; }
107 string CK() { return "_" + DATA_PREFIX() + "cond_keys"; }
108 string K() { return "_" + DATA_PREFIX() + "trans_keys"; }
109 string I() { return "_" + DATA_PREFIX() + "indicies"; }
110 string CO() { return "_" + DATA_PREFIX() + "cond_offsets"; }
111 string KO() { return "_" + DATA_PREFIX() + "key_offsets"; }
112 string IO() { return "_" + DATA_PREFIX() + "index_offsets"; }
113 string CL() { return "_" + DATA_PREFIX() + "cond_lengths"; }
114 string SL() { return "_" + DATA_PREFIX() + "single_lengths"; }
115 string RL() { return "_" + DATA_PREFIX() + "range_lengths"; }
116 string A() { return "_" + DATA_PREFIX() + "actions"; }
117 string TA() { return "_" + DATA_PREFIX() + "trans_actions"; }
118 string TT() { return "_" + DATA_PREFIX() + "trans_targs"; }
119 string TSA() { return "_" + DATA_PREFIX() + "to_state_actions"; }
120 string FSA() { return "_" + DATA_PREFIX() + "from_state_actions"; }
121 string EA() { return "_" + DATA_PREFIX() + "eof_actions"; }
122 string ET() { return "_" + DATA_PREFIX() + "eof_trans"; }
123 string SP() { return "_" + DATA_PREFIX() + "key_spans"; }
124 string CSP() { return "_" + DATA_PREFIX() + "cond_key_spans"; }
125 string START() { return DATA_PREFIX() + "start"; }
126 string ERROR() { return DATA_PREFIX() + "error"; }
127 string FIRST_FINAL() { return DATA_PREFIX() + "first_final"; }
128 string CTXDATA() { return DATA_PREFIX() + "ctxdata"; }
130 void INLINE_LIST( ostream &ret, GenInlineList *inlineList,
131 int targState, bool inFinish, bool csForced );
132 virtual void GOTO( ostream &ret, int gotoDest, bool inFinish ) = 0;
133 virtual void CALL( ostream &ret, int callDest, int targState, bool inFinish ) = 0;
134 virtual void NEXT( ostream &ret, int nextDest, bool inFinish ) = 0;
135 virtual void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ) = 0;
136 virtual void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ) = 0;
137 virtual void CALL_EXPR( ostream &ret, GenInlineItem *ilItem,
138 int targState, bool inFinish ) = 0;
139 virtual void RET( ostream &ret, bool inFinish ) = 0;
140 virtual void BREAK( ostream &ret, int targState, bool csForced ) = 0;
141 virtual void CURS( ostream &ret, bool inFinish ) = 0;
142 virtual void TARGS( ostream &ret, bool inFinish, int targState ) = 0;
143 void EXEC( ostream &ret, GenInlineItem *item, int targState, int inFinish );
144 void LM_SWITCH( ostream &ret, GenInlineItem *item, int targState,
145 int inFinish, bool csForced );
146 void SET_ACT( ostream &ret, GenInlineItem *item );
147 void INIT_TOKSTART( ostream &ret, GenInlineItem *item );
148 void INIT_ACT( ostream &ret, GenInlineItem *item );
149 void SET_TOKSTART( ostream &ret, GenInlineItem *item );
150 void SET_TOKEND( ostream &ret, GenInlineItem *item );
151 void GET_TOKEND( ostream &ret, GenInlineItem *item );
152 void SUB_ACTION( ostream &ret, GenInlineItem *item,
153 int targState, bool inFinish, bool csForced );
156 string ERROR_STATE();
157 string FIRST_FINAL_STATE();
159 virtual string PTR_CONST() = 0;
160 virtual ostream &OPEN_ARRAY( string type, string name ) = 0;
161 virtual ostream &CLOSE_ARRAY() = 0;
162 virtual ostream &STATIC_VAR( string type, string name ) = 0;
164 virtual string CTRL_FLOW() = 0;
166 ostream &source_warning(const InputLoc &loc);
167 ostream &source_error(const InputLoc &loc);
169 unsigned int arrayTypeSize( unsigned long maxVal );
176 void genLineDirective( ostream &out );
179 /* Determine if we should use indicies. */
180 virtual void calcIndexSize() {}
183 class CCodeGen : virtual public FsmCodeGen
186 CCodeGen( ostream &out ) : FsmCodeGen(out) {}
188 virtual string NULL_ITEM();
189 virtual string POINTER();
190 virtual ostream &SWITCH_DEFAULT();
191 virtual ostream &OPEN_ARRAY( string type, string name );
192 virtual ostream &CLOSE_ARRAY();
193 virtual ostream &STATIC_VAR( string type, string name );
194 virtual string ARR_OFF( string ptr, string offset );
195 virtual string CAST( string type );
196 virtual string UINT();
197 virtual string PTR_CONST();
198 virtual string CTRL_FLOW();
200 virtual void writeExports();
203 class DCodeGen : virtual public FsmCodeGen
206 DCodeGen( ostream &out ) : FsmCodeGen(out) {}
208 virtual string NULL_ITEM();
209 virtual string POINTER();
210 virtual ostream &SWITCH_DEFAULT();
211 virtual ostream &OPEN_ARRAY( string type, string name );
212 virtual ostream &CLOSE_ARRAY();
213 virtual ostream &STATIC_VAR( string type, string name );
214 virtual string ARR_OFF( string ptr, string offset );
215 virtual string CAST( string type );
216 virtual string UINT();
217 virtual string PTR_CONST();
218 virtual string CTRL_FLOW();
220 virtual void writeExports();