1 b2cfc4e2 2003-09-30 devnull #include "lib9.h"
2 b2cfc4e2 2003-09-30 devnull #include "regexp9.h"
3 b2cfc4e2 2003-09-30 devnull #include "regcomp.h"
6 b2cfc4e2 2003-09-30 devnull * return 0 if no match
7 b2cfc4e2 2003-09-30 devnull * >0 if a match
8 b2cfc4e2 2003-09-30 devnull * <0 if we ran out of _relist space
10 b2cfc4e2 2003-09-30 devnull static int
11 b2cfc4e2 2003-09-30 devnull rregexec1(Reprog *progp, /* program to run */
12 6d08a0f5 2007-12-07 rsc Rune *bol, /* string to run machine on */
13 6d08a0f5 2007-12-07 rsc Resub *mp, /* subexpression elements */
14 6d08a0f5 2007-12-07 rsc int ms, /* number of elements at mp */
15 b2cfc4e2 2003-09-30 devnull Reljunk *j)
17 b2cfc4e2 2003-09-30 devnull int flag=0;
18 b2cfc4e2 2003-09-30 devnull Reinst *inst;
19 b2cfc4e2 2003-09-30 devnull Relist *tlp;
21 b2cfc4e2 2003-09-30 devnull int i, checkstart;
22 b2cfc4e2 2003-09-30 devnull Rune r, *rp, *ep;
23 b2cfc4e2 2003-09-30 devnull Relist* tl; /* This list, next list */
24 b2cfc4e2 2003-09-30 devnull Relist* nl;
25 b2cfc4e2 2003-09-30 devnull Relist* tle; /* ends of this and next list */
26 b2cfc4e2 2003-09-30 devnull Relist* nle;
27 b2cfc4e2 2003-09-30 devnull int match;
30 b2cfc4e2 2003-09-30 devnull match = 0;
31 6d08a0f5 2007-12-07 rsc checkstart = j->startchar;
33 b2cfc4e2 2003-09-30 devnull for(i=0; i<ms; i++) {
34 b2cfc4e2 2003-09-30 devnull mp[i].s.rsp = 0;
35 b2cfc4e2 2003-09-30 devnull mp[i].e.rep = 0;
37 b2cfc4e2 2003-09-30 devnull j->relist[0][0].inst = 0;
38 b2cfc4e2 2003-09-30 devnull j->relist[1][0].inst = 0;
40 b2cfc4e2 2003-09-30 devnull /* Execute machine once for each character, including terminal NUL */
41 b2cfc4e2 2003-09-30 devnull s = j->rstarts;
43 b2cfc4e2 2003-09-30 devnull /* fast check for first char */
44 b2cfc4e2 2003-09-30 devnull if(checkstart) {
45 b2cfc4e2 2003-09-30 devnull switch(j->starttype) {
46 b2cfc4e2 2003-09-30 devnull case RUNE:
47 da7f7882 2007-05-18 devnull p = runestrchr(s, j->startchar);
48 7a6f3d9d 2015-06-03 rsc if(p == 0 || s == j->reol)
49 da7f7882 2007-05-18 devnull return match;
52 b2cfc4e2 2003-09-30 devnull case BOL:
53 b2cfc4e2 2003-09-30 devnull if(s == bol)
55 da7f7882 2007-05-18 devnull p = runestrchr(s, '\n');
56 6d08a0f5 2007-12-07 rsc if(p == 0 || s == j->reol)
57 da7f7882 2007-05-18 devnull return match;
65 b2cfc4e2 2003-09-30 devnull /* switch run lists */
66 b2cfc4e2 2003-09-30 devnull tl = j->relist[flag];
67 b2cfc4e2 2003-09-30 devnull tle = j->reliste[flag];
68 b2cfc4e2 2003-09-30 devnull nl = j->relist[flag^=1];
69 b2cfc4e2 2003-09-30 devnull nle = j->reliste[flag];
70 b2cfc4e2 2003-09-30 devnull nl->inst = 0;
72 b2cfc4e2 2003-09-30 devnull /* Add first instruction to current list */
73 6d08a0f5 2007-12-07 rsc _rrenewemptythread(tl, progp->startinst, ms, s);
75 b2cfc4e2 2003-09-30 devnull /* Execute machine until current list is empty */
76 b2cfc4e2 2003-09-30 devnull for(tlp=tl; tlp->inst; tlp++){
77 6d08a0f5 2007-12-07 rsc for(inst=tlp->inst; ; inst = inst->u2.next){
78 b2cfc4e2 2003-09-30 devnull switch(inst->type){
79 b2cfc4e2 2003-09-30 devnull case RUNE: /* regular character */
80 b2cfc4e2 2003-09-30 devnull if(inst->u1.r == r)
81 6d08a0f5 2007-12-07 rsc if(_renewthread(nl, inst->u2.next, ms, &tlp->se)==nle)
82 b2cfc4e2 2003-09-30 devnull return -1;
84 b2cfc4e2 2003-09-30 devnull case LBRA:
85 b2cfc4e2 2003-09-30 devnull tlp->se.m[inst->u1.subid].s.rsp = s;
86 b2cfc4e2 2003-09-30 devnull continue;
87 b2cfc4e2 2003-09-30 devnull case RBRA:
88 b2cfc4e2 2003-09-30 devnull tlp->se.m[inst->u1.subid].e.rep = s;
89 b2cfc4e2 2003-09-30 devnull continue;
90 b2cfc4e2 2003-09-30 devnull case ANY:
91 b2cfc4e2 2003-09-30 devnull if(r != '\n')
92 6d08a0f5 2007-12-07 rsc if(_renewthread(nl, inst->u2.next, ms, &tlp->se)==nle)
93 b2cfc4e2 2003-09-30 devnull return -1;
95 b2cfc4e2 2003-09-30 devnull case ANYNL:
96 6d08a0f5 2007-12-07 rsc if(_renewthread(nl, inst->u2.next, ms, &tlp->se)==nle)
97 b2cfc4e2 2003-09-30 devnull return -1;
99 b2cfc4e2 2003-09-30 devnull case BOL:
100 b2cfc4e2 2003-09-30 devnull if(s == bol || *(s-1) == '\n')
101 b2cfc4e2 2003-09-30 devnull continue;
103 b2cfc4e2 2003-09-30 devnull case EOL:
104 b2cfc4e2 2003-09-30 devnull if(s == j->reol || r == 0 || r == '\n')
105 b2cfc4e2 2003-09-30 devnull continue;
107 b2cfc4e2 2003-09-30 devnull case CCLASS:
108 b2cfc4e2 2003-09-30 devnull ep = inst->u1.cp->end;
109 b2cfc4e2 2003-09-30 devnull for(rp = inst->u1.cp->spans; rp < ep; rp += 2)
110 b2cfc4e2 2003-09-30 devnull if(r >= rp[0] && r <= rp[1]){
111 6d08a0f5 2007-12-07 rsc if(_renewthread(nl, inst->u2.next, ms, &tlp->se)==nle)
112 b2cfc4e2 2003-09-30 devnull return -1;
116 b2cfc4e2 2003-09-30 devnull case NCCLASS:
117 b2cfc4e2 2003-09-30 devnull ep = inst->u1.cp->end;
118 b2cfc4e2 2003-09-30 devnull for(rp = inst->u1.cp->spans; rp < ep; rp += 2)
119 b2cfc4e2 2003-09-30 devnull if(r >= rp[0] && r <= rp[1])
121 b2cfc4e2 2003-09-30 devnull if(rp == ep)
122 6d08a0f5 2007-12-07 rsc if(_renewthread(nl, inst->u2.next, ms, &tlp->se)==nle)
123 b2cfc4e2 2003-09-30 devnull return -1;
125 b2cfc4e2 2003-09-30 devnull case OR:
126 6d08a0f5 2007-12-07 rsc /* evaluate right choice later */
127 27589754 2008-01-10 rsc if(_renewthread(tlp, inst->u1.right, ms, &tlp->se) == tle)
129 6d08a0f5 2007-12-07 rsc /* efficiency: advance and re-evaluate */
131 b2cfc4e2 2003-09-30 devnull case END: /* Match! */
132 b2cfc4e2 2003-09-30 devnull match = 1;
133 b2cfc4e2 2003-09-30 devnull tlp->se.m[0].e.rep = s;
134 b2cfc4e2 2003-09-30 devnull if(mp != 0)
135 b2cfc4e2 2003-09-30 devnull _renewmatch(mp, ms, &tlp->se);
141 b2cfc4e2 2003-09-30 devnull if(s == j->reol)
143 6d08a0f5 2007-12-07 rsc checkstart = j->startchar && nl->inst==0;
145 b2cfc4e2 2003-09-30 devnull }while(r);
146 b2cfc4e2 2003-09-30 devnull return match;
149 b2cfc4e2 2003-09-30 devnull static int
150 b2cfc4e2 2003-09-30 devnull rregexec2(Reprog *progp, /* program to run */
151 b2cfc4e2 2003-09-30 devnull Rune *bol, /* string to run machine on */
152 b2cfc4e2 2003-09-30 devnull Resub *mp, /* subexpression elements */
153 b2cfc4e2 2003-09-30 devnull int ms, /* number of elements at mp */
154 b2cfc4e2 2003-09-30 devnull Reljunk *j
157 6d08a0f5 2007-12-07 rsc Relist relist0[5*LISTSIZE], relist1[5*LISTSIZE];
159 6d08a0f5 2007-12-07 rsc /* mark space */
160 b2cfc4e2 2003-09-30 devnull j->relist[0] = relist0;
161 b2cfc4e2 2003-09-30 devnull j->relist[1] = relist1;
162 6d08a0f5 2007-12-07 rsc j->reliste[0] = relist0 + nelem(relist0) - 2;
163 6d08a0f5 2007-12-07 rsc j->reliste[1] = relist1 + nelem(relist1) - 2;
165 6d08a0f5 2007-12-07 rsc return rregexec1(progp, bol, mp, ms, j);
168 b2cfc4e2 2003-09-30 devnull extern int
169 b2cfc4e2 2003-09-30 devnull rregexec(Reprog *progp, /* program to run */
170 b2cfc4e2 2003-09-30 devnull Rune *bol, /* string to run machine on */
171 b2cfc4e2 2003-09-30 devnull Resub *mp, /* subexpression elements */
172 b2cfc4e2 2003-09-30 devnull int ms) /* number of elements at mp */
174 b2cfc4e2 2003-09-30 devnull Reljunk j;
175 b2cfc4e2 2003-09-30 devnull Relist relist0[LISTSIZE], relist1[LISTSIZE];
179 b2cfc4e2 2003-09-30 devnull * use user-specified starting/ending location if specified
181 b2cfc4e2 2003-09-30 devnull j.rstarts = bol;
182 b2cfc4e2 2003-09-30 devnull j.reol = 0;
183 b2cfc4e2 2003-09-30 devnull if(mp && ms>0){
184 b2cfc4e2 2003-09-30 devnull if(mp->s.sp)
185 b2cfc4e2 2003-09-30 devnull j.rstarts = mp->s.rsp;
186 b2cfc4e2 2003-09-30 devnull if(mp->e.ep)
187 b2cfc4e2 2003-09-30 devnull j.reol = mp->e.rep;
189 b2cfc4e2 2003-09-30 devnull j.starttype = 0;
190 b2cfc4e2 2003-09-30 devnull j.startchar = 0;
191 62390091 2004-03-05 devnull if(progp->startinst->type == RUNE && progp->startinst->u1.r < Runeself) {
192 b2cfc4e2 2003-09-30 devnull j.starttype = RUNE;
193 b2cfc4e2 2003-09-30 devnull j.startchar = progp->startinst->u1.r;
195 b2cfc4e2 2003-09-30 devnull if(progp->startinst->type == BOL)
196 b2cfc4e2 2003-09-30 devnull j.starttype = BOL;
198 b2cfc4e2 2003-09-30 devnull /* mark space */
199 b2cfc4e2 2003-09-30 devnull j.relist[0] = relist0;
200 b2cfc4e2 2003-09-30 devnull j.relist[1] = relist1;
201 6d08a0f5 2007-12-07 rsc j.reliste[0] = relist0 + nelem(relist0) - 2;
202 6d08a0f5 2007-12-07 rsc j.reliste[1] = relist1 + nelem(relist1) - 2;
204 b2cfc4e2 2003-09-30 devnull rv = rregexec1(progp, bol, mp, ms, &j);
205 b2cfc4e2 2003-09-30 devnull if(rv >= 0)
206 b2cfc4e2 2003-09-30 devnull return rv;
207 b2cfc4e2 2003-09-30 devnull rv = rregexec2(progp, bol, mp, ms, &j);
208 b2cfc4e2 2003-09-30 devnull if(rv >= 0)
209 b2cfc4e2 2003-09-30 devnull return rv;
210 b2cfc4e2 2003-09-30 devnull return -1;