ragel/cdcodegen.h

   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 _CDCODEGEN_H
  25 #define _CDCODEGEN_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 FsmCodeGen
  55  */
  56 class FsmCodeGen : public CodeGenData
  57 {
  58 public:
  59         FsmCodeGen( ostream &out );
  60         virtual ~FsmCodeGen() {}
  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 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 );
  80         string ALPH_TYPE();
  81         string WIDE_ALPH_TYPE();
  82         string ARRAY_TYPE( unsigned long maxVal );
  83
  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;
  91
  92         string P();
  93         string PE();
  94         string vEOF();
  95
  96         string ACCESS();
  97         string vCS();
  98         string STACK();
  99         string TOP();
 100         string TOKSTART();
 101         string TOKEND();
 102         string ACT();
 103
 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"; }
 129
 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 );
 154         void STATE_IDS();
 155
 156         string ERROR_STATE();
 157         string FIRST_FINAL_STATE();
 158
 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;
 163
 164         virtual string CTRL_FLOW() = 0;
 165
 166         ostream &source_warning(const InputLoc &loc);
 167         ostream &source_error(const InputLoc &loc);
 168
 169         unsigned int arrayTypeSize( unsigned long maxVal );
 170
 171         bool outLabelUsed;
 172         bool testEofUsed;
 173         bool againLabelUsed;
 174         bool useIndicies;
 175
 176         void genLineDirective( ostream &out );
 177
 178 public:
 179         /* Determine if we should use indicies. */
 180         virtual void calcIndexSize() {}
 181 };
 182
 183 class CCodeGen : virtual public FsmCodeGen
 184 {
 185 public:
 186         CCodeGen( ostream &out ) : FsmCodeGen(out) {}
 187
 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 class DCodeGen : virtual public FsmCodeGen
 204 {
 205 public:
 206         DCodeGen( ostream &out ) : FsmCodeGen(out) {}
 207
 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();
 219
 220         virtual void writeExports();
 221 };
 222
 223 #endif