summaryrefslogtreecommitdiff
path: root/test/cond1.rl
blob: 7c3ffffa7874f65387586788cb506909b457bd3e (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
/* 
 * @LANG: indep
 * @ALLOW_GENFLAGS: -T0 -T1 -G0 -G1 -G2
 */
bool i;
bool j;
bool k;
%%

%%{
	machine foo;

	action c1 {i}
	action c2 {j}
	action c3 {k}
	action one { prints "  one\n";}
	action two { prints "  two\n";}
	action three { prints "  three\n";}

	action seti { if ( fc == 48 ) i = false; else i = true; }
	action setj { if ( fc == 48 ) j = false; else j = true; }
	action setk { if ( fc == 48 ) k = false; else k = true; }

	action break {fbreak;}

	one = 'a' 'b' when c1 'c' @one;
	two = 'a'* 'b' when c2 'c' @two;
	three = 'a'+ 'b' when c3 'c' @three;

	main := 
		[01] @seti
		[01] @setj
		[01] @setk
		( one | two | three ) '\n' @break;
	
}%%

/* _____INPUT_____ 
"000abc\n"
"100abc\n"
"010abc\n"
"110abc\n"
"001abc\n"
"101abc\n"
"011abc\n"
"111abc\n"
_____INPUT_____ */
/* _____OUTPUT_____
FAIL
  one
ACCEPT
  two
ACCEPT
  one
  two
ACCEPT
  three
ACCEPT
  one
  three
ACCEPT
  two
  three
ACCEPT
  one
  two
  three
ACCEPT
_____OUTPUT_____ */