home *** CD-ROM | disk | FTP | other *** search
/ Atari FTP / ATARI_FTP_0693.zip / ATARI_FTP_0693 / Mint / Editors / mjovesrc.zoo / re.c < prev    next >
C/C++ Source or Header  |  1992-04-04  |  19KB  |  979 lines
  1. /***************************************************************************
  2.  * This program is Copyright (C) 1986, 1987, 1988 by Jonathan Payne.  JOVE *
  3.  * is provided to you without charge, and with no warranty.  You may give  *
  4.  * away copies of JOVE, including sources, provided that this notice is    *
  5.  * included in all the files.                                              *
  6.  ***************************************************************************/
  7.  
  8. /* search package */
  9.  
  10. #include "jove.h"
  11. #include "re.h"
  12. #include "ctype.h"
  13.  
  14. private void
  15.     search proto((int, bool, bool));
  16.  
  17. private int
  18.     do_comp proto((struct RE_block *,int));
  19.  
  20. private char
  21.     searchstr[128];        /* global search string */
  22.  
  23. char    rep_search[128],    /* replace search string */
  24.     rep_str[128];        /* contains replacement string */
  25.  
  26. bool    CaseIgnore = OFF,    /* ignore case? */
  27.     WrapScan = OFF,        /* wrap at end of buffer? */
  28.     UseRE = OFF;        /* use regular expressions */
  29.  
  30. #define cind_cmp(a, b)    (CharUpcase(a) == CharUpcase(b))
  31.  
  32. private int    REpeekc;
  33. private char    *REptr;
  34.  
  35. private int
  36. REgetc()
  37. {
  38.     int    c;
  39.  
  40.     if ((c = REpeekc) != -1)
  41.         REpeekc = -1;
  42.     else if (*REptr)
  43.         c = *REptr++;
  44.     else
  45.         c = '\0';
  46.  
  47.     return c;
  48. }
  49.  
  50. #define STAR     01    /* Match any number of last RE. */
  51. #define AT_BOL    2    /* ^ */
  52. #define AT_EOL    4    /* $ */
  53. #define AT_BOW    6    /* \< */
  54. #define AT_EOW    8    /* \> */
  55. #define OPENP    10    /* \( */
  56. #define CLOSEP    12    /* \) */
  57. #define CURLYB    14    /* \{ */
  58.  
  59. #define NOSTR    14    /* Codes <= NOSTR can't be *'d. */
  60.  
  61. #define ANYC    (NOSTR+2)        /* . */
  62. #define NORMC    (ANYC+2)        /* normal character */
  63. #define CINDC    (NORMC+2)        /* case independent character */
  64. #define ONE_OF    (CINDC+2)        /* [xxx] */
  65. #define NONE_OF    (ONE_OF+2)    /* [^xxx] */
  66. #define BACKREF    (NONE_OF+2)    /* \# */
  67. #define EOP    (BACKREF+2)    /* end of pattern */
  68.  
  69. /* ONE_OF/NONE_OF is represented as a bit vector.
  70.  * These symbols parameterize the representation.
  71.  */
  72.  
  73. #define    BYTESIZE    8
  74. #ifndef MiNT
  75. #define    SETSIZE        (NCHARS / BYTESIZE)
  76. #else
  77. #define    SETSIZE        (0200 / BYTESIZE)
  78. #endif /* MiNT */
  79. #define    SETBYTE(c)    ((c) / BYTESIZE)
  80. #define    SETBIT(c)    (1 << ((c) % BYTESIZE))
  81.  
  82. #define NPAR    10    /* [0-9] - 0th is the entire matched string, i.e. & */
  83. private char    *comp_ptr,
  84.         **alt_p,
  85.         **alt_endp;
  86.  
  87. void
  88. REcompile(pattern, re, re_blk)
  89. char    *pattern;
  90. bool    re;
  91. struct RE_block    *re_blk;
  92. {
  93.     REptr = pattern;
  94.     REpeekc = -1;
  95.     comp_ptr = re_blk->r_compbuf;
  96.     alt_p = re_blk->r_alternates;
  97.     alt_endp = alt_p + NALTS;
  98.     *alt_p++ = comp_ptr;
  99.     re_blk->r_nparens = 0;
  100.     (void) do_comp(re_blk, re ? OKAY_RE : NORM);
  101.     *alt_p = NULL;
  102.  
  103.     re_blk->r_anchored = NO;
  104.     re_blk->r_firstc = '\0';
  105.     /* do a little post processing */
  106.     if (re_blk->r_alternates[1] == NULL) {
  107.         char    *p;
  108.  
  109.         p = re_blk->r_alternates[0];
  110.         for (;;) {
  111.             switch (*p) {
  112.             case OPENP:
  113.             case CLOSEP:
  114.                 p += 2;
  115.                 continue;
  116.  
  117.             case AT_BOW:
  118.             case AT_EOW:
  119.                 p += 1;
  120.                 continue;
  121.  
  122.             case AT_BOL:
  123.                 re_blk->r_anchored = YES;
  124.                 /* don't set firstc -- won't work */
  125.                 break;
  126.  
  127.             case NORMC:
  128.             case CINDC:
  129.                 re_blk->r_firstc = CharUpcase(p[2]);
  130.                 break;
  131.  
  132.             default:
  133.                 break;
  134.             }
  135.             break;
  136.         }
  137.     }
  138. }
  139.  
  140. /* compile the pattern into an internal code */
  141.  
  142. private int
  143. do_comp(re_blk, kind)
  144. struct RE_block    *re_blk;
  145. int    kind;
  146. {
  147.     char    *this_verb,
  148.         *prev_verb,
  149.         *start_p,
  150.         *comp_endp;
  151.     int    parens[NPAR],
  152.         *parenp,
  153.         c,
  154.         ret_code;
  155.  
  156.     parenp = parens;
  157.     this_verb = NULL;
  158.     ret_code = 1;
  159.     comp_endp = &re_blk->r_compbuf[COMPSIZE - 6];
  160.  
  161.     /* wrap the whole expression around (implied) parens */
  162.     if (kind == OKAY_RE) {
  163.         *comp_ptr++ = OPENP;
  164.         *comp_ptr++ = re_blk->r_nparens;
  165.         *parenp++ = re_blk->r_nparens++;
  166.     }
  167.  
  168.     start_p = comp_ptr;
  169.  
  170.     while ((c = REgetc()) != '\0') {
  171.         if (comp_ptr > comp_endp) {
  172. toolong:
  173.             complain("Search string too long/complex.");
  174.         }
  175.         prev_verb = this_verb;
  176.         this_verb = comp_ptr;
  177.  
  178.         if (kind == NORM && strchr(".[*", c) != NULL)
  179.             goto defchar;
  180.         switch (c) {
  181.         case '\\':
  182.             switch (c = REgetc()) {
  183.             case '\0':
  184.                 complain("[Premature end of pattern]");
  185.                 /*NOTREACHED*/
  186.  
  187.             case '{':
  188.                 {
  189.                 char    *wcntp;        /* word count */
  190.  
  191.                 *comp_ptr++ = CURLYB;
  192.                 wcntp = comp_ptr;
  193.                 *comp_ptr++ = 0;
  194.                 for (;;) {
  195.                     int    comp_val;
  196.                     char    *comp_len;
  197.  
  198.                     comp_len = comp_ptr++;
  199.                     comp_val = do_comp(re_blk, IN_CB);
  200.                     *comp_len = comp_ptr - comp_len;
  201.                     (*wcntp) += 1;
  202.                     if (comp_val == 0)
  203.                         break;
  204.                 }
  205.                 break;
  206.                 }
  207.  
  208.             case '}':
  209.                 if (kind != IN_CB)
  210.                     complain("Unexpected \\}.");
  211.                 ret_code = 0;
  212.                 goto outahere;
  213.  
  214.             case '(':
  215.                 if (re_blk->r_nparens >= NPAR)
  216.                     complain("Too many ('s; max is %d.", NPAR);
  217.                 *comp_ptr++ = OPENP;
  218.                 *comp_ptr++ = re_blk->r_nparens;
  219.                 *parenp++ = re_blk->r_nparens++;
  220.                 break;
  221.  
  222.             case ')':
  223.                 if (parenp == parens)
  224.                     complain("Too many )'s.");
  225.                 *comp_ptr++ = CLOSEP;
  226.                 *comp_ptr++ = *--parenp;
  227.                 break;
  228.  
  229.             case '|':
  230.                 if (alt_p >= alt_endp)
  231.                     complain("Too many alternates; max %d.", NALTS);
  232.                 /* close off previous alternate */
  233.                 *comp_ptr++ = CLOSEP;
  234.                 *comp_ptr++ = *--parenp;
  235.                 *comp_ptr++ = EOP;
  236.                 *alt_p++ = comp_ptr;
  237.  
  238.                 /* start a new one */
  239.                 re_blk->r_nparens = 0;
  240.                 *comp_ptr++ = OPENP;
  241.                 *comp_ptr++ = re_blk->r_nparens;
  242.                 *parenp++ = re_blk->r_nparens++;
  243.                 start_p = comp_ptr;
  244.                 break;
  245.  
  246.             case '1':
  247.             case '2':
  248.             case '3':
  249.             case '4':
  250.             case '5':
  251.             case '6':
  252.             case '7':
  253.             case '8':
  254.             case '9':
  255.                 *comp_ptr++ = BACKREF;
  256.                 *comp_ptr++ = c - '0';
  257.                 break;
  258.  
  259.             case '<':
  260.                 *comp_ptr++ = AT_BOW;
  261.                 break;
  262.  
  263.             case '>':
  264.                 *comp_ptr++ = AT_EOW;
  265.                 break;
  266.  
  267.             default:
  268.                 goto defchar;
  269.             }
  270.             break;
  271.  
  272.         case ',':
  273.             if (kind != IN_CB)
  274.                 goto defchar;
  275.             goto outahere;
  276.  
  277.         case '.':
  278.             *comp_ptr++ = ANYC;
  279.             break;
  280.  
  281.         case '^':
  282.             if (comp_ptr == start_p) {
  283.                 *comp_ptr++ = AT_BOL;
  284.                 break;
  285.             }
  286.             goto defchar;
  287.  
  288.         case '$':
  289.             if ((REpeekc = REgetc()) != '\0' && REpeekc != '\\')
  290.                 goto defchar;
  291.             *comp_ptr++ = AT_EOL;
  292.             break;
  293.  
  294.         case '[':
  295.             {
  296.             int    chrcnt;
  297.  
  298.             *comp_ptr++ = ONE_OF;
  299.             if (comp_ptr + SETSIZE >= comp_endp)
  300.                 goto toolong;
  301.             byte_zero(comp_ptr, (size_t) SETSIZE);
  302.             if ((REpeekc = REgetc()) == '^') {
  303.                 *this_verb = NONE_OF;
  304.                 /* Get it for real this time. */
  305.                 (void) REgetc();
  306.             }
  307.             chrcnt = 0;
  308.             while ((c = REgetc()) != ']' && c != '\0') {
  309.                 if (c == '\\') {
  310.                     c = REgetc();
  311.                     if (c == '\0')
  312.                         break;
  313.                 } else if ((REpeekc = REgetc()) == '-') {
  314.                     int    i;
  315.  
  316.                     i = c;
  317.                     (void) REgetc();     /* reread '-' */
  318.                     c = REgetc();
  319.                     if (c == '\0')
  320.                         break;
  321.                     while (i < c) {
  322.                         comp_ptr[SETBYTE(i)] |= SETBIT(i);
  323.                         i += 1;
  324.                     }
  325.                 }
  326.                 comp_ptr[SETBYTE(c)] |= SETBIT(c);
  327.                 chrcnt += 1;
  328.             }
  329.             if (c == '\0')
  330.                 complain("Missing ].");
  331.             if (chrcnt == 0)
  332.                 complain("Empty [].");
  333.             comp_ptr += SETSIZE;
  334.             break;
  335.             }
  336.  
  337.         case '*':
  338.             if (prev_verb == NULL || *prev_verb <= NOSTR || (*prev_verb&STAR)!=0)
  339.                 goto defchar;
  340.  
  341.             if (*prev_verb == NORMC || *prev_verb == CINDC) {
  342.                 char    lastc = comp_ptr[-1];
  343.  
  344.                 /* The * operator applies only to the
  345.                  * previous character.  Since we were
  346.                  * building a string-matching command
  347.                  * (NORMC or CINDC), we must split it
  348.                  * up and work with the last character.
  349.                  *
  350.                  * Note that the STARed versions of these
  351.                  * commands do not operate on strings, and
  352.                  * so do not need or have character counts.
  353.                  */
  354.  
  355.                 if (prev_verb[1] == 1) {
  356.                     /* Only one char in string:
  357.                      * delete old command.
  358.                      */
  359.                     this_verb = prev_verb;
  360.                 } else {
  361.                     /* Several chars in string:
  362.                      * strip off the last.
  363.                      * New verb is derived from old.
  364.                      */
  365.                     prev_verb[1] -= 1;
  366.                     this_verb -= 1;
  367.                     *this_verb = *prev_verb;
  368.                 }
  369.                 comp_ptr = this_verb + 1;
  370.                 *comp_ptr++ = lastc;
  371.             } else {
  372.                 /* This command is just the previous one,
  373.                  * whose verb we will modify.
  374.                  */
  375.                 this_verb = prev_verb;
  376.             }
  377.             *this_verb |= STAR;
  378.             break;
  379.         default:
  380. defchar:
  381.             if ((prev_verb == NULL) ||
  382.                 !(*prev_verb == NORMC || *prev_verb == CINDC)) {
  383.                 /* create new string command */
  384.                 *comp_ptr++ = (CaseIgnore) ? CINDC : NORMC;
  385.                 *comp_ptr++ = 0;
  386.             } else {
  387.                 /* merge this into previous string command */
  388.                 this_verb = prev_verb;
  389.             }
  390.             this_verb[1] += 1;
  391.             *comp_ptr++ = c;
  392.             break;
  393.         }
  394.     }
  395. outahere:
  396.  
  397.     /* End of pattern, let's do some error checking. */
  398.     if (kind == OKAY_RE) {
  399.         *comp_ptr++ = CLOSEP;
  400.         *comp_ptr++ = *--parenp;
  401.     }
  402.     if (parenp != parens)
  403.         complain("Unmatched ()'s.");
  404.     if (kind == IN_CB && c == '\0')    /* end of pattern with missing \}. */
  405.         complain("Missing \\}.");
  406.     *comp_ptr++ = EOP;
  407.  
  408.     return ret_code;
  409. }
  410.  
  411. private char    *pstrtlst[NPAR],    /* index into re_blk->r_lbuf */
  412.         *pendlst[NPAR],
  413.         *REbolp,    /* begining-of-line pointer */
  414.         *locrater,    /* roof of last substitution */
  415.         *loc1,    /* start of matched text */
  416.         *loc2;    /* roof of matched text */
  417.  
  418. int    REbom,        /* beginning and end columns of match */
  419.     REeom,
  420.     REdelta;    /* increase in line length due to last re_dosub */
  421.  
  422. private bool
  423. backref(n, linep)
  424. int    n;
  425. register char    *linep;
  426. {
  427.     register char    *backsp,
  428.             *backep;
  429.  
  430.     backsp = pstrtlst[n];
  431.     backep = pendlst[n];
  432.     while (*backsp++ == *linep++)
  433.         if (backsp >= backep)
  434.             return YES;
  435.     return NO;
  436. }
  437.  
  438. private bool
  439. member(comp_ptr, c, af)
  440. register char    *comp_ptr;
  441. register int    c;
  442. bool        af;
  443. {
  444.     if (c == '\0')
  445.         return NO;    /* try to match EOL always fails */
  446.     if (comp_ptr[SETBYTE(c)] & SETBIT(c))
  447.         return af;
  448.     return !af;
  449. }
  450.  
  451. private bool
  452. REmatch(linep, comp_ptr)
  453. register char    *linep,
  454.         *comp_ptr;
  455. {
  456.     char    *first_p;
  457.     register int    n;
  458.  
  459.     for (;;) switch (*comp_ptr++) {
  460.     case NORMC:
  461.         n = *comp_ptr++;
  462.         while (--n >= 0)
  463.             if (*linep++ != *comp_ptr++)
  464.                 return NO;
  465.         continue;
  466.  
  467.     case CINDC:    /* case independent comparison */
  468.         n = *comp_ptr++;
  469.         while (--n >= 0)
  470.             if (!cind_cmp(*linep++, *comp_ptr++))
  471.                 return NO;
  472.         continue;
  473.  
  474.     case EOP:
  475.         loc2 = linep;
  476.         REeom = (loc2 - REbolp);
  477.         return YES;    /* Success! */
  478.  
  479.     case AT_BOL:
  480.         if (linep == REbolp && linep != locrater)
  481.             continue;
  482.         return NO;
  483.  
  484.     case AT_EOL:
  485.         if (*linep == '\0')
  486.             continue;
  487.         return NO;
  488.  
  489.     case ANYC:
  490.         if (*linep++ != '\0')
  491.             continue;
  492.         return NO;
  493.  
  494.     case AT_BOW:
  495.         if (linep != locrater && ismword(*linep)
  496.         && (linep == REbolp || !ismword(linep[-1])))
  497.             continue;
  498.         return NO;
  499.  
  500.     case AT_EOW:
  501.         if (linep != locrater && (*linep == '\0' || !ismword(*linep)) &&
  502.             (linep != REbolp && ismword(linep[-1])))
  503.             continue;
  504.         return NO;
  505.  
  506.     case ONE_OF:
  507.     case NONE_OF:
  508.         if (member(comp_ptr, *linep++, comp_ptr[-1] == ONE_OF)) {
  509.             comp_ptr += SETSIZE;
  510.             continue;
  511.         }
  512.         return NO;
  513.  
  514.     case OPENP:
  515.         pstrtlst[*comp_ptr++] = linep;
  516.         continue;
  517.  
  518.     case CLOSEP:
  519.         pendlst[*comp_ptr++] = linep;
  520.         continue;
  521.  
  522.     case BACKREF:
  523.         if (pstrtlst[n = *comp_ptr++] == NULL) {
  524.             s_mess("\\%d was not specified.", n + 1);
  525.         } else if (backref(n, linep)) {
  526.             linep += pendlst[n] - pstrtlst[n];
  527.             continue;
  528.         }
  529.         return NO;
  530.  
  531.     case CURLYB:
  532.         {
  533.         int    wcnt;
  534.         bool    any;
  535.  
  536.         wcnt = *comp_ptr++;
  537.         any = NO;
  538.  
  539.         while (--wcnt >= 0) {
  540.             if (!any)
  541.                 any = REmatch(linep, comp_ptr + 1);
  542.             comp_ptr += *comp_ptr;
  543.         }
  544.         if (!any)
  545.             return NO;
  546.         linep = loc2;
  547.         continue;
  548.         }
  549.  
  550.     case ANYC | STAR:
  551.         first_p = linep;
  552.         do ; while (*linep++);
  553.         goto star;
  554.  
  555.     case NORMC | STAR:
  556.         first_p = linep;
  557.         do ; while (*comp_ptr == *linep++);
  558.         comp_ptr += 1;
  559.         goto star;
  560.  
  561.     case CINDC | STAR:
  562.         first_p = linep;
  563.         do ; while (cind_cmp(*comp_ptr, *linep++));
  564.         comp_ptr += 1;
  565.         goto star;
  566.  
  567.     case ONE_OF | STAR:
  568.     case NONE_OF | STAR:
  569.         first_p = linep;
  570.         do ; while (member(comp_ptr, *linep++, comp_ptr[-1] == (ONE_OF | STAR)));
  571.         comp_ptr += SETSIZE;
  572.         /* fall through */
  573. star:
  574.         /* linep points *after* first unmatched char.
  575.          * first_p points at where starred element started matching.
  576.          */
  577.         while (--linep > first_p) {
  578.             if ((*comp_ptr != NORMC || *linep == comp_ptr[2]) &&
  579.                 REmatch(linep, comp_ptr))
  580.                 return YES;
  581.         }
  582.         continue;
  583.  
  584.     case BACKREF | STAR:
  585.         first_p = linep;
  586.         n = *comp_ptr++;
  587.         while (backref(n, linep))
  588.             linep += pendlst[n] - pstrtlst[n];
  589.         while (linep > first_p) {
  590.             if (REmatch(linep, comp_ptr))
  591.                 return YES;
  592.             linep -= pendlst[n] - pstrtlst[n];
  593.         }
  594.         continue;
  595.  
  596.     default:
  597.         complain("RE error match (%d).", comp_ptr[-1]);
  598.     }
  599.     /* NOTREACHED */
  600. }
  601.  
  602. private void
  603. REreset()
  604. {
  605.     register int    i;
  606.  
  607.     for (i = 0; i < NPAR; i++)
  608.         pstrtlst[i] = pendlst[i] = NULL;
  609. }
  610.  
  611. /* Index LINE at OFFSET.  If lbuf_okay is nonzero it's okay to use linebuf
  612.    if LINE is the current line.  This should save lots of time in things
  613.    like paren matching in LISP mode.  Saves all that copying from linebuf
  614.    to a local buffer.  substitute() is the guy who calls re_lindex with
  615.    lbuf_okay as NO, since the substitution gets placed in linebuf ...
  616.    doesn't work too well when the source and destination strings are the
  617.    same.  I hate all these arguments!
  618.  
  619.    This code is cumbersome, repetetive for reasons of efficiency.  Fast
  620.    search is a must as far as I am concerned. */
  621.  
  622. bool
  623. re_lindex(line, offset, dir, re_blk, lbuf_okay, crater)
  624. Line    *line;
  625. int    offset;
  626. int    dir;
  627. struct RE_block    *re_blk;
  628. int    lbuf_okay;
  629. int    crater;    /* offset of previous substitute (or -1) */
  630. {
  631.     register char    *p;
  632.     register int    firstc = re_blk->r_firstc;
  633.     register int    anchored = re_blk->r_anchored;
  634.     char        **alts = re_blk->r_alternates;
  635.  
  636.     REreset();
  637.     if (lbuf_okay) {
  638.         REbolp = lbptr(line);
  639.         if (offset == -1)
  640.             offset = strlen(REbolp);    /* arg! */
  641.     } else {
  642.         REbolp = ltobuf(line, re_blk->r_lbuf);
  643.         if (offset == -1) {    /* Reverse search, find end of line. */
  644.             offset = Jr_Len;    /* Just Read Len. */
  645.         }
  646.     }
  647.  
  648.     if (anchored == YES) {
  649.         if (dir == FORWARD) {
  650.             if (offset != 0 || crater != -1)
  651.                 return NO;
  652.         } else {
  653.             offset = 0;
  654.         }
  655.     }
  656.  
  657.     p = REbolp + offset;
  658.     locrater = REbolp + crater;
  659.  
  660.     if (firstc != '\0') {
  661.         char    *first_alt = *alts;
  662.  
  663.         if (dir == FORWARD) {
  664.             while (CharUpcase(*p) != firstc || !REmatch(p, first_alt))
  665.                 if (*p++ == '\0')
  666.                     return NO;
  667.         } else {
  668.             while (CharUpcase(*p) != firstc || !REmatch(p, first_alt))
  669.                 if (--p < REbolp)
  670.                     return NO;
  671.         }
  672.     } else {
  673.         for (;;) {
  674.             register char    **altp = alts;
  675.  
  676.             while (*altp != NULL)
  677.                 if (REmatch(p, *altp++))
  678.                     goto success;
  679.             if (anchored ||
  680.                 (dir == FORWARD ? *p++ == '\0' : --p < REbolp))
  681.                 return NO;
  682.         }
  683. success:;
  684.     }
  685.     loc1 = p;
  686.     REbom = loc1 - REbolp;
  687.  
  688.     return YES;
  689. }
  690.  
  691. bool    okay_wrap = NO;    /* Do a wrap search ... not when we're
  692.                parsing errors ... */
  693.  
  694. Bufpos *
  695. dosearch(pattern, dir, re)
  696. char    *pattern;
  697. int    dir;
  698. bool    re;
  699. {
  700.     Bufpos    *pos;
  701.     struct RE_block    re_blk;        /* global re-compiled buffer */
  702.  
  703.     if (bobp() && eobp())    /* Can't match!  There's no buffer. */
  704.         return NULL;
  705.  
  706.     REcompile(pattern, re, &re_blk);
  707.  
  708.     pos = docompiled(dir, &re_blk);
  709.     return pos;
  710. }
  711.  
  712. Bufpos *
  713. docompiled(dir, re_blk)
  714. int dir;
  715. register struct RE_block    *re_blk;
  716. {
  717.     static Bufpos    ret;
  718.     register Line    *lp;
  719.     register int    offset;
  720.     int    we_wrapped = NO;
  721.  
  722.     lsave();
  723.     /* Search now lsave()'s so it doesn't make any assumptions on
  724.        whether the the contents of curline/curchar are in linebuf.
  725.        Nowhere does search write all over linebuf.  However, we have to
  726.        be careful about what calls we make here, because many of them
  727.        assume (and rightly so) that curline is in linebuf. */
  728.  
  729.     lp = curline;
  730.     offset = curchar;
  731.     if (dir == BACKWARD) {
  732.         if (bobp()) {
  733.             if (okay_wrap && WrapScan)
  734.                 goto doit;
  735.             return NULL;
  736.         }
  737.         /* here we simulate BackChar() */
  738.         if (bolp()) {
  739.             lp = lp->l_prev;
  740.             offset = length(lp);
  741.         } else {
  742.             offset -= 1;
  743.         }
  744.     } else if (dir==FORWARD && lbptr(lp)[offset]=='\0' && !lastp(lp)) {
  745.         lp = lp->l_next;
  746.         offset = 0;
  747.     }
  748.  
  749.     do {
  750.         if (re_lindex(lp, offset, dir, re_blk, YES, -1))
  751.             break;
  752. doit:
  753.         lp = (dir == FORWARD) ? lp->l_next : lp->l_prev;
  754.         if (lp == NULL) {
  755.             if (okay_wrap && WrapScan) {
  756.                 lp = (dir == FORWARD) ?
  757.                      curbuf->b_first : curbuf->b_last;
  758.                 we_wrapped = YES;
  759.             } else
  760.                  break;
  761.         }
  762.         if (dir == FORWARD)
  763.             offset = 0;
  764.         else
  765.             offset = -1;    /* signals re_lindex ... */
  766.     } while (lp != curline);
  767.  
  768.     if (lp == curline && we_wrapped)
  769.         lp = NULL;
  770.     if (lp == NULL)
  771.         return NULL;
  772.     ret.p_line = lp;
  773.     ret.p_char = (dir == FORWARD) ? REeom : REbom;
  774.     return &ret;
  775. }
  776.  
  777. private char *
  778. insert(off, endp, which)
  779. char    *off,
  780.     *endp;
  781. int which;
  782. {
  783.     register char    *pp;
  784.     register int    n;
  785.  
  786.     n = pendlst[which] - pstrtlst[which];
  787.     pp = pstrtlst[which];
  788.     while (--n >= 0) {
  789.         *off++ = *pp++;
  790.         if (off >= endp)
  791.             len_error(ERROR);
  792.     }
  793.     return off;
  794. }
  795.  
  796. /* Perform the substitution.  If DELP is nonzero the matched string is
  797.    deleted, i.e., the substitution string is not inserted. */
  798.  
  799. void
  800. re_dosub(re_blk, tobuf, delp)
  801. struct RE_block    *re_blk;
  802. char    *tobuf;
  803. int delp;
  804. {
  805.     register char    *tp,
  806.             *rp;
  807.     char    *endp;
  808.  
  809.     tp = tobuf;
  810.     endp = tp + LBSIZE;
  811.     rp = re_blk->r_lbuf;
  812.  
  813.     while (rp < loc1)
  814.         *tp++ = *rp++;
  815.  
  816.     if (!delp) {
  817.         register int    c;
  818.  
  819.         rp = rep_str;
  820.         while ((c = *rp++) != '\0') {
  821.             if (c == '\\') {
  822.                 c = *rp++;
  823.                 if (c >= '0' && c < re_blk->r_nparens + '0') {
  824.                     tp = insert(tp, endp, c - '0');
  825.                     continue;
  826.                 }
  827.                 if (c == '\0') {
  828.                     *tp++ = '\\';
  829.                     rp--;   /* be sure to hit again */
  830.                 }
  831.             }
  832.             *tp++ = c;
  833.             if (tp >= endp)
  834.                 len_error(ERROR);
  835.         }
  836.     }
  837.     rp = loc2;
  838.     REdelta = -REeom;
  839.     REeom = tp - tobuf;
  840.     REdelta += REeom;
  841.     if (loc1==rp && *rp!='\0') {
  842.         /* Skip an extra character if the matched text was a null
  843.          * string, but don't skip over the end of line.  This is to
  844.          * prevent an infinite number of replacements in the same
  845.          * position, e.g., replace "^" with "".
  846.          */
  847.         REeom += 1;
  848.     }
  849.     loc2 = re_blk->r_lbuf + REeom;
  850.     while ((*tp++ = *rp++) != '\0')
  851.         if (tp >= endp)
  852.             len_error(ERROR);
  853. }
  854.  
  855. void
  856. putmatch(which, buf, size)
  857. int which;
  858. char    *buf;
  859. size_t size;
  860. {
  861.     *(insert(buf, buf + size, which)) = '\0';
  862. }
  863.  
  864. void
  865. setsearch(str)
  866. char    *str;
  867. {
  868.     strcpy(searchstr, str);
  869. }
  870.  
  871. char *
  872. getsearch()
  873. {
  874.     return searchstr;
  875. }
  876.  
  877. void
  878. RErecur()
  879. {
  880.     char    repbuf[sizeof rep_str];
  881.     Mark    *m = MakeMark(curline, REbom, M_FLOATER);
  882.  
  883.     message("Type C-X C-C to continue with query replace.");
  884.  
  885.     byte_copy(rep_str, repbuf, sizeof rep_str);
  886.     Recur();
  887.     byte_copy(repbuf, rep_str, sizeof rep_str);
  888.     if (!is_an_arg())
  889.         ToMark(m);
  890.     DelMark(m);
  891. }
  892.  
  893. void
  894. ForSearch()
  895. {
  896.     search(FORWARD, UseRE, YES);
  897. }
  898.  
  899. void
  900. RevSearch()
  901. {
  902.     search(BACKWARD, UseRE, YES);
  903. }
  904.  
  905. void
  906. FSrchND()
  907. {
  908.     search(FORWARD, UseRE, NO);
  909. }
  910.  
  911. void
  912. RSrchND()
  913. {
  914.     search(BACKWARD, UseRE, NO);
  915. }
  916.  
  917. private void
  918. search(dir, re, setdefault)
  919. int    dir;
  920. bool    re,
  921.     setdefault;
  922. {
  923.     Bufpos    *newdot;
  924.     char    *s;
  925.  
  926.     s = ask(searchstr, ProcFmt);
  927.     if (setdefault)
  928.         setsearch(s);
  929.     okay_wrap = YES;
  930.     newdot = dosearch(s, dir, re);
  931.     okay_wrap = NO;
  932.     if (newdot == NULL) {
  933.         if (WrapScan)
  934.             complain("No \"%s\" in buffer.", s);
  935.         else
  936.             complain("No \"%s\" found to %s.", s,
  937.                  (dir == FORWARD) ? "bottom" : "top");
  938.     }
  939.     PushPntp(newdot->p_line);
  940.     SetDot(newdot);
  941. }
  942.  
  943. /* Do we match PATTERN at OFFSET in BUF? */
  944.  
  945. bool
  946. LookingAt(pattern, buf, offset)
  947. char    *pattern,
  948.     *buf;
  949. int offset;
  950. {
  951.     struct RE_block    re_blk;
  952.     char    **alt = re_blk.r_alternates;
  953.  
  954.     REcompile(pattern, YES, &re_blk);
  955.     REreset();
  956.     locrater = NULL;
  957.     REbolp = buf;
  958.  
  959.     while (*alt)
  960.         if (REmatch(buf + offset, *alt++))
  961.             return YES;
  962.     return NO;
  963. }
  964.  
  965. bool
  966. look_at(expr)
  967. char    *expr;
  968. {
  969.     struct RE_block    re_blk;
  970.  
  971.     REcompile(expr, NO, &re_blk);
  972.     REreset();
  973.     locrater = NULL;
  974.     REbolp = linebuf;
  975.     if (REmatch(linebuf + curchar, re_blk.r_alternates[0]))
  976.         return YES;
  977.     return NO;
  978. }
  979.