home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 22 gnu / 22-gnu.zip / GREP15.ZIP / DFA.H < prev    next >
C/C++ Source or Header  |  1991-01-14  |  23KB  |  560 lines

  1. /* dfa.h - declarations for GNU deterministic regexp compiler
  2.    Copyright (C) 1988 Free Software Foundation, Inc.
  3.                       Written June, 1988 by Mike Haertel
  4.  
  5.                NO WARRANTY
  6.  
  7.   BECAUSE THIS PROGRAM IS LICENSED FREE OF CHARGE, WE PROVIDE ABSOLUTELY
  8. NO WARRANTY, TO THE EXTENT PERMITTED BY APPLICABLE STATE LAW.  EXCEPT
  9. WHEN OTHERWISE STATED IN WRITING, FREE SOFTWARE FOUNDATION, INC,
  10. RICHARD M. STALLMAN AND/OR OTHER PARTIES PROVIDE THIS PROGRAM "AS IS"
  11. WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
  12. BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
  13. FITNESS FOR A PARTICULAR PURPOSE.  THE ENTIRE RISK AS TO THE QUALITY
  14. AND PERFORMANCE OF THE PROGRAM IS WITH YOU.  SHOULD THE PROGRAM PROVE
  15. DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR
  16. CORRECTION.
  17.  
  18.  IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW WILL RICHARD M.
  19. STALLMAN, THE FREE SOFTWARE FOUNDATION, INC., AND/OR ANY OTHER PARTY
  20. WHO MAY MODIFY AND REDISTRIBUTE THIS PROGRAM AS PERMITTED BELOW, BE
  21. LIABLE TO YOU FOR DAMAGES, INCLUDING ANY LOST PROFITS, LOST MONIES, OR
  22. OTHER SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
  23. USE OR INABILITY TO USE (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR
  24. DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY THIRD PARTIES OR
  25. A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS) THIS
  26. PROGRAM, EVEN IF YOU HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH
  27. DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY.
  28.  
  29.         GENERAL PUBLIC LICENSE TO COPY
  30.  
  31.   1. You may copy and distribute verbatim copies of this source file
  32. as you receive it, in any medium, provided that you conspicuously and
  33. appropriately publish on each copy a valid copyright notice "Copyright
  34.  (C) 1988 Free Software Foundation, Inc."; and include following the
  35. copyright notice a verbatim copy of the above disclaimer of warranty
  36. and of this License.  You may charge a distribution fee for the
  37. physical act of transferring a copy.
  38.  
  39.   2. You may modify your copy or copies of this source file or
  40. any portion of it, and copy and distribute such modifications under
  41. the terms of Paragraph 1 above, provided that you also do the following:
  42.  
  43.     a) cause the modified files to carry prominent notices stating
  44.     that you changed the files and the date of any change; and
  45.  
  46.     b) cause the whole of any work that you distribute or publish,
  47.     that in whole or in part contains or is a derivative of this
  48.     program or any part thereof, to be licensed at no charge to all
  49.     third parties on terms identical to those contained in this
  50.     License Agreement (except that you may choose to grant more extensive
  51.     warranty protection to some or all third parties, at your option).
  52.  
  53.     c) You may charge a distribution fee for the physical act of
  54.     transferring a copy, and you may at your option offer warranty
  55.     protection in exchange for a fee.
  56.  
  57. Mere aggregation of another unrelated program with this program (or its
  58. derivative) on a volume of a storage or distribution medium does not bring
  59. the other program under the scope of these terms.
  60.  
  61.   3. You may copy and distribute this program or any portion of it in
  62. compiled, executable or object code form under the terms of Paragraphs
  63. 1 and 2 above provided that you do the following:
  64.  
  65.     a) accompany it with the complete corresponding machine-readable
  66.     source code, which must be distributed under the terms of
  67.     Paragraphs 1 and 2 above; or,
  68.  
  69.     b) accompany it with a written offer, valid for at least three
  70.     years, to give any third party free (except for a nominal
  71.     shipping charge) a complete machine-readable copy of the
  72.     corresponding source code, to be distributed under the terms of
  73.     Paragraphs 1 and 2 above; or,
  74.  
  75.     c) accompany it with the information you received as to where the
  76.     corresponding source code may be obtained.  (This alternative is
  77.     allowed only for noncommercial distribution and only if you
  78.     received the program in object code or executable form alone.)
  79.  
  80. For an executable file, complete source code means all the source code for
  81. all modules it contains; but, as a special exception, it need not include
  82. source code for modules which are standard libraries that accompany the
  83. operating system on which the executable file runs.
  84.  
  85.   4. You may not copy, sublicense, distribute or transfer this program
  86. except as expressly provided under this License Agreement.  Any attempt
  87. otherwise to copy, sublicense, distribute or transfer this program is void and
  88. your rights to use the program under this License agreement shall be
  89. automatically terminated.  However, parties who have received computer
  90. software programs from you with this License Agreement will not have
  91. their licenses terminated so long as such parties remain in full compliance.
  92.  
  93.   5. If you wish to incorporate parts of this program into other free
  94. programs whose distribution conditions are different, write to the Free
  95. Software Foundation at 675 Mass Ave, Cambridge, MA 02139.  We have not yet
  96. worked out a simple rule that can be stated here, but we will often permit
  97. this.  We will be guided by the two goals of preserving the free status of
  98. all derivatives our free software and of promoting the sharing and reuse of
  99. software.
  100.  
  101.  
  102. In other words, you are welcome to use, share and improve this program.
  103. You are forbidden to forbid anyone else to use, share and improve
  104. what you give them.   Help stamp out software-hoarding!  */
  105.  
  106.  
  107. #ifdef USG
  108. #include <string.h>
  109. extern char *index();
  110. #else
  111. #include <strings.h>
  112. extern char *strchr(), *strrchr(), *memcpy();
  113. #endif
  114.  
  115. #ifdef __STDC__
  116.  
  117. /* Missing include files for GNU C. */
  118. #ifdef MSDOS
  119. #include <stdlib.h>
  120. #else
  121. typedef int size_t;
  122. extern void *calloc(int, size_t);
  123. extern void *malloc(size_t);
  124. extern void *realloc(void *, size_t);
  125. extern void free(void *);
  126. #endif
  127.  
  128. extern char *bcopy(), *bzero();
  129.  
  130. #ifdef SOMEDAY
  131. #define ISALNUM(c) isalnum(c)
  132. #define ISALPHA(c) isalpha(c)
  133. #define ISUPPER(c) isupper(c)
  134. #else
  135. #define ISALNUM(c) (isascii(c) && isalnum(c))
  136. #define ISALPHA(c) (isascii(c) && isalpha(c))
  137. #define ISUPPER(c) (isascii(c) && isupper(c))
  138. #endif
  139.  
  140. #else /* ! __STDC__ */
  141.  
  142. #define const
  143. typedef int size_t;
  144. extern char *calloc(), *malloc(), *realloc();
  145. extern void free();
  146.  
  147. extern char *bcopy(), *bzero();
  148.  
  149. #define ISALNUM(c) (isascii(c) && isalnum(c))
  150. #define ISALPHA(c) (isascii(c) && isalpha(c))
  151. #define ISUPPER(c) (isascii(c) && isupper(c))
  152.  
  153. #endif /* ! __STDC__ */
  154.  
  155. /* 1 means plain parentheses serve as grouping, and backslash
  156.      parentheses are needed for literal searching.
  157.    0 means backslash-parentheses are grouping, and plain parentheses
  158.      are for literal searching.  */
  159. #define RE_NO_BK_PARENS 1
  160.  
  161. /* 1 means plain | serves as the "or"-operator, and \| is a literal.
  162.    0 means \| serves as the "or"-operator, and | is a literal.  */
  163. #define RE_NO_BK_VBAR 2
  164.  
  165. /* 0 means plain + or ? serves as an operator, and \+, \? are literals.
  166.    1 means \+, \? are operators and plain +, ? are literals.  */
  167. #define RE_BK_PLUS_QM 4
  168.  
  169. /* 1 means | binds tighter than ^ or $.
  170.    0 means the contrary.  */
  171. #define RE_TIGHT_VBAR 8
  172.  
  173. /* 1 means treat \n as an _OR operator
  174.    0 means treat it as a normal character */
  175. #define RE_NEWLINE_OR 16
  176.  
  177. /* 0 means that a special characters (such as *, ^, and $) always have
  178.      their special meaning regardless of the surrounding context.
  179.    1 means that special characters may act as normal characters in some
  180.      contexts.  Specifically, this applies to:
  181.     ^ - only special at the beginning, or after ( or |
  182.     $ - only special at the end, or before ) or |
  183.     *, +, ? - only special when not after the beginning, (, or | */
  184. #define RE_CONTEXT_INDEP_OPS 32
  185.  
  186. /* Now define combinations of bits for the standard possibilities.  */
  187. #define RE_SYNTAX_AWK (RE_NO_BK_PARENS | RE_NO_BK_VBAR | RE_CONTEXT_INDEP_OPS)
  188. #define RE_SYNTAX_EGREP (RE_SYNTAX_AWK | RE_NEWLINE_OR)
  189. #define RE_SYNTAX_GREP (RE_BK_PLUS_QM | RE_NEWLINE_OR)
  190. #define RE_SYNTAX_EMACS 0
  191.  
  192. /* The NULL pointer. */
  193. #ifndef MSDOS
  194. #define NULL 0
  195. #endif
  196.  
  197. /* Number of bits in an unsigned char. */
  198. #define CHARBITS 8
  199.  
  200. /* First integer value that is greater than any character code. */
  201. #define _NOTCHAR (1 << CHARBITS)
  202.  
  203. /* INTBITS need not be exact, just a lower bound. */
  204. #define INTBITS (CHARBITS * sizeof (int))
  205.  
  206. /* Number of ints required to hold a bit for every character. */
  207. #define _CHARSET_INTS ((_NOTCHAR + INTBITS - 1) / INTBITS)
  208.  
  209. /* Sets of unsigned characters are stored as bit vectors in arrays of ints. */
  210. typedef int _charset[_CHARSET_INTS];
  211.  
  212. /* The regexp is parsed into an array of tokens in postfix form.  Some tokens
  213.    are operators and others are terminal symbols.  Most (but not all) of these
  214.    codes are returned by the lexical analyzer. */
  215. #ifdef __STDC__
  216.  
  217. typedef enum
  218. {
  219.   _END = -1,            /* _END is a terminal symbol that matches the
  220.                    end of input; any value of _END or less in
  221.                    the parse tree is such a symbol.  Accepting
  222.                    states of the DFA are those that would have
  223.                    a transition on _END. */
  224.  
  225.   /* Ordinary character values are terminal symbols that match themselves. */
  226.  
  227.   _EMPTY = _NOTCHAR,        /* _EMPTY is a terminal symbol that matches
  228.                    the empty string. */
  229.  
  230.   _BACKREF,            /* _BACKREF is generated by \<digit>; it
  231.                    it not completely handled.  If the scanner
  232.                    detects a transition on backref, it returns
  233.                    a kind of "semi-success" indicating that
  234.                    the match will have to be verified with
  235.                    a backtracking matcher. */
  236.  
  237.   _BEGLINE,            /* _BEGLINE is a terminal symbol that matches
  238.                    the empty string if it is at the beginning
  239.                    of a line. */
  240.  
  241.   _ALLBEGLINE,            /* _ALLBEGLINE is a terminal symbol that
  242.                    matches the empty string if it is at the
  243.                    beginning of a line; _ALLBEGLINE applies
  244.                    to the entire regexp and can only occur
  245.                    as the first token thereof.  _ALLBEGLINE
  246.                    never appears in the parse tree; a _BEGLINE
  247.                    is prepended with _CAT to the entire
  248.                    regexp instead. */
  249.  
  250.   _ENDLINE,            /* _ENDLINE is a terminal symbol that matches
  251.                    the empty string if it is at the end of
  252.                    a line. */
  253.  
  254.   _ALLENDLINE,            /* _ALLENDLINE is to _ENDLINE as _ALLBEGLINE
  255.                    is to _BEGLINE. */
  256.  
  257.   _BEGWORD,            /* _BEGWORD is a terminal symbol that matches
  258.                    the empty string if it is at the beginning
  259.                    of a word. */
  260.  
  261.   _ENDWORD,            /* _ENDWORD is a terminal symbol that matches
  262.                    the empty string if it is at the end of
  263.                    a word. */
  264.  
  265.   _LIMWORD,            /* _LIMWORD is a terminal symbol that matches
  266.                    the empty string if it is at the beginning
  267.                    or the end of a word. */
  268.  
  269.   _NOTLIMWORD,            /* _NOTLIMWORD is a terminal symbol that
  270.                    matches the empty string if it is not at
  271.                    the beginning or end of a word. */
  272.  
  273.   _QMARK,            /* _QMARK is an operator of one argument that
  274.                    matches zero or one occurences of its
  275.                    argument. */
  276.  
  277.   _STAR,            /* _STAR is an operator of one argument that
  278.                    matches the Kleene closure (zero or more
  279.                    occurrences) of its argument. */
  280.  
  281.   _PLUS,            /* _PLUS is an operator of one argument that
  282.                    matches the positive closure (one or more
  283.                    occurrences) of its argument. */
  284.  
  285.   _CAT,                /* _CAT is an operator of two arguments that
  286.                    matches the concatenation of its
  287.                    arguments.  _CAT is never returned by the
  288.                    lexical analyzer. */
  289.  
  290.   _OR,                /* _OR is an operator of two arguments that
  291.                    matches either of its arguments. */
  292.  
  293.   _LPAREN,            /* _LPAREN never appears in the parse tree,
  294.                    it is only a lexeme. */
  295.  
  296.   _RPAREN,            /* _RPAREN never appears in the parse tree. */
  297.  
  298.   _SET                /* _SET and (and any value greater) is a
  299.                    terminal symbol that matches any of a
  300.                    class of characters. */
  301. } _token;
  302.  
  303. #else /* ! __STDC__ */
  304.  
  305. typedef short _token;
  306.  
  307. #define _END -1
  308. #define _EMPTY _NOTCHAR
  309. #define _BACKREF (_EMPTY + 1)
  310. #define _BEGLINE (_EMPTY + 2)
  311. #define _ALLBEGLINE (_EMPTY + 3)
  312. #define _ENDLINE (_EMPTY + 4)
  313. #define _ALLENDLINE (_EMPTY + 5)
  314. #define _BEGWORD (_EMPTY + 6)
  315. #define _ENDWORD (_EMPTY + 7)
  316. #define _LIMWORD (_EMPTY + 8)
  317. #define _NOTLIMWORD (_EMPTY + 9)
  318. #define _QMARK (_EMPTY + 10)
  319. #define _STAR (_EMPTY + 11)
  320. #define _PLUS (_EMPTY + 12)
  321. #define _CAT (_EMPTY + 13)
  322. #define _OR (_EMPTY + 14)
  323. #define _LPAREN (_EMPTY + 15)
  324. #define _RPAREN (_EMPTY + 16)
  325. #define _SET (_EMPTY + 17)
  326.  
  327. #endif /* ! __STDC__ */
  328.  
  329. /* Sets are stored in an array in the compiled regexp; the index of the
  330.    array corresponding to a given set token is given by _SET_INDEX(t). */
  331. #define _SET_INDEX(t) ((t) - _SET)
  332.  
  333. /* Sometimes characters can only be matched depending on the surrounding
  334.    context.  Such context decisions depend on what the previous character
  335.    was, and the value of the current (lookahead) character.  Context
  336.    dependent constraints are encoded as 8 bit integers.  Each bit that
  337.    is set indicates that the constraint succeeds in the corresponding
  338.    context.
  339.  
  340.    bit 7 - previous and current are newlines
  341.    bit 6 - previous was newline, current isn't
  342.    bit 5 - previous wasn't newline, current is
  343.    bit 4 - neither previous nor current is a newline
  344.    bit 3 - previous and current are word-constituents
  345.    bit 2 - previous was word-constituent, current isn't
  346.    bit 1 - previous wasn't word-constituent, current is
  347.    bit 0 - neither previous nor current is word-constituent
  348.  
  349.    Word-constituent characters are those that satisfy isalnum().
  350.  
  351.    The macro _SUCCEEDS_IN_CONTEXT determines whether a a given constraint
  352.    succeeds in a particular context.  Prevn is true if the previous character
  353.    was a newline, currn is true if the lookahead character is a newline.
  354.    Prevl and currl similarly depend upon whether the previous and current
  355.    characters are word-constituent letters. */
  356. #define _MATCHES_NEWLINE_CONTEXT(constraint, prevn, currn) \
  357.   ((constraint) & 1 << ((prevn) ? 2 : 0) + ((currn) ? 1 : 0) + 4)
  358. #define _MATCHES_LETTER_CONTEXT(constraint, prevl, currl) \
  359.   ((constraint) & 1 << ((prevl) ? 2 : 0) + ((currl) ? 1 : 0))
  360. #define _SUCCEEDS_IN_CONTEXT(constraint, prevn, currn, prevl, currl) \
  361.   (_MATCHES_NEWLINE_CONTEXT(constraint, prevn, currn)             \
  362.    && _MATCHES_LETTER_CONTEXT(constraint, prevl, currl))
  363.  
  364. /* The following macros give information about what a constraint depends on. */
  365. #define _PREV_NEWLINE_DEPENDENT(constraint) \
  366.   (((constraint) & 0xc0) >> 2 != ((constraint) & 0x30))
  367. #define _PREV_LETTER_DEPENDENT(constraint) \
  368.   (((constraint) & 0x0c) >> 2 != ((constraint) & 0x03))
  369.  
  370. /* Tokens that match the empty string subject to some constraint actually
  371.    work by applying that constraint to determine what may follow them,
  372.    taking into account what has gone before.  The following values are
  373.    the constraints corresponding to the special tokens previously defined. */
  374. #define _NO_CONSTRAINT 0xff
  375. #define _BEGLINE_CONSTRAINT 0xcf
  376. #define _ENDLINE_CONSTRAINT 0xaf
  377. #define _BEGWORD_CONSTRAINT 0xf2
  378. #define _ENDWORD_CONSTRAINT 0xf4
  379. #define _LIMWORD_CONSTRAINT 0xf6
  380. #define _NOTLIMWORD_CONSTRAINT 0xf9
  381.  
  382. /* States of the recognizer correspond to sets of positions in the parse
  383.    tree, together with the constraints under which they may be matched.
  384.    So a position is encoded as an index into the parse tree together with
  385.    a constraint. */
  386. typedef struct
  387. {
  388.   unsigned index;        /* Index into the parse array. */
  389.   unsigned constraint;        /* Constraint for matching this position. */
  390. } _position;
  391.  
  392. /* Sets of positions are stored as arrays. */
  393. typedef struct
  394. {
  395.   _position *elems;        /* Elements of this position set. */
  396.   int nelem;            /* Number of elements in this set. */
  397. } _position_set;
  398.  
  399. /* A state of the regexp consists of a set of positions, some flags,
  400.    and the token value of the lowest-numbered position of the state that
  401.    contains an _END token. */
  402. typedef struct
  403. {
  404.   int hash;            /* Hash of the positions of this state. */
  405.   _position_set elems;        /* Positions this state could match. */
  406.   char newline;            /* True if previous state matched newline. */
  407.   char letter;            /* True if previous state matched a letter. */
  408.   char backref;            /* True if this state matches a \<digit>. */
  409.   unsigned char constraint;    /* Constraint for this state to accept. */
  410.   int first_end;        /* Token value of the first _END in elems. */
  411. } _dfa_state;
  412.  
  413. /* If an r.e. is at most MUST_MAX characters long, we look for a string which
  414.    must appear in it; whatever's found is dropped into the struct reg. */
  415.  
  416. #define MUST_MAX    50
  417.  
  418. /* A compiled regular expression. */
  419. struct regexp
  420. {
  421.   /* Stuff built by the scanner. */
  422.   _charset *charsets;        /* Array of character sets for _SET tokens. */
  423.   int cindex;            /* Index for adding new charsets. */
  424.   int calloc;            /* Number of charsets currently allocated. */
  425.  
  426.   /* Stuff built by the parser. */
  427.   _token *tokens;        /* Postfix parse array. */
  428.   int tindex;            /* Index for adding new tokens. */
  429.   int talloc;            /* Number of tokens currently allocated. */
  430.   int depth;            /* Depth required of an evaluation stack
  431.                    used for depth-first traversal of the
  432.                    parse tree. */
  433.   int nleaves;            /* Number of leaves on the parse tree. */
  434.   int nregexps;            /* Count of parallel regexps being built
  435.                    with regparse(). */
  436.  
  437.   /* Stuff owned by the state builder. */
  438.   _dfa_state *states;        /* States of the regexp. */
  439.   int sindex;            /* Index for adding new states. */
  440.   int salloc;            /* Number of states currently allocated. */
  441.  
  442.   /* Stuff built by the structure analyzer. */
  443.   _position_set *follows;    /* Array of follow sets, indexed by position
  444.                    index.  The follow of a position is the set
  445.                    of positions containing characters that
  446.                    could conceivably follow a character
  447.                    matching the given position in a string
  448.                    matching the regexp.  Allocated to the
  449.                    maximum possible position index. */
  450.   int searchflag;        /* True if we are supposed to build a searching
  451.                    as opposed to an exact matcher.  A searching
  452.                    matcher finds the first and shortest string
  453.                    matching a regexp anywhere in the buffer,
  454.                    whereas an exact matcher finds the longest
  455.                    string matching, but anchored to the
  456.                    beginning of the buffer. */
  457.  
  458.   /* Stuff owned by the executor. */
  459.   int tralloc;            /* Number of transition tables that have
  460.                    slots so far. */
  461.   int trcount;            /* Number of transition tables that have
  462.                    actually been built. */
  463.   int **trans;            /* Transition tables for states that can
  464.                    never accept.  If the transitions for a
  465.                    state have not yet been computed, or the
  466.                    state could possibly accept, its entry in
  467.                    this table is NULL. */
  468.   int **realtrans;        /* Trans always points to realtrans + 1; this
  469.                    is so trans[-1] can contain NULL. */
  470.   int **fails;            /* Transition tables after failing to accept
  471.                    on a state that potentially could do so. */
  472.   int *success;            /* Table of acceptance conditions used in
  473.                    regexecute and computed in build_state. */
  474.   int *newlines;        /* Transitions on newlines.  The entry for a
  475.                    newline in any transition table is always
  476.                    -1 so we can count lines without wasting
  477.                    too many cycles.  The transition for a
  478.                    newline is stored separately and handled
  479.                    as a special case.  Newline is also used
  480.                    as a sentinel at the end of the buffer. */
  481.   char must[MUST_MAX];
  482.   int mustn;
  483. };
  484.  
  485. /* Some macros for user access to regexp internals. */
  486.  
  487. /* ACCEPTING returns true if s could possibly be an accepting state of r. */
  488. #define ACCEPTING(s, r) ((r).states[s].constraint)
  489.  
  490. /* ACCEPTS_IN_CONTEXT returns true if the given state accepts in the
  491.    specified context. */
  492. #define ACCEPTS_IN_CONTEXT(prevn, currn, prevl, currl, state, reg) \
  493.   _SUCCEEDS_IN_CONTEXT((reg).states[state].constraint,           \
  494.                prevn, currn, prevl, currl)
  495.  
  496. /* FIRST_MATCHING_REGEXP returns the index number of the first of parallel
  497.    regexps that a given state could accept.  Parallel regexps are numbered
  498.    starting at 1. */
  499. #define FIRST_MATCHING_REGEXP(state, reg) (-(reg).states[state].first_end)
  500.  
  501. /* Entry points. */
  502.  
  503. #ifdef __STDC__
  504.  
  505. /* Regsyntax() takes two arguments; the first sets the syntax bits described
  506.    earlier in this file, and the second sets the case-folding flag. */
  507. extern void regsyntax(int, int);
  508.  
  509. /* Compile the given string of the given length into the given struct regexp.
  510.    Final argument is a flag specifying whether to build a searching or an
  511.    exact matcher. */
  512. extern void regcompile(const char *, size_t, struct regexp *, int);
  513.  
  514. /* Execute the given struct regexp on the buffer of characters.  The
  515.    first char * points to the beginning, and the second points to the
  516.    first character after the end of the buffer, which must be a writable
  517.    place so a sentinel end-of-buffer marker can be stored there.  The
  518.    second-to-last argument is a flag telling whether to allow newlines to
  519.    be part of a string matching the regexp.  The next-to-last argument,
  520.    if non-NULL, points to a place to increment every time we see a
  521.    newline.  The final argument, if non-NULL, points to a flag that will
  522.    be set if further examination by a backtracking matcher is needed in
  523.    order to verify backreferencing; otherwise the flag will be cleared.
  524.    Returns NULL if no match is found, or a pointer to the first
  525.    character after the first & shortest matching string in the buffer. */
  526. extern char *regexecute(struct regexp *, char *, char *, int, int *, int *);
  527.  
  528. /* Free the storage held by the components of a struct regexp. */
  529. extern void regfree(struct regexp *);
  530.  
  531. /* Entry points for people who know what they're doing. */
  532.  
  533. /* Initialize the components of a struct regexp. */
  534. extern void reginit(struct regexp *);
  535.  
  536. /* Incrementally parse a string of given length into a struct regexp. */
  537. extern void regparse(const char *, size_t, struct regexp *);
  538.  
  539. /* Analyze a parsed regexp; second argument tells whether to build a searching
  540.    or an exact matcher. */
  541. extern void reganalyze(struct regexp *, int);
  542.  
  543. /* Compute, for each possible character, the transitions out of a given
  544.    state, storing them in an array of integers. */
  545. extern void regstate(int, struct regexp *, int []);
  546.  
  547. /* Error handling. */
  548.  
  549. /* Regerror() is called by the regexp routines whenever an error occurs.  It
  550.    takes a single argument, a NUL-terminated string describing the error.
  551.    The default regerror() prints the error message to stderr and exits.
  552.    The user can provide a different regfree() if so desired. */
  553. extern void regerror(const char *);
  554.  
  555. #else /* ! __STDC__ */
  556. extern void regsyntax(), regcompile(), regfree(), reginit(), regparse();
  557. extern void reganalyze(), regstate(), regerror();
  558. extern char *regexecute();
  559. #endif
  560.