123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414 |
- // © 2016 and later: Unicode, Inc. and others.
- // License & terms of use: http://www.unicode.org/copyright.html
- //
- // Copyright (C) 2002-2015 International Business Machines Corporation
- // and others. All rights reserved.
- //
- // file: regeximp.h
- //
- // ICU Regular Expressions,
- // Definitions of constant values used in the compiled form of
- // a regular expression pattern.
- //
- #ifndef _REGEXIMP_H
- #define _REGEXIMP_H
- #include "unicode/utypes.h"
- #include "unicode/uobject.h"
- #include "unicode/uniset.h"
- #include "unicode/utext.h"
- #include "cmemory.h"
- #include "ucase.h"
- U_NAMESPACE_BEGIN
- // For debugging, define REGEX_DEBUG
- // To define with configure,
- // CPPFLAGS="-DREGEX_DEBUG" ./runConfigureICU --enable-debug --disable-release Linux
- #ifdef REGEX_DEBUG
- //
- // debugging options. Enable one or more of the three #defines immediately following
- //
- //#define REGEX_SCAN_DEBUG
- #define REGEX_DUMP_DEBUG
- #define REGEX_RUN_DEBUG
- // End of #defines inteded to be directly set.
- #include <stdio.h>
- #endif
- #ifdef REGEX_SCAN_DEBUG
- #define REGEX_SCAN_DEBUG_PRINTF(a) printf a
- #else
- #define REGEX_SCAN_DEBUG_PRINTF(a)
- #endif
- //
- // Opcode types In the compiled form of the regexp, these are the type, or opcodes,
- // of the entries.
- //
- enum {
- URX_RESERVED_OP = 0, // For multi-operand ops, most non-first words.
- URX_RESERVED_OP_N = 255, // For multi-operand ops, negative operand values.
- URX_BACKTRACK = 1, // Force a backtrack, as if a match test had failed.
- URX_END = 2,
- URX_ONECHAR = 3, // Value field is the 21 bit unicode char to match
- URX_STRING = 4, // Value field is index of string start
- URX_STRING_LEN = 5, // Value field is string length (code units)
- URX_STATE_SAVE = 6, // Value field is pattern position to push
- URX_NOP = 7,
- URX_START_CAPTURE = 8, // Value field is capture group number.
- URX_END_CAPTURE = 9, // Value field is capture group number
- URX_STATIC_SETREF = 10, // Value field is index of set in array of sets.
- URX_SETREF = 11, // Value field is index of set in array of sets.
- URX_DOTANY = 12,
- URX_JMP = 13, // Value field is destination position in
- // the pattern.
- URX_FAIL = 14, // Stop match operation, No match.
- URX_JMP_SAV = 15, // Operand: JMP destination location
- URX_BACKSLASH_B = 16, // Value field: 0: \b 1: \B
- URX_BACKSLASH_G = 17,
- URX_JMP_SAV_X = 18, // Conditional JMP_SAV,
- // Used in (x)+, breaks loop on zero length match.
- // Operand: Jmp destination.
- URX_BACKSLASH_X = 19,
- URX_BACKSLASH_Z = 20, // \z Unconditional end of line.
- URX_DOTANY_ALL = 21, // ., in the . matches any mode.
- URX_BACKSLASH_D = 22, // Value field: 0: \d 1: \D
- URX_CARET = 23, // Value field: 1: multi-line mode.
- URX_DOLLAR = 24, // Also for \Z
- URX_CTR_INIT = 25, // Counter Inits for {Interval} loops.
- URX_CTR_INIT_NG = 26, // 2 kinds, normal and non-greedy.
- // These are 4 word opcodes. See description.
- // First Operand: Data loc of counter variable
- // 2nd Operand: Pat loc of the URX_CTR_LOOPx
- // at the end of the loop.
- // 3rd Operand: Minimum count.
- // 4th Operand: Max count, -1 for unbounded.
- URX_DOTANY_UNIX = 27, // '.' operator in UNIX_LINES mode, only \n marks end of line.
- URX_CTR_LOOP = 28, // Loop Ops for {interval} loops.
- URX_CTR_LOOP_NG = 29, // Also in three flavors.
- // Operand is loc of corresponding CTR_INIT.
- URX_CARET_M_UNIX = 30, // '^' operator, test for start of line in multi-line
- // plus UNIX_LINES mode.
- URX_RELOC_OPRND = 31, // Operand value in multi-operand ops that refers
- // back into compiled pattern code, and thus must
- // be relocated when inserting/deleting ops in code.
- URX_STO_SP = 32, // Store the stack ptr. Operand is location within
- // matcher data (not stack data) to store it.
- URX_LD_SP = 33, // Load the stack pointer. Operand is location
- // to load from.
- URX_BACKREF = 34, // Back Reference. Parameter is the index of the
- // capture group variables in the state stack frame.
- URX_STO_INP_LOC = 35, // Store the input location. Operand is location
- // within the matcher stack frame.
- URX_JMPX = 36, // Conditional JMP.
- // First Operand: JMP target location.
- // Second Operand: Data location containing an
- // input position. If current input position ==
- // saved input position, FAIL rather than taking
- // the JMP
- URX_LA_START = 37, // Starting a LookAround expression.
- // Save InputPos, SP and active region in static data.
- // Operand: Static data offset for the save
- URX_LA_END = 38, // Ending a Lookaround expression.
- // Restore InputPos and Stack to saved values.
- // Operand: Static data offset for saved data.
- URX_ONECHAR_I = 39, // Test for case-insensitive match of a literal character.
- // Operand: the literal char.
- URX_STRING_I = 40, // Case insensitive string compare.
- // First Operand: Index of start of string in string literals
- // Second Operand (next word in compiled code):
- // the length of the string.
- URX_BACKREF_I = 41, // Case insensitive back reference.
- // Parameter is the index of the
- // capture group variables in the state stack frame.
- URX_DOLLAR_M = 42, // $ in multi-line mode.
- URX_CARET_M = 43, // ^ in multi-line mode.
- URX_LB_START = 44, // LookBehind Start.
- // Paramater is data location
- URX_LB_CONT = 45, // LookBehind Continue.
- // Param 0: the data location
- // Param 1: The minimum length of the look-behind match
- // Param 2: The max length of the look-behind match
- URX_LB_END = 46, // LookBehind End.
- // Parameter is the data location.
- // Check that match ended at the right spot,
- // Restore original input string len.
- URX_LBN_CONT = 47, // Negative LookBehind Continue
- // Param 0: the data location
- // Param 1: The minimum length of the look-behind match
- // Param 2: The max length of the look-behind match
- // Param 3: The pattern loc following the look-behind block.
- URX_LBN_END = 48, // Negative LookBehind end
- // Parameter is the data location.
- // Check that the match ended at the right spot.
- URX_STAT_SETREF_N = 49, // Reference to a prebuilt set (e.g. \w), negated
- // Operand is index of set in array of sets.
- URX_LOOP_SR_I = 50, // Init a [set]* loop.
- // Operand is the sets index in array of user sets.
- URX_LOOP_C = 51, // Continue a [set]* or OneChar* loop.
- // Operand is a matcher static data location.
- // Must always immediately follow LOOP_x_I instruction.
- URX_LOOP_DOT_I = 52, // .*, initialization of the optimized loop.
- // Operand value:
- // bit 0:
- // 0: Normal (. doesn't match new-line) mode.
- // 1: . matches new-line mode.
- // bit 1: controls what new-lines are recognized by this operation.
- // 0: All Unicode New-lines
- // 1: UNIX_LINES, \u000a only.
- URX_BACKSLASH_BU = 53, // \b or \B in UREGEX_UWORD mode, using Unicode style
- // word boundaries.
- URX_DOLLAR_D = 54, // $ end of input test, in UNIX_LINES mode.
- URX_DOLLAR_MD = 55, // $ end of input test, in MULTI_LINE and UNIX_LINES mode.
- URX_BACKSLASH_H = 56, // Value field: 0: \h 1: \H
- URX_BACKSLASH_R = 57, // Any line break sequence.
- URX_BACKSLASH_V = 58 // Value field: 0: \v 1: \V
- };
- // Keep this list of opcode names in sync with the above enum
- // Used for debug printing only.
- #define URX_OPCODE_NAMES \
- " ", \
- "BACKTRACK", \
- "END", \
- "ONECHAR", \
- "STRING", \
- "STRING_LEN", \
- "STATE_SAVE", \
- "NOP", \
- "START_CAPTURE", \
- "END_CAPTURE", \
- "URX_STATIC_SETREF", \
- "SETREF", \
- "DOTANY", \
- "JMP", \
- "FAIL", \
- "JMP_SAV", \
- "BACKSLASH_B", \
- "BACKSLASH_G", \
- "JMP_SAV_X", \
- "BACKSLASH_X", \
- "BACKSLASH_Z", \
- "DOTANY_ALL", \
- "BACKSLASH_D", \
- "CARET", \
- "DOLLAR", \
- "CTR_INIT", \
- "CTR_INIT_NG", \
- "DOTANY_UNIX", \
- "CTR_LOOP", \
- "CTR_LOOP_NG", \
- "URX_CARET_M_UNIX", \
- "RELOC_OPRND", \
- "STO_SP", \
- "LD_SP", \
- "BACKREF", \
- "STO_INP_LOC", \
- "JMPX", \
- "LA_START", \
- "LA_END", \
- "ONECHAR_I", \
- "STRING_I", \
- "BACKREF_I", \
- "DOLLAR_M", \
- "CARET_M", \
- "LB_START", \
- "LB_CONT", \
- "LB_END", \
- "LBN_CONT", \
- "LBN_END", \
- "STAT_SETREF_N", \
- "LOOP_SR_I", \
- "LOOP_C", \
- "LOOP_DOT_I", \
- "BACKSLASH_BU", \
- "DOLLAR_D", \
- "DOLLAR_MD", \
- "URX_BACKSLASH_H", \
- "URX_BACKSLASH_R", \
- "URX_BACKSLASH_V"
- //
- // Convenience macros for assembling and disassembling a compiled operation.
- //
- #define URX_TYPE(x) ((uint32_t)(x) >> 24)
- #define URX_VAL(x) ((x) & 0xffffff)
- //
- // Access to Unicode Sets composite character properties
- // The sets are accessed by the match engine for things like \w (word boundary)
- //
- enum {
- URX_ISWORD_SET = 1,
- URX_ISALNUM_SET = 2,
- URX_ISALPHA_SET = 3,
- URX_ISSPACE_SET = 4,
- URX_GC_NORMAL, // Sets for finding grapheme cluster boundaries.
- URX_GC_EXTEND,
- URX_GC_CONTROL,
- URX_GC_L,
- URX_GC_LV,
- URX_GC_LVT,
- URX_GC_V,
- URX_GC_T,
- URX_LAST_SET,
- URX_NEG_SET = 0x800000 // Flag bit to reverse sense of set
- // membership test.
- };
- //
- // Match Engine State Stack Frame Layout.
- //
- struct REStackFrame {
- // Header
- int64_t fInputIdx; // Position of next character in the input string
- int64_t fPatIdx; // Position of next Op in the compiled pattern
- // (int64_t for UVector64, values fit in an int32_t)
- // Remainder
- int64_t fExtra[1]; // Extra state, for capture group start/ends
- // atomic parentheses, repeat counts, etc.
- // Locations assigned at pattern compile time.
- // Variable-length array.
- };
- // number of UVector elements in the header
- #define RESTACKFRAME_HDRCOUNT 2
- //
- // Start-Of-Match type. Used by find() to quickly scan to positions where a
- // match might start before firing up the full match engine.
- //
- enum StartOfMatch {
- START_NO_INFO, // No hint available.
- START_CHAR, // Match starts with a literal code point.
- START_SET, // Match starts with something matching a set.
- START_START, // Match starts at start of buffer only (^ or \A)
- START_LINE, // Match starts with ^ in multi-line mode.
- START_STRING // Match starts with a literal string.
- };
- #define START_OF_MATCH_STR(v) ((v)==START_NO_INFO? "START_NO_INFO" : \
- (v)==START_CHAR? "START_CHAR" : \
- (v)==START_SET? "START_SET" : \
- (v)==START_START? "START_START" : \
- (v)==START_LINE? "START_LINE" : \
- (v)==START_STRING? "START_STRING" : \
- "ILLEGAL")
- //
- // 8 bit set, to fast-path latin-1 set membership tests.
- //
- struct Regex8BitSet : public UMemory {
- inline Regex8BitSet();
- inline void operator = (const Regex8BitSet &s);
- inline void init(const UnicodeSet *src);
- inline UBool contains(UChar32 c);
- inline void add(UChar32 c);
- int8_t d[32];
- };
- inline Regex8BitSet::Regex8BitSet() {
- uprv_memset(d, 0, sizeof(d));
- }
- inline UBool Regex8BitSet::contains(UChar32 c) {
- // No bounds checking! This is deliberate.
- return ((d[c>>3] & 1 <<(c&7)) != 0);
- }
- inline void Regex8BitSet::add(UChar32 c) {
- d[c>>3] |= 1 << (c&7);
- }
- inline void Regex8BitSet::init(const UnicodeSet *s) {
- if (s != NULL) {
- for (int32_t i=0; i<=255; i++) {
- if (s->contains(i)) {
- this->add(i);
- }
- }
- }
- }
- inline void Regex8BitSet::operator = (const Regex8BitSet &s) {
- uprv_memcpy(d, s.d, sizeof(d));
- }
- // Case folded UText Iterator helper class.
- // Wraps a UText, provides a case-folded enumeration over its contents.
- // Used in implementing case insensitive matching constructs.
- // Implementation in rematch.cpp
- class CaseFoldingUTextIterator: public UMemory {
- public:
- CaseFoldingUTextIterator(UText &text);
- ~CaseFoldingUTextIterator();
- UChar32 next(); // Next case folded character
- UBool inExpansion(); // True if last char returned from next() and the
- // next to be returned both originated from a string
- // folding of the same code point from the orignal UText.
- private:
- UText &fUText;
- const UChar *fFoldChars;
- int32_t fFoldLength;
- int32_t fFoldIndex;
- };
- // Case folded UChar * string iterator.
- // Wraps a UChar *, provides a case-folded enumeration over its contents.
- // Used in implementing case insensitive matching constructs.
- // Implementation in rematch.cpp
- class CaseFoldingUCharIterator: public UMemory {
- public:
- CaseFoldingUCharIterator(const UChar *chars, int64_t start, int64_t limit);
- ~CaseFoldingUCharIterator();
- UChar32 next(); // Next case folded character
- UBool inExpansion(); // True if last char returned from next() and the
- // next to be returned both originated from a string
- // folding of the same code point from the orignal UText.
- int64_t getIndex(); // Return the current input buffer index.
- private:
- const UChar *fChars;
- int64_t fIndex;
- int64_t fLimit;
- const UChar *fFoldChars;
- int32_t fFoldLength;
- int32_t fFoldIndex;
- };
- U_NAMESPACE_END
- #endif
|