blob: fc2b8cab438e72c11d0c806068d6ffd6b61b39db (
plain)
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
|
/*
* @LANG: indep
* @NEEDS_EOF: yes
* @PROHIBIT_LANGUAGES: cv ruby ocaml rust crack
* @PROHIBIT_FLAGS: --var-backend
*
* Testing fret in an EOF action.
*/
bool neg;
int value;
value = 0;
neg = false;
int top;
int stack[32];
%%{
machine atoi;
action begin {
neg = false;
value = 0;
}
action see_neg {
neg = true;
}
action add_digit {
value = value * 10 + <int>(fc - 48);
}
action finish {
if ( neg ) {
value = -1 * value;
}
}
action print {
print_int value;
print_str "\n";
}
atoi = (
('-'@see_neg | '+')? (digit @add_digit)+
) >begin %finish;
action done
{
print_str "done: ";
print_off;
print_str "\n";
}
action extra
{
print_str "goto extra\n";
fhold;
fret;
}
# Jump to the real main so we can fret back here to check the offset.
main := any @{ fhold; fcall atoi; } "" %done;
main_ := atoi '\n' @print %extra;
}%%
##### INPUT #####
"1\n"
"12\n"
"222222\n"
"+2123\n"
"213 3213\n"
"-12321\n"
"--123\n"
"-99\n"
" -3000\n"
##### OUTPUT #####
1
goto extra
done: 2
ACCEPT
12
goto extra
done: 3
ACCEPT
222222
goto extra
done: 7
ACCEPT
2123
goto extra
done: 6
ACCEPT
FAIL
-12321
goto extra
done: 7
ACCEPT
FAIL
-99
goto extra
done: 4
ACCEPT
FAIL
|
