blob: ebaf7e70889ea36ca59b536f357a05c67bbde35b (
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/*
* @LANG: c
*/
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdbool.h>
#include <string.h>
#include <stdio.h>
const char s[4096];
struct nfa_stack
{
void *data;
unsigned long sz;
};
struct nfa_bp_rec
{
long state;
const char *p;
long popTrans;
long q_2;
};
%%{
machine genrep;
alphtype unsigned char;
action psh
{
nfa_bp[nfa_len].q_2 = q_2;
}
action pop
{ ({
q_2 = nfa_bp[nfa_len].q_2;
1;
}) }
action ini_2 {
({ q_2 = 0; 1; })
}
action stay_2 {
({ 1; })
}
action repeat_2 {
({ ++q_2 < 2; })
}
action exit_2 {
({ ++q_2 >= 2; })
}
action leaving
{
printf( " -> leaving\n" );
}
main :=
(
'hello' %leaving
(:nfa( ( ' ' ), psh, pop, ini_2, stay_2, repeat_2, exit_2):)
'there'
)
:>
any @{
printf( "------ MATCH\n" );
};
write data;
}%%
int test( const char *p )
{
int len = strlen( p ) + 1;
const char *pe = p + len;
const char *eof = pe;
int cs;
struct nfa_bp_rec *nfa_bp = (struct nfa_bp_rec*) s;
long nfa_len = 0;
long nfa_count = 0;
long q_2 = 0;
printf( "testing: %s\n", p );
%%{
machine genrep;
write init;
write exec;
}%%
return 0;
}
int main()
{
test( "hellothere" );
test( "hello there" );
test( "hello there" );
test( "hello there" );
test( "hello there" );
return 0;
}
########## OUTPUT ##########
testing: hellothere
-> leaving
testing: hello there
-> leaving
testing: hello there
-> leaving
------ MATCH
testing: hello there
-> leaving
testing: hello there
-> leaving
|
