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
|
host( "working/conderr1.rl", 1 ) @{/*
* @@LANG: c++
*/
#include <iostream>
#include <string.h>
using std::cout;
using std::endl;
}@
value int foo_start = 1;
value int foo_first_final = 3;
value int foo_en_main = 1;
array s8 _foo_nfa_targs( 0, 0 ) = { 0, 0 };
array s8 _foo_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0 };
array s8 _foo_nfa_push_actions( 0, 0 ) = { 0, 0 };
array s8 _foo_nfa_pop_trans( 0, 0 ) = { 0, 0 };
host( "working/conderr1.rl", 20 ) @{
void test( int c, const char *str )
{
int cs = foo_start;
const char *p = str;
const char *pe = str + strlen( str );
const char *eof = pe;
cout << "run:" << endl;
}@
{
if ( p == pe )
goto _test_eof;
switch ( cs )
{
case 1:
goto st_case_1;
case 0:
goto st_case_0;
case 2:
goto st_case_2;
case 3:
goto st_case_3;
}
goto st_out;
st_case_1:
if ( ( deref( data, p )) == 97 ) {
int ck = 0;
if ( host( "working/conderr1.rl", 13 ) ={c}= ) ck += 1;
if ( ck > 0 ) {
goto st2;
} else {
goto ctr1;
}
}
{
goto ctr0;
}
ctr1:
host( "working/conderr1.rl", 15 ) ${ cout << " bail" << endl; }$
goto st0;
ctr0:
host( "working/conderr1.rl", 15 ) ${ cout << " bail" << endl; }$
goto st0;
st_case_0:
st0:
cs = 0;
goto _out;
st2:
p+= 1;
if ( p == pe )
goto _test_eof2;
st_case_2:
switch( ( deref( data, p )) ) {
case 10: {
goto st3;
}
case 97: {
int ck = 0;
if ( host( "working/conderr1.rl", 13 ) ={c}= ) ck += 1;
if ( ck > 0 ) {
goto st2;
} else {
goto ctr1;
}
}
}
{
goto ctr0;
}
st3:
p+= 1;
if ( p == pe )
goto _test_eof3;
st_case_3:
{
goto st0;
}
st_out:
_test_eof2: cs = 2; goto _test_eof;
_test_eof3: cs = 3; goto _test_eof;
_test_eof: {}
if ( p == eof )
{
switch ( cs ) {
case 1:
fallthrough;
case 2:
host( "working/conderr1.rl", 15 ) ${ cout << " bail" << endl; }$
break;
}
}
_out: {}
}
host( "working/conderr1.rl", 30 ) @{
if ( cs >= foo_first_final )
cout << " success" << endl;
else
cout << " failure" << endl;
cout << endl;
}
int main()
{
test( 1, "aa\n" );
test( 1, "ab\n" );
test( 0, "aa\n" );
test( 0, "ab\n" );
return 0;
}
}@
|
