aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/tools/ragel6/csgoto.h
blob: a077a112bf5d2908440cfbf02966bace03f199bd (plain) (blame)
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
/* 
 *  Copyright 2001-2006 Adrian Thurston <thurston@complang.org> 
 *            2004 Erich Ocean <eric.ocean@ampede.com> 
 *            2005 Alan West <alan@alanz.com> 
 */ 
 
/*  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 _GOTOCODEGEN_H 
#define _GOTOCODEGEN_H 
 
#include <iostream> 
#include "cscodegen.h" 
 
/* Forwards. */ 
struct CodeGenData; 
struct NameInst; 
struct RedTransAp; 
struct RedStateAp; 
struct GenStateCond; 
 
/* 
 * Goto driven fsm. 
 */ 
class CSharpGotoCodeGen : virtual public CSharpFsmCodeGen, public CSharpCodeGen 
{ 
public: 
	CSharpGotoCodeGen( ostream &out ) : CSharpFsmCodeGen(out), CSharpCodeGen(out) {} 
	std::ostream &TO_STATE_ACTION_SWITCH(); 
	std::ostream &FROM_STATE_ACTION_SWITCH(); 
	std::ostream &EOF_ACTION_SWITCH(); 
	std::ostream &ACTION_SWITCH(); 
	std::ostream &STATE_GOTOS(); 
	std::ostream &TRANSITIONS(); 
	std::ostream &EXEC_FUNCS(); 
	std::ostream &FINISH_CASES(); 
 
	void GOTO( ostream &ret, int gotoDest, bool inFinish ); 
	void CALL( ostream &ret, int callDest, int targState, bool inFinish ); 
	void NEXT( ostream &ret, int nextDest, bool inFinish ); 
	void GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); 
	void NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish ); 
	void CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish ); 
	void CURS( ostream &ret, bool inFinish ); 
	void TARGS( ostream &ret, bool inFinish, int targState ); 
	void RET( ostream &ret, bool inFinish ); 
	void BREAK( ostream &ret, int targState ); 
 
	virtual unsigned int TO_STATE_ACTION( RedStateAp *state ); 
	virtual unsigned int FROM_STATE_ACTION( RedStateAp *state ); 
	virtual unsigned int EOF_ACTION( RedStateAp *state ); 
 
	std::ostream &TO_STATE_ACTIONS(); 
	std::ostream &FROM_STATE_ACTIONS(); 
	std::ostream &EOF_ACTIONS(); 
 
	void COND_TRANSLATE( GenStateCond *stateCond, int level ); 
	void emitCondBSearch( RedStateAp *state, int level, int low, int high ); 
	void STATE_CONDS( RedStateAp *state, bool genDefault );  
 
	virtual std::ostream &TRANS_GOTO( RedTransAp *trans, int level ); 
 
	void emitSingleSwitch( RedStateAp *state ); 
	void emitRangeBSearch( RedStateAp *state, int level, int low, int high ); 
 
	/* Called from STATE_GOTOS just before writing the gotos */ 
	virtual void GOTO_HEADER( RedStateAp *state ); 
	virtual void STATE_GOTO_ERROR(); 
 
	virtual void writeData(); 
	virtual void writeExec(); 
}; 
 
#endif