blob: d84f8813716feb2c0fef58814a71a7ecf6be2e93 (
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
|
(*
* @LANG: ocaml
* @GENERATED: true
*)
let neg = ref 0
let value = ref 0
%%{
machine atoi;
action begin {neg := 0;
value := 0;
}
action see_neg {neg := 1;
}
action add_digit {value := value .contents * 10 + ( fc - 48 )
;
}
action finish {if neg .contents != 0 then
begin
value := -1 * value.contents;
end
;
}
action print {print_int( value.contents );
print_string( "\n" );
}
atoi = (
('-'@see_neg | '+')? (digit @add_digit)+
) >begin %finish;
main := atoi '\n' @print;
}%%
%% write data;
let exec data =
let buffer = String.create(1024) in
let blen :int ref = ref 0 in
let cs = ref 0 in
let p = ref 0 in
let pe = ref (String.length data) in
value := 0;
neg := 0;
%% write init;
%% write exec;
if !cs >= atoi_first_final then
print_string "ACCEPT\n"
else
print_string "FAIL\n"
;;
let () =
exec "1\n";
exec "12\n";
exec "222222\n";
exec "+2123\n";
exec "213 3213\n";
exec "-12321\n";
exec "--123\n";
exec "-99\n";
exec " -3000\n";
()
;;
|
