1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
/*
* Copyright 2005-2007 Adrian Thurston <thurston@cs.queensu.ca>
*/
/* This file is part of Ragel.
*
* Ragel is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* Ragel is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Ragel; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
#ifndef _GENDATA_H
#define _GENDATA_H
#include <iostream>
#include "redfsm.h"
#include "common.h"
using std::ostream;
struct NameInst;
typedef DList<Action> ActionList;
typedef unsigned long ulong;
struct FsmCodeGen;
struct CodeGenData;
typedef AvlMap<char *, CodeGenData*, CmpStr> CodeGenMap;
typedef AvlMapEl<char *, CodeGenData*> CodeGenMapEl;
/*
* The interface to the parser
*/
/* These functions must be implemented by the code generation executable.
* The openOutput function is invoked when the root element is opened. The
* makeCodeGen function is invoked when a ragel_def element is opened. */
std::ostream *openOutput( char *inputFile );
CodeGenData *makeCodeGen( char *sourceFileName,
char *fsmName, ostream &out, bool wantComplete );
void lineDirective( ostream &out, char *fileName, int line );
void genLineDirective( ostream &out );
/*********************************/
struct CodeGenData
{
/*
* The interface to the code generator.
*/
virtual void finishRagelDef() {}
/* These are invoked by the corresponding write statements. */
virtual void writeData() {};
virtual void writeInit() {};
virtual void writeExec() {};
virtual void writeEOF() {};
virtual void writeExports() {};
/* This can also be overwridden to modify the processing of write
* statements. */
virtual void writeStatement( InputLoc &loc, int nargs, char **args );
/********************/
CodeGenData( ostream &out );
virtual ~CodeGenData() {}
/*
* Collecting the machine.
*/
char *sourceFileName;
char *fsmName;
ostream &out;
RedFsmAp *redFsm;
Action *allActions;
RedAction *allActionTables;
Condition *allConditions;
CondSpace *allCondSpaces;
RedStateAp *allStates;
NameInst **nameIndex;
int startState;
int errState;
ActionList actionList;
ConditionList conditionList;
CondSpaceList condSpaceList;
InlineList *getKeyExpr;
InlineList *accessExpr;
InlineList *curStateExpr;
KeyOps thisKeyOps;
bool wantComplete;
EntryIdVect entryPointIds;
EntryNameVect entryPointNames;
bool hasLongestMatch;
int codeGenErrCount;
ExportList exportList;
/* Write options. */
bool hasEnd;
bool dataPrefix;
bool writeFirstFinal;
bool writeErr;
void createMachine();
void initActionList( unsigned long length );
void newAction( int anum, char *name, int line, int col, InlineList *inlineList );
void initActionTableList( unsigned long length );
void initStateList( unsigned long length );
void setStartState( unsigned long startState );
void setErrorState( unsigned long errState );
void addEntryPoint( char *name, unsigned long entryState );
void setId( int snum, int id );
void setFinal( int snum );
void initTransList( int snum, unsigned long length );
void newTrans( int snum, int tnum, Key lowKey, Key highKey,
long targ, long act );
void finishTransList( int snum );
void setStateActions( int snum, long toStateAction,
long fromStateAction, long eofAction );
void setForcedErrorState()
{ redFsm->forcedErrorState = true; }
void initCondSpaceList( ulong length );
void condSpaceItem( int cnum, long condActionId );
void newCondSpace( int cnum, int condSpaceId, Key baseKey );
void initStateCondList( int snum, ulong length );
void addStateCond( int snum, Key lowKey, Key highKey, long condNum );
CondSpace *findCondSpace( Key lowKey, Key highKey );
Condition *findCondition( Key key );
bool setAlphType( char *data );
void resolveTargetStates( InlineList *inlineList );
Key findMaxKey();
/* Gather various info on the machine. */
void analyzeActionList( RedAction *redAct, InlineList *inlineList );
void analyzeAction( Action *act, InlineList *inlineList );
void findFinalActionRefs();
void analyzeMachine();
void closeMachine();
void setValueLimits();
void assignActionIds();
ostream &source_warning( const InputLoc &loc );
ostream &source_error( const InputLoc &loc );
};
#endif /* _GENDATA_H */
|
