2 * Copyright 2001-2006 Adrian Thurston <thurston@cs.queensu.ca>
3 * 2004 Eric 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
35 /* Integer array line length. */
48 struct LongestMatchPart;
50 inline string itoa( int i )
53 sprintf( buf, "%i", i );
63 FsmCodeGen( ostream &out );
64 virtual ~FsmCodeGen() {}
66 virtual void writeOutData() = 0;
67 virtual void writeOutInit();
68 virtual void writeOutExec() = 0;
69 virtual void writeOutEOF() = 0;
73 friend struct CodeGenData;
76 string START_STATE_ID();
77 ostream &ACTIONS_ARRAY();
78 string GET_WIDE_KEY();
79 string GET_WIDE_KEY( RedStateAp *state );
80 string TABS( int level );
81 string KEY( Key key );
82 string LDIR_PATH( char *path );
83 void ACTION( ostream &ret, Action *action, int targState, bool inFinish );
84 void CONDITION( ostream &ret, Action *condition );
86 string WIDE_ALPH_TYPE();
87 string ARRAY_TYPE( unsigned long maxVal );
89 virtual string ARR_OFF( string ptr, string offset ) = 0;
90 virtual string CAST( string type ) = 0;
91 virtual string UINT() = 0;
92 virtual string NULL_ITEM() = 0;
93 virtual string POINTER() = 0;
94 virtual string GET_KEY();
95 virtual ostream &SWITCH_DEFAULT() = 0;
97 string P() { return "p"; }
98 string PE() { return "pe"; }
102 string STACK() { return ACCESS() + "stack"; }
103 string TOP() { return ACCESS() + "top"; }
104 string TOKSTART() { return ACCESS() + "tokstart"; }
105 string TOKEND() { return ACCESS() + "tokend"; }
106 string ACT() { return ACCESS() + "act"; }
108 string DATA_PREFIX();
109 string PM() { return "_" + DATA_PREFIX() + "partition_map"; }
110 string C() { return "_" + DATA_PREFIX() + "cond_spaces"; }
111 string CK() { return "_" + DATA_PREFIX() + "cond_keys"; }
112 string K() { return "_" + DATA_PREFIX() + "trans_keys"; }
113 string I() { return "_" + DATA_PREFIX() + "indicies"; }
114 string CO() { return "_" + DATA_PREFIX() + "cond_offsets"; }
115 string KO() { return "_" + DATA_PREFIX() + "key_offsets"; }
116 string IO() { return "_" + DATA_PREFIX() + "index_offsets"; }
117 string CL() { return "_" + DATA_PREFIX() + "cond_lengths"; }
118 string SL() { return "_" + DATA_PREFIX() + "single_lengths"; }
119 string RL() { return "_" + DATA_PREFIX() + "range_lengths"; }
120 string A() { return "_" + DATA_PREFIX() + "actions"; }
121 string TA() { return "_" + DATA_PREFIX() + "trans_actions_wi"; }
122 string TT() { return "_" + DATA_PREFIX() + "trans_targs_wi"; }
123 string TSA() { return "_" + DATA_PREFIX() + "to_state_actions"; }
124 string FSA() { return "_" + DATA_PREFIX() + "from_state_actions"; }
125 string EA() { return "_" + DATA_PREFIX() + "eof_actions"; }
126 string SP() { return "_" + DATA_PREFIX() + "key_spans"; }
127 string CSP() { return "_" + DATA_PREFIX() + "cond_key_spans"; }
128 string START() { return DATA_PREFIX() + "start"; }
129 string ERROR() { return DATA_PREFIX() + "error"; }
130 string FIRST_FINAL() { return DATA_PREFIX() + "first_final"; }
131 string CTXDATA() { return DATA_PREFIX() + "ctxdata"; }
133 void INLINE_LIST( ostream &ret, InlineList *inlineList, int targState, bool inFinish );
134 virtual void GOTO( ostream &ret, int gotoDest, bool inFinish ) = 0;
135 virtual void CALL( ostream &ret, int callDest, int targState, bool inFinish ) = 0;
136 virtual void NEXT( ostream &ret, int nextDest, bool inFinish ) = 0;
137 virtual void GOTO_EXPR( ostream &ret, InlineItem *ilItem, bool inFinish ) = 0;
138 virtual void NEXT_EXPR( ostream &ret, InlineItem *ilItem, bool inFinish ) = 0;
139 virtual void CALL_EXPR( ostream &ret, InlineItem *ilItem,
140 int targState, bool inFinish ) = 0;
141 virtual void RET( ostream &ret, bool inFinish ) = 0;
142 virtual void BREAK( ostream &ret, int targState ) = 0;
143 virtual void CURS( ostream &ret, bool inFinish ) = 0;
144 virtual void TARGS( ostream &ret, bool inFinish, int targState ) = 0;
145 void EXEC( ostream &ret, InlineItem *item, int targState, int inFinish );
146 void EXECTE( ostream &ret, InlineItem *item, int targState, int inFinish );
147 void LM_SWITCH( ostream &ret, InlineItem *item, int targState, int inFinish );
148 void SET_ACT( ostream &ret, InlineItem *item );
149 void INIT_TOKSTART( ostream &ret, InlineItem *item );
150 void INIT_ACT( ostream &ret, InlineItem *item );
151 void SET_TOKSTART( ostream &ret, InlineItem *item );
152 void SET_TOKEND( ostream &ret, InlineItem *item );
153 void GET_TOKEND( ostream &ret, InlineItem *item );
154 void SUB_ACTION( ostream &ret, InlineItem *item,
155 int targState, bool inFinish );
157 string ERROR_STATE();
158 string FIRST_FINAL_STATE();
160 virtual string PTR_CONST() = 0;
161 virtual ostream &OPEN_ARRAY( string type, string name ) = 0;
162 virtual ostream &CLOSE_ARRAY() = 0;
163 virtual ostream &STATIC_VAR( string type, string name ) = 0;
165 virtual string CTRL_FLOW() = 0;
167 unsigned int arrayTypeSize( unsigned long maxVal );
170 bool anyToStateActions() { return bAnyToStateActions; }
171 bool anyFromStateActions() { return bAnyFromStateActions; }
172 bool anyRegActions() { return bAnyRegActions; }
173 bool anyEofActions() { return bAnyEofActions; }
174 bool anyActionGotos() { return bAnyActionGotos; }
175 bool anyActionCalls() { return bAnyActionCalls; }
176 bool anyActionRets() { return bAnyActionRets; }
177 bool anyRegActionRets() { return bAnyRegActionRets; }
178 bool anyRegActionByValControl() { return bAnyRegActionByValControl; }
179 bool anyRegNextStmt() { return bAnyRegNextStmt; }
180 bool anyRegCurStateRef() { return bAnyRegCurStateRef; }
181 bool anyRegBreak() { return bAnyRegBreak; }
182 bool anyLmSwitchError() { return bAnyLmSwitchError; }
183 bool anyConditions() { return bAnyConditions; }
185 /* Set up labelNeeded flag for each state. Differs for each goto style so
187 virtual void setLabelsNeeded() {}
189 /* Determine if we should use indicies. */
190 virtual void calcIndexSize() {}
192 void assignActionIds();
193 void setValueLimits();
195 /* Are there any regular transition functions, any out transition functions. */
206 bool bAnyToStateActions;
207 bool bAnyFromStateActions;
210 bool bAnyActionGotos;
211 bool bAnyActionCalls;
213 bool bAnyRegActionRets;
214 bool bAnyRegActionByValControl;
215 bool bAnyRegNextStmt;
216 bool bAnyRegCurStateRef;
218 bool bAnyLmSwitchError;
230 unsigned long long maxSpan;
231 unsigned long long maxCondSpan;
232 int maxFlatIndexOffset;
237 int maxCondIndexOffset;
243 class CCodeGen : virtual public FsmCodeGen
246 CCodeGen( ostream &out ) : FsmCodeGen(out) {}
248 virtual string NULL_ITEM();
249 virtual string POINTER();
250 virtual ostream &SWITCH_DEFAULT();
251 virtual ostream &OPEN_ARRAY( string type, string name );
252 virtual ostream &CLOSE_ARRAY();
253 virtual ostream &STATIC_VAR( string type, string name );
254 virtual string ARR_OFF( string ptr, string offset );
255 virtual string CAST( string type );
256 virtual string UINT();
257 virtual string PTR_CONST();
258 virtual string CTRL_FLOW();
261 class DCodeGen : virtual public FsmCodeGen
264 DCodeGen( ostream &out ) : FsmCodeGen(out) {}
266 virtual string NULL_ITEM();
267 virtual string POINTER();
268 virtual ostream &SWITCH_DEFAULT();
269 virtual ostream &OPEN_ARRAY( string type, string name );
270 virtual ostream &CLOSE_ARRAY();
271 virtual ostream &STATIC_VAR( string type, string name );
272 virtual string ARR_OFF( string ptr, string offset );
273 virtual string CAST( string type );
274 virtual string UINT();
275 virtual string PTR_CONST();
276 virtual string CTRL_FLOW();
279 class JavaCodeGen : virtual public FsmCodeGen
282 JavaCodeGen( ostream &out ) : FsmCodeGen(out) {}
284 virtual string NULL_ITEM();
285 virtual string POINTER();
286 virtual ostream &SWITCH_DEFAULT();
287 virtual ostream &OPEN_ARRAY( string type, string name );
288 virtual ostream &CLOSE_ARRAY();
289 virtual ostream &STATIC_VAR( string type, string name );
290 virtual string ARR_OFF( string ptr, string offset );
291 virtual string CAST( string type );
292 virtual string UINT();
293 virtual string PTR_CONST();
294 virtual string GET_KEY();
295 virtual string CTRL_FLOW();
298 #endif /* _FSMCODEGEN_H */