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 _CSCODEGEN_H 25 #define _CSCODEGEN_H 26 27 #include <iostream> 28 #include <string> 29 #include <stdio.h> 30 #include "common.h" 31 #include "gendata.h" 32 33 using std::string; 34 using std::ostream; 35 36 /* Integer array line length. */ 37 #define IALL 8 38 39 /* Forwards. */ 40 struct RedFsmAp; 41 struct RedStateAp; 42 struct CodeGenData; 43 struct GenAction; 44 struct NameInst; 45 struct GenInlineItem; 46 struct GenInlineList; 47 struct RedAction; 48 struct LongestMatch; 49 struct LongestMatchPart; 50 51 string itoa( int i ); 52 53 /* 54 * class CSharpFsmCodeGen 55 */ 56 class CSharpFsmCodeGen : public CodeGenData 57 { 58 public: 59 CSharpFsmCodeGen( ostream &out ); ~CSharpFsmCodeGen()60 virtual ~CSharpFsmCodeGen() {} 61 62 virtual void finishRagelDef(); 63 virtual void writeInit(); 64 virtual void writeStart(); 65 virtual void writeFirstFinal(); 66 virtual void writeError(); 67 68 protected: 69 string FSM_NAME(); 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 ALPHA_KEY( Key key ); 77 string LDIR_PATH( char *path ); 78 void ACTION( ostream &ret, GenAction *action, int targState, bool inFinish ); 79 void CONDITION( ostream &ret, GenAction *condition ); 80 string ALPH_TYPE(); 81 string WIDE_ALPH_TYPE(); 82 string ARRAY_TYPE( unsigned long maxVal ); 83 string ARRAY_TYPE( unsigned long maxVal, bool forceSigned ); 84 85 virtual string ARR_OFF( string ptr, string offset ) = 0; 86 virtual string CAST( string type ) = 0; 87 virtual string UINT() = 0; 88 virtual string NULL_ITEM() = 0; 89 virtual string POINTER() = 0; 90 virtual string GET_KEY(); 91 virtual ostream &SWITCH_DEFAULT() = 0; 92 93 string P(); 94 string PE(); 95 string vEOF(); 96 97 string ACCESS(); 98 string vCS(); 99 string STACK(); 100 string TOP(); 101 string TOKSTART(); 102 string TOKEND(); 103 string ACT(); 104 105 string DATA_PREFIX(); PM()106 string PM() { return "_" + DATA_PREFIX() + "partition_map"; } C()107 string C() { return "_" + DATA_PREFIX() + "cond_spaces"; } CK()108 string CK() { return "_" + DATA_PREFIX() + "cond_keys"; } K()109 string K() { return "_" + DATA_PREFIX() + "trans_keys"; } I()110 string I() { return "_" + DATA_PREFIX() + "indicies"; } CO()111 string CO() { return "_" + DATA_PREFIX() + "cond_offsets"; } KO()112 string KO() { return "_" + DATA_PREFIX() + "key_offsets"; } IO()113 string IO() { return "_" + DATA_PREFIX() + "index_offsets"; } CL()114 string CL() { return "_" + DATA_PREFIX() + "cond_lengths"; } SL()115 string SL() { return "_" + DATA_PREFIX() + "single_lengths"; } RL()116 string RL() { return "_" + DATA_PREFIX() + "range_lengths"; } A()117 string A() { return "_" + DATA_PREFIX() + "actions"; } TA()118 string TA() { return "_" + DATA_PREFIX() + "trans_actions"; } TT()119 string TT() { return "_" + DATA_PREFIX() + "trans_targs"; } TSA()120 string TSA() { return "_" + DATA_PREFIX() + "to_state_actions"; } FSA()121 string FSA() { return "_" + DATA_PREFIX() + "from_state_actions"; } EA()122 string EA() { return "_" + DATA_PREFIX() + "eof_actions"; } ET()123 string ET() { return "_" + DATA_PREFIX() + "eof_trans"; } SP()124 string SP() { return "_" + DATA_PREFIX() + "key_spans"; } CSP()125 string CSP() { return "_" + DATA_PREFIX() + "cond_key_spans"; } START()126 string START() { return DATA_PREFIX() + "start"; } ERROR()127 string ERROR() { return DATA_PREFIX() + "error"; } FIRST_FINAL()128 string FIRST_FINAL() { return DATA_PREFIX() + "first_final"; } CTXDATA()129 string CTXDATA() { return DATA_PREFIX() + "ctxdata"; } 130 131 void INLINE_LIST( ostream &ret, GenInlineList *inlineList, int targState, bool inFinish ); 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 ) = 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, int inFinish ); 145 void SET_ACT( ostream &ret, GenInlineItem *item ); 146 void INIT_TOKSTART( ostream &ret, GenInlineItem *item ); 147 void INIT_ACT( ostream &ret, GenInlineItem *item ); 148 void SET_TOKSTART( ostream &ret, GenInlineItem *item ); 149 void SET_TOKEND( ostream &ret, GenInlineItem *item ); 150 void GET_TOKEND( ostream &ret, GenInlineItem *item ); 151 void SUB_ACTION( ostream &ret, GenInlineItem *item, 152 int targState, bool inFinish ); 153 void STATE_IDS(); 154 155 string ERROR_STATE(); 156 string FIRST_FINAL_STATE(); 157 158 virtual string PTR_CONST() = 0; 159 virtual ostream &OPEN_ARRAY( string type, string name ) = 0; 160 virtual ostream &CLOSE_ARRAY() = 0; 161 virtual ostream &STATIC_VAR( string type, string name ) = 0; 162 163 virtual string CTRL_FLOW() = 0; 164 165 ostream &source_warning(const InputLoc &loc); 166 ostream &source_error(const InputLoc &loc); 167 168 unsigned int arrayTypeSize( unsigned long maxVal ); 169 170 bool outLabelUsed; 171 bool testEofUsed; 172 bool againLabelUsed; 173 bool useIndicies; 174 175 public: 176 /* Determine if we should use indicies. */ calcIndexSize()177 virtual void calcIndexSize() {} 178 179 void genLineDirective( ostream &out ); 180 }; 181 182 class CSharpCodeGen : virtual public CSharpFsmCodeGen 183 { 184 public: CSharpCodeGen(ostream & out)185 CSharpCodeGen( ostream &out ) : CSharpFsmCodeGen(out) {} 186 187 virtual string GET_KEY(); 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(); 199 200 virtual void writeExports(); 201 }; 202 203 #define MAX(a, b) (a > b ? a : b) 204 205 #endif 206