3 #include "xdiff-interface.h"
5 void append_header_grep_pattern(struct grep_opt
*opt
, enum grep_header_field field
, const char *pat
)
7 struct grep_pat
*p
= xcalloc(1, sizeof(*p
));
11 p
->token
= GREP_PATTERN_HEAD
;
13 *opt
->pattern_tail
= p
;
14 opt
->pattern_tail
= &p
->next
;
18 void append_grep_pattern(struct grep_opt
*opt
, const char *pat
,
19 const char *origin
, int no
, enum grep_pat_token t
)
21 struct grep_pat
*p
= xcalloc(1, sizeof(*p
));
26 *opt
->pattern_tail
= p
;
27 opt
->pattern_tail
= &p
->next
;
31 static int is_fixed(const char *s
)
33 while (*s
&& !is_regex_special(*s
))
38 static void compile_regexp(struct grep_pat
*p
, struct grep_opt
*opt
)
42 p
->word_regexp
= opt
->word_regexp
;
44 if (opt
->fixed
|| is_fixed(p
->pattern
))
46 if (opt
->regflags
& REG_ICASE
)
51 err
= regcomp(&p
->regexp
, p
->pattern
, opt
->regflags
);
56 sprintf(where
, "In '%s' at %d, ",
59 sprintf(where
, "%s, ", p
->origin
);
62 regerror(err
, &p
->regexp
, errbuf
, 1024);
64 die("%s'%s': %s", where
, p
->pattern
, errbuf
);
68 static struct grep_expr
*compile_pattern_or(struct grep_pat
**);
69 static struct grep_expr
*compile_pattern_atom(struct grep_pat
**list
)
76 case GREP_PATTERN
: /* atom */
77 case GREP_PATTERN_HEAD
:
78 case GREP_PATTERN_BODY
:
79 x
= xcalloc(1, sizeof (struct grep_expr
));
80 x
->node
= GREP_NODE_ATOM
;
86 x
= compile_pattern_or(list
);
89 if (!*list
|| (*list
)->token
!= GREP_CLOSE_PAREN
)
90 die("unmatched parenthesis");
91 *list
= (*list
)->next
;
98 static struct grep_expr
*compile_pattern_not(struct grep_pat
**list
)
107 die("--not not followed by pattern expression");
109 x
= xcalloc(1, sizeof (struct grep_expr
));
110 x
->node
= GREP_NODE_NOT
;
111 x
->u
.unary
= compile_pattern_not(list
);
113 die("--not followed by non pattern expression");
116 return compile_pattern_atom(list
);
120 static struct grep_expr
*compile_pattern_and(struct grep_pat
**list
)
123 struct grep_expr
*x
, *y
, *z
;
125 x
= compile_pattern_not(list
);
127 if (p
&& p
->token
== GREP_AND
) {
129 die("--and not followed by pattern expression");
131 y
= compile_pattern_and(list
);
133 die("--and not followed by pattern expression");
134 z
= xcalloc(1, sizeof (struct grep_expr
));
135 z
->node
= GREP_NODE_AND
;
136 z
->u
.binary
.left
= x
;
137 z
->u
.binary
.right
= y
;
143 static struct grep_expr
*compile_pattern_or(struct grep_pat
**list
)
146 struct grep_expr
*x
, *y
, *z
;
148 x
= compile_pattern_and(list
);
150 if (x
&& p
&& p
->token
!= GREP_CLOSE_PAREN
) {
151 y
= compile_pattern_or(list
);
153 die("not a pattern expression %s", p
->pattern
);
154 z
= xcalloc(1, sizeof (struct grep_expr
));
155 z
->node
= GREP_NODE_OR
;
156 z
->u
.binary
.left
= x
;
157 z
->u
.binary
.right
= y
;
163 static struct grep_expr
*compile_pattern_expr(struct grep_pat
**list
)
165 return compile_pattern_or(list
);
168 void compile_grep_patterns(struct grep_opt
*opt
)
175 for (p
= opt
->pattern_list
; p
; p
= p
->next
) {
177 case GREP_PATTERN
: /* atom */
178 case GREP_PATTERN_HEAD
:
179 case GREP_PATTERN_BODY
:
180 compile_regexp(p
, opt
);
191 /* Then bundle them up in an expression.
192 * A classic recursive descent parser would do.
194 p
= opt
->pattern_list
;
196 opt
->pattern_expression
= compile_pattern_expr(&p
);
198 die("incomplete pattern expression: %s", p
->pattern
);
201 static void free_pattern_expr(struct grep_expr
*x
)
207 free_pattern_expr(x
->u
.unary
);
211 free_pattern_expr(x
->u
.binary
.left
);
212 free_pattern_expr(x
->u
.binary
.right
);
218 void free_grep_patterns(struct grep_opt
*opt
)
220 struct grep_pat
*p
, *n
;
222 for (p
= opt
->pattern_list
; p
; p
= n
) {
225 case GREP_PATTERN
: /* atom */
226 case GREP_PATTERN_HEAD
:
227 case GREP_PATTERN_BODY
:
238 free_pattern_expr(opt
->pattern_expression
);
241 static char *end_of_line(char *cp
, unsigned long *left
)
243 unsigned long l
= *left
;
244 while (l
&& *cp
!= '\n') {
252 static int word_char(char ch
)
254 return isalnum(ch
) || ch
== '_';
257 static void show_name(struct grep_opt
*opt
, const char *name
)
259 printf("%s%c", name
, opt
->null_following_name
? '\0' : '\n');
262 static int fixmatch(const char *pattern
, char *line
, regmatch_t
*match
)
264 char *hit
= strstr(line
, pattern
);
266 match
->rm_so
= match
->rm_eo
= -1;
270 match
->rm_so
= hit
- line
;
271 match
->rm_eo
= match
->rm_so
+ strlen(pattern
);
276 static int strip_timestamp(char *bol
, char **eol_p
)
281 while (bol
< --eol
) {
297 { "committer ", 10 },
300 static int match_one_pattern(struct grep_pat
*p
, char *bol
, char *eol
,
301 enum grep_context ctx
,
302 regmatch_t
*pmatch
, int eflags
)
307 if ((p
->token
!= GREP_PATTERN
) &&
308 ((p
->token
== GREP_PATTERN_HEAD
) != (ctx
== GREP_CONTEXT_HEAD
)))
311 if (p
->token
== GREP_PATTERN_HEAD
) {
314 assert(p
->field
< ARRAY_SIZE(header_field
));
315 field
= header_field
[p
->field
].field
;
316 len
= header_field
[p
->field
].len
;
317 if (strncmp(bol
, field
, len
))
320 saved_ch
= strip_timestamp(bol
, &eol
);
325 hit
= !fixmatch(p
->pattern
, bol
, pmatch
);
327 hit
= !regexec(&p
->regexp
, bol
, 1, pmatch
, eflags
);
329 if (hit
&& p
->word_regexp
) {
330 if ((pmatch
[0].rm_so
< 0) ||
331 (eol
- bol
) <= pmatch
[0].rm_so
||
332 (pmatch
[0].rm_eo
< 0) ||
333 (eol
- bol
) < pmatch
[0].rm_eo
)
334 die("regexp returned nonsense");
336 /* Match beginning must be either beginning of the
337 * line, or at word boundary (i.e. the last char must
338 * not be a word char). Similarly, match end must be
339 * either end of the line, or at word boundary
340 * (i.e. the next char must not be a word char).
342 if ( ((pmatch
[0].rm_so
== 0) ||
343 !word_char(bol
[pmatch
[0].rm_so
-1])) &&
344 ((pmatch
[0].rm_eo
== (eol
-bol
)) ||
345 !word_char(bol
[pmatch
[0].rm_eo
])) )
350 if (!hit
&& pmatch
[0].rm_so
+ bol
+ 1 < eol
) {
351 /* There could be more than one match on the
352 * line, and the first match might not be
353 * strict word match. But later ones could be!
354 * Forward to the next possible start, i.e. the
355 * next position following a non-word char.
357 bol
= pmatch
[0].rm_so
+ bol
+ 1;
358 while (word_char(bol
[-1]) && bol
< eol
)
364 if (p
->token
== GREP_PATTERN_HEAD
&& saved_ch
)
369 static int match_expr_eval(struct grep_expr
*x
, char *bol
, char *eol
,
370 enum grep_context ctx
, int collect_hits
)
377 h
= match_one_pattern(x
->u
.atom
, bol
, eol
, ctx
, &match
, 0);
380 h
= !match_expr_eval(x
->u
.unary
, bol
, eol
, ctx
, 0);
383 if (!match_expr_eval(x
->u
.binary
.left
, bol
, eol
, ctx
, 0))
385 h
= match_expr_eval(x
->u
.binary
.right
, bol
, eol
, ctx
, 0);
389 return (match_expr_eval(x
->u
.binary
.left
,
391 match_expr_eval(x
->u
.binary
.right
,
393 h
= match_expr_eval(x
->u
.binary
.left
, bol
, eol
, ctx
, 0);
394 x
->u
.binary
.left
->hit
|= h
;
395 h
|= match_expr_eval(x
->u
.binary
.right
, bol
, eol
, ctx
, 1);
398 die("Unexpected node type (internal error) %d", x
->node
);
405 static int match_expr(struct grep_opt
*opt
, char *bol
, char *eol
,
406 enum grep_context ctx
, int collect_hits
)
408 struct grep_expr
*x
= opt
->pattern_expression
;
409 return match_expr_eval(x
, bol
, eol
, ctx
, collect_hits
);
412 static int match_line(struct grep_opt
*opt
, char *bol
, char *eol
,
413 enum grep_context ctx
, int collect_hits
)
419 return match_expr(opt
, bol
, eol
, ctx
, collect_hits
);
421 /* we do not call with collect_hits without being extended */
422 for (p
= opt
->pattern_list
; p
; p
= p
->next
) {
423 if (match_one_pattern(p
, bol
, eol
, ctx
, &match
, 0))
429 static int match_next_pattern(struct grep_pat
*p
, char *bol
, char *eol
,
430 enum grep_context ctx
,
431 regmatch_t
*pmatch
, int eflags
)
435 if (!match_one_pattern(p
, bol
, eol
, ctx
, &match
, eflags
))
437 if (match
.rm_so
< 0 || match
.rm_eo
< 0)
439 if (pmatch
->rm_so
>= 0 && pmatch
->rm_eo
>= 0) {
440 if (match
.rm_so
> pmatch
->rm_so
)
442 if (match
.rm_so
== pmatch
->rm_so
&& match
.rm_eo
< pmatch
->rm_eo
)
445 pmatch
->rm_so
= match
.rm_so
;
446 pmatch
->rm_eo
= match
.rm_eo
;
450 static int next_match(struct grep_opt
*opt
, char *bol
, char *eol
,
451 enum grep_context ctx
, regmatch_t
*pmatch
, int eflags
)
456 pmatch
->rm_so
= pmatch
->rm_eo
= -1;
458 for (p
= opt
->pattern_list
; p
; p
= p
->next
) {
460 case GREP_PATTERN
: /* atom */
461 case GREP_PATTERN_HEAD
:
462 case GREP_PATTERN_BODY
:
463 hit
|= match_next_pattern(p
, bol
, eol
, ctx
,
474 static void show_line(struct grep_opt
*opt
, char *bol
, char *eol
,
475 const char *name
, unsigned lno
, char sign
)
477 int rest
= eol
- bol
;
479 if (opt
->null_following_name
)
482 printf("%s%c", name
, sign
);
484 printf("%d%c", lno
, sign
);
487 enum grep_context ctx
= GREP_CONTEXT_BODY
;
492 while (next_match(opt
, bol
, eol
, ctx
, &match
, eflags
)) {
493 printf("%.*s%s%.*s%s",
494 (int)match
.rm_so
, bol
,
496 (int)(match
.rm_eo
- match
.rm_so
), bol
+ match
.rm_so
,
504 printf("%.*s\n", rest
, bol
);
507 static int grep_buffer_1(struct grep_opt
*opt
, const char *name
,
508 char *buf
, unsigned long size
, int collect_hits
)
511 unsigned long left
= size
;
513 struct pre_context_line
{
516 } *prev
= NULL
, *pcl
;
517 unsigned last_hit
= 0;
518 unsigned last_shown
= 0;
519 int binary_match_only
= 0;
520 const char *hunk_mark
= "";
522 enum grep_context ctx
= GREP_CONTEXT_HEAD
;
524 if (buffer_is_binary(buf
, size
)) {
525 switch (opt
->binary
) {
526 case GREP_BINARY_DEFAULT
:
527 binary_match_only
= 1;
529 case GREP_BINARY_NOMATCH
:
530 return 0; /* Assume unmatch */
537 if (opt
->pre_context
)
538 prev
= xcalloc(opt
->pre_context
, sizeof(*prev
));
539 if (opt
->pre_context
|| opt
->post_context
)
546 eol
= end_of_line(bol
, &left
);
550 if ((ctx
== GREP_CONTEXT_HEAD
) && (eol
== bol
))
551 ctx
= GREP_CONTEXT_BODY
;
553 hit
= match_line(opt
, bol
, eol
, ctx
, collect_hits
);
559 /* "grep -v -e foo -e bla" should list lines
560 * that do not have either, so inversion should
565 if (opt
->unmatch_name_only
) {
572 if (opt
->status_only
)
574 if (binary_match_only
) {
575 printf("Binary file %s matches\n", name
);
578 if (opt
->name_only
) {
579 show_name(opt
, name
);
582 /* Hit at this line. If we haven't shown the
583 * pre-context lines, we would need to show them.
584 * When asked to do "count", this still show
585 * the context which is nonsense, but the user
586 * deserves to get that ;-).
588 if (opt
->pre_context
) {
590 if (opt
->pre_context
< lno
)
591 from
= lno
- opt
->pre_context
;
594 if (from
<= last_shown
)
595 from
= last_shown
+ 1;
596 if (last_shown
&& from
!= last_shown
+ 1)
597 fputs(hunk_mark
, stdout
);
599 pcl
= &prev
[lno
-from
-1];
600 show_line(opt
, pcl
->bol
, pcl
->eol
,
606 if (last_shown
&& lno
!= last_shown
+ 1)
607 fputs(hunk_mark
, stdout
);
609 show_line(opt
, bol
, eol
, name
, lno
, ':');
610 last_shown
= last_hit
= lno
;
613 lno
<= last_hit
+ opt
->post_context
) {
614 /* If the last hit is within the post context,
615 * we need to show this line.
617 if (last_shown
&& lno
!= last_shown
+ 1)
618 fputs(hunk_mark
, stdout
);
619 show_line(opt
, bol
, eol
, name
, lno
, '-');
622 if (opt
->pre_context
) {
623 memmove(prev
+1, prev
,
624 (opt
->pre_context
-1) * sizeof(*prev
));
641 if (opt
->status_only
)
643 if (opt
->unmatch_name_only
) {
644 /* We did not see any hit, so we want to show this */
645 show_name(opt
, name
);
650 * The real "grep -c foo *.c" gives many "bar.c:0" lines,
651 * which feels mostly useless but sometimes useful. Maybe
652 * make it another option? For now suppress them.
654 if (opt
->count
&& count
)
655 printf("%s%c%u\n", name
,
656 opt
->null_following_name
? '\0' : ':', count
);
660 static void clr_hit_marker(struct grep_expr
*x
)
662 /* All-hit markers are meaningful only at the very top level
667 if (x
->node
!= GREP_NODE_OR
)
669 x
->u
.binary
.left
->hit
= 0;
670 x
= x
->u
.binary
.right
;
674 static int chk_hit_marker(struct grep_expr
*x
)
676 /* Top level nodes have hit markers. See if they all are hits */
678 if (x
->node
!= GREP_NODE_OR
)
680 if (!x
->u
.binary
.left
->hit
)
682 x
= x
->u
.binary
.right
;
686 int grep_buffer(struct grep_opt
*opt
, const char *name
, char *buf
, unsigned long size
)
689 * we do not have to do the two-pass grep when we do not check
690 * buffer-wide "all-match".
693 return grep_buffer_1(opt
, name
, buf
, size
, 0);
695 /* Otherwise the toplevel "or" terms hit a bit differently.
696 * We first clear hit markers from them.
698 clr_hit_marker(opt
->pattern_expression
);
699 grep_buffer_1(opt
, name
, buf
, size
, 1);
701 if (!chk_hit_marker(opt
->pattern_expression
))
704 return grep_buffer_1(opt
, name
, buf
, size
, 0);