Back to home page

EIC code displayed by LXR

 
 

    


Warning, file /include/unicode/regex.h was not indexed or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).

0001 // © 2016 and later: Unicode, Inc. and others.
0002 // License & terms of use: http://www.unicode.org/copyright.html
0003 /*
0004 **********************************************************************
0005 *   Copyright (C) 2002-2016, International Business Machines
0006 *   Corporation and others.  All Rights Reserved.
0007 **********************************************************************
0008 *   file name:  regex.h
0009 *   encoding:   UTF-8
0010 *   indentation:4
0011 *
0012 *   created on: 2002oct22
0013 *   created by: Andy Heninger
0014 *
0015 *   ICU Regular Expressions, API for C++
0016 */
0017 
0018 #ifndef REGEX_H
0019 #define REGEX_H
0020 
0021 //#define REGEX_DEBUG
0022 
0023 /**
0024  * \file
0025  * \brief C++ API: Regular Expressions
0026  *
0027  * The ICU API for processing regular expressions consists of two classes,
0028  *  `RegexPattern` and `RegexMatcher`.
0029  *  `RegexPattern` objects represent a pre-processed, or compiled
0030  *  regular expression.  They are created from a regular expression pattern string,
0031  *  and can be used to create `RegexMatcher` objects for the pattern.
0032  *
0033  * Class `RegexMatcher` bundles together a regular expression
0034  *  pattern and a target string to which the search pattern will be applied.
0035  *  `RegexMatcher` includes API for doing plain find or search
0036  *  operations, for search and replace operations, and for obtaining detailed
0037  *  information about bounds of a match.
0038  *
0039  * Note that by constructing `RegexMatcher` objects directly from regular
0040  * expression pattern strings application code can be simplified and the explicit
0041  * need for `RegexPattern` objects can usually be eliminated.
0042  *
0043  */
0044 
0045 #include "unicode/utypes.h"
0046 
0047 #if U_SHOW_CPLUSPLUS_API
0048 
0049 #if !UCONFIG_NO_REGULAR_EXPRESSIONS
0050 
0051 #include "unicode/uobject.h"
0052 #include "unicode/unistr.h"
0053 #include "unicode/utext.h"
0054 #include "unicode/parseerr.h"
0055 
0056 #include "unicode/uregex.h"
0057 
0058 // Forward Declarations
0059 
0060 struct UHashtable;
0061 
0062 U_NAMESPACE_BEGIN
0063 
0064 struct Regex8BitSet;
0065 class  RegexCImpl;
0066 class  RegexMatcher;
0067 class  RegexPattern;
0068 struct REStackFrame;
0069 class  BreakIterator;
0070 class  UnicodeSet;
0071 class  UVector;
0072 class  UVector32;
0073 class  UVector64;
0074 
0075 
0076 /**
0077   * Class `RegexPattern` represents a compiled regular expression.  It includes
0078   * factory methods for creating a RegexPattern object from the source (string) form
0079   * of a regular expression, methods for creating RegexMatchers that allow the pattern
0080   * to be applied to input text, and a few convenience methods for simple common
0081   * uses of regular expressions.
0082   *
0083   * Class RegexPattern is not intended to be subclassed.
0084   *
0085   * @stable ICU 2.4
0086   */
0087 class U_I18N_API RegexPattern final : public UObject {
0088 public:
0089 
0090     /**
0091      * default constructor.  Create a RegexPattern object that refers to no actual
0092      *   pattern.  Not normally needed; RegexPattern objects are usually
0093      *   created using the factory method `compile()`.
0094      *
0095      * @stable ICU 2.4
0096      */
0097     RegexPattern();
0098 
0099     /**
0100      * Copy Constructor.  Create a new RegexPattern object that is equivalent
0101      *                    to the source object.
0102      * @param source the pattern object to be copied.
0103      * @stable ICU 2.4
0104      */
0105     RegexPattern(const RegexPattern &source);
0106 
0107     /**
0108      * Destructor.  Note that a RegexPattern object must persist so long as any
0109      *  RegexMatcher objects that were created from the RegexPattern are active.
0110      * @stable ICU 2.4
0111      */
0112     virtual ~RegexPattern();
0113 
0114     /**
0115      * Comparison operator.  Two RegexPattern objects are considered equal if they
0116      * were constructed from identical source patterns using the same #URegexpFlag
0117      * settings.
0118      * @param that a RegexPattern object to compare with "this".
0119      * @return true if the objects are equivalent.
0120      * @stable ICU 2.4
0121      */
0122     bool            operator==(const RegexPattern& that) const;
0123 
0124     /**
0125      * Comparison operator.  Two RegexPattern objects are considered equal if they
0126      * were constructed from identical source patterns using the same #URegexpFlag
0127      * settings.
0128      * @param that a RegexPattern object to compare with "this".
0129      * @return true if the objects are different.
0130      * @stable ICU 2.4
0131      */
0132     inline bool     operator!=(const RegexPattern& that) const {return ! operator ==(that);}
0133 
0134     /**
0135      * Assignment operator.  After assignment, this RegexPattern will behave identically
0136      *     to the source object.
0137      * @stable ICU 2.4
0138      */
0139     RegexPattern  &operator =(const RegexPattern &source);
0140 
0141     /**
0142      * Create an exact copy of this RegexPattern object.  Since RegexPattern is not
0143      * intended to be subclassed, <code>clone()</code> and the copy construction are
0144      * equivalent operations.
0145      * @return the copy of this RegexPattern
0146      * @stable ICU 2.4
0147      */
0148     virtual RegexPattern  *clone() const;
0149 
0150 
0151    /**
0152     * Compiles the regular expression in string form into a RegexPattern
0153     * object.  These compile methods, rather than the constructors, are the usual
0154     * way that RegexPattern objects are created.
0155     *
0156     * Note that RegexPattern objects must not be deleted while RegexMatcher
0157     * objects created from the pattern are active.  RegexMatchers keep a pointer
0158     * back to their pattern, so premature deletion of the pattern is a
0159     * catastrophic error.
0160     *
0161     * All #URegexpFlag pattern match mode flags are set to their default values.
0162     *
0163     * Note that it is often more convenient to construct a RegexMatcher directly
0164     *    from a pattern string rather than separately compiling the pattern and
0165     *    then creating a RegexMatcher object from the pattern.
0166     *
0167     * @param regex The regular expression to be compiled.
0168     * @param pe    Receives the position (line and column nubers) of any error
0169     *              within the regular expression.)
0170     * @param status A reference to a UErrorCode to receive any errors.
0171     * @return      A regexPattern object for the compiled pattern.
0172     *
0173     * @stable ICU 2.4
0174     */
0175     static RegexPattern * U_EXPORT2 compile( const UnicodeString &regex,
0176         UParseError          &pe,
0177         UErrorCode           &status);
0178 
0179    /**
0180     * Compiles the regular expression in string form into a RegexPattern
0181     * object.  These compile methods, rather than the constructors, are the usual
0182     * way that RegexPattern objects are created.
0183     *
0184     * Note that RegexPattern objects must not be deleted while RegexMatcher
0185     * objects created from the pattern are active.  RegexMatchers keep a pointer
0186     * back to their pattern, so premature deletion of the pattern is a
0187     * catastrophic error.
0188     *
0189     * All #URegexpFlag pattern match mode flags are set to their default values.
0190     *
0191     * Note that it is often more convenient to construct a RegexMatcher directly
0192     *    from a pattern string rather than separately compiling the pattern and
0193     *    then creating a RegexMatcher object from the pattern.
0194     *
0195     * @param regex The regular expression to be compiled. Note, the text referred
0196     *              to by this UText must not be deleted during the lifetime of the
0197     *              RegexPattern object or any RegexMatcher object created from it.
0198     * @param pe    Receives the position (line and column nubers) of any error
0199     *              within the regular expression.)
0200     * @param status A reference to a UErrorCode to receive any errors.
0201     * @return      A regexPattern object for the compiled pattern.
0202     *
0203     * @stable ICU 4.6
0204     */
0205     static RegexPattern * U_EXPORT2 compile( UText *regex,
0206         UParseError          &pe,
0207         UErrorCode           &status);
0208 
0209    /**
0210     * Compiles the regular expression in string form into a RegexPattern
0211     * object using the specified #URegexpFlag match mode flags.  These compile methods,
0212     * rather than the constructors, are the usual way that RegexPattern objects
0213     * are created.
0214     *
0215     * Note that RegexPattern objects must not be deleted while RegexMatcher
0216     * objects created from the pattern are active.  RegexMatchers keep a pointer
0217     * back to their pattern, so premature deletion of the pattern is a
0218     * catastrophic error.
0219     *
0220     * Note that it is often more convenient to construct a RegexMatcher directly
0221     *    from a pattern string instead of than separately compiling the pattern and
0222     *    then creating a RegexMatcher object from the pattern.
0223     *
0224     * @param regex The regular expression to be compiled.
0225     * @param flags The #URegexpFlag match mode flags to be used, e.g. #UREGEX_CASE_INSENSITIVE.
0226     * @param pe    Receives the position (line and column numbers) of any error
0227     *              within the regular expression.)
0228     * @param status   A reference to a UErrorCode to receive any errors.
0229     * @return      A regexPattern object for the compiled pattern.
0230     *
0231     * @stable ICU 2.4
0232     */
0233     static RegexPattern * U_EXPORT2 compile( const UnicodeString &regex,
0234         uint32_t             flags,
0235         UParseError          &pe,
0236         UErrorCode           &status);
0237 
0238    /**
0239     * Compiles the regular expression in string form into a RegexPattern
0240     * object using the specified #URegexpFlag match mode flags.  These compile methods,
0241     * rather than the constructors, are the usual way that RegexPattern objects
0242     * are created.
0243     *
0244     * Note that RegexPattern objects must not be deleted while RegexMatcher
0245     * objects created from the pattern are active.  RegexMatchers keep a pointer
0246     * back to their pattern, so premature deletion of the pattern is a
0247     * catastrophic error.
0248     *
0249     * Note that it is often more convenient to construct a RegexMatcher directly
0250     *    from a pattern string instead of than separately compiling the pattern and
0251     *    then creating a RegexMatcher object from the pattern.
0252     *
0253     * @param regex The regular expression to be compiled. Note, the text referred
0254     *              to by this UText must not be deleted during the lifetime of the
0255     *              RegexPattern object or any RegexMatcher object created from it.
0256     * @param flags The #URegexpFlag match mode flags to be used, e.g. #UREGEX_CASE_INSENSITIVE.
0257     * @param pe    Receives the position (line and column numbers) of any error
0258     *              within the regular expression.)
0259     * @param status   A reference to a UErrorCode to receive any errors.
0260     * @return      A regexPattern object for the compiled pattern.
0261     *
0262     * @stable ICU 4.6
0263     */
0264     static RegexPattern * U_EXPORT2 compile( UText *regex,
0265         uint32_t             flags,
0266         UParseError          &pe,
0267         UErrorCode           &status);
0268 
0269    /**
0270     * Compiles the regular expression in string form into a RegexPattern
0271     * object using the specified #URegexpFlag match mode flags.  These compile methods,
0272     * rather than the constructors, are the usual way that RegexPattern objects
0273     * are created.
0274     *
0275     * Note that RegexPattern objects must not be deleted while RegexMatcher
0276     * objects created from the pattern are active.  RegexMatchers keep a pointer
0277     * back to their pattern, so premature deletion of the pattern is a
0278     * catastrophic error.
0279     *
0280     * Note that it is often more convenient to construct a RegexMatcher directly
0281     *    from a pattern string instead of than separately compiling the pattern and
0282     *    then creating a RegexMatcher object from the pattern.
0283     *
0284     * @param regex The regular expression to be compiled.
0285     * @param flags The #URegexpFlag match mode flags to be used, e.g. #UREGEX_CASE_INSENSITIVE.
0286     * @param status   A reference to a UErrorCode to receive any errors.
0287     * @return      A regexPattern object for the compiled pattern.
0288     *
0289     * @stable ICU 2.6
0290     */
0291     static RegexPattern * U_EXPORT2 compile( const UnicodeString &regex,
0292         uint32_t             flags,
0293         UErrorCode           &status);
0294 
0295    /**
0296     * Compiles the regular expression in string form into a RegexPattern
0297     * object using the specified #URegexpFlag match mode flags.  These compile methods,
0298     * rather than the constructors, are the usual way that RegexPattern objects
0299     * are created.
0300     *
0301     * Note that RegexPattern objects must not be deleted while RegexMatcher
0302     * objects created from the pattern are active.  RegexMatchers keep a pointer
0303     * back to their pattern, so premature deletion of the pattern is a
0304     * catastrophic error.
0305     *
0306     * Note that it is often more convenient to construct a RegexMatcher directly
0307     *    from a pattern string instead of than separately compiling the pattern and
0308     *    then creating a RegexMatcher object from the pattern.
0309     *
0310     * @param regex The regular expression to be compiled. Note, the text referred
0311     *              to by this UText must not be deleted during the lifetime of the
0312     *              RegexPattern object or any RegexMatcher object created from it.
0313     * @param flags The #URegexpFlag match mode flags to be used, e.g. #UREGEX_CASE_INSENSITIVE.
0314     * @param status   A reference to a UErrorCode to receive any errors.
0315     * @return      A regexPattern object for the compiled pattern.
0316     *
0317     * @stable ICU 4.6
0318     */
0319     static RegexPattern * U_EXPORT2 compile( UText *regex,
0320         uint32_t             flags,
0321         UErrorCode           &status);
0322 
0323    /**
0324     * Get the #URegexpFlag match mode flags that were used when compiling this pattern.
0325     * @return  the #URegexpFlag match mode flags
0326     * @stable ICU 2.4
0327     */
0328     virtual uint32_t flags() const;
0329 
0330    /**
0331     * Creates a RegexMatcher that will match the given input against this pattern.  The
0332     * RegexMatcher can then be used to perform match, find or replace operations
0333     * on the input.  Note that a RegexPattern object must not be deleted while
0334     * RegexMatchers created from it still exist and might possibly be used again.
0335     *
0336     * The matcher will retain a reference to the supplied input string, and all regexp
0337     * pattern matching operations happen directly on this original string.  It is
0338     * critical that the string not be altered or deleted before use by the regular
0339     * expression operations is complete.
0340     *
0341     * @param input    The input string to which the regular expression will be applied.
0342     * @param status   A reference to a UErrorCode to receive any errors.
0343     * @return         A RegexMatcher object for this pattern and input.
0344     *
0345     * @stable ICU 2.4
0346     */
0347     virtual RegexMatcher *matcher(const UnicodeString &input,
0348         UErrorCode          &status) const;
0349         
0350 private:
0351     /**
0352      * Cause a compilation error if an application accidentally attempts to
0353      *   create a matcher with a (char16_t *) string as input rather than
0354      *   a UnicodeString.  Avoids a dangling reference to a temporary string.
0355      *
0356      * To efficiently work with char16_t *strings, wrap the data in a UnicodeString
0357      * using one of the aliasing constructors, such as
0358      * `UnicodeString(UBool isTerminated, const char16_t *text, int32_t textLength);`
0359      * or in a UText, using
0360      * `utext_openUChars(UText *ut, const char16_t *text, int64_t textLength, UErrorCode *status);`
0361      *
0362      */
0363     RegexMatcher *matcher(const char16_t *input,
0364         UErrorCode          &status) const = delete;
0365 public:
0366 
0367 
0368    /**
0369     * Creates a RegexMatcher that will match against this pattern.  The
0370     * RegexMatcher can be used to perform match, find or replace operations.
0371     * Note that a RegexPattern object must not be deleted while
0372     * RegexMatchers created from it still exist and might possibly be used again.
0373     *
0374     * @param status   A reference to a UErrorCode to receive any errors.
0375     * @return      A RegexMatcher object for this pattern and input.
0376     *
0377     * @stable ICU 2.6
0378     */
0379     virtual RegexMatcher *matcher(UErrorCode  &status) const;
0380 
0381 
0382    /**
0383     * Test whether a string matches a regular expression.  This convenience function
0384     * both compiles the regular expression and applies it in a single operation.
0385     * Note that if the same pattern needs to be applied repeatedly, this method will be
0386     * less efficient than creating and reusing a RegexMatcher object.
0387     *
0388     * @param regex The regular expression
0389     * @param input The string data to be matched
0390     * @param pe Receives the position of any syntax errors within the regular expression
0391     * @param status A reference to a UErrorCode to receive any errors.
0392     * @return True if the regular expression exactly matches the full input string.
0393     *
0394     * @stable ICU 2.4
0395     */
0396     static UBool U_EXPORT2 matches(const UnicodeString   &regex,
0397         const UnicodeString   &input,
0398               UParseError     &pe,
0399               UErrorCode      &status);
0400 
0401    /**
0402     * Test whether a string matches a regular expression.  This convenience function
0403     * both compiles the regular expression and applies it in a single operation.
0404     * Note that if the same pattern needs to be applied repeatedly, this method will be
0405     * less efficient than creating and reusing a RegexMatcher object.
0406     *
0407     * @param regex The regular expression
0408     * @param input The string data to be matched
0409     * @param pe Receives the position of any syntax errors within the regular expression
0410     * @param status A reference to a UErrorCode to receive any errors.
0411     * @return True if the regular expression exactly matches the full input string.
0412     *
0413     * @stable ICU 4.6
0414     */
0415     static UBool U_EXPORT2 matches(UText *regex,
0416         UText           *input,
0417         UParseError     &pe,
0418         UErrorCode      &status);
0419 
0420    /**
0421     * Returns the regular expression from which this pattern was compiled. This method will work
0422     * even if the pattern was compiled from a UText.
0423     *
0424     * Note: If the pattern was originally compiled from a UText, and that UText was modified,
0425     * the returned string may no longer reflect the RegexPattern object.
0426     * @stable ICU 2.4
0427     */
0428     virtual UnicodeString pattern() const;
0429     
0430     
0431    /**
0432     * Returns the regular expression from which this pattern was compiled. This method will work
0433     * even if the pattern was compiled from a UnicodeString.
0434     *
0435     * Note: This is the original input, not a clone. If the pattern was originally compiled from a
0436     * UText, and that UText was modified, the returned UText may no longer reflect the RegexPattern
0437     * object.
0438     *
0439     * @stable ICU 4.6
0440     */
0441     virtual UText *patternText(UErrorCode      &status) const;
0442 
0443 
0444     /**
0445      * Get the group number corresponding to a named capture group.
0446      * The returned number can be used with any function that access
0447      * capture groups by number.
0448      *
0449      * The function returns an error status if the specified name does not
0450      * appear in the pattern.
0451      *
0452      * @param  groupName   The capture group name.
0453      * @param  status      A UErrorCode to receive any errors.
0454      *
0455      * @stable ICU 55
0456      */
0457     virtual int32_t groupNumberFromName(const UnicodeString &groupName, UErrorCode &status) const;
0458 
0459 
0460     /**
0461      * Get the group number corresponding to a named capture group.
0462      * The returned number can be used with any function that access
0463      * capture groups by number.
0464      *
0465      * The function returns an error status if the specified name does not
0466      * appear in the pattern.
0467      *
0468      * @param  groupName   The capture group name,
0469      *                     platform invariant characters only.
0470      * @param  nameLength  The length of the name, or -1 if the name is
0471      *                     nul-terminated.
0472      * @param  status      A UErrorCode to receive any errors.
0473      *
0474      * @stable ICU 55
0475      */
0476     virtual int32_t groupNumberFromName(const char *groupName, int32_t nameLength, UErrorCode &status) const;
0477 
0478 
0479     /**
0480      * Split a string into fields.  Somewhat like split() from Perl or Java.
0481      * Pattern matches identify delimiters that separate the input
0482      * into fields.  The input data between the delimiters becomes the
0483      * fields themselves.
0484      *
0485      * If the delimiter pattern includes capture groups, the captured text will
0486      * also appear in the destination array of output strings, interspersed
0487      * with the fields.  This is similar to Perl, but differs from Java, 
0488      * which ignores the presence of capture groups in the pattern.
0489      * 
0490      * Trailing empty fields will always be returned, assuming sufficient
0491      * destination capacity.  This differs from the default behavior for Java
0492      * and Perl where trailing empty fields are not returned.
0493      *
0494      * The number of strings produced by the split operation is returned.
0495      * This count includes the strings from capture groups in the delimiter pattern.
0496      * This behavior differs from Java, which ignores capture groups.
0497      *
0498      * For the best performance on split() operations,
0499      * <code>RegexMatcher::split</code> is preferable to this function
0500      *
0501      * @param input   The string to be split into fields.  The field delimiters
0502      *                match the pattern (in the "this" object)
0503      * @param dest    An array of UnicodeStrings to receive the results of the split.
0504      *                This is an array of actual UnicodeString objects, not an
0505      *                array of pointers to strings.  Local (stack based) arrays can
0506      *                work well here.
0507      * @param destCapacity  The number of elements in the destination array.
0508      *                If the number of fields found is less than destCapacity, the
0509      *                extra strings in the destination array are not altered.
0510      *                If the number of destination strings is less than the number
0511      *                of fields, the trailing part of the input string, including any
0512      *                field delimiters, is placed in the last destination string.
0513      * @param status  A reference to a UErrorCode to receive any errors.
0514      * @return        The number of fields into which the input string was split.
0515      * @stable ICU 2.4
0516      */
0517     virtual int32_t  split(const UnicodeString &input,
0518         UnicodeString    dest[],
0519         int32_t          destCapacity,
0520         UErrorCode       &status) const;
0521 
0522 
0523     /**
0524      * Split a string into fields.  Somewhat like %split() from Perl or Java.
0525      * Pattern matches identify delimiters that separate the input
0526      * into fields.  The input data between the delimiters becomes the
0527      * fields themselves.
0528      *
0529      * If the delimiter pattern includes capture groups, the captured text will
0530      * also appear in the destination array of output strings, interspersed
0531      * with the fields.  This is similar to Perl, but differs from Java, 
0532      * which ignores the presence of capture groups in the pattern.
0533      * 
0534      * Trailing empty fields will always be returned, assuming sufficient
0535      * destination capacity.  This differs from the default behavior for Java
0536      * and Perl where trailing empty fields are not returned.
0537      *
0538      * The number of strings produced by the split operation is returned.
0539      * This count includes the strings from capture groups in the delimiter pattern.
0540      * This behavior differs from Java, which ignores capture groups.
0541      *
0542      *  For the best performance on split() operations,
0543      *  `RegexMatcher::split()` is preferable to this function
0544      *
0545      * @param input   The string to be split into fields.  The field delimiters
0546      *                match the pattern (in the "this" object)
0547      * @param dest    An array of mutable UText structs to receive the results of the split.
0548      *                If a field is nullptr, a new UText is allocated to contain the results for
0549      *                that field. This new UText is not guaranteed to be mutable.
0550      * @param destCapacity  The number of elements in the destination array.
0551      *                If the number of fields found is less than destCapacity, the
0552      *                extra strings in the destination array are not altered.
0553      *                If the number of destination strings is less than the number
0554      *                of fields, the trailing part of the input string, including any
0555      *                field delimiters, is placed in the last destination string.
0556      * @param status  A reference to a UErrorCode to receive any errors.
0557      * @return        The number of destination strings used.  
0558      *
0559      * @stable ICU 4.6
0560      */
0561     virtual int32_t  split(UText *input,
0562         UText            *dest[],
0563         int32_t          destCapacity,
0564         UErrorCode       &status) const;
0565 
0566 
0567     /**
0568      * ICU "poor man's RTTI", returns a UClassID for the actual class.
0569      *
0570      * @stable ICU 2.4
0571      */
0572     virtual UClassID getDynamicClassID() const override;
0573 
0574     /**
0575      * ICU "poor man's RTTI", returns a UClassID for this class.
0576      *
0577      * @stable ICU 2.4
0578      */
0579     static UClassID U_EXPORT2 getStaticClassID();
0580 
0581 private:
0582     //
0583     //  Implementation Data
0584     //
0585     UText          *fPattern;      // The original pattern string.
0586     UnicodeString  *fPatternString; // The original pattern UncodeString if relevant
0587     uint32_t        fFlags;        // The flags used when compiling the pattern.
0588                                    //
0589     UVector64       *fCompiledPat; // The compiled pattern p-code.
0590     UnicodeString   fLiteralText;  // Any literal string data from the pattern,
0591                                    //   after un-escaping, for use during the match.
0592 
0593     UVector         *fSets;        // Any UnicodeSets referenced from the pattern.
0594     Regex8BitSet    *fSets8;       //      (and fast sets for latin-1 range.)
0595 
0596 
0597     UErrorCode      fDeferredStatus; // status if some prior error has left this
0598                                    //  RegexPattern in an unusable state.
0599 
0600     int32_t         fMinMatchLen;  // Minimum Match Length.  All matches will have length
0601                                    //   >= this value.  For some patterns, this calculated
0602                                    //   value may be less than the true shortest
0603                                    //   possible match.
0604     
0605     int32_t         fFrameSize;    // Size of a state stack frame in the
0606                                    //   execution engine.
0607 
0608     int32_t         fDataSize;     // The size of the data needed by the pattern that
0609                                    //   does not go on the state stack, but has just
0610                                    //   a single copy per matcher.
0611 
0612     UVector32       *fGroupMap;    // Map from capture group number to position of
0613                                    //   the group's variables in the matcher stack frame.
0614 
0615     int32_t         fStartType;    // Info on how a match must start.
0616     int32_t         fInitialStringIdx;     //
0617     int32_t         fInitialStringLen;
0618     UnicodeSet     *fInitialChars;
0619     UChar32         fInitialChar;
0620     Regex8BitSet   *fInitialChars8;
0621     UBool           fNeedsAltInput;
0622 
0623     UHashtable     *fNamedCaptureMap;  // Map from capture group names to numbers.
0624 
0625     friend class RegexCompile;
0626     friend class RegexMatcher;
0627     friend class RegexCImpl;
0628 
0629     //
0630     //  Implementation Methods
0631     //
0632     void        init();                 // Common initialization, for use by constructors.
0633     bool        initNamedCaptureMap();  // Lazy init for fNamedCaptureMap.
0634     void        zap();                  // Common cleanup
0635 
0636     void        dumpOp(int32_t index) const;
0637 
0638   public:
0639 #ifndef U_HIDE_INTERNAL_API
0640     /**
0641       * Dump a compiled pattern. Internal debug function.
0642       * @internal
0643       */
0644     void        dumpPattern() const;
0645 #endif  /* U_HIDE_INTERNAL_API */
0646 };
0647 
0648 
0649 
0650 /**
0651  *  class RegexMatcher bundles together a regular expression pattern and
0652  *  input text to which the expression can be applied.  It includes methods
0653  *  for testing for matches, and for find and replace operations.
0654  *
0655  * <p>Class RegexMatcher is not intended to be subclassed.</p>
0656  *
0657  * @stable ICU 2.4
0658  */
0659 class U_I18N_API RegexMatcher final : public UObject {
0660 public:
0661 
0662     /**
0663       * Construct a RegexMatcher for a regular expression.
0664       * This is a convenience method that avoids the need to explicitly create
0665       * a RegexPattern object.  Note that if several RegexMatchers need to be
0666       * created for the same expression, it will be more efficient to
0667       * separately create and cache a RegexPattern object, and use
0668       * its matcher() method to create the RegexMatcher objects.
0669       *
0670       *  @param regexp The Regular Expression to be compiled.
0671       *  @param flags  #URegexpFlag options, such as #UREGEX_CASE_INSENSITIVE.
0672       *  @param status Any errors are reported by setting this UErrorCode variable.
0673       *  @stable ICU 2.6
0674       */
0675     RegexMatcher(const UnicodeString &regexp, uint32_t flags, UErrorCode &status);
0676 
0677     /**
0678       * Construct a RegexMatcher for a regular expression.
0679       * This is a convenience method that avoids the need to explicitly create
0680       * a RegexPattern object.  Note that if several RegexMatchers need to be
0681       * created for the same expression, it will be more efficient to
0682       * separately create and cache a RegexPattern object, and use
0683       * its matcher() method to create the RegexMatcher objects.
0684       *
0685       *  @param regexp The regular expression to be compiled.
0686       *  @param flags  #URegexpFlag options, such as #UREGEX_CASE_INSENSITIVE.
0687       *  @param status Any errors are reported by setting this UErrorCode variable.
0688       *
0689       *  @stable ICU 4.6
0690       */
0691     RegexMatcher(UText *regexp, uint32_t flags, UErrorCode &status);
0692 
0693     /**
0694       * Construct a RegexMatcher for a regular expression.
0695       * This is a convenience method that avoids the need to explicitly create
0696       * a RegexPattern object.  Note that if several RegexMatchers need to be
0697       * created for the same expression, it will be more efficient to
0698       * separately create and cache a RegexPattern object, and use
0699       * its matcher() method to create the RegexMatcher objects.
0700       *
0701       * The matcher will retain a reference to the supplied input string, and all regexp
0702       * pattern matching operations happen directly on the original string.  It is
0703       * critical that the string not be altered or deleted before use by the regular
0704       * expression operations is complete.
0705       *
0706       *  @param regexp The Regular Expression to be compiled.
0707       *  @param input  The string to match.  The matcher retains a reference to the
0708       *                caller's string; mo copy is made.
0709       *  @param flags  #URegexpFlag options, such as #UREGEX_CASE_INSENSITIVE.
0710       *  @param status Any errors are reported by setting this UErrorCode variable.
0711       *  @stable ICU 2.6
0712       */
0713     RegexMatcher(const UnicodeString &regexp, const UnicodeString &input,
0714         uint32_t flags, UErrorCode &status);
0715 
0716     /**
0717       * Construct a RegexMatcher for a regular expression.
0718       * This is a convenience method that avoids the need to explicitly create
0719       * a RegexPattern object.  Note that if several RegexMatchers need to be
0720       * created for the same expression, it will be more efficient to
0721       * separately create and cache a RegexPattern object, and use
0722       * its matcher() method to create the RegexMatcher objects.
0723       *
0724       * The matcher will make a shallow clone of the supplied input text, and all regexp
0725       * pattern matching operations happen on this clone.  While read-only operations on
0726       * the supplied text are permitted, it is critical that the underlying string not be
0727       * altered or deleted before use by the regular expression operations is complete.
0728       *
0729       *  @param regexp The Regular Expression to be compiled.
0730       *  @param input  The string to match.  The matcher retains a shallow clone of the text.
0731       *  @param flags  #URegexpFlag options, such as #UREGEX_CASE_INSENSITIVE.
0732       *  @param status Any errors are reported by setting this UErrorCode variable.
0733       *
0734       *  @stable ICU 4.6
0735       */
0736     RegexMatcher(UText *regexp, UText *input,
0737         uint32_t flags, UErrorCode &status);
0738 
0739 private:
0740     /**
0741      * Cause a compilation error if an application accidentally attempts to
0742      *   create a matcher with a (char16_t *) string as input rather than
0743      *   a UnicodeString.    Avoids a dangling reference to a temporary string.
0744      *
0745      * To efficiently work with char16_t *strings, wrap the data in a UnicodeString
0746      * using one of the aliasing constructors, such as
0747      * `UnicodeString(UBool isTerminated, const char16_t *text, int32_t textLength);`
0748      * or in a UText, using
0749      * `utext_openUChars(UText *ut, const char16_t *text, int64_t textLength, UErrorCode *status);`
0750      */
0751     RegexMatcher(const UnicodeString &regexp, const char16_t *input,
0752         uint32_t flags, UErrorCode &status) = delete;
0753 public:
0754 
0755 
0756    /**
0757     *   Destructor.
0758     *
0759     *  @stable ICU 2.4
0760     */
0761     virtual ~RegexMatcher();
0762 
0763 
0764    /**
0765     *   Attempts to match the entire input region against the pattern.
0766     *    @param   status     A reference to a UErrorCode to receive any errors.
0767     *    @return true if there is a match
0768     *    @stable ICU 2.4
0769     */
0770     virtual UBool matches(UErrorCode &status);
0771 
0772 
0773    /**
0774     *   Resets the matcher, then attempts to match the input beginning 
0775     *   at the specified startIndex, and extending to the end of the input.
0776     *   The input region is reset to include the entire input string.
0777     *   A successful match must extend to the end of the input.
0778     *    @param   startIndex The input string (native) index at which to begin matching.
0779     *    @param   status     A reference to a UErrorCode to receive any errors.
0780     *    @return true if there is a match
0781     *    @stable ICU 2.8
0782     */
0783     virtual UBool matches(int64_t startIndex, UErrorCode &status);
0784 
0785 
0786    /**
0787     *   Attempts to match the input string, starting from the beginning of the region,
0788     *   against the pattern.  Like the matches() method, this function 
0789     *   always starts at the beginning of the input region;
0790     *   unlike that function, it does not require that the entire region be matched.
0791     *
0792     *   If the match succeeds then more information can be obtained via the start(),
0793     *   end(), and group() functions.
0794     *
0795     *    @param   status     A reference to a UErrorCode to receive any errors.
0796     *    @return  true if there is a match at the start of the input string.
0797     *    @stable ICU 2.4
0798     */
0799     virtual UBool lookingAt(UErrorCode &status);
0800 
0801 
0802   /**
0803     *   Attempts to match the input string, starting from the specified index, against the pattern.
0804     *   The match may be of any length, and is not required to extend to the end
0805     *   of the input string.  Contrast with match().
0806     *
0807     *   If the match succeeds then more information can be obtained via the start(),
0808     *   end(), and group() functions.
0809     *
0810     *    @param   startIndex The input string (native) index at which to begin matching.
0811     *    @param   status     A reference to a UErrorCode to receive any errors.
0812     *    @return  true if there is a match.
0813     *    @stable ICU 2.8
0814     */
0815     virtual UBool lookingAt(int64_t startIndex, UErrorCode &status);
0816 
0817 
0818    /**
0819     *  Find the next pattern match in the input string.
0820     *  The find begins searching the input at the location following the end of
0821     *  the previous match, or at the start of the string if there is no previous match.
0822     *  If a match is found, `start()`, `end()` and `group()`
0823     *  will provide more information regarding the match.
0824     *  Note that if the input string is changed by the application,
0825     *     use find(startPos, status) instead of find(), because the saved starting
0826     *     position may not be valid with the altered input string.
0827     *  @return  true if a match is found.
0828     *  @stable ICU 2.4
0829     */
0830     virtual UBool find();
0831 
0832 
0833    /**
0834     *  Find the next pattern match in the input string.
0835     *  The find begins searching the input at the location following the end of
0836     *  the previous match, or at the start of the string if there is no previous match.
0837     *  If a match is found, `start()`, `end()` and `group()`
0838     *  will provide more information regarding the match.
0839     *
0840     *  Note that if the input string is changed by the application,
0841     *  use find(startPos, status) instead of find(), because the saved starting
0842     *  position may not be valid with the altered input string.
0843     *  @param   status  A reference to a UErrorCode to receive any errors.
0844     *  @return  true if a match is found.
0845     * @stable ICU 55
0846     */
0847     virtual UBool find(UErrorCode &status);
0848 
0849    /**
0850     *   Resets this RegexMatcher and then attempts to find the next substring of the
0851     *   input string that matches the pattern, starting at the specified index.
0852     *
0853     *   @param   start     The (native) index in the input string to begin the search.
0854     *   @param   status    A reference to a UErrorCode to receive any errors.
0855     *   @return  true if a match is found.
0856     *   @stable ICU 2.4
0857     */
0858     virtual UBool find(int64_t start, UErrorCode &status);
0859 
0860 
0861    /**
0862     *   Returns a string containing the text matched by the previous match.
0863     *   If the pattern can match an empty string, an empty string may be returned.
0864     *   @param   status      A reference to a UErrorCode to receive any errors.
0865     *                        Possible errors are  U_REGEX_INVALID_STATE if no match
0866     *                        has been attempted or the last match failed.
0867     *   @return  a string containing the matched input text.
0868     *   @stable ICU 2.4
0869     */
0870     virtual UnicodeString group(UErrorCode &status) const;
0871 
0872 
0873    /**
0874     *    Returns a string containing the text captured by the given group
0875     *    during the previous match operation.  Group(0) is the entire match.
0876     *
0877     *    A zero length string is returned both for capture groups that did not
0878     *    participate in the match and for actual zero length matches.
0879     *    To distinguish between these two cases use the function start(),
0880     *    which returns -1 for non-participating groups.
0881     *
0882     *    @param groupNum the capture group number
0883     *    @param   status     A reference to a UErrorCode to receive any errors.
0884     *                        Possible errors are  U_REGEX_INVALID_STATE if no match
0885     *                        has been attempted or the last match failed and
0886     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number.
0887     *    @return the captured text
0888     *    @stable ICU 2.4
0889     */
0890     virtual UnicodeString group(int32_t groupNum, UErrorCode &status) const;
0891 
0892    /**
0893     *   Returns the number of capturing groups in this matcher's pattern.
0894     *   @return the number of capture groups
0895     *   @stable ICU 2.4
0896     */
0897     virtual int32_t groupCount() const;
0898 
0899 
0900    /**
0901     *   Returns a shallow clone of the entire live input string with the UText current native index
0902     *   set to the beginning of the requested group.
0903     *
0904     *   @param   dest        The UText into which the input should be cloned, or nullptr to create a new UText
0905     *   @param   group_len   A reference to receive the length of the desired capture group
0906     *   @param   status      A reference to a UErrorCode to receive any errors.
0907     *                        Possible errors are  U_REGEX_INVALID_STATE if no match
0908     *                        has been attempted or the last match failed and
0909     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number.
0910     *   @return dest if non-nullptr, a shallow copy of the input text otherwise
0911     *
0912     *   @stable ICU 4.6
0913     */
0914     virtual UText *group(UText *dest, int64_t &group_len, UErrorCode &status) const; 
0915 
0916    /**
0917     *   Returns a shallow clone of the entire live input string with the UText current native index
0918     *   set to the beginning of the requested group.
0919     *
0920     *   A group length of zero is returned both for capture groups that did not
0921     *   participate in the match and for actual zero length matches.
0922     *   To distinguish between these two cases use the function start(),
0923     *   which returns -1 for non-participating groups.
0924     *
0925     *   @param   groupNum   The capture group number.
0926     *   @param   dest        The UText into which the input should be cloned, or nullptr to create a new UText.
0927     *   @param   group_len   A reference to receive the length of the desired capture group
0928     *   @param   status      A reference to a UErrorCode to receive any errors.
0929     *                        Possible errors are  U_REGEX_INVALID_STATE if no match
0930     *                        has been attempted or the last match failed and
0931     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number.
0932     *   @return dest if non-nullptr, a shallow copy of the input text otherwise
0933     *
0934     *   @stable ICU 4.6
0935     */
0936     virtual UText *group(int32_t groupNum, UText *dest, int64_t &group_len, UErrorCode &status) const;
0937 
0938    /**
0939     *   Returns the index in the input string of the start of the text matched
0940     *   during the previous match operation.
0941     *    @param   status      a reference to a UErrorCode to receive any errors.
0942     *    @return              The (native) position in the input string of the start of the last match.
0943     *    @stable ICU 2.4
0944     */
0945     virtual int32_t start(UErrorCode &status) const;
0946 
0947    /**
0948     *   Returns the index in the input string of the start of the text matched
0949     *   during the previous match operation.
0950     *    @param   status      a reference to a UErrorCode to receive any errors.
0951     *    @return              The (native) position in the input string of the start of the last match.
0952     *   @stable ICU 4.6
0953     */
0954     virtual int64_t start64(UErrorCode &status) const;
0955 
0956 
0957    /**
0958     *   Returns the index in the input string of the start of the text matched by the
0959     *    specified capture group during the previous match operation.  Return -1 if
0960     *    the capture group exists in the pattern, but was not part of the last match.
0961     *
0962     *    @param  group       the capture group number
0963     *    @param  status      A reference to a UErrorCode to receive any errors.  Possible
0964     *                        errors are  U_REGEX_INVALID_STATE if no match has been
0965     *                        attempted or the last match failed, and
0966     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number
0967     *    @return the (native) start position of substring matched by the specified group.
0968     *    @stable ICU 2.4
0969     */
0970     virtual int32_t start(int32_t group, UErrorCode &status) const;
0971 
0972    /**
0973     *   Returns the index in the input string of the start of the text matched by the
0974     *    specified capture group during the previous match operation.  Return -1 if
0975     *    the capture group exists in the pattern, but was not part of the last match.
0976     *
0977     *    @param  group       the capture group number.
0978     *    @param  status      A reference to a UErrorCode to receive any errors.  Possible
0979     *                        errors are  U_REGEX_INVALID_STATE if no match has been
0980     *                        attempted or the last match failed, and
0981     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number.
0982     *    @return the (native) start position of substring matched by the specified group.
0983     *    @stable ICU 4.6
0984     */
0985     virtual int64_t start64(int32_t group, UErrorCode &status) const;
0986 
0987    /**
0988     *    Returns the index in the input string of the first character following the
0989     *    text matched during the previous match operation.
0990     *
0991     *   @param   status      A reference to a UErrorCode to receive any errors.  Possible
0992     *                        errors are  U_REGEX_INVALID_STATE if no match has been
0993     *                        attempted or the last match failed.
0994     *    @return the index of the last character matched, plus one.
0995     *                        The index value returned is a native index, corresponding to
0996     *                        code units for the underlying encoding type, for example,
0997     *                        a byte index for UTF-8.
0998     *   @stable ICU 2.4
0999     */
1000     virtual int32_t end(UErrorCode &status) const;
1001 
1002    /**
1003     *    Returns the index in the input string of the first character following the
1004     *    text matched during the previous match operation.
1005     *
1006     *   @param   status      A reference to a UErrorCode to receive any errors.  Possible
1007     *                        errors are  U_REGEX_INVALID_STATE if no match has been
1008     *                        attempted or the last match failed.
1009     *    @return the index of the last character matched, plus one.
1010     *                        The index value returned is a native index, corresponding to
1011     *                        code units for the underlying encoding type, for example,
1012     *                        a byte index for UTF-8.
1013     *   @stable ICU 4.6
1014     */
1015     virtual int64_t end64(UErrorCode &status) const;
1016 
1017 
1018    /**
1019     *    Returns the index in the input string of the character following the
1020     *    text matched by the specified capture group during the previous match operation.
1021     *
1022     *    @param group  the capture group number
1023     *    @param   status      A reference to a UErrorCode to receive any errors.  Possible
1024     *                        errors are  U_REGEX_INVALID_STATE if no match has been
1025     *                        attempted or the last match failed and
1026     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number
1027     *    @return  the index of the first character following the text
1028     *              captured by the specified group during the previous match operation.
1029     *              Return -1 if the capture group exists in the pattern but was not part of the match.
1030     *              The index value returned is a native index, corresponding to
1031     *              code units for the underlying encoding type, for example,
1032     *              a byte index for UTF8.
1033     *    @stable ICU 2.4
1034     */
1035     virtual int32_t end(int32_t group, UErrorCode &status) const;
1036 
1037    /**
1038     *    Returns the index in the input string of the character following the
1039     *    text matched by the specified capture group during the previous match operation.
1040     *
1041     *    @param group  the capture group number
1042     *    @param   status      A reference to a UErrorCode to receive any errors.  Possible
1043     *                        errors are  U_REGEX_INVALID_STATE if no match has been
1044     *                        attempted or the last match failed and
1045     *                        U_INDEX_OUTOFBOUNDS_ERROR for a bad capture group number
1046     *    @return  the index of the first character following the text
1047     *              captured by the specified group during the previous match operation.
1048     *              Return -1 if the capture group exists in the pattern but was not part of the match.
1049     *              The index value returned is a native index, corresponding to
1050     *              code units for the underlying encoding type, for example,
1051     *              a byte index for UTF8.
1052     *   @stable ICU 4.6
1053     */
1054     virtual int64_t end64(int32_t group, UErrorCode &status) const;
1055 
1056    /**
1057     *   Resets this matcher.  The effect is to remove any memory of previous matches,
1058     *       and to cause subsequent find() operations to begin at the beginning of
1059     *       the input string.
1060     *
1061     *   @return this RegexMatcher.
1062     *   @stable ICU 2.4
1063     */
1064     virtual RegexMatcher &reset();
1065 
1066 
1067    /**
1068     *   Resets this matcher, and set the current input position.
1069     *   The effect is to remove any memory of previous matches,
1070     *       and to cause subsequent find() operations to begin at
1071     *       the specified (native) position in the input string.
1072     *
1073     *   The matcher's region is reset to its default, which is the entire
1074     *   input string.
1075     *
1076     *   An alternative to this function is to set a match region
1077     *   beginning at the desired index.
1078     *
1079     *   @return this RegexMatcher.
1080     *   @stable ICU 2.8
1081     */
1082     virtual RegexMatcher &reset(int64_t index, UErrorCode &status);
1083 
1084 
1085    /**
1086     *   Resets this matcher with a new input string.  This allows instances of RegexMatcher
1087     *     to be reused, which is more efficient than creating a new RegexMatcher for
1088     *     each input string to be processed.
1089     *   @param input The new string on which subsequent pattern matches will operate.
1090     *                The matcher retains a reference to the callers string, and operates
1091     *                directly on that.  Ownership of the string remains with the caller.
1092     *                Because no copy of the string is made, it is essential that the
1093     *                caller not delete the string until after regexp operations on it
1094     *                are done.
1095     *                Note that while a reset on the matcher with an input string that is then
1096     *                modified across/during matcher operations may be supported currently for UnicodeString,
1097     *                this was not originally intended behavior, and support for this is not guaranteed
1098     *                in upcoming versions of ICU.
1099     *   @return this RegexMatcher.
1100     *   @stable ICU 2.4
1101     */
1102     virtual RegexMatcher &reset(const UnicodeString &input);
1103 
1104 
1105    /**
1106     *   Resets this matcher with a new input string.  This allows instances of RegexMatcher
1107     *     to be reused, which is more efficient than creating a new RegexMatcher for
1108     *     each input string to be processed.
1109     *   @param input The new string on which subsequent pattern matches will operate.
1110     *                The matcher makes a shallow clone of the given text; ownership of the
1111     *                original string remains with the caller. Because no deep copy of the
1112     *                text is made, it is essential that the caller not modify the string
1113     *                until after regexp operations on it are done.
1114     *   @return this RegexMatcher.
1115     *
1116     *   @stable ICU 4.6
1117     */
1118     virtual RegexMatcher &reset(UText *input);
1119 
1120 
1121   /**
1122     *  Set the subject text string upon which the regular expression is looking for matches
1123     *  without changing any other aspect of the matching state.
1124     *  The new and previous text strings must have the same content.
1125     *
1126     *  This function is intended for use in environments where ICU is operating on 
1127     *  strings that may move around in memory.  It provides a mechanism for notifying
1128     *  ICU that the string has been relocated, and providing a new UText to access the
1129     *  string in its new position.
1130     *
1131     *  Note that the regular expression implementation never copies the underlying text
1132     *  of a string being matched, but always operates directly on the original text 
1133     *  provided by the user. Refreshing simply drops the references to the old text 
1134     *  and replaces them with references to the new.
1135     *
1136     *  Caution:  this function is normally used only by very specialized,
1137     *  system-level code.  One example use case is with garbage collection that moves
1138     *  the text in memory.
1139     *
1140     * @param input      The new (moved) text string.
1141     * @param status     Receives errors detected by this function.
1142     *
1143     * @stable ICU 4.8 
1144     */
1145     virtual RegexMatcher &refreshInputText(UText *input, UErrorCode &status);
1146 
1147 private:
1148     /**
1149      * Cause a compilation error if an application accidentally attempts to
1150      *   reset a matcher with a (char16_t *) string as input rather than
1151      *   a UnicodeString.    Avoids a dangling reference to a temporary string.
1152      *
1153      * To efficiently work with char16_t *strings, wrap the data in a UnicodeString
1154      * using one of the aliasing constructors, such as
1155      * `UnicodeString(UBool isTerminated, const char16_t *text, int32_t textLength);`
1156      * or in a UText, using
1157      * `utext_openUChars(UText *ut, const char16_t *text, int64_t textLength, UErrorCode *status);`
1158      *
1159      */
1160     RegexMatcher &reset(const char16_t *input) = delete;
1161 public:
1162 
1163    /**
1164     *   Returns the input string being matched.  Ownership of the string belongs to
1165     *   the matcher; it should not be altered or deleted. This method will work even if the input
1166     *   was originally supplied as a UText.
1167     *   @return the input string
1168     *   @stable ICU 2.4
1169     */
1170     virtual const UnicodeString &input() const;
1171     
1172    /**
1173     *   Returns the input string being matched.  This is the live input text; it should not be
1174     *   altered or deleted. This method will work even if the input was originally supplied as
1175     *   a UnicodeString.
1176     *   @return the input text
1177     *
1178     *   @stable ICU 4.6
1179     */
1180     virtual UText *inputText() const;
1181     
1182    /**
1183     *   Returns the input string being matched, either by copying it into the provided
1184     *   UText parameter or by returning a shallow clone of the live input. Note that copying
1185     *   the entire input may cause significant performance and memory issues.
1186     *   @param dest The UText into which the input should be copied, or nullptr to create a new UText
1187     *   @param status error code
1188     *   @return dest if non-nullptr, a shallow copy of the input text otherwise
1189     *
1190     *   @stable ICU 4.6
1191     */
1192     virtual UText *getInput(UText *dest, UErrorCode &status) const;
1193     
1194 
1195    /** Sets the limits of this matcher's region.
1196      * The region is the part of the input string that will be searched to find a match.
1197      * Invoking this method resets the matcher, and then sets the region to start
1198      * at the index specified by the start parameter and end at the index specified
1199      * by the end parameter.
1200      *
1201      * Depending on the transparency and anchoring being used (see useTransparentBounds
1202      * and useAnchoringBounds), certain constructs such as anchors may behave differently
1203      * at or around the boundaries of the region
1204      *
1205      * The function will fail if start is greater than limit, or if either index
1206      *  is less than zero or greater than the length of the string being matched.
1207      *
1208      * @param start  The (native) index to begin searches at.
1209      * @param limit  The index to end searches at (exclusive).
1210      * @param status A reference to a UErrorCode to receive any errors.
1211      * @stable ICU 4.0
1212      */
1213      virtual RegexMatcher &region(int64_t start, int64_t limit, UErrorCode &status);
1214 
1215    /** 
1216      * Identical to region(start, limit, status) but also allows a start position without
1217      *  resetting the region state.
1218      * @param regionStart The region start
1219      * @param regionLimit the limit of the region
1220      * @param startIndex  The (native) index within the region bounds at which to begin searches.
1221      * @param status A reference to a UErrorCode to receive any errors.
1222      *                If startIndex is not within the specified region bounds, 
1223      *                U_INDEX_OUTOFBOUNDS_ERROR is returned.
1224      * @stable ICU 4.6
1225      */
1226      virtual RegexMatcher &region(int64_t regionStart, int64_t regionLimit, int64_t startIndex, UErrorCode &status);
1227 
1228    /**
1229      * Reports the start index of this matcher's region. The searches this matcher
1230      * conducts are limited to finding matches within regionStart (inclusive) and
1231      * regionEnd (exclusive).
1232      *
1233      * @return The starting (native) index of this matcher's region.
1234      * @stable ICU 4.0
1235      */
1236      virtual int32_t regionStart() const;
1237 
1238    /**
1239      * Reports the start index of this matcher's region. The searches this matcher
1240      * conducts are limited to finding matches within regionStart (inclusive) and
1241      * regionEnd (exclusive).
1242      *
1243      * @return The starting (native) index of this matcher's region.
1244      * @stable ICU 4.6
1245      */
1246      virtual int64_t regionStart64() const;
1247 
1248 
1249     /**
1250       * Reports the end (limit) index (exclusive) of this matcher's region. The searches
1251       * this matcher conducts are limited to finding matches within regionStart
1252       * (inclusive) and regionEnd (exclusive).
1253       *
1254       * @return The ending point (native) of this matcher's region.
1255       * @stable ICU 4.0
1256       */
1257       virtual int32_t regionEnd() const;
1258 
1259    /**
1260      * Reports the end (limit) index (exclusive) of this matcher's region. The searches
1261      * this matcher conducts are limited to finding matches within regionStart
1262      * (inclusive) and regionEnd (exclusive).
1263      *
1264      * @return The ending point (native) of this matcher's region.
1265      * @stable ICU 4.6
1266      */
1267       virtual int64_t regionEnd64() const;
1268 
1269     /**
1270       * Queries the transparency of region bounds for this matcher.
1271       * See useTransparentBounds for a description of transparent and opaque bounds.
1272       * By default, a matcher uses opaque region boundaries.
1273       *
1274       * @return true if this matcher is using opaque bounds, false if it is not.
1275       * @stable ICU 4.0
1276       */
1277       virtual UBool hasTransparentBounds() const;
1278 
1279     /**
1280       * Sets the transparency of region bounds for this matcher.
1281       * Invoking this function with an argument of true will set this matcher to use transparent bounds.
1282       * If the boolean argument is false, then opaque bounds will be used.
1283       *
1284       * Using transparent bounds, the boundaries of this matcher's region are transparent
1285       * to lookahead, lookbehind, and boundary matching constructs. Those constructs can
1286       * see text beyond the boundaries of the region while checking for a match.
1287       *
1288       * With opaque bounds, no text outside of the matcher's region is visible to lookahead,
1289       * lookbehind, and boundary matching constructs.
1290       *
1291       * By default, a matcher uses opaque bounds.
1292       *
1293       * @param   b true for transparent bounds; false for opaque bounds
1294       * @return  This Matcher;
1295       * @stable ICU 4.0
1296       **/
1297       virtual RegexMatcher &useTransparentBounds(UBool b);
1298 
1299      
1300     /**
1301       * Return true if this matcher is using anchoring bounds.
1302       * By default, matchers use anchoring region bounds.
1303       *
1304       * @return true if this matcher is using anchoring bounds.
1305       * @stable ICU 4.0
1306       */    
1307       virtual UBool hasAnchoringBounds() const;
1308 
1309 
1310     /**
1311       * Set whether this matcher is using Anchoring Bounds for its region.
1312       * With anchoring bounds, pattern anchors such as ^ and $ will match at the start
1313       * and end of the region.  Without Anchoring Bounds, anchors will only match at
1314       * the positions they would in the complete text.
1315       *
1316       * Anchoring Bounds are the default for regions.
1317       *
1318       * @param b true if to enable anchoring bounds; false to disable them.
1319       * @return  This Matcher
1320       * @stable ICU 4.0
1321       */
1322       virtual RegexMatcher &useAnchoringBounds(UBool b);
1323 
1324 
1325     /**
1326       * Return true if the most recent matching operation attempted to access
1327       *  additional input beyond the available input text.
1328       *  In this case, additional input text could change the results of the match.
1329       *
1330       *  hitEnd() is defined for both successful and unsuccessful matches.
1331       *  In either case hitEnd() will return true if if the end of the text was
1332       *  reached at any point during the matching process.
1333       *
1334       *  @return  true if the most recent match hit the end of input
1335       *  @stable ICU 4.0
1336       */
1337       virtual UBool hitEnd() const;
1338 
1339     /**
1340       * Return true the most recent match succeeded and additional input could cause
1341       * it to fail. If this method returns false and a match was found, then more input
1342       * might change the match but the match won't be lost. If a match was not found,
1343       * then requireEnd has no meaning.
1344       *
1345       * @return true if more input could cause the most recent match to no longer match.
1346       * @stable ICU 4.0
1347       */
1348       virtual UBool requireEnd() const;
1349 
1350 
1351    /**
1352     *    Returns the pattern that is interpreted by this matcher.
1353     *    @return  the RegexPattern for this RegexMatcher
1354     *    @stable ICU 2.4
1355     */
1356     virtual const RegexPattern &pattern() const;
1357 
1358 
1359    /**
1360     *    Replaces every substring of the input that matches the pattern
1361     *    with the given replacement string.  This is a convenience function that
1362     *    provides a complete find-and-replace-all operation.
1363     *
1364     *    This method first resets this matcher. It then scans the input string
1365     *    looking for matches of the pattern. Input that is not part of any
1366     *    match is left unchanged; each match is replaced in the result by the
1367     *    replacement string. The replacement string may contain references to
1368     *    capture groups.
1369     *
1370     *    @param   replacement a string containing the replacement text.
1371     *    @param   status      a reference to a UErrorCode to receive any errors.
1372     *    @return              a string containing the results of the find and replace.
1373     *    @stable ICU 2.4
1374     */
1375     virtual UnicodeString replaceAll(const UnicodeString &replacement, UErrorCode &status);
1376 
1377 
1378    /**
1379     *    Replaces every substring of the input that matches the pattern
1380     *    with the given replacement string.  This is a convenience function that
1381     *    provides a complete find-and-replace-all operation.
1382     *
1383     *    This method first resets this matcher. It then scans the input string
1384     *    looking for matches of the pattern. Input that is not part of any
1385     *    match is left unchanged; each match is replaced in the result by the
1386     *    replacement string. The replacement string may contain references to
1387     *    capture groups.
1388     *
1389     *    @param   replacement a string containing the replacement text.
1390     *    @param   dest        a mutable UText in which the results are placed.
1391     *                          If nullptr, a new UText will be created (which may not be mutable).
1392     *    @param   status      a reference to a UErrorCode to receive any errors.
1393     *    @return              a string containing the results of the find and replace.
1394     *                          If a pre-allocated UText was provided, it will always be used and returned.
1395     *
1396     *    @stable ICU 4.6
1397     */
1398     virtual UText *replaceAll(UText *replacement, UText *dest, UErrorCode &status);
1399     
1400 
1401    /**
1402     * Replaces the first substring of the input that matches
1403     * the pattern with the replacement string.   This is a convenience
1404     * function that provides a complete find-and-replace operation.
1405     *
1406     * This function first resets this RegexMatcher. It then scans the input string
1407     * looking for a match of the pattern. Input that is not part
1408     * of the match is appended directly to the result string; the match is replaced
1409     * in the result by the replacement string. The replacement string may contain
1410     * references to captured groups.
1411     *
1412     * The state of the matcher (the position at which a subsequent find()
1413     *    would begin) after completing a replaceFirst() is not specified.  The
1414     *    RegexMatcher should be reset before doing additional find() operations.
1415     *
1416     *    @param   replacement a string containing the replacement text.
1417     *    @param   status      a reference to a UErrorCode to receive any errors.
1418     *    @return              a string containing the results of the find and replace.
1419     *    @stable ICU 2.4
1420     */
1421     virtual UnicodeString replaceFirst(const UnicodeString &replacement, UErrorCode &status);
1422     
1423 
1424    /**
1425     * Replaces the first substring of the input that matches
1426     * the pattern with the replacement string.   This is a convenience
1427     * function that provides a complete find-and-replace operation.
1428     *
1429     * This function first resets this RegexMatcher. It then scans the input string
1430     * looking for a match of the pattern. Input that is not part
1431     * of the match is appended directly to the result string; the match is replaced
1432     * in the result by the replacement string. The replacement string may contain
1433     * references to captured groups.
1434     *
1435     * The state of the matcher (the position at which a subsequent find()
1436     *    would begin) after completing a replaceFirst() is not specified.  The
1437     *    RegexMatcher should be reset before doing additional find() operations.
1438     *
1439     *    @param   replacement a string containing the replacement text.
1440     *    @param   dest        a mutable UText in which the results are placed.
1441     *                          If nullptr, a new UText will be created (which may not be mutable).
1442     *    @param   status      a reference to a UErrorCode to receive any errors.
1443     *    @return              a string containing the results of the find and replace.
1444     *                          If a pre-allocated UText was provided, it will always be used and returned.
1445     *
1446     *    @stable ICU 4.6
1447     */
1448     virtual UText *replaceFirst(UText *replacement, UText *dest, UErrorCode &status);
1449     
1450     
1451    /**
1452     *   Implements a replace operation intended to be used as part of an
1453     *   incremental find-and-replace.
1454     *
1455     *   The input string, starting from the end of the previous replacement and ending at
1456     *   the start of the current match, is appended to the destination string.  Then the
1457     *   replacement string is appended to the output string,
1458     *   including handling any substitutions of captured text.
1459     *
1460     *   For simple, prepackaged, non-incremental find-and-replace
1461     *   operations, see replaceFirst() or replaceAll().
1462     *
1463     *   @param   dest        A UnicodeString to which the results of the find-and-replace are appended.
1464     *   @param   replacement A UnicodeString that provides the text to be substituted for
1465     *                        the input text that matched the regexp pattern.  The replacement
1466     *                        text may contain references to captured text from the
1467     *                        input.
1468     *   @param   status      A reference to a UErrorCode to receive any errors.  Possible
1469     *                        errors are  U_REGEX_INVALID_STATE if no match has been
1470     *                        attempted or the last match failed, and U_INDEX_OUTOFBOUNDS_ERROR
1471     *                        if the replacement text specifies a capture group that
1472     *                        does not exist in the pattern.
1473     *
1474     *   @return  this  RegexMatcher
1475     *   @stable ICU 2.4
1476     *
1477     */
1478     virtual RegexMatcher &appendReplacement(UnicodeString &dest,
1479         const UnicodeString &replacement, UErrorCode &status);
1480     
1481     
1482    /**
1483     *   Implements a replace operation intended to be used as part of an
1484     *   incremental find-and-replace.
1485     *
1486     *   The input string, starting from the end of the previous replacement and ending at
1487     *   the start of the current match, is appended to the destination string.  Then the
1488     *   replacement string is appended to the output string,
1489     *   including handling any substitutions of captured text.
1490     *
1491     *   For simple, prepackaged, non-incremental find-and-replace
1492     *   operations, see replaceFirst() or replaceAll().
1493     *
1494     *   @param   dest        A mutable UText to which the results of the find-and-replace are appended.
1495     *                         Must not be nullptr.
1496     *   @param   replacement A UText that provides the text to be substituted for
1497     *                        the input text that matched the regexp pattern.  The replacement
1498     *                        text may contain references to captured text from the input.
1499     *   @param   status      A reference to a UErrorCode to receive any errors.  Possible
1500     *                        errors are  U_REGEX_INVALID_STATE if no match has been
1501     *                        attempted or the last match failed, and U_INDEX_OUTOFBOUNDS_ERROR
1502     *                        if the replacement text specifies a capture group that
1503     *                        does not exist in the pattern.
1504     *
1505     *   @return  this  RegexMatcher
1506     *
1507     *   @stable ICU 4.6
1508     */
1509     virtual RegexMatcher &appendReplacement(UText *dest,
1510         UText *replacement, UErrorCode &status);
1511 
1512 
1513    /**
1514     * As the final step in a find-and-replace operation, append the remainder
1515     * of the input string, starting at the position following the last appendReplacement(),
1516     * to the destination string. `appendTail()` is intended to be invoked after one
1517     * or more invocations of the `RegexMatcher::appendReplacement()`.
1518     *
1519     *  @param dest A UnicodeString to which the results of the find-and-replace are appended.
1520     *  @return  the destination string.
1521     *  @stable ICU 2.4
1522     */
1523     virtual UnicodeString &appendTail(UnicodeString &dest);
1524 
1525 
1526    /**
1527     * As the final step in a find-and-replace operation, append the remainder
1528     * of the input string, starting at the position following the last appendReplacement(),
1529     * to the destination string. `appendTail()` is intended to be invoked after one
1530     * or more invocations of the `RegexMatcher::appendReplacement()`.
1531     *
1532     *  @param dest A mutable UText to which the results of the find-and-replace are appended.
1533     *               Must not be nullptr.
1534     *  @param status error cod
1535     *  @return  the destination string.
1536     *
1537     *  @stable ICU 4.6
1538     */
1539     virtual UText *appendTail(UText *dest, UErrorCode &status);
1540 
1541 
1542     /**
1543      * Split a string into fields.  Somewhat like %split() from Perl.
1544      * The pattern matches identify delimiters that separate the input
1545      *  into fields.  The input data between the matches becomes the
1546      *  fields themselves.
1547      *
1548      * @param input   The string to be split into fields.  The field delimiters
1549      *                match the pattern (in the "this" object).  This matcher
1550      *                will be reset to this input string.
1551      * @param dest    An array of UnicodeStrings to receive the results of the split.
1552      *                This is an array of actual UnicodeString objects, not an
1553      *                array of pointers to strings.  Local (stack based) arrays can
1554      *                work well here.
1555      * @param destCapacity  The number of elements in the destination array.
1556      *                If the number of fields found is less than destCapacity, the
1557      *                extra strings in the destination array are not altered.
1558      *                If the number of destination strings is less than the number
1559      *                of fields, the trailing part of the input string, including any
1560      *                field delimiters, is placed in the last destination string.
1561      * @param status  A reference to a UErrorCode to receive any errors.
1562      * @return        The number of fields into which the input string was split.
1563      * @stable ICU 2.6
1564      */
1565     virtual int32_t  split(const UnicodeString &input,
1566         UnicodeString    dest[],
1567         int32_t          destCapacity,
1568         UErrorCode       &status);
1569 
1570 
1571     /**
1572      * Split a string into fields.  Somewhat like %split() from Perl.
1573      * The pattern matches identify delimiters that separate the input
1574      *  into fields.  The input data between the matches becomes the
1575      *  fields themselves.
1576      *
1577      * @param input   The string to be split into fields.  The field delimiters
1578      *                match the pattern (in the "this" object).  This matcher
1579      *                will be reset to this input string.
1580      * @param dest    An array of mutable UText structs to receive the results of the split.
1581      *                If a field is nullptr, a new UText is allocated to contain the results for
1582      *                that field. This new UText is not guaranteed to be mutable.
1583      * @param destCapacity  The number of elements in the destination array.
1584      *                If the number of fields found is less than destCapacity, the
1585      *                extra strings in the destination array are not altered.
1586      *                If the number of destination strings is less than the number
1587      *                of fields, the trailing part of the input string, including any
1588      *                field delimiters, is placed in the last destination string.
1589      * @param status  A reference to a UErrorCode to receive any errors.
1590      * @return        The number of fields into which the input string was split.
1591      *
1592      * @stable ICU 4.6
1593      */
1594     virtual int32_t  split(UText *input,
1595         UText           *dest[],
1596         int32_t          destCapacity,
1597         UErrorCode       &status);
1598     
1599   /**
1600     *   Set a processing time limit for match operations with this Matcher.
1601     *  
1602     *   Some patterns, when matching certain strings, can run in exponential time.
1603     *   For practical purposes, the match operation may appear to be in an
1604     *   infinite loop.
1605     *   When a limit is set a match operation will fail with an error if the
1606     *   limit is exceeded.
1607     *
1608     *   The units of the limit are steps of the match engine.
1609     *   Correspondence with actual processor time will depend on the speed
1610     *   of the processor and the details of the specific pattern, but will
1611     *   typically be on the order of milliseconds.
1612     *
1613     *   By default, the matching time is not limited.
1614     *
1615     *
1616     *   @param   limit       The limit value, or 0 for no limit.
1617     *   @param   status      A reference to a UErrorCode to receive any errors.
1618     *   @stable ICU 4.0
1619     */
1620     virtual void setTimeLimit(int32_t limit, UErrorCode &status);
1621 
1622   /**
1623     * Get the time limit, if any, for match operations made with this Matcher.
1624     *
1625     *   @return the maximum allowed time for a match, in units of processing steps.
1626     *   @stable ICU 4.0
1627     */
1628     virtual int32_t getTimeLimit() const;
1629 
1630   /**
1631     *  Set the amount of heap storage available for use by the match backtracking stack.
1632     *  The matcher is also reset, discarding any results from previous matches.
1633     *
1634     *  ICU uses a backtracking regular expression engine, with the backtrack stack
1635     *  maintained on the heap.  This function sets the limit to the amount of memory
1636     *  that can be used for this purpose.  A backtracking stack overflow will
1637     *  result in an error from the match operation that caused it.
1638     *
1639     *  A limit is desirable because a malicious or poorly designed pattern can use
1640     *  excessive memory, potentially crashing the process.  A limit is enabled
1641     *  by default.
1642     *
1643     *  @param limit  The maximum size, in bytes, of the matching backtrack stack.
1644     *                A value of zero means no limit.
1645     *                The limit must be greater or equal to zero.
1646     *
1647     *  @param status   A reference to a UErrorCode to receive any errors.
1648     *
1649     *  @stable ICU 4.0
1650     */
1651     virtual void setStackLimit(int32_t  limit, UErrorCode &status);
1652     
1653   /**
1654     *  Get the size of the heap storage available for use by the back tracking stack.
1655     *
1656     *  @return  the maximum backtracking stack size, in bytes, or zero if the
1657     *           stack size is unlimited.
1658     *  @stable ICU 4.0
1659     */
1660     virtual int32_t  getStackLimit() const;
1661 
1662 
1663   /**
1664     * Set a callback function for use with this Matcher.
1665     * During matching operations the function will be called periodically,
1666     * giving the application the opportunity to terminate a long-running
1667     * match.
1668     *
1669     *    @param   callback    A pointer to the user-supplied callback function.
1670     *    @param   context     User context pointer.  The value supplied at the
1671     *                         time the callback function is set will be saved
1672     *                         and passed to the callback each time that it is called.
1673     *    @param   status      A reference to a UErrorCode to receive any errors.
1674     *  @stable ICU 4.0
1675     */
1676     virtual void setMatchCallback(URegexMatchCallback     *callback,
1677                                   const void              *context,
1678                                   UErrorCode              &status);
1679 
1680 
1681   /**
1682     *  Get the callback function for this URegularExpression.
1683     *
1684     *    @param   callback    Out parameter, receives a pointer to the user-supplied 
1685     *                         callback function.
1686     *    @param   context     Out parameter, receives the user context pointer that
1687     *                         was set when uregex_setMatchCallback() was called.
1688     *    @param   status      A reference to a UErrorCode to receive any errors.
1689     *    @stable ICU 4.0
1690     */
1691     virtual void getMatchCallback(URegexMatchCallback     *&callback,
1692                                   const void              *&context,
1693                                   UErrorCode              &status);
1694 
1695 
1696   /**
1697     * Set a progress callback function for use with find operations on this Matcher.
1698     * During find operations, the callback will be invoked after each return from a
1699     * match attempt, giving the application the opportunity to terminate a long-running
1700     * find operation.
1701     *
1702     *    @param   callback    A pointer to the user-supplied callback function.
1703     *    @param   context     User context pointer.  The value supplied at the
1704     *                         time the callback function is set will be saved
1705     *                         and passed to the callback each time that it is called.
1706     *    @param   status      A reference to a UErrorCode to receive any errors.
1707     *    @stable ICU 4.6
1708     */
1709     virtual void setFindProgressCallback(URegexFindProgressCallback      *callback,
1710                                               const void                              *context,
1711                                               UErrorCode                              &status);
1712 
1713 
1714   /**
1715     *  Get the find progress callback function for this URegularExpression.
1716     *
1717     *    @param   callback    Out parameter, receives a pointer to the user-supplied 
1718     *                         callback function.
1719     *    @param   context     Out parameter, receives the user context pointer that
1720     *                         was set when uregex_setFindProgressCallback() was called.
1721     *    @param   status      A reference to a UErrorCode to receive any errors.
1722     *    @stable ICU 4.6
1723     */
1724     virtual void getFindProgressCallback(URegexFindProgressCallback      *&callback,
1725                                               const void                      *&context,
1726                                               UErrorCode                      &status);
1727 
1728 #ifndef U_HIDE_INTERNAL_API
1729    /**
1730      *   setTrace   Debug function, enable/disable tracing of the matching engine.
1731      *              For internal ICU development use only.  DO NO USE!!!!
1732      *   @internal
1733      */
1734     void setTrace(UBool state);
1735 #endif  /* U_HIDE_INTERNAL_API */
1736 
1737     /**
1738     * ICU "poor man's RTTI", returns a UClassID for this class.
1739     *
1740     * @stable ICU 2.2
1741     */
1742     static UClassID U_EXPORT2 getStaticClassID();
1743 
1744     /**
1745      * ICU "poor man's RTTI", returns a UClassID for the actual class.
1746      *
1747      * @stable ICU 2.2
1748      */
1749     virtual UClassID getDynamicClassID() const override;
1750 
1751 private:
1752     // Constructors and other object boilerplate are private.
1753     // Instances of RegexMatcher can not be assigned, copied, cloned, etc.
1754     RegexMatcher() = delete;                  // default constructor not implemented
1755     RegexMatcher(const RegexPattern *pat);
1756     RegexMatcher(const RegexMatcher &other) = delete;
1757     RegexMatcher &operator =(const RegexMatcher &rhs) = delete;
1758     void init(UErrorCode &status);                      // Common initialization
1759     void init2(UText *t, UErrorCode &e);  // Common initialization, part 2.
1760 
1761     friend class RegexPattern;
1762     friend class RegexCImpl;
1763 public:
1764 #ifndef U_HIDE_INTERNAL_API
1765     /** @internal  */
1766     void resetPreserveRegion();  // Reset matcher state, but preserve any region.
1767 #endif  /* U_HIDE_INTERNAL_API */
1768 private:
1769 
1770     //
1771     //  MatchAt   This is the internal interface to the match engine itself.
1772     //            Match status comes back in matcher member variables.
1773     //
1774     void                 MatchAt(int64_t startIdx, UBool toEnd, UErrorCode &status);
1775     inline void          backTrack(int64_t &inputIdx, int32_t &patIdx);
1776     UBool                isWordBoundary(int64_t pos);         // perform Perl-like  \b test
1777     UBool                isUWordBoundary(int64_t pos, UErrorCode &status);   // perform RBBI based \b test
1778     // Find a grapheme cluster boundary using a break iterator. For handling \X in regexes.
1779     int64_t              followingGCBoundary(int64_t pos, UErrorCode &status);
1780     REStackFrame        *resetStack();
1781     inline REStackFrame *StateSave(REStackFrame *fp, int64_t savePatIdx, UErrorCode &status);
1782     void                 IncrementTime(UErrorCode &status);
1783 
1784     // Call user find callback function, if set. Return true if operation should be interrupted.
1785     inline UBool         findProgressInterrupt(int64_t matchIndex, UErrorCode &status);
1786     
1787     int64_t              appendGroup(int32_t groupNum, UText *dest, UErrorCode &status) const;
1788     
1789     UBool                findUsingChunk(UErrorCode &status);
1790     void                 MatchChunkAt(int32_t startIdx, UBool toEnd, UErrorCode &status);
1791     UBool                isChunkWordBoundary(int32_t pos);
1792 
1793     const RegexPattern  *fPattern;
1794     RegexPattern        *fPatternOwned;    // Non-nullptr if this matcher owns the pattern, and
1795                                            //   should delete it when through.
1796 
1797     const UnicodeString *fInput;           // The string being matched. Only used for input()
1798     UText               *fInputText;       // The text being matched. Is never nullptr.
1799     UText               *fAltInputText;    // A shallow copy of the text being matched.
1800                                            //   Only created if the pattern contains backreferences.
1801     int64_t              fInputLength;     // Full length of the input text.
1802     int32_t              fFrameSize;       // The size of a frame in the backtrack stack.
1803     
1804     int64_t              fRegionStart;     // Start of the input region, default = 0.
1805     int64_t              fRegionLimit;     // End of input region, default to input.length.
1806     
1807     int64_t              fAnchorStart;     // Region bounds for anchoring operations (^ or $).
1808     int64_t              fAnchorLimit;     //   See useAnchoringBounds
1809     
1810     int64_t              fLookStart;       // Region bounds for look-ahead/behind and
1811     int64_t              fLookLimit;       //   and other boundary tests.  See
1812                                            //   useTransparentBounds
1813 
1814     int64_t              fActiveStart;     // Currently active bounds for matching.
1815     int64_t              fActiveLimit;     //   Usually is the same as region, but
1816                                            //   is changed to fLookStart/Limit when
1817                                            //   entering look around regions.
1818 
1819     UBool                fTransparentBounds;  // True if using transparent bounds.
1820     UBool                fAnchoringBounds; // True if using anchoring bounds.
1821 
1822     UBool                fMatch;           // True if the last attempted match was successful.
1823     int64_t              fMatchStart;      // Position of the start of the most recent match
1824     int64_t              fMatchEnd;        // First position after the end of the most recent match
1825                                            //   Zero if no previous match, even when a region
1826                                            //   is active.
1827     int64_t              fLastMatchEnd;    // First position after the end of the previous match,
1828                                            //   or -1 if there was no previous match.
1829     int64_t              fAppendPosition;  // First position after the end of the previous
1830                                            //   appendReplacement().  As described by the
1831                                            //   JavaDoc for Java Matcher, where it is called 
1832                                            //   "append position"
1833     UBool                fHitEnd;          // True if the last match touched the end of input.
1834     UBool                fRequireEnd;      // True if the last match required end-of-input
1835                                            //    (matched $ or Z)
1836 
1837     UVector64           *fStack;
1838     REStackFrame        *fFrame;           // After finding a match, the last active stack frame,
1839                                            //   which will contain the capture group results.
1840                                            //   NOT valid while match engine is running.
1841 
1842     int64_t             *fData;            // Data area for use by the compiled pattern.
1843     int64_t             fSmallData[8];     //   Use this for data if it's enough.
1844 
1845     int32_t             fTimeLimit;        // Max time (in arbitrary steps) to let the
1846                                            //   match engine run.  Zero for unlimited.
1847     
1848     int32_t             fTime;             // Match time, accumulates while matching.
1849     int32_t             fTickCounter;      // Low bits counter for time.  Counts down StateSaves.
1850                                            //   Kept separately from fTime to keep as much
1851                                            //   code as possible out of the inline
1852                                            //   StateSave function.
1853 
1854     int32_t             fStackLimit;       // Maximum memory size to use for the backtrack
1855                                            //   stack, in bytes.  Zero for unlimited.
1856 
1857     URegexMatchCallback *fCallbackFn;       // Pointer to match progress callback funct.
1858                                            //   nullptr if there is no callback.
1859     const void         *fCallbackContext;  // User Context ptr for callback function.
1860 
1861     URegexFindProgressCallback  *fFindProgressCallbackFn;  // Pointer to match progress callback funct.
1862                                                            //   nullptr if there is no callback.
1863     const void         *fFindProgressCallbackContext;      // User Context ptr for callback function.
1864 
1865 
1866     UBool               fInputUniStrMaybeMutable;  // Set when fInputText wraps a UnicodeString that may be mutable - compatibility.
1867 
1868     UBool               fTraceDebug;       // Set true for debug tracing of match engine.
1869 
1870     UErrorCode          fDeferredStatus;   // Save error state that cannot be immediately
1871                                            //   reported, or that permanently disables this matcher.
1872 
1873     BreakIterator       *fWordBreakItr;
1874     BreakIterator       *fGCBreakItr;
1875 };
1876 
1877 U_NAMESPACE_END
1878 #endif  // UCONFIG_NO_REGULAR_EXPRESSIONS
1879 
1880 #endif /* U_SHOW_CPLUSPLUS_API */
1881 
1882 #endif