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
|
/*
* @LANG: d
* @GENERATED: true
*/
import std.stdio;
import std.string;
class GotoCallRet
{
char comm;
int top;
int stack[32];
%%{
machine GotoCallRet;
# A reference to a state in an unused action caused a segfault in 5.8. */
action unusedAction {fentry(garble_line);
}
action err_garbling_line {printf( "%.*s", "error: garbling line\n" );}
action goto_main {fgoto main;}
action recovery_failed {printf( "%.*s", "error: failed to recover\n" );}
# Error machine, consumes to end of
# line, then starts the main line over.
garble_line := ( (any-'\n')*'\n')
>err_garbling_line
@goto_main
$/recovery_failed;
action hold_and_return {fhold;fret;}
# Look for a string of alphas or of digits,
# on anything else, hold the character and return.
alp_comm := alpha+ $!hold_and_return;
dig_comm := digit+ $!hold_and_return;
# Choose which to machine to call into based on the command.
action comm_arg {if ( comm >= 'a' )
{
fcall alp_comm;
}
else {
fcall dig_comm;
}
}
# Specifies command string. Note that the arg is left out.
command = (
[a-z0-9] @{comm = fc;
} ' ' @comm_arg '\n'
) @{printf( "%.*s", "correct command\n" );};
# Any number of commands. If there is an
# error anywhere, garble the line.
main := command* $!{fhold;fgoto garble_line;};
}%%
%% write data;
int cs;
int blen;
char buffer[1024];
void init()
{
%% write init;
}
void exec( const(char) data[] )
{
const(char) *p = data.ptr;
const(char) *pe = data.ptr + data.length;
const(char) *eof = pe;
char _s[];
%% write exec;
}
void finish( )
{
if ( cs >= GotoCallRet_first_final )
writefln( "ACCEPT" );
else
writefln( "FAIL" );
}
static const char[][] inp = [
"lkajsdf\n",
"2134\n",
"(\n",
"\n",
"*234234()0909 092 -234aslkf09`1 11\n",
"1\n",
"909\n",
"1 a\n",
"11 1\n",
"a 1\n",
"aa a\n",
"1 1\n",
"1 123456\n",
"a a\n",
"a abcdef\n",
"h",
"a aa1",
];
int inplen = 17;
}
int main()
{
GotoCallRet m = new GotoCallRet();
int i;
for ( i = 0; i < m.inplen; i++ ) {
m.init();
m.exec( m.inp[i] );
m.finish();
}
return 0;
}
|
