summaryrefslogtreecommitdiff
path: root/test/ragel.d/eofgoto1.rl
blob: e253d0f72f427c5be3559ecf0a1a02a03e66c90a (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
/*
 * @LANG: indep
 * @NEEDS_EOF: yes
 * @PROHIBIT_LANGUAGES: cv ruby ocaml rust crack
 * @PROHIBIT_FLAGS: --var-backend
 *
 * Testing fgoto in an EOF action.
 */


bool neg;
int value;

value = 0;
neg = false;

%%{
	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;
		fgoto extra;
	}

	extra := "" %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