1 /**********************************************************************
2 regparse.c - Oniguruma (regular expression library)
3 **********************************************************************/
5 * Copyright (c) 2002-2018 K.Kosako <sndgk393 AT ybb DOT ne DOT jp>
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 #ifdef DEBUG_NODE_FREE
37 #define INIT_TAG_NAMES_ALLOC_NUM 5
39 #define WARN_BUFSIZE 256
41 #define CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
43 #define IS_ALLOWED_CODE_IN_CALLOUT_NAME(c) \
44 ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z') || (c >= '0' && c <= '9') || c == '_' /* || c == '!' */)
45 #define IS_ALLOWED_CODE_IN_CALLOUT_TAG_NAME(c) \
46 ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z') || (c >= '0' && c <= '9') || c == '_')
49 OnigSyntaxType OnigSyntaxOniguruma
= {
50 (( SYN_GNU_REGEX_OP
| ONIG_SYN_OP_QMARK_NON_GREEDY
|
51 ONIG_SYN_OP_ESC_OCTAL3
| ONIG_SYN_OP_ESC_X_HEX2
|
52 ONIG_SYN_OP_ESC_X_BRACE_HEX8
| ONIG_SYN_OP_ESC_O_BRACE_OCTAL
|
53 ONIG_SYN_OP_ESC_CONTROL_CHARS
|
54 ONIG_SYN_OP_ESC_C_CONTROL
)
55 & ~ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)
56 , ( ONIG_SYN_OP2_QMARK_GROUP_EFFECT
|
57 ONIG_SYN_OP2_OPTION_RUBY
|
58 ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
| ONIG_SYN_OP2_ESC_K_NAMED_BACKREF
|
59 ONIG_SYN_OP2_QMARK_LPAREN_IF_ELSE
|
60 ONIG_SYN_OP2_QMARK_TILDE_ABSENT_GROUP
|
61 ONIG_SYN_OP2_QMARK_BRACE_CALLOUT_CONTENTS
|
62 ONIG_SYN_OP2_ASTERISK_CALLOUT_NAME
|
63 ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
|
64 ONIG_SYN_OP2_ESC_CAPITAL_R_GENERAL_NEWLINE
|
65 ONIG_SYN_OP2_ESC_CAPITAL_N_O_SUPER_DOT
|
66 ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP
|
67 ONIG_SYN_OP2_ESC_G_SUBEXP_CALL
|
68 ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
|
69 ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
|
70 ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT
|
71 ONIG_SYN_OP2_CCLASS_SET_OP
| ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL
|
72 ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META
| ONIG_SYN_OP2_ESC_V_VTAB
|
73 ONIG_SYN_OP2_ESC_H_XDIGIT
| ONIG_SYN_OP2_ESC_U_HEX4
)
74 , ( SYN_GNU_REGEX_BV
|
75 ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV
|
76 ONIG_SYN_DIFFERENT_LEN_ALT_LOOK_BEHIND
|
77 ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP
|
78 ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME
|
79 ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
|
80 ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
|
81 ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT
)
85 (OnigCodePoint
)'\\' /* esc */
86 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anychar '.' */
87 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anytime '*' */
88 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* zero or one time '?' */
89 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* one or more time '+' */
90 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anychar anytime */
94 OnigSyntaxType OnigSyntaxRuby
= {
95 (( SYN_GNU_REGEX_OP
| ONIG_SYN_OP_QMARK_NON_GREEDY
|
96 ONIG_SYN_OP_ESC_OCTAL3
| ONIG_SYN_OP_ESC_X_HEX2
|
97 ONIG_SYN_OP_ESC_X_BRACE_HEX8
| ONIG_SYN_OP_ESC_O_BRACE_OCTAL
|
98 ONIG_SYN_OP_ESC_CONTROL_CHARS
|
99 ONIG_SYN_OP_ESC_C_CONTROL
)
100 & ~ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)
101 , ( ONIG_SYN_OP2_QMARK_GROUP_EFFECT
|
102 ONIG_SYN_OP2_OPTION_RUBY
|
103 ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
| ONIG_SYN_OP2_ESC_K_NAMED_BACKREF
|
104 ONIG_SYN_OP2_QMARK_LPAREN_IF_ELSE
|
105 ONIG_SYN_OP2_QMARK_TILDE_ABSENT_GROUP
|
106 ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
|
107 ONIG_SYN_OP2_ESC_CAPITAL_R_GENERAL_NEWLINE
|
108 ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP
|
109 ONIG_SYN_OP2_ESC_G_SUBEXP_CALL
|
110 ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
|
111 ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
|
112 ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT
|
113 ONIG_SYN_OP2_CCLASS_SET_OP
| ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL
|
114 ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META
| ONIG_SYN_OP2_ESC_V_VTAB
|
115 ONIG_SYN_OP2_ESC_H_XDIGIT
| ONIG_SYN_OP2_ESC_U_HEX4
)
116 , ( SYN_GNU_REGEX_BV
|
117 ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV
|
118 ONIG_SYN_DIFFERENT_LEN_ALT_LOOK_BEHIND
|
119 ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP
|
120 ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME
|
121 ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
|
122 ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
|
123 ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT
)
127 (OnigCodePoint
)'\\' /* esc */
128 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anychar '.' */
129 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anytime '*' */
130 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* zero or one time '?' */
131 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* one or more time '+' */
132 , (OnigCodePoint
)ONIG_INEFFECTIVE_META_CHAR
/* anychar anytime */
136 OnigSyntaxType
* OnigDefaultSyntax
= ONIG_SYNTAX_ONIGURUMA
;
138 extern void onig_null_warn(const char* s ARG_UNUSED
) { }
140 #ifdef DEFAULT_WARN_FUNCTION
141 static OnigWarnFunc onig_warn
= (OnigWarnFunc
)DEFAULT_WARN_FUNCTION
;
143 static OnigWarnFunc onig_warn
= onig_null_warn
;
146 #ifdef DEFAULT_VERB_WARN_FUNCTION
147 static OnigWarnFunc onig_verb_warn
= (OnigWarnFunc
)DEFAULT_VERB_WARN_FUNCTION
;
149 static OnigWarnFunc onig_verb_warn
= onig_null_warn
;
152 extern void onig_set_warn_func(OnigWarnFunc f
)
157 extern void onig_set_verb_warn_func(OnigWarnFunc f
)
163 onig_warning(const char* s
)
165 if (onig_warn
== onig_null_warn
) return ;
170 #define DEFAULT_MAX_CAPTURE_NUM 32767
172 static int MaxCaptureNum
= DEFAULT_MAX_CAPTURE_NUM
;
175 onig_set_capture_num_limit(int num
)
177 if (num
< 0) return -1;
183 static unsigned int ParseDepthLimit
= DEFAULT_PARSE_DEPTH_LIMIT
;
186 onig_get_parse_depth_limit(void)
188 return ParseDepthLimit
;
192 onig_set_parse_depth_limit(unsigned int depth
)
195 ParseDepthLimit
= DEFAULT_PARSE_DEPTH_LIMIT
;
197 ParseDepthLimit
= depth
;
202 positive_int_multiply(int x
, int y
)
204 if (x
== 0 || y
== 0) return 0;
213 bbuf_free(BBuf
* bbuf
)
215 if (IS_NOT_NULL(bbuf
)) {
216 if (IS_NOT_NULL(bbuf
->p
)) xfree(bbuf
->p
);
222 bbuf_clone(BBuf
** rto
, BBuf
* from
)
227 *rto
= to
= (BBuf
* )xmalloc(sizeof(BBuf
));
228 CHECK_NULL_RETURN_MEMERR(to
);
229 r
= BB_INIT(to
, from
->alloc
);
235 to
->used
= from
->used
;
236 xmemcpy(to
->p
, from
->p
, from
->used
);
240 static int backref_rel_to_abs(int rel_no
, ScanEnv
* env
)
243 return env
->num_mem
+ rel_no
;
246 return env
->num_mem
+ 1 + rel_no
;
250 #define OPTION_ON(v,f) ((v) |= (f))
251 #define OPTION_OFF(v,f) ((v) &= ~(f))
253 #define OPTION_NEGATE(v,f,negative) (negative) ? ((v) &= ~(f)) : ((v) |= (f))
255 #define MBCODE_START_POS(enc) \
256 (OnigCodePoint )(ONIGENC_MBC_MINLEN(enc) > 1 ? 0 : 0x80)
258 #define SET_ALL_MULTI_BYTE_RANGE(enc, pbuf) \
259 add_code_range_to_buf(pbuf, MBCODE_START_POS(enc), ~((OnigCodePoint )0))
261 #define ADD_ALL_MULTI_BYTE_RANGE(enc, mbuf) do {\
262 if (! ONIGENC_IS_SINGLEBYTE(enc)) {\
263 r = SET_ALL_MULTI_BYTE_RANGE(enc, &(mbuf));\
264 if (r != 0) return r;\
269 #define BITSET_IS_EMPTY(bs,empty) do {\
272 for (i = 0; i < (int )BITSET_SIZE; i++) {\
280 bitset_set_range(BitSetRef bs
, int from
, int to
)
283 for (i
= from
; i
<= to
&& i
< SINGLE_BYTE_SIZE
; i
++) {
284 BITSET_SET_BIT(bs
, i
);
290 bitset_set_all(BitSetRef bs
)
293 for (i
= 0; i
< BITSET_SIZE
; i
++) { bs
[i
] = ~((Bits
)0); }
298 bitset_invert(BitSetRef bs
)
301 for (i
= 0; i
< (int )BITSET_SIZE
; i
++) { bs
[i
] = ~(bs
[i
]); }
305 bitset_invert_to(BitSetRef from
, BitSetRef to
)
308 for (i
= 0; i
< (int )BITSET_SIZE
; i
++) { to
[i
] = ~(from
[i
]); }
312 bitset_and(BitSetRef dest
, BitSetRef bs
)
315 for (i
= 0; i
< (int )BITSET_SIZE
; i
++) { dest
[i
] &= bs
[i
]; }
319 bitset_or(BitSetRef dest
, BitSetRef bs
)
322 for (i
= 0; i
< (int )BITSET_SIZE
; i
++) { dest
[i
] |= bs
[i
]; }
326 bitset_copy(BitSetRef dest
, BitSetRef bs
)
329 for (i
= 0; i
< (int )BITSET_SIZE
; i
++) { dest
[i
] = bs
[i
]; }
333 onig_strncmp(const UChar
* s1
, const UChar
* s2
, int n
)
345 onig_strcpy(UChar
* dest
, const UChar
* src
, const UChar
* end
)
347 int len
= (int )(end
- src
);
349 xmemcpy(dest
, src
, len
);
350 dest
[len
] = (UChar
)0;
355 save_entry(ScanEnv
* env
, enum SaveType type
, int* id
)
357 int nid
= env
->save_num
;
360 if (IS_NULL(env
->saves
)) {
362 env
->saves
= (SaveItem
* )xmalloc(sizeof(SaveItem
) * n
);
363 CHECK_NULL_RETURN_MEMERR(env
->saves
);
364 env
->save_alloc_num
= n
;
366 else if (env
->save_alloc_num
<= nid
) {
367 int n
= env
->save_alloc_num
* 2;
368 SaveItem
* p
= (SaveItem
* )xrealloc(env
->saves
, sizeof(SaveItem
) * n
, sizeof(SaveItem
)*env
->save_alloc_num
);
369 CHECK_NULL_RETURN_MEMERR(p
);
371 env
->save_alloc_num
= n
;
374 env
->saves
[nid
].type
= type
;
382 /* scan pattern methods */
385 #define PFETCH_READY UChar* pfetch_prev
386 #define PEND (p < end ? 0 : 1)
387 #define PUNFETCH p = pfetch_prev
390 p += ONIGENC_MBC_ENC_LEN(enc, p); \
392 #define PFETCH(c) do { \
393 c = ONIGENC_MBC_TO_CODE(enc, p, end); \
395 p += ONIGENC_MBC_ENC_LEN(enc, p); \
398 #define PINC_S do { \
399 p += ONIGENC_MBC_ENC_LEN(enc, p); \
401 #define PFETCH_S(c) do { \
402 c = ONIGENC_MBC_TO_CODE(enc, p, end); \
403 p += ONIGENC_MBC_ENC_LEN(enc, p); \
406 #define PPEEK (p < end ? ONIGENC_MBC_TO_CODE(enc, p, end) : PEND_VALUE)
407 #define PPEEK_IS(c) (PPEEK == (OnigCodePoint )c)
410 strcat_capa(UChar
* dest
, UChar
* dest_end
, const UChar
* src
, const UChar
* src_end
,
411 int capa
, int oldCapa
)
416 r
= (UChar
* )xrealloc(dest
, capa
+ 1, oldCapa
);
418 r
= (UChar
* )xmalloc(capa
+ 1);
420 CHECK_NULL_RETURN(r
);
421 onig_strcpy(r
+ (dest_end
- dest
), src
, src_end
);
425 /* dest on static area */
427 strcat_capa_from_static(UChar
* dest
, UChar
* dest_end
,
428 const UChar
* src
, const UChar
* src_end
, int capa
)
432 r
= (UChar
* )xmalloc(capa
+ 1);
433 CHECK_NULL_RETURN(r
);
434 onig_strcpy(r
, dest
, dest_end
);
435 onig_strcpy(r
+ (dest_end
- dest
), src
, src_end
);
440 #ifdef USE_ST_LIBRARY
448 str_end_cmp(st_str_end_key
* x
, st_str_end_key
* y
)
453 if ((x
->end
- x
->s
) != (y
->end
- y
->s
))
459 c
= (int )*p
- (int )*q
;
460 if (c
!= 0) return c
;
469 str_end_hash(st_str_end_key
* x
)
476 val
= val
* 997 + (int )*p
++;
479 return val
+ (val
>> 5);
482 extern hash_table_type
*
483 onig_st_init_strend_table_with_size(int size
)
485 static struct st_hash_type hashType
= {
490 return (hash_table_type
* )
491 onig_st_init_table_with_size(&hashType
, size
);
495 onig_st_lookup_strend(hash_table_type
* table
, const UChar
* str_key
,
496 const UChar
* end_key
, hash_data_type
*value
)
500 key
.s
= (UChar
* )str_key
;
501 key
.end
= (UChar
* )end_key
;
503 return onig_st_lookup(table
, (st_data_t
)(&key
), value
);
507 onig_st_insert_strend(hash_table_type
* table
, const UChar
* str_key
,
508 const UChar
* end_key
, hash_data_type value
)
513 key
= (st_str_end_key
* )xmalloc(sizeof(st_str_end_key
));
514 CHECK_NULL_RETURN_MEMERR(key
);
516 key
->s
= (UChar
* )str_key
;
517 key
->end
= (UChar
* )end_key
;
518 result
= onig_st_insert(table
, (st_data_t
)key
, value
);
528 int type
; /* callout type: single or not */
531 } st_callout_name_key
;
534 callout_name_table_cmp(st_callout_name_key
* x
, st_callout_name_key
* y
)
539 if (x
->enc
!= y
->enc
) return 1;
540 if (x
->type
!= y
->type
) return 1;
541 if ((x
->end
- x
->s
) != (y
->end
- y
->s
))
547 c
= (int )*p
- (int )*q
;
548 if (c
!= 0) return c
;
557 callout_name_table_hash(st_callout_name_key
* x
)
564 val
= val
* 997 + (int )*p
++;
567 /* use intptr_t for escape warning in Windows */
568 return val
+ (val
>> 5) + ((intptr_t )x
->enc
& 0xffff) + x
->type
;
571 extern hash_table_type
*
572 onig_st_init_callout_name_table_with_size(int size
)
574 static struct st_hash_type hashType
= {
575 callout_name_table_cmp
,
576 callout_name_table_hash
,
579 return (hash_table_type
* )
580 onig_st_init_table_with_size(&hashType
, size
);
584 onig_st_lookup_callout_name_table(hash_table_type
* table
,
587 const UChar
* str_key
,
588 const UChar
* end_key
,
589 hash_data_type
*value
)
591 st_callout_name_key key
;
595 key
.s
= (UChar
* )str_key
;
596 key
.end
= (UChar
* )end_key
;
598 return onig_st_lookup(table
, (st_data_t
)(&key
), value
);
602 st_insert_callout_name_table(hash_table_type
* table
,
603 OnigEncoding enc
, int type
,
604 UChar
* str_key
, UChar
* end_key
,
605 hash_data_type value
)
607 st_callout_name_key
* key
;
610 key
= (st_callout_name_key
* )xmalloc(sizeof(st_callout_name_key
));
611 CHECK_NULL_RETURN_MEMERR(key
);
613 /* key->s: don't duplicate, because str_key is duped in callout_name_entry() */
618 result
= onig_st_insert(table
, (st_data_t
)key
, value
);
625 #endif /* USE_ST_LIBRARY */
628 #define INIT_NAME_BACKREFS_ALLOC_NUM 8
632 int name_len
; /* byte length */
633 int back_num
; /* number of backrefs */
639 #ifdef USE_ST_LIBRARY
641 #define INIT_NAMES_ALLOC_NUM 5
643 typedef st_table NameTable
;
644 typedef st_data_t HashDataType
; /* 1.6 st.h doesn't define st_data_t type */
646 #define NAMEBUF_SIZE 24
647 #define NAMEBUF_SIZE_1 25
651 i_print_name_entry(UChar
* key
, NameEntry
* e
, void* arg
)
654 FILE* fp
= (FILE* )arg
;
656 fprintf(fp
, "%s: ", e
->name
);
657 if (e
->back_num
== 0)
659 else if (e
->back_num
== 1)
660 fprintf(fp
, "%d", e
->back_ref1
);
662 for (i
= 0; i
< e
->back_num
; i
++) {
663 if (i
> 0) fprintf(fp
, ", ");
664 fprintf(fp
, "%d", e
->back_refs
[i
]);
672 onig_print_names(FILE* fp
, regex_t
* reg
)
674 NameTable
* t
= (NameTable
* )reg
->name_table
;
676 if (IS_NOT_NULL(t
)) {
677 fprintf(fp
, "name table\n");
678 onig_st_foreach(t
, i_print_name_entry
, (HashDataType
)fp
);
683 #endif /* ONIG_DEBUG */
686 i_free_name_entry(UChar
* key
, NameEntry
* e
, void* arg ARG_UNUSED
)
689 if (IS_NOT_NULL(e
->back_refs
)) xfree(e
->back_refs
);
696 names_clear(regex_t
* reg
)
698 NameTable
* t
= (NameTable
* )reg
->name_table
;
700 if (IS_NOT_NULL(t
)) {
701 onig_st_foreach(t
, i_free_name_entry
, 0);
707 onig_names_free(regex_t
* reg
)
712 r
= names_clear(reg
);
713 if (r
!= 0) return r
;
715 t
= (NameTable
* )reg
->name_table
;
716 if (IS_NOT_NULL(t
)) onig_st_free_table(t
);
717 reg
->name_table
= (void* )NULL
;
722 name_find(regex_t
* reg
, const UChar
* name
, const UChar
* name_end
)
725 NameTable
* t
= (NameTable
* )reg
->name_table
;
727 e
= (NameEntry
* )NULL
;
728 if (IS_NOT_NULL(t
)) {
729 onig_st_lookup_strend(t
, name
, name_end
, (HashDataType
* )((void* )(&e
)));
735 int (*func
)(const UChar
*, const UChar
*,int,int*,regex_t
*,void*);
743 i_names(UChar
* key ARG_UNUSED
, NameEntry
* e
, INamesArg
* arg
)
745 int r
= (*(arg
->func
))(e
->name
,
746 e
->name
+ e
->name_len
,
748 (e
->back_num
> 1 ? e
->back_refs
: &(e
->back_ref1
)),
758 onig_foreach_name(regex_t
* reg
,
759 int (*func
)(const UChar
*, const UChar
*,int,int*,regex_t
*,void*), void* arg
)
762 NameTable
* t
= (NameTable
* )reg
->name_table
;
765 if (IS_NOT_NULL(t
)) {
769 narg
.enc
= reg
->enc
; /* should be pattern encoding. */
770 onig_st_foreach(t
, i_names
, (HashDataType
)&narg
);
776 i_renumber_name(UChar
* key ARG_UNUSED
, NameEntry
* e
, GroupNumRemap
* map
)
780 if (e
->back_num
> 1) {
781 for (i
= 0; i
< e
->back_num
; i
++) {
782 e
->back_refs
[i
] = map
[e
->back_refs
[i
]].new_val
;
785 else if (e
->back_num
== 1) {
786 e
->back_ref1
= map
[e
->back_ref1
].new_val
;
793 onig_renumber_name_table(regex_t
* reg
, GroupNumRemap
* map
)
795 NameTable
* t
= (NameTable
* )reg
->name_table
;
797 if (IS_NOT_NULL(t
)) {
798 onig_st_foreach(t
, i_renumber_name
, (HashDataType
)map
);
805 onig_number_of_names(regex_t
* reg
)
807 NameTable
* t
= (NameTable
* )reg
->name_table
;
810 return t
->num_entries
;
815 #else /* USE_ST_LIBRARY */
817 #define INIT_NAMES_ALLOC_NUM 8
827 onig_print_names(FILE* fp
, regex_t
* reg
)
831 NameTable
* t
= (NameTable
* )reg
->name_table
;
833 if (IS_NOT_NULL(t
) && t
->num
> 0) {
834 fprintf(fp
, "name table\n");
835 for (i
= 0; i
< t
->num
; i
++) {
837 fprintf(fp
, "%s: ", e
->name
);
838 if (e
->back_num
== 0) {
841 else if (e
->back_num
== 1) {
842 fprintf(fp
, "%d", e
->back_ref1
);
845 for (j
= 0; j
< e
->back_num
; j
++) {
846 if (j
> 0) fprintf(fp
, ", ");
847 fprintf(fp
, "%d", e
->back_refs
[j
]);
859 names_clear(regex_t
* reg
)
863 NameTable
* t
= (NameTable
* )reg
->name_table
;
865 if (IS_NOT_NULL(t
)) {
866 for (i
= 0; i
< t
->num
; i
++) {
868 if (IS_NOT_NULL(e
->name
)) {
874 if (IS_NOT_NULL(e
->back_refs
)) xfree(e
->back_refs
);
875 e
->back_refs
= (int* )NULL
;
878 if (IS_NOT_NULL(t
->e
)) {
888 onig_names_free(regex_t
* reg
)
893 r
= names_clear(reg
);
894 if (r
!= 0) return r
;
896 t
= (NameTable
* )reg
->name_table
;
897 if (IS_NOT_NULL(t
)) xfree(t
);
898 reg
->name_table
= NULL
;
903 name_find(regex_t
* reg
, UChar
* name
, UChar
* name_end
)
907 NameTable
* t
= (NameTable
* )reg
->name_table
;
909 if (IS_NOT_NULL(t
)) {
910 len
= name_end
- name
;
911 for (i
= 0; i
< t
->num
; i
++) {
913 if (len
== e
->name_len
&& onig_strncmp(name
, e
->name
, len
) == 0)
917 return (NameEntry
* )NULL
;
921 onig_foreach_name(regex_t
* reg
,
922 int (*func
)(const UChar
*, const UChar
*,int,int*,regex_t
*,void*), void* arg
)
926 NameTable
* t
= (NameTable
* )reg
->name_table
;
928 if (IS_NOT_NULL(t
)) {
929 for (i
= 0; i
< t
->num
; i
++) {
931 r
= (*func
)(e
->name
, e
->name
+ e
->name_len
, e
->back_num
,
932 (e
->back_num
> 1 ? e
->back_refs
: &(e
->back_ref1
)),
934 if (r
!= 0) return r
;
941 onig_number_of_names(regex_t
* reg
)
943 NameTable
* t
= (NameTable
* )reg
->name_table
;
951 #endif /* else USE_ST_LIBRARY */
954 name_add(regex_t
* reg
, UChar
* name
, UChar
* name_end
, int backref
, ScanEnv
* env
)
959 NameTable
* t
= (NameTable
* )reg
->name_table
;
961 if (name_end
- name
<= 0)
962 return ONIGERR_EMPTY_GROUP_NAME
;
964 e
= name_find(reg
, name
, name_end
);
966 #ifdef USE_ST_LIBRARY
968 t
= onig_st_init_strend_table_with_size(INIT_NAMES_ALLOC_NUM
);
969 reg
->name_table
= (void* )t
;
971 e
= (NameEntry
* )xmalloc(sizeof(NameEntry
));
972 CHECK_NULL_RETURN_MEMERR(e
);
974 e
->name
= onigenc_strdup(reg
->enc
, name
, name_end
);
975 if (IS_NULL(e
->name
)) {
976 xfree(e
); return ONIGERR_MEMORY
;
978 r
= onig_st_insert_strend(t
, e
->name
, (e
->name
+ (name_end
- name
)),
982 e
->name_len
= (int )(name_end
- name
);
985 e
->back_refs
= (int* )NULL
;
990 alloc
= INIT_NAMES_ALLOC_NUM
;
991 t
= (NameTable
* )xmalloc(sizeof(NameTable
));
992 CHECK_NULL_RETURN_MEMERR(t
);
997 t
->e
= (NameEntry
* )xmalloc(sizeof(NameEntry
) * alloc
);
1000 return ONIGERR_MEMORY
;
1003 reg
->name_table
= t
;
1006 else if (t
->num
== t
->alloc
) {
1009 alloc
= t
->alloc
* 2;
1010 t
->e
= (NameEntry
* )xrealloc(t
->e
, sizeof(NameEntry
) * alloc
, sizeof(NameEntry
) * t
->alloc
);
1011 CHECK_NULL_RETURN_MEMERR(t
->e
);
1015 for (i
= t
->num
; i
< t
->alloc
; i
++) {
1016 t
->e
[i
].name
= NULL
;
1017 t
->e
[i
].name_len
= 0;
1018 t
->e
[i
].back_num
= 0;
1019 t
->e
[i
].back_alloc
= 0;
1020 t
->e
[i
].back_refs
= (int* )NULL
;
1023 e
= &(t
->e
[t
->num
]);
1025 e
->name
= onigenc_strdup(reg
->enc
, name
, name_end
);
1026 if (IS_NULL(e
->name
)) return ONIGERR_MEMORY
;
1027 e
->name_len
= name_end
- name
;
1031 if (e
->back_num
>= 1 &&
1032 ! IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME
)) {
1033 onig_scan_env_set_error_string(env
, ONIGERR_MULTIPLEX_DEFINED_NAME
,
1035 return ONIGERR_MULTIPLEX_DEFINED_NAME
;
1039 if (e
->back_num
== 1) {
1040 e
->back_ref1
= backref
;
1043 if (e
->back_num
== 2) {
1044 alloc
= INIT_NAME_BACKREFS_ALLOC_NUM
;
1045 e
->back_refs
= (int* )xmalloc(sizeof(int) * alloc
);
1046 CHECK_NULL_RETURN_MEMERR(e
->back_refs
);
1047 e
->back_alloc
= alloc
;
1048 e
->back_refs
[0] = e
->back_ref1
;
1049 e
->back_refs
[1] = backref
;
1052 if (e
->back_num
> e
->back_alloc
) {
1053 alloc
= e
->back_alloc
* 2;
1054 e
->back_refs
= (int* )xrealloc(e
->back_refs
, sizeof(int) * alloc
, sizeof(int) * e
->back_alloc
);
1055 CHECK_NULL_RETURN_MEMERR(e
->back_refs
);
1056 e
->back_alloc
= alloc
;
1058 e
->back_refs
[e
->back_num
- 1] = backref
;
1066 onig_name_to_group_numbers(regex_t
* reg
, const UChar
* name
,
1067 const UChar
* name_end
, int** nums
)
1069 NameEntry
* e
= name_find(reg
, name
, name_end
);
1071 if (IS_NULL(e
)) return ONIGERR_UNDEFINED_NAME_REFERENCE
;
1073 switch (e
->back_num
) {
1077 *nums
= &(e
->back_ref1
);
1080 *nums
= e
->back_refs
;
1087 onig_name_to_backref_number(regex_t
* reg
, const UChar
* name
,
1088 const UChar
* name_end
, OnigRegion
*region
)
1092 n
= onig_name_to_group_numbers(reg
, name
, name_end
, &nums
);
1096 return ONIGERR_PARSER_BUG
;
1100 if (IS_NOT_NULL(region
)) {
1101 for (i
= n
- 1; i
>= 0; i
--) {
1102 if (region
->beg
[nums
[i
]] != ONIG_REGION_NOTPOS
)
1111 onig_noname_group_capture_is_active(regex_t
* reg
)
1113 if (ONIG_IS_OPTION_ON(reg
->options
, ONIG_OPTION_DONT_CAPTURE_GROUP
))
1116 if (onig_number_of_names(reg
) > 0 &&
1117 IS_SYNTAX_BV(reg
->syntax
, ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP
) &&
1118 !ONIG_IS_OPTION_ON(reg
->options
, ONIG_OPTION_CAPTURE_GROUP
)) {
1128 OnigCalloutType type
;
1130 OnigCalloutFunc start_func
;
1131 OnigCalloutFunc end_func
;
1134 unsigned int arg_types
[ONIG_CALLOUT_MAX_ARGS_NUM
];
1135 OnigValue opt_defaults
[ONIG_CALLOUT_MAX_ARGS_NUM
];
1136 UChar
* name
; /* reference to GlobalCalloutNameTable entry: e->name */
1137 } CalloutNameListEntry
;
1142 CalloutNameListEntry
* v
;
1143 } CalloutNameListType
;
1145 static CalloutNameListType
* GlobalCalloutNameList
;
1148 make_callout_func_list(CalloutNameListType
** rs
, int init_size
)
1150 CalloutNameListType
* s
;
1151 CalloutNameListEntry
* v
;
1155 s
= xmalloc(sizeof(*s
));
1156 if (IS_NULL(s
)) return ONIGERR_MEMORY
;
1158 v
= (CalloutNameListEntry
* )xmalloc(sizeof(CalloutNameListEntry
) * init_size
);
1161 return ONIGERR_MEMORY
;
1165 s
->alloc
= init_size
;
1173 free_callout_func_list(CalloutNameListType
* s
)
1175 if (IS_NOT_NULL(s
)) {
1176 if (IS_NOT_NULL(s
->v
)) {
1179 for (i
= 0; i
< s
->n
; i
++) {
1180 CalloutNameListEntry
* e
= s
->v
+ i
;
1181 for (j
= e
->arg_num
- e
->opt_arg_num
; j
< e
->arg_num
; j
++) {
1182 if (e
->arg_types
[j
] == ONIG_TYPE_STRING
) {
1183 UChar
* p
= e
->opt_defaults
[j
].s
.start
;
1184 if (IS_NOT_NULL(p
)) xfree(p
);
1195 callout_func_list_add(CalloutNameListType
* s
, int* rid
)
1197 if (s
->n
>= s
->alloc
) {
1198 int new_size
= s
->alloc
* 2;
1199 CalloutNameListEntry
* nv
= (CalloutNameListEntry
* )
1200 xrealloc(s
->v
, sizeof(CalloutNameListEntry
) * new_size
, sizeof(CalloutNameListEntry
)*s
->alloc
);
1201 if (IS_NULL(nv
)) return ONIGERR_MEMORY
;
1203 s
->alloc
= new_size
;
1209 xmemset(&(s
->v
[s
->n
]), 0, sizeof(*(s
->v
)));
1217 int name_len
; /* byte length */
1221 #ifdef USE_ST_LIBRARY
1222 typedef st_table CalloutNameTable
;
1225 CalloutNameEntry
* e
;
1231 static CalloutNameTable
* GlobalCalloutNameTable
;
1232 static int CalloutNameIDCounter
;
1234 #ifdef USE_ST_LIBRARY
1237 i_free_callout_name_entry(st_callout_name_key
* key
, CalloutNameEntry
* e
,
1238 void* arg ARG_UNUSED
)
1241 /*xfree(key->s); */ /* is same as e->name */
1248 callout_name_table_clear(CalloutNameTable
* t
)
1250 if (IS_NOT_NULL(t
)) {
1251 onig_st_foreach(t
, i_free_callout_name_entry
, 0);
1257 global_callout_name_table_free(void)
1259 if (IS_NOT_NULL(GlobalCalloutNameTable
)) {
1260 int r
= callout_name_table_clear(GlobalCalloutNameTable
);
1261 if (r
!= 0) return r
;
1263 onig_st_free_table(GlobalCalloutNameTable
);
1264 GlobalCalloutNameTable
= 0;
1265 CalloutNameIDCounter
= 0;
1271 static CalloutNameEntry
*
1272 callout_name_find(OnigEncoding enc
, int is_not_single
,
1273 const UChar
* name
, const UChar
* name_end
)
1276 CalloutNameEntry
* e
;
1277 CalloutNameTable
* t
= GlobalCalloutNameTable
;
1279 e
= (CalloutNameEntry
* )NULL
;
1280 if (IS_NOT_NULL(t
)) {
1281 r
= onig_st_lookup_callout_name_table(t
, enc
, is_not_single
, name
, name_end
,
1282 (HashDataType
* )((void* )(&e
)));
1283 if (r
== 0) { /* not found */
1284 if (enc
!= ONIG_ENCODING_ASCII
&&
1285 ONIGENC_IS_ASCII_COMPATIBLE_ENCODING(enc
)) {
1286 enc
= ONIG_ENCODING_ASCII
;
1287 onig_st_lookup_callout_name_table(t
, enc
, is_not_single
, name
, name_end
,
1288 (HashDataType
* )((void* )(&e
)));
1298 callout_name_table_clear(CalloutNameTable
* t
)
1301 CalloutNameEntry
* e
;
1303 if (IS_NOT_NULL(t
)) {
1304 for (i
= 0; i
< t
->num
; i
++) {
1306 if (IS_NOT_NULL(e
->name
)) {
1314 if (IS_NOT_NULL(t
->e
)) {
1324 global_callout_name_table_free(void)
1326 if (IS_NOT_NULL(GlobalCalloutNameTable
)) {
1327 int r
= callout_name_table_clear(GlobalCalloutNameTable
);
1328 if (r
!= 0) return r
;
1330 xfree(GlobalCalloutNameTable
);
1331 GlobalCalloutNameTable
= 0;
1332 CalloutNameIDCounter
= 0;
1337 static CalloutNameEntry
*
1338 callout_name_find(UChar
* name
, UChar
* name_end
)
1341 CalloutNameEntry
* e
;
1342 CalloutNameTable
* t
= Calloutnames
;
1344 if (IS_NOT_NULL(t
)) {
1345 len
= name_end
- name
;
1346 for (i
= 0; i
< t
->num
; i
++) {
1348 if (len
== e
->name_len
&& onig_strncmp(name
, e
->name
, len
) == 0)
1352 return (CalloutNameEntry
* )NULL
;
1357 /* name string must be single byte char string. */
1359 callout_name_entry(CalloutNameEntry
** rentry
, OnigEncoding enc
,
1360 int is_not_single
, UChar
* name
, UChar
* name_end
)
1363 CalloutNameEntry
* e
;
1364 CalloutNameTable
* t
= GlobalCalloutNameTable
;
1367 if (name_end
- name
<= 0)
1368 return ONIGERR_INVALID_CALLOUT_NAME
;
1370 e
= callout_name_find(enc
, is_not_single
, name
, name_end
);
1372 #ifdef USE_ST_LIBRARY
1374 t
= onig_st_init_callout_name_table_with_size(INIT_NAMES_ALLOC_NUM
);
1375 GlobalCalloutNameTable
= t
;
1377 e
= (CalloutNameEntry
* )xmalloc(sizeof(CalloutNameEntry
));
1378 CHECK_NULL_RETURN_MEMERR(e
);
1380 e
->name
= onigenc_strdup(enc
, name
, name_end
);
1381 if (IS_NULL(e
->name
)) {
1382 xfree(e
); return ONIGERR_MEMORY
;
1385 r
= st_insert_callout_name_table(t
, enc
, is_not_single
,
1386 e
->name
, (e
->name
+ (name_end
- name
)),
1388 if (r
< 0) return r
;
1395 alloc
= INIT_NAMES_ALLOC_NUM
;
1396 t
= (CalloutNameTable
* )xmalloc(sizeof(CalloutNameTable
));
1397 CHECK_NULL_RETURN_MEMERR(t
);
1402 t
->e
= (CalloutNameEntry
* )xmalloc(sizeof(CalloutNameEntry
) * alloc
);
1403 if (IS_NULL(t
->e
)) {
1405 return ONIGERR_MEMORY
;
1408 GlobalCalloutNameTable
= t
;
1411 else if (t
->num
== t
->alloc
) {
1414 alloc
= t
->alloc
* 2;
1415 t
->e
= (CalloutNameEntry
* )xrealloc(t
->e
, sizeof(CalloutNameEntry
) * alloc
, sizeof(CalloutNameEntry
)*t
->alloc
);
1416 CHECK_NULL_RETURN_MEMERR(t
->e
);
1420 for (i
= t
->num
; i
< t
->alloc
; i
++) {
1421 t
->e
[i
].name
= NULL
;
1422 t
->e
[i
].name_len
= 0;
1426 e
= &(t
->e
[t
->num
]);
1428 e
->name
= onigenc_strdup(enc
, name
, name_end
);
1429 if (IS_NULL(e
->name
)) return ONIGERR_MEMORY
;
1432 CalloutNameIDCounter
++;
1433 e
->id
= CalloutNameIDCounter
;
1434 e
->name_len
= (int )(name_end
- name
);
1442 is_allowed_callout_name(OnigEncoding enc
, UChar
* name
, UChar
* name_end
)
1447 if (name
>= name_end
) return 0;
1450 while (p
< name_end
) {
1451 c
= ONIGENC_MBC_TO_CODE(enc
, p
, name_end
);
1452 if (! IS_ALLOWED_CODE_IN_CALLOUT_NAME(c
))
1456 if (c
>= '0' && c
<= '9') return 0;
1459 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
1466 is_allowed_callout_tag_name(OnigEncoding enc
, UChar
* name
, UChar
* name_end
)
1471 if (name
>= name_end
) return 0;
1474 while (p
< name_end
) {
1475 c
= ONIGENC_MBC_TO_CODE(enc
, p
, name_end
);
1476 if (! IS_ALLOWED_CODE_IN_CALLOUT_TAG_NAME(c
))
1480 if (c
>= '0' && c
<= '9') return 0;
1483 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
1490 onig_set_callout_of_name(OnigEncoding enc
, OnigCalloutType callout_type
,
1491 UChar
* name
, UChar
* name_end
, int in
,
1492 OnigCalloutFunc start_func
,
1493 OnigCalloutFunc end_func
,
1494 int arg_num
, unsigned int arg_types
[],
1495 int opt_arg_num
, OnigValue opt_defaults
[])
1502 CalloutNameEntry
* e
;
1503 CalloutNameListEntry
* fe
;
1505 if (callout_type
!= ONIG_CALLOUT_TYPE_SINGLE
)
1506 return ONIGERR_INVALID_ARGUMENT
;
1508 if (arg_num
< 0 || arg_num
> ONIG_CALLOUT_MAX_ARGS_NUM
)
1509 return ONIGERR_INVALID_CALLOUT_ARG
;
1511 if (opt_arg_num
< 0 || opt_arg_num
> arg_num
)
1512 return ONIGERR_INVALID_CALLOUT_ARG
;
1514 if (start_func
== 0 && end_func
== 0)
1515 return ONIGERR_INVALID_CALLOUT_ARG
;
1517 if ((in
& ONIG_CALLOUT_IN_PROGRESS
) == 0 && (in
& ONIG_CALLOUT_IN_RETRACTION
) == 0)
1518 return ONIGERR_INVALID_CALLOUT_ARG
;
1520 for (i
= 0; i
< arg_num
; i
++) {
1521 unsigned int t
= arg_types
[i
];
1522 if (t
== ONIG_TYPE_VOID
)
1523 return ONIGERR_INVALID_CALLOUT_ARG
;
1525 if (i
>= arg_num
- opt_arg_num
) {
1526 if (t
!= ONIG_TYPE_LONG
&& t
!= ONIG_TYPE_CHAR
&& t
!= ONIG_TYPE_STRING
&&
1528 return ONIGERR_INVALID_CALLOUT_ARG
;
1531 if (t
!= ONIG_TYPE_LONG
) {
1532 t
= t
& ~ONIG_TYPE_LONG
;
1533 if (t
!= ONIG_TYPE_CHAR
&& t
!= ONIG_TYPE_STRING
&& t
!= ONIG_TYPE_TAG
)
1534 return ONIGERR_INVALID_CALLOUT_ARG
;
1540 if (! is_allowed_callout_name(enc
, name
, name_end
)) {
1541 return ONIGERR_INVALID_CALLOUT_NAME
;
1544 is_not_single
= (callout_type
!= ONIG_CALLOUT_TYPE_SINGLE
);
1545 id
= callout_name_entry(&e
, enc
, is_not_single
, name
, name_end
);
1546 if (id
< 0) return id
;
1549 if (IS_NULL(GlobalCalloutNameList
)) {
1550 r
= make_callout_func_list(&GlobalCalloutNameList
, 10);
1551 if (r
!= ONIG_NORMAL
) return r
;
1554 while (id
>= GlobalCalloutNameList
->n
) {
1556 r
= callout_func_list_add(GlobalCalloutNameList
, &rid
);
1557 if (r
!= ONIG_NORMAL
) return r
;
1560 fe
= GlobalCalloutNameList
->v
+ id
;
1561 fe
->type
= callout_type
;
1563 fe
->start_func
= start_func
;
1564 fe
->end_func
= end_func
;
1565 fe
->arg_num
= arg_num
;
1566 fe
->opt_arg_num
= opt_arg_num
;
1569 for (i
= 0; i
< arg_num
; i
++) {
1570 fe
->arg_types
[i
] = arg_types
[i
];
1572 for (i
= arg_num
- opt_arg_num
, j
= 0; i
< arg_num
; i
++, j
++) {
1573 if (fe
->arg_types
[i
] == ONIG_TYPE_STRING
) {
1574 OnigValue
* val
= opt_defaults
+ j
;
1575 UChar
* ds
= onigenc_strdup(enc
, val
->s
.start
, val
->s
.end
);
1576 CHECK_NULL_RETURN_MEMERR(ds
);
1578 fe
->opt_defaults
[i
].s
.start
= ds
;
1579 fe
->opt_defaults
[i
].s
.end
= ds
+ (val
->s
.end
- val
->s
.start
);
1582 fe
->opt_defaults
[i
] = opt_defaults
[j
];
1591 get_callout_name_id_by_name(OnigEncoding enc
, int is_not_single
,
1592 UChar
* name
, UChar
* name_end
, int* rid
)
1595 CalloutNameEntry
* e
;
1597 if (! is_allowed_callout_name(enc
, name
, name_end
)) {
1598 return ONIGERR_INVALID_CALLOUT_NAME
;
1601 e
= callout_name_find(enc
, is_not_single
, name
, name_end
);
1603 return ONIGERR_UNDEFINED_CALLOUT_NAME
;
1612 extern OnigCalloutFunc
1613 onig_get_callout_start_func(regex_t
* reg
, int callout_num
)
1615 /* If used for callouts of contents, return 0. */
1616 CalloutListEntry
* e
;
1618 e
= onig_reg_callout_list_at(reg
, callout_num
);
1619 return e
->start_func
;
1623 onig_get_callout_tag_start(regex_t
* reg
, int callout_num
)
1625 CalloutListEntry
* e
= onig_reg_callout_list_at(reg
, callout_num
);
1626 return e
->tag_start
;
1630 onig_get_callout_tag_end(regex_t
* reg
, int callout_num
)
1632 CalloutListEntry
* e
= onig_reg_callout_list_at(reg
, callout_num
);
1637 extern OnigCalloutType
1638 onig_get_callout_type_by_name_id(int name_id
)
1640 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1643 return GlobalCalloutNameList
->v
[name_id
].type
;
1646 extern OnigCalloutFunc
1647 onig_get_callout_start_func_by_name_id(int name_id
)
1649 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1652 return GlobalCalloutNameList
->v
[name_id
].start_func
;
1655 extern OnigCalloutFunc
1656 onig_get_callout_end_func_by_name_id(int name_id
)
1658 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1661 return GlobalCalloutNameList
->v
[name_id
].end_func
;
1665 onig_get_callout_in_by_name_id(int name_id
)
1667 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1670 return GlobalCalloutNameList
->v
[name_id
].in
;
1674 get_callout_arg_num_by_name_id(int name_id
)
1676 return GlobalCalloutNameList
->v
[name_id
].arg_num
;
1680 get_callout_opt_arg_num_by_name_id(int name_id
)
1682 return GlobalCalloutNameList
->v
[name_id
].opt_arg_num
;
1686 get_callout_arg_type_by_name_id(int name_id
, int index
)
1688 return GlobalCalloutNameList
->v
[name_id
].arg_types
[index
];
1692 get_callout_opt_default_by_name_id(int name_id
, int index
)
1694 return GlobalCalloutNameList
->v
[name_id
].opt_defaults
[index
];
1698 onig_get_callout_name_by_name_id(int name_id
)
1700 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1703 return GlobalCalloutNameList
->v
[name_id
].name
;
1707 onig_global_callout_names_free(void)
1709 free_callout_func_list(GlobalCalloutNameList
);
1710 GlobalCalloutNameList
= 0;
1712 global_callout_name_table_free();
1717 typedef st_table CalloutTagTable
;
1718 typedef intptr_t CalloutTagVal
;
1720 #define CALLOUT_TAG_LIST_FLAG_TAG_EXIST (1<<0)
1723 i_callout_callout_list_set(UChar
* key
, CalloutTagVal e
, void* arg
)
1726 RegexExt
* ext
= (RegexExt
* )arg
;
1729 ext
->callout_list
[num
].flag
|= CALLOUT_TAG_LIST_FLAG_TAG_EXIST
;
1734 setup_ext_callout_list_values(regex_t
* reg
)
1739 ext
= REG_EXTP(reg
);
1740 if (IS_NOT_NULL(ext
->tag_table
)) {
1741 onig_st_foreach((CalloutTagTable
*)ext
->tag_table
, i_callout_callout_list_set
,
1745 for (i
= 0; i
< ext
->callout_num
; i
++) {
1746 CalloutListEntry
* e
= ext
->callout_list
+ i
;
1747 if (e
->of
== ONIG_CALLOUT_OF_NAME
) {
1748 for (j
= 0; j
< e
->u
.arg
.num
; j
++) {
1749 if (e
->u
.arg
.types
[j
] == ONIG_TYPE_TAG
) {
1753 start
= e
->u
.arg
.vals
[j
].s
.start
;
1754 end
= e
->u
.arg
.vals
[j
].s
.end
;
1755 num
= onig_get_callout_num_by_tag(reg
, start
, end
);
1756 if (num
< 0) return num
;
1757 e
->u
.arg
.vals
[j
].tag
= num
;
1767 onig_callout_tag_is_exist_at_callout_num(regex_t
* reg
, int callout_num
)
1769 RegexExt
* ext
= REG_EXTP(reg
);
1771 if (IS_NULL(ext
) || IS_NULL(ext
->callout_list
)) return 0;
1772 if (callout_num
> ext
->callout_num
) return 0;
1774 return (ext
->callout_list
[callout_num
].flag
&
1775 CALLOUT_TAG_LIST_FLAG_TAG_EXIST
) != 0 ? 1 : 0;
1779 i_free_callout_tag_entry(UChar
* key
, CalloutTagVal e
, void* arg ARG_UNUSED
)
1786 callout_tag_table_clear(CalloutTagTable
* t
)
1788 if (IS_NOT_NULL(t
)) {
1789 onig_st_foreach(t
, i_free_callout_tag_entry
, 0);
1795 onig_callout_tag_table_free(void* table
)
1797 CalloutTagTable
* t
= (CalloutTagTable
* )table
;
1799 if (IS_NOT_NULL(t
)) {
1800 int r
= callout_tag_table_clear(t
);
1801 if (r
!= 0) return r
;
1803 onig_st_free_table(t
);
1810 onig_get_callout_num_by_tag(regex_t
* reg
,
1811 const UChar
* tag
, const UChar
* tag_end
)
1817 ext
= REG_EXTP(reg
);
1818 if (IS_NULL(ext
) || IS_NULL(ext
->tag_table
))
1819 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1821 r
= onig_st_lookup_strend(ext
->tag_table
, tag
, tag_end
,
1822 (HashDataType
* )((void* )(&e
)));
1823 if (r
== 0) return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1827 static CalloutTagVal
1828 callout_tag_find(CalloutTagTable
* t
, const UChar
* name
, const UChar
* name_end
)
1833 if (IS_NOT_NULL(t
)) {
1834 onig_st_lookup_strend(t
, name
, name_end
, (HashDataType
* )((void* )(&e
)));
1840 callout_tag_table_new(CalloutTagTable
** rt
)
1845 t
= onig_st_init_strend_table_with_size(INIT_TAG_NAMES_ALLOC_NUM
);
1846 CHECK_NULL_RETURN_MEMERR(t
);
1853 callout_tag_entry_raw(CalloutTagTable
* t
, UChar
* name
, UChar
* name_end
,
1854 CalloutTagVal entry_val
)
1859 if (name_end
- name
<= 0)
1860 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1862 val
= callout_tag_find(t
, name
, name_end
);
1864 return ONIGERR_MULTIPLEX_DEFINED_NAME
;
1866 r
= onig_st_insert_strend(t
, name
, name_end
, (HashDataType
)entry_val
);
1867 if (r
< 0) return r
;
1873 ext_ensure_tag_table(regex_t
* reg
)
1879 ext
= onig_get_regex_ext(reg
);
1880 CHECK_NULL_RETURN_MEMERR(ext
);
1882 if (IS_NULL(ext
->tag_table
)) {
1883 r
= callout_tag_table_new(&t
);
1884 if (r
!= ONIG_NORMAL
) return r
;
1893 callout_tag_entry(regex_t
* reg
, UChar
* name
, UChar
* name_end
,
1894 CalloutTagVal entry_val
)
1898 CalloutListEntry
* e
;
1900 r
= ext_ensure_tag_table(reg
);
1901 if (r
!= ONIG_NORMAL
) return r
;
1903 ext
= onig_get_regex_ext(reg
);
1904 r
= callout_tag_entry_raw(ext
->tag_table
, name
, name_end
, entry_val
);
1906 e
= onig_reg_callout_list_at(reg
, (int )entry_val
);
1907 e
->tag_start
= name
;
1908 e
->tag_end
= name_end
;
1913 #endif /* USE_CALLOUT */
1916 #define INIT_SCANENV_MEMENV_ALLOC_SIZE 16
1919 scan_env_clear(ScanEnv
* env
)
1921 MEM_STATUS_CLEAR(env
->capture_history
);
1922 MEM_STATUS_CLEAR(env
->bt_mem_start
);
1923 MEM_STATUS_CLEAR(env
->bt_mem_end
);
1924 MEM_STATUS_CLEAR(env
->backrefed_mem
);
1925 env
->error
= (UChar
* )NULL
;
1926 env
->error_end
= (UChar
* )NULL
;
1930 env
->unset_addr_list
= NULL
;
1931 env
->has_call_zero
= 0;
1937 env
->mem_env_dynamic
= (MemEnv
* )NULL
;
1939 xmemset(env
->mem_env_static
, 0, sizeof(env
->mem_env_static
));
1941 env
->parse_depth
= 0;
1944 env
->save_alloc_num
= 0;
1949 scan_env_add_mem_entry(ScanEnv
* env
)
1954 need
= env
->num_mem
+ 1;
1955 if (need
> MaxCaptureNum
&& MaxCaptureNum
!= 0)
1956 return ONIGERR_TOO_MANY_CAPTURES
;
1958 if (need
>= SCANENV_MEMENV_SIZE
) {
1959 if (env
->mem_alloc
<= need
) {
1960 if (IS_NULL(env
->mem_env_dynamic
)) {
1961 alloc
= INIT_SCANENV_MEMENV_ALLOC_SIZE
;
1962 p
= (MemEnv
* )xmalloc(sizeof(MemEnv
) * alloc
);
1963 CHECK_NULL_RETURN_MEMERR(p
);
1964 xmemcpy(p
, env
->mem_env_static
, sizeof(env
->mem_env_static
));
1967 alloc
= env
->mem_alloc
* 2;
1968 p
= (MemEnv
* )xrealloc(env
->mem_env_dynamic
, sizeof(MemEnv
) * alloc
, sizeof(MemEnv
)*env
->mem_alloc
);
1969 CHECK_NULL_RETURN_MEMERR(p
);
1972 for (i
= env
->num_mem
+ 1; i
< alloc
; i
++) {
1973 p
[i
].node
= NULL_NODE
;
1980 env
->mem_env_dynamic
= p
;
1981 env
->mem_alloc
= alloc
;
1986 return env
->num_mem
;
1990 scan_env_set_mem_node(ScanEnv
* env
, int num
, Node
* node
)
1992 if (env
->num_mem
>= num
)
1993 SCANENV_MEMENV(env
)[num
].node
= node
;
1995 return ONIGERR_PARSER_BUG
;
2000 onig_node_free(Node
* node
)
2003 if (IS_NULL(node
)) return ;
2005 #ifdef DEBUG_NODE_FREE
2006 fprintf(stderr
, "onig_node_free: %p\n", node
);
2009 switch (NODE_TYPE(node
)) {
2011 if (STR_(node
)->capa
!= 0 &&
2012 IS_NOT_NULL(STR_(node
)->s
) && STR_(node
)->s
!= STR_(node
)->buf
) {
2013 xfree(STR_(node
)->s
);
2019 onig_node_free(NODE_CAR(node
));
2021 Node
* next_node
= NODE_CDR(node
);
2031 CClassNode
* cc
= CCLASS_(node
);
2034 bbuf_free(cc
->mbuf
);
2039 if (IS_NOT_NULL(BACKREF_(node
)->back_dynamic
))
2040 xfree(BACKREF_(node
)->back_dynamic
);
2043 case NODE_ENCLOSURE
:
2044 if (NODE_BODY(node
))
2045 onig_node_free(NODE_BODY(node
));
2048 EnclosureNode
* en
= ENCLOSURE_(node
);
2049 if (en
->type
== ENCLOSURE_IF_ELSE
) {
2050 onig_node_free(en
->te
.Then
);
2051 onig_node_free(en
->te
.Else
);
2058 if (NODE_BODY(node
))
2059 onig_node_free(NODE_BODY(node
));
2072 cons_node_free_alone(Node
* node
)
2076 onig_node_free(node
);
2084 node
= (Node
* )xmalloc(sizeof(Node
));
2085 xmemset(node
, 0, sizeof(*node
));
2087 #ifdef DEBUG_NODE_FREE
2088 fprintf(stderr
, "node_new: %p\n", node
);
2095 initialize_cclass(CClassNode
* cc
)
2097 BITSET_CLEAR(cc
->bs
);
2103 node_new_cclass(void)
2105 Node
* node
= node_new();
2106 CHECK_NULL_RETURN(node
);
2108 NODE_SET_TYPE(node
, NODE_CCLASS
);
2109 initialize_cclass(CCLASS_(node
));
2114 node_new_ctype(int type
, int not, OnigOptionType options
)
2116 Node
* node
= node_new();
2117 CHECK_NULL_RETURN(node
);
2119 NODE_SET_TYPE(node
, NODE_CTYPE
);
2120 CTYPE_(node
)->ctype
= type
;
2121 CTYPE_(node
)->not = not;
2122 CTYPE_(node
)->options
= options
;
2123 CTYPE_(node
)->ascii_mode
= IS_ASCII_MODE_CTYPE_OPTION(type
, options
);
2128 node_new_anychar(void)
2130 Node
* node
= node_new_ctype(CTYPE_ANYCHAR
, 0, ONIG_OPTION_NONE
);
2135 node_new_anychar_with_fixed_option(OnigOptionType option
)
2140 node
= node_new_anychar();
2142 ct
->options
= option
;
2143 NODE_STATUS_ADD(node
, FIXED_OPTION
);
2148 node_new_no_newline(Node
** node
, ScanEnv
* env
)
2152 n
= node_new_anychar_with_fixed_option(ONIG_OPTION_NONE
);
2153 CHECK_NULL_RETURN_MEMERR(n
);
2159 node_new_true_anychar(Node
** node
, ScanEnv
* env
)
2163 n
= node_new_anychar_with_fixed_option(ONIG_OPTION_MULTILINE
);
2164 CHECK_NULL_RETURN_MEMERR(n
);
2170 node_new_list(Node
* left
, Node
* right
)
2172 Node
* node
= node_new();
2173 CHECK_NULL_RETURN(node
);
2175 NODE_SET_TYPE(node
, NODE_LIST
);
2176 NODE_CAR(node
) = left
;
2177 NODE_CDR(node
) = right
;
2182 onig_node_new_list(Node
* left
, Node
* right
)
2184 return node_new_list(left
, right
);
2188 onig_node_list_add(Node
* list
, Node
* x
)
2192 n
= onig_node_new_list(x
, NULL
);
2193 if (IS_NULL(n
)) return NULL_NODE
;
2195 if (IS_NOT_NULL(list
)) {
2196 while (IS_NOT_NULL(NODE_CDR(list
)))
2197 list
= NODE_CDR(list
);
2206 onig_node_new_alt(Node
* left
, Node
* right
)
2208 Node
* node
= node_new();
2209 CHECK_NULL_RETURN(node
);
2211 NODE_SET_TYPE(node
, NODE_ALT
);
2212 NODE_CAR(node
) = left
;
2213 NODE_CDR(node
) = right
;
2218 make_list_or_alt(NodeType type
, int n
, Node
* ns
[])
2222 if (n
<= 0) return NULL_NODE
;
2226 CHECK_NULL_RETURN(r
);
2227 NODE_SET_TYPE(r
, type
);
2228 NODE_CAR(r
) = ns
[0];
2229 NODE_CDR(r
) = NULL_NODE
;
2235 CHECK_NULL_RETURN(r
);
2237 right
= make_list_or_alt(type
, n
- 1, ns
+ 1);
2238 if (IS_NULL(right
)) {
2243 NODE_SET_TYPE(r
, type
);
2244 NODE_CAR(r
) = ns
[0];
2245 NODE_CDR(r
) = right
;
2252 make_list(int n
, Node
* ns
[])
2254 return make_list_or_alt(NODE_LIST
, n
, ns
);
2258 make_alt(int n
, Node
* ns
[])
2260 return make_list_or_alt(NODE_ALT
, n
, ns
);
2264 onig_node_new_anchor(int type
, int ascii_mode
)
2266 Node
* node
= node_new();
2267 CHECK_NULL_RETURN(node
);
2269 NODE_SET_TYPE(node
, NODE_ANCHOR
);
2270 ANCHOR_(node
)->type
= type
;
2271 ANCHOR_(node
)->char_len
= -1;
2272 ANCHOR_(node
)->ascii_mode
= ascii_mode
;
2277 node_new_backref(int back_num
, int* backrefs
, int by_name
,
2278 #ifdef USE_BACKREF_WITH_LEVEL
2279 int exist_level
, int nest_level
,
2284 Node
* node
= node_new();
2286 CHECK_NULL_RETURN(node
);
2288 NODE_SET_TYPE(node
, NODE_BACKREF
);
2289 BACKREF_(node
)->back_num
= back_num
;
2290 BACKREF_(node
)->back_dynamic
= (int* )NULL
;
2292 NODE_STATUS_ADD(node
, BY_NAME
);
2294 #ifdef USE_BACKREF_WITH_LEVEL
2295 if (exist_level
!= 0) {
2296 NODE_STATUS_ADD(node
, NEST_LEVEL
);
2297 BACKREF_(node
)->nest_level
= nest_level
;
2301 for (i
= 0; i
< back_num
; i
++) {
2302 if (backrefs
[i
] <= env
->num_mem
&&
2303 IS_NULL(SCANENV_MEMENV(env
)[backrefs
[i
]].node
)) {
2304 NODE_STATUS_ADD(node
, RECURSION
); /* /...(\1).../ */
2309 if (back_num
<= NODE_BACKREFS_SIZE
) {
2310 for (i
= 0; i
< back_num
; i
++)
2311 BACKREF_(node
)->back_static
[i
] = backrefs
[i
];
2314 int* p
= (int* )xmalloc(sizeof(int) * back_num
);
2316 onig_node_free(node
);
2319 BACKREF_(node
)->back_dynamic
= p
;
2320 for (i
= 0; i
< back_num
; i
++)
2327 node_new_backref_checker(int back_num
, int* backrefs
, int by_name
,
2328 #ifdef USE_BACKREF_WITH_LEVEL
2329 int exist_level
, int nest_level
,
2335 node
= node_new_backref(back_num
, backrefs
, by_name
,
2336 #ifdef USE_BACKREF_WITH_LEVEL
2337 exist_level
, nest_level
,
2340 CHECK_NULL_RETURN(node
);
2342 NODE_STATUS_ADD(node
, CHECKER
);
2348 node_new_call(UChar
* name
, UChar
* name_end
, int gnum
, int by_number
)
2350 Node
* node
= node_new();
2351 CHECK_NULL_RETURN(node
);
2353 NODE_SET_TYPE(node
, NODE_CALL
);
2354 CALL_(node
)->by_number
= by_number
;
2355 CALL_(node
)->name
= name
;
2356 CALL_(node
)->name_end
= name_end
;
2357 CALL_(node
)->group_num
= gnum
;
2358 CALL_(node
)->entry_count
= 1;
2364 node_new_quantifier(int lower
, int upper
, int by_number
)
2366 Node
* node
= node_new();
2367 CHECK_NULL_RETURN(node
);
2369 NODE_SET_TYPE(node
, NODE_QUANT
);
2370 QUANT_(node
)->lower
= lower
;
2371 QUANT_(node
)->upper
= upper
;
2372 QUANT_(node
)->greedy
= 1;
2373 QUANT_(node
)->body_empty_info
= QUANT_BODY_IS_NOT_EMPTY
;
2374 QUANT_(node
)->head_exact
= NULL_NODE
;
2375 QUANT_(node
)->next_head_exact
= NULL_NODE
;
2376 QUANT_(node
)->is_refered
= 0;
2378 NODE_STATUS_ADD(node
, BY_NUMBER
);
2384 node_new_enclosure(enum EnclosureType type
)
2386 Node
* node
= node_new();
2387 CHECK_NULL_RETURN(node
);
2389 NODE_SET_TYPE(node
, NODE_ENCLOSURE
);
2390 ENCLOSURE_(node
)->type
= type
;
2393 case ENCLOSURE_MEMORY
:
2394 ENCLOSURE_(node
)->m
.regnum
= 0;
2395 ENCLOSURE_(node
)->m
.called_addr
= -1;
2396 ENCLOSURE_(node
)->m
.entry_count
= 1;
2397 ENCLOSURE_(node
)->m
.called_state
= 0;
2400 case ENCLOSURE_OPTION
:
2401 ENCLOSURE_(node
)->o
.options
= 0;
2404 case ENCLOSURE_STOP_BACKTRACK
:
2407 case ENCLOSURE_IF_ELSE
:
2408 ENCLOSURE_(node
)->te
.Then
= 0;
2409 ENCLOSURE_(node
)->te
.Else
= 0;
2413 ENCLOSURE_(node
)->opt_count
= 0;
2418 onig_node_new_enclosure(int type
)
2420 return node_new_enclosure(type
);
2424 node_new_enclosure_if_else(Node
* cond
, Node
* Then
, Node
* Else
)
2427 n
= node_new_enclosure(ENCLOSURE_IF_ELSE
);
2428 CHECK_NULL_RETURN(n
);
2430 NODE_BODY(n
) = cond
;
2431 ENCLOSURE_(n
)->te
.Then
= Then
;
2432 ENCLOSURE_(n
)->te
.Else
= Else
;
2437 node_new_memory(int is_named
)
2439 Node
* node
= node_new_enclosure(ENCLOSURE_MEMORY
);
2440 CHECK_NULL_RETURN(node
);
2442 NODE_STATUS_ADD(node
, NAMED_GROUP
);
2448 node_new_option(OnigOptionType option
)
2450 Node
* node
= node_new_enclosure(ENCLOSURE_OPTION
);
2451 CHECK_NULL_RETURN(node
);
2452 ENCLOSURE_(node
)->o
.options
= option
;
2457 node_new_fail(Node
** node
, ScanEnv
* env
)
2460 CHECK_NULL_RETURN_MEMERR(*node
);
2462 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2463 GIMMICK_(*node
)->type
= GIMMICK_FAIL
;
2468 node_new_save_gimmick(Node
** node
, enum SaveType save_type
, ScanEnv
* env
)
2473 r
= save_entry(env
, save_type
, &id
);
2474 if (r
!= ONIG_NORMAL
) return r
;
2477 CHECK_NULL_RETURN_MEMERR(*node
);
2479 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2480 GIMMICK_(*node
)->id
= id
;
2481 GIMMICK_(*node
)->type
= GIMMICK_SAVE
;
2482 GIMMICK_(*node
)->detail_type
= (int )save_type
;
2488 node_new_update_var_gimmick(Node
** node
, enum UpdateVarType update_var_type
,
2489 int id
, ScanEnv
* env
)
2492 CHECK_NULL_RETURN_MEMERR(*node
);
2494 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2495 GIMMICK_(*node
)->id
= id
;
2496 GIMMICK_(*node
)->type
= GIMMICK_UPDATE_VAR
;
2497 GIMMICK_(*node
)->detail_type
= (int )update_var_type
;
2503 node_new_keep(Node
** node
, ScanEnv
* env
)
2507 r
= node_new_save_gimmick(node
, SAVE_KEEP
, env
);
2508 if (r
!= 0) return r
;
2517 onig_free_reg_callout_list(int n
, CalloutListEntry
* list
)
2522 if (IS_NULL(list
)) return ;
2524 for (i
= 0; i
< n
; i
++) {
2525 if (list
[i
].of
== ONIG_CALLOUT_OF_NAME
) {
2526 for (j
= 0; j
< list
[i
].u
.arg
.passed_num
; j
++) {
2527 if (list
[i
].u
.arg
.types
[j
] == ONIG_TYPE_STRING
) {
2528 if (IS_NOT_NULL(list
[i
].u
.arg
.vals
[j
].s
.start
))
2529 xfree(list
[i
].u
.arg
.vals
[j
].s
.start
);
2533 else { /* ONIG_CALLOUT_OF_CONTENTS */
2534 if (IS_NOT_NULL(list
[i
].u
.content
.start
)) {
2535 xfree((void* )list
[i
].u
.content
.start
);
2543 extern CalloutListEntry
*
2544 onig_reg_callout_list_at(regex_t
* reg
, int num
)
2546 RegexExt
* ext
= REG_EXTP(reg
);
2547 CHECK_NULL_RETURN(ext
);
2549 if (num
<= 0 || num
> ext
->callout_num
)
2553 return ext
->callout_list
+ num
;
2557 reg_callout_list_entry(ScanEnv
* env
, int* rnum
)
2559 #define INIT_CALLOUT_LIST_NUM 3
2562 CalloutListEntry
* list
;
2563 CalloutListEntry
* e
;
2566 ext
= onig_get_regex_ext(env
->reg
);
2567 CHECK_NULL_RETURN_MEMERR(ext
);
2569 if (IS_NULL(ext
->callout_list
)) {
2570 list
= (CalloutListEntry
* )xmalloc(sizeof(*list
) * INIT_CALLOUT_LIST_NUM
);
2571 CHECK_NULL_RETURN_MEMERR(list
);
2573 ext
->callout_list
= list
;
2574 ext
->callout_list_alloc
= INIT_CALLOUT_LIST_NUM
;
2575 ext
->callout_num
= 0;
2578 num
= ext
->callout_num
+ 1;
2579 if (num
> ext
->callout_list_alloc
) {
2580 int alloc
= ext
->callout_list_alloc
* 2;
2581 list
= (CalloutListEntry
* )xrealloc(ext
->callout_list
,
2582 sizeof(CalloutListEntry
) * alloc
,
2583 sizeof(CalloutListEntry
) * ext
->callout_list_alloc
);
2584 CHECK_NULL_RETURN_MEMERR(list
);
2586 ext
->callout_list
= list
;
2587 ext
->callout_list_alloc
= alloc
;
2590 e
= ext
->callout_list
+ (num
- 1);
2594 e
->in
= ONIG_CALLOUT_OF_CONTENTS
;
2601 e
->u
.arg
.passed_num
= 0;
2603 ext
->callout_num
= num
;
2609 node_new_callout(Node
** node
, OnigCalloutOf callout_of
, int num
, int id
,
2613 CHECK_NULL_RETURN_MEMERR(*node
);
2615 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2616 GIMMICK_(*node
)->id
= id
;
2617 GIMMICK_(*node
)->num
= num
;
2618 GIMMICK_(*node
)->type
= GIMMICK_CALLOUT
;
2619 GIMMICK_(*node
)->detail_type
= (int )callout_of
;
2626 make_extended_grapheme_cluster(Node
** node
, ScanEnv
* env
)
2633 /* \X == (?>\O(?:\Y\O)*) */
2638 ns
[0] = onig_node_new_anchor(ANCHOR_NO_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
, 0);
2639 if (IS_NULL(ns
[0])) goto err
;
2641 r
= node_new_true_anychar(&ns
[1], env
);
2642 if (r
!= 0) goto err1
;
2644 x
= make_list(2, ns
);
2645 if (IS_NULL(x
)) goto err
;
2649 x
= node_new_quantifier(0, REPEAT_INFINITE
, 1);
2650 if (IS_NULL(x
)) goto err
;
2652 NODE_BODY(x
) = ns
[0];
2656 r
= node_new_true_anychar(&ns
[0], env
);
2657 if (r
!= 0) goto err1
;
2659 x
= make_list(2, ns
);
2660 if (IS_NULL(x
)) goto err
;
2665 x
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
2666 if (IS_NULL(x
)) goto err
;
2668 NODE_BODY(x
) = ns
[0];
2676 for (i
= 0; i
< 2; i
++) onig_node_free(ns
[i
]);
2681 make_absent_engine(Node
** node
, int pre_save_right_id
, Node
* absent
,
2682 Node
* step_one
, int lower
, int upper
, int possessive
,
2683 int is_range_cutter
, ScanEnv
* env
)
2691 for (i
= 0; i
< 4; i
++) ns
[i
] = NULL_NODE
;
2694 ns
[3] = step_one
; /* for err */
2695 r
= node_new_save_gimmick(&ns
[0], SAVE_S
, env
);
2696 if (r
!= 0) goto err
;
2698 id
= GIMMICK_(ns
[0])->id
;
2699 r
= node_new_update_var_gimmick(&ns
[2], UPDATE_VAR_RIGHT_RANGE_FROM_S_STACK
,
2701 if (r
!= 0) goto err
;
2703 r
= node_new_fail(&ns
[3], env
);
2704 if (r
!= 0) goto err
;
2706 x
= make_list(4, ns
);
2707 if (IS_NULL(x
)) goto err0
;
2711 ns
[2] = ns
[3] = NULL_NODE
;
2713 x
= make_alt(2, ns
);
2714 if (IS_NULL(x
)) goto err0
;
2718 x
= node_new_quantifier(lower
, upper
, 0);
2719 if (IS_NULL(x
)) goto err0
;
2721 NODE_BODY(x
) = ns
[0];
2724 if (possessive
!= 0) {
2725 x
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
2726 if (IS_NULL(x
)) goto err0
;
2728 NODE_BODY(x
) = ns
[0];
2732 r
= node_new_update_var_gimmick(&ns
[1], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2733 pre_save_right_id
, env
);
2734 if (r
!= 0) goto err
;
2736 r
= node_new_fail(&ns
[2], env
);
2737 if (r
!= 0) goto err
;
2739 x
= make_list(2, ns
+ 1);
2740 if (IS_NULL(x
)) goto err0
;
2742 ns
[1] = x
; ns
[2] = NULL_NODE
;
2744 x
= make_alt(2, ns
);
2745 if (IS_NULL(x
)) goto err0
;
2747 if (is_range_cutter
!= 0)
2748 NODE_STATUS_ADD(x
, SUPER
);
2756 for (i
= 0; i
< 4; i
++) onig_node_free(ns
[i
]);
2761 make_absent_tail(Node
** node1
, Node
** node2
, int pre_save_right_id
,
2770 *node1
= *node2
= NULL_NODE
;
2771 save
= ns
[0] = ns
[1] = NULL_NODE
;
2773 r
= node_new_save_gimmick(&save
, SAVE_RIGHT_RANGE
, env
);
2774 if (r
!= 0) goto err
;
2776 id
= GIMMICK_(save
)->id
;
2777 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2779 if (r
!= 0) goto err
;
2781 r
= node_new_fail(&ns
[1], env
);
2782 if (r
!= 0) goto err
;
2784 x
= make_list(2, ns
);
2785 if (IS_NULL(x
)) goto err0
;
2787 ns
[0] = NULL_NODE
; ns
[1] = x
;
2789 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2790 pre_save_right_id
, env
);
2791 if (r
!= 0) goto err
;
2793 x
= make_alt(2, ns
);
2794 if (IS_NULL(x
)) goto err0
;
2803 onig_node_free(save
);
2804 onig_node_free(ns
[0]);
2805 onig_node_free(ns
[1]);
2810 make_range_clear(Node
** node
, ScanEnv
* env
)
2819 save
= ns
[0] = ns
[1] = NULL_NODE
;
2821 r
= node_new_save_gimmick(&save
, SAVE_RIGHT_RANGE
, env
);
2822 if (r
!= 0) goto err
;
2824 id
= GIMMICK_(save
)->id
;
2825 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2827 if (r
!= 0) goto err
;
2829 r
= node_new_fail(&ns
[1], env
);
2830 if (r
!= 0) goto err
;
2832 x
= make_list(2, ns
);
2833 if (IS_NULL(x
)) goto err0
;
2835 ns
[0] = NULL_NODE
; ns
[1] = x
;
2837 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_INIT
, 0, env
);
2838 if (r
!= 0) goto err
;
2840 x
= make_alt(2, ns
);
2841 if (IS_NULL(x
)) goto err0
;
2843 NODE_STATUS_ADD(x
, SUPER
);
2848 x
= make_list(2, ns
);
2849 if (IS_NULL(x
)) goto err0
;
2857 onig_node_free(save
);
2858 onig_node_free(ns
[0]);
2859 onig_node_free(ns
[1]);
2864 is_simple_one_char_repeat(Node
* node
, Node
** rquant
, Node
** rbody
,
2865 int* is_possessive
, ScanEnv
* env
)
2870 *rquant
= *rbody
= 0;
2873 if (NODE_TYPE(node
) == NODE_QUANT
) {
2877 if (NODE_TYPE(node
) == NODE_ENCLOSURE
) {
2878 EnclosureNode
* en
= ENCLOSURE_(node
);
2879 if (en
->type
== ENCLOSURE_STOP_BACKTRACK
) {
2881 quant
= NODE_ENCLOSURE_BODY(en
);
2882 if (NODE_TYPE(quant
) != NODE_QUANT
)
2892 if (QUANT_(quant
)->greedy
== 0)
2895 body
= NODE_BODY(quant
);
2896 switch (NODE_TYPE(body
)) {
2900 StrNode
* sn
= STR_(body
);
2904 while (s
< sn
->end
) {
2905 s
+= enclen(env
->enc
, s
);
2920 if (node
!= quant
) {
2921 NODE_BODY(node
) = 0;
2922 onig_node_free(node
);
2924 NODE_BODY(quant
) = NULL_NODE
;
2931 make_absent_tree_for_simple_one_char_repeat(Node
** node
, Node
* absent
, Node
* quant
,
2932 Node
* body
, int possessive
, ScanEnv
* env
)
2943 ns
[0] = ns
[1] = NULL_NODE
;
2944 ns
[2] = body
, ns
[3] = absent
;
2946 lower
= QUANT_(quant
)->lower
;
2947 upper
= QUANT_(quant
)->upper
;
2948 onig_node_free(quant
);
2950 r
= node_new_save_gimmick(&ns
[0], SAVE_RIGHT_RANGE
, env
);
2951 if (r
!= 0) goto err
;
2953 id1
= GIMMICK_(ns
[0])->id
;
2955 r
= make_absent_engine(&ns
[1], id1
, absent
, body
, lower
, upper
, possessive
,
2957 if (r
!= 0) goto err
;
2959 ns
[2] = ns
[3] = NULL_NODE
;
2961 r
= node_new_update_var_gimmick(&ns
[2], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2963 if (r
!= 0) goto err
;
2965 x
= make_list(3, ns
);
2966 if (IS_NULL(x
)) goto err0
;
2974 for (i
= 0; i
< 4; i
++) onig_node_free(ns
[i
]);
2979 make_absent_tree(Node
** node
, Node
* absent
, Node
* expr
, int is_range_cutter
,
2990 for (i
= 0; i
< 7; i
++) ns
[i
] = NULL_NODE
;
2991 ns
[4] = expr
; ns
[5] = absent
;
2993 if (is_range_cutter
== 0) {
2997 if (expr
== NULL_NODE
) {
2998 /* default expr \O* */
2999 quant
= node_new_quantifier(0, REPEAT_INFINITE
, 0);
3000 if (IS_NULL(quant
)) goto err0
;
3002 r
= node_new_true_anychar(&body
, env
);
3004 onig_node_free(quant
);
3011 if (is_simple_one_char_repeat(expr
, &quant
, &body
, &possessive
, env
)) {
3013 r
= make_absent_tree_for_simple_one_char_repeat(node
, absent
, quant
,
3014 body
, possessive
, env
);
3017 onig_node_free(quant
);
3018 onig_node_free(body
);
3027 r
= node_new_save_gimmick(&ns
[0], SAVE_RIGHT_RANGE
, env
);
3028 if (r
!= 0) goto err
;
3030 id1
= GIMMICK_(ns
[0])->id
;
3032 r
= node_new_save_gimmick(&ns
[1], SAVE_S
, env
);
3033 if (r
!= 0) goto err
;
3035 id2
= GIMMICK_(ns
[1])->id
;
3037 r
= node_new_true_anychar(&ns
[3], env
);
3038 if (r
!= 0) goto err
;
3041 r
= make_absent_engine(&ns
[2], id1
, absent
, ns
[3], 0, REPEAT_INFINITE
,
3042 possessive
, is_range_cutter
, env
);
3043 if (r
!= 0) goto err
;
3048 r
= node_new_update_var_gimmick(&ns
[3], UPDATE_VAR_S_FROM_STACK
, id2
, env
);
3049 if (r
!= 0) goto err
;
3051 if (is_range_cutter
!= 0) {
3052 x
= make_list(4, ns
);
3053 if (IS_NULL(x
)) goto err0
;
3056 r
= make_absent_tail(&ns
[5], &ns
[6], id1
, env
);
3057 if (r
!= 0) goto err
;
3059 x
= make_list(7, ns
);
3060 if (IS_NULL(x
)) goto err0
;
3069 for (i
= 0; i
< 7; i
++) onig_node_free(ns
[i
]);
3074 onig_node_str_cat(Node
* node
, const UChar
* s
, const UChar
* end
)
3076 int addlen
= (int )(end
- s
);
3079 int len
= (int )(STR_(node
)->end
- STR_(node
)->s
);
3081 if (STR_(node
)->capa
> 0 || (len
+ addlen
> NODE_STRING_BUF_SIZE
- 1)) {
3083 int capa
= len
+ addlen
+ NODE_STRING_MARGIN
;
3085 if (capa
<= STR_(node
)->capa
) {
3086 onig_strcpy(STR_(node
)->s
+ len
, s
, end
);
3089 if (STR_(node
)->s
== STR_(node
)->buf
)
3090 p
= strcat_capa_from_static(STR_(node
)->s
, STR_(node
)->end
,
3093 p
= strcat_capa(STR_(node
)->s
, STR_(node
)->end
, s
, end
, capa
, STR_(node
)->capa
);
3095 CHECK_NULL_RETURN_MEMERR(p
);
3097 STR_(node
)->capa
= capa
;
3101 onig_strcpy(STR_(node
)->s
+ len
, s
, end
);
3103 STR_(node
)->end
= STR_(node
)->s
+ len
+ addlen
;
3110 onig_node_str_set(Node
* node
, const UChar
* s
, const UChar
* end
)
3112 onig_node_str_clear(node
);
3113 return onig_node_str_cat(node
, s
, end
);
3117 node_str_cat_char(Node
* node
, UChar c
)
3122 return onig_node_str_cat(node
, s
, s
+ 1);
3126 onig_node_conv_to_str_node(Node
* node
, int flag
)
3128 NODE_SET_TYPE(node
, NODE_STRING
);
3129 STR_(node
)->flag
= flag
;
3130 STR_(node
)->capa
= 0;
3131 STR_(node
)->s
= STR_(node
)->buf
;
3132 STR_(node
)->end
= STR_(node
)->buf
;
3136 onig_node_str_clear(Node
* node
)
3138 if (STR_(node
)->capa
!= 0 &&
3139 IS_NOT_NULL(STR_(node
)->s
) && STR_(node
)->s
!= STR_(node
)->buf
) {
3140 xfree(STR_(node
)->s
);
3143 STR_(node
)->capa
= 0;
3144 STR_(node
)->flag
= 0;
3145 STR_(node
)->s
= STR_(node
)->buf
;
3146 STR_(node
)->end
= STR_(node
)->buf
;
3150 node_new_str(const UChar
* s
, const UChar
* end
)
3152 Node
* node
= node_new();
3153 CHECK_NULL_RETURN(node
);
3155 NODE_SET_TYPE(node
, NODE_STRING
);
3156 STR_(node
)->capa
= 0;
3157 STR_(node
)->flag
= 0;
3158 STR_(node
)->s
= STR_(node
)->buf
;
3159 STR_(node
)->end
= STR_(node
)->buf
;
3160 if (onig_node_str_cat(node
, s
, end
)) {
3161 onig_node_free(node
);
3168 onig_node_new_str(const UChar
* s
, const UChar
* end
)
3170 return node_new_str(s
, end
);
3174 node_new_str_raw(UChar
* s
, UChar
* end
)
3176 Node
* node
= node_new_str(s
, end
);
3177 NODE_STRING_SET_RAW(node
);
3182 node_new_empty(void)
3184 return node_new_str(NULL
, NULL
);
3188 node_new_str_raw_char(UChar c
)
3193 return node_new_str_raw(p
, p
+ 1);
3197 str_node_split_last_char(Node
* node
, OnigEncoding enc
)
3205 if (sn
->end
> sn
->s
) {
3206 p
= onigenc_get_prev_char_head(enc
, sn
->s
, sn
->end
);
3207 if (p
&& p
> sn
->s
) { /* can be split. */
3208 rn
= node_new_str(p
, sn
->end
);
3209 if (NODE_STRING_IS_RAW(node
))
3210 NODE_STRING_SET_RAW(rn
);
3212 sn
->end
= (UChar
* )p
;
3219 str_node_can_be_split(Node
* node
, OnigEncoding enc
)
3221 StrNode
* sn
= STR_(node
);
3222 if (sn
->end
> sn
->s
) {
3223 return ((enclen(enc
, sn
->s
) < sn
->end
- sn
->s
) ? 1 : 0);
3228 #ifdef USE_PAD_TO_SHORT_BYTE_CHAR
3230 node_str_head_pad(StrNode
* sn
, int num
, UChar val
)
3232 UChar buf
[NODE_STRING_BUF_SIZE
];
3235 len
= sn
->end
- sn
->s
;
3236 onig_strcpy(buf
, sn
->s
, sn
->end
);
3237 onig_strcpy(&(sn
->s
[num
]), buf
, buf
+ len
);
3240 for (i
= 0; i
< num
; i
++) {
3247 onig_scan_unsigned_number(UChar
** src
, const UChar
* end
, OnigEncoding enc
)
3249 unsigned int num
, val
;
3257 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
3258 val
= (unsigned int )DIGITVAL(c
);
3259 if ((INT_MAX_LIMIT
- val
) / 10UL < num
)
3260 return -1; /* overflow */
3262 num
= num
* 10 + val
;
3274 scan_unsigned_hexadecimal_number(UChar
** src
, UChar
* end
, int minlen
,
3275 int maxlen
, OnigEncoding enc
)
3278 unsigned int num
, val
;
3285 while (! PEND
&& n
< maxlen
) {
3287 if (IS_CODE_XDIGIT_ASCII(enc
, c
)) {
3289 val
= (unsigned int )XDIGITVAL(enc
,c
);
3290 if ((INT_MAX_LIMIT
- val
) / 16UL < num
)
3291 return ONIGERR_TOO_BIG_NUMBER
; /* overflow */
3293 num
= (num
<< 4) + XDIGITVAL(enc
,c
);
3302 return ONIGERR_INVALID_CODE_POINT_VALUE
;
3309 scan_unsigned_octal_number(UChar
** src
, UChar
* end
, int maxlen
,
3313 unsigned int num
, val
;
3318 while (! PEND
&& maxlen
-- != 0) {
3320 if (IS_CODE_DIGIT_ASCII(enc
, c
) && c
< '8') {
3322 if ((INT_MAX_LIMIT
- val
) / 8UL < num
)
3323 return -1; /* overflow */
3325 num
= (num
<< 3) + val
;
3337 #define BB_WRITE_CODE_POINT(bbuf,pos,code) \
3338 BB_WRITE(bbuf, pos, &(code), SIZE_CODE_POINT)
3341 [n][from-1][to-1][from-2][to-2] ... [from-n][to-n]
3342 (all data size is OnigCodePoint)
3345 new_code_range(BBuf
** pbuf
)
3347 #define INIT_MULTI_BYTE_RANGE_SIZE (SIZE_CODE_POINT * 5)
3352 bbuf
= *pbuf
= (BBuf
* )xmalloc(sizeof(BBuf
));
3353 CHECK_NULL_RETURN_MEMERR(bbuf
);
3354 r
= BB_INIT(bbuf
, INIT_MULTI_BYTE_RANGE_SIZE
);
3362 BB_WRITE_CODE_POINT(bbuf
, 0, n
);
3367 add_code_range_to_buf(BBuf
** pbuf
, OnigCodePoint from
, OnigCodePoint to
)
3370 int low
, high
, bound
, x
;
3371 OnigCodePoint n
, *data
;
3375 n
= from
; from
= to
; to
= n
;
3378 if (IS_NULL(*pbuf
)) {
3379 r
= new_code_range(pbuf
);
3380 if (r
!= 0) return r
;
3386 GET_CODE_POINT(n
, bbuf
->p
);
3388 data
= (OnigCodePoint
* )(bbuf
->p
);
3391 for (low
= 0, bound
= n
; low
< bound
; ) {
3392 x
= (low
+ bound
) >> 1;
3393 if (from
> data
[x
*2 + 1])
3399 high
= (to
== ~((OnigCodePoint
)0)) ? n
: low
;
3400 for (bound
= n
; high
< bound
; ) {
3401 x
= (high
+ bound
) >> 1;
3402 if (to
+ 1 >= data
[x
*2])
3408 inc_n
= low
+ 1 - high
;
3409 if (n
+ inc_n
> ONIG_MAX_MULTI_BYTE_RANGES_NUM
)
3410 return ONIGERR_TOO_MANY_MULTI_BYTE_RANGES
;
3413 if (from
> data
[low
*2])
3415 if (to
< data
[(high
- 1)*2 + 1])
3416 to
= data
[(high
- 1)*2 + 1];
3419 if (inc_n
!= 0 && (OnigCodePoint
)high
< n
) {
3420 int from_pos
= SIZE_CODE_POINT
* (1 + high
* 2);
3421 int to_pos
= SIZE_CODE_POINT
* (1 + (low
+ 1) * 2);
3422 int size
= (n
- high
) * 2 * SIZE_CODE_POINT
;
3425 BB_MOVE_RIGHT(bbuf
, from_pos
, to_pos
, size
);
3428 BB_MOVE_LEFT_REDUCE(bbuf
, from_pos
, to_pos
);
3432 pos
= SIZE_CODE_POINT
* (1 + low
* 2);
3433 BB_ENSURE_SIZE(bbuf
, pos
+ SIZE_CODE_POINT
* 2);
3434 BB_WRITE_CODE_POINT(bbuf
, pos
, from
);
3435 BB_WRITE_CODE_POINT(bbuf
, pos
+ SIZE_CODE_POINT
, to
);
3437 BB_WRITE_CODE_POINT(bbuf
, 0, n
);
3443 add_code_range(BBuf
** pbuf
, ScanEnv
* env
, OnigCodePoint from
, OnigCodePoint to
)
3446 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
3449 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
3452 return add_code_range_to_buf(pbuf
, from
, to
);
3456 not_code_range_buf(OnigEncoding enc
, BBuf
* bbuf
, BBuf
** pbuf
)
3459 OnigCodePoint pre
, from
, *data
, to
= 0;
3461 *pbuf
= (BBuf
* )NULL
;
3462 if (IS_NULL(bbuf
)) {
3464 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3467 data
= (OnigCodePoint
* )(bbuf
->p
);
3468 GET_CODE_POINT(n
, data
);
3470 if (n
<= 0) goto set_all
;
3473 pre
= MBCODE_START_POS(enc
);
3474 for (i
= 0; i
< n
; i
++) {
3477 if (pre
<= from
- 1) {
3478 r
= add_code_range_to_buf(pbuf
, pre
, from
- 1);
3479 if (r
!= 0) return r
;
3481 if (to
== ~((OnigCodePoint
)0)) break;
3484 if (to
< ~((OnigCodePoint
)0)) {
3485 r
= add_code_range_to_buf(pbuf
, to
+ 1, ~((OnigCodePoint
)0));
3490 #define SWAP_BB_NOT(bbuf1, not1, bbuf2, not2) do {\
3493 tnot = not1; not1 = not2; not2 = tnot; \
3494 tbuf = bbuf1; bbuf1 = bbuf2; bbuf2 = tbuf; \
3498 or_code_range_buf(OnigEncoding enc
, BBuf
* bbuf1
, int not1
,
3499 BBuf
* bbuf2
, int not2
, BBuf
** pbuf
)
3502 OnigCodePoint i
, n1
, *data1
;
3503 OnigCodePoint from
, to
;
3505 *pbuf
= (BBuf
* )NULL
;
3506 if (IS_NULL(bbuf1
) && IS_NULL(bbuf2
)) {
3507 if (not1
!= 0 || not2
!= 0)
3508 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3514 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3516 if (IS_NULL(bbuf1
)) {
3518 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3522 return bbuf_clone(pbuf
, bbuf2
);
3525 return not_code_range_buf(enc
, bbuf2
, pbuf
);
3531 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3533 data1
= (OnigCodePoint
* )(bbuf1
->p
);
3534 GET_CODE_POINT(n1
, data1
);
3537 if (not2
== 0 && not1
== 0) { /* 1 OR 2 */
3538 r
= bbuf_clone(pbuf
, bbuf2
);
3540 else if (not1
== 0) { /* 1 OR (not 2) */
3541 r
= not_code_range_buf(enc
, bbuf2
, pbuf
);
3543 if (r
!= 0) return r
;
3545 for (i
= 0; i
< n1
; i
++) {
3548 r
= add_code_range_to_buf(pbuf
, from
, to
);
3549 if (r
!= 0) return r
;
3555 and_code_range1(BBuf
** pbuf
, OnigCodePoint from1
, OnigCodePoint to1
,
3556 OnigCodePoint
* data
, int n
)
3559 OnigCodePoint from2
, to2
;
3561 for (i
= 0; i
< n
; i
++) {
3564 if (from2
< from1
) {
3565 if (to2
< from1
) continue;
3570 else if (from2
<= to1
) {
3572 if (from1
<= from2
- 1) {
3573 r
= add_code_range_to_buf(pbuf
, from1
, from2
-1);
3574 if (r
!= 0) return r
;
3585 if (from1
> to1
) break;
3588 r
= add_code_range_to_buf(pbuf
, from1
, to1
);
3589 if (r
!= 0) return r
;
3595 and_code_range_buf(BBuf
* bbuf1
, int not1
, BBuf
* bbuf2
, int not2
, BBuf
** pbuf
)
3598 OnigCodePoint i
, j
, n1
, n2
, *data1
, *data2
;
3599 OnigCodePoint from
, to
, from1
, to1
, from2
, to2
;
3601 *pbuf
= (BBuf
* )NULL
;
3602 if (IS_NULL(bbuf1
)) {
3603 if (not1
!= 0 && IS_NOT_NULL(bbuf2
)) /* not1 != 0 -> not2 == 0 */
3604 return bbuf_clone(pbuf
, bbuf2
);
3607 else if (IS_NULL(bbuf2
)) {
3609 return bbuf_clone(pbuf
, bbuf1
);
3614 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3616 data1
= (OnigCodePoint
* )(bbuf1
->p
);
3617 data2
= (OnigCodePoint
* )(bbuf2
->p
);
3618 GET_CODE_POINT(n1
, data1
);
3619 GET_CODE_POINT(n2
, data2
);
3623 if (not2
== 0 && not1
== 0) { /* 1 AND 2 */
3624 for (i
= 0; i
< n1
; i
++) {
3627 for (j
= 0; j
< n2
; j
++) {
3630 if (from2
> to1
) break;
3631 if (to2
< from1
) continue;
3632 from
= MAX(from1
, from2
);
3634 r
= add_code_range_to_buf(pbuf
, from
, to
);
3635 if (r
!= 0) return r
;
3639 else if (not1
== 0) { /* 1 AND (not 2) */
3640 for (i
= 0; i
< n1
; i
++) {
3643 r
= and_code_range1(pbuf
, from1
, to1
, data2
, n2
);
3644 if (r
!= 0) return r
;
3652 and_cclass(CClassNode
* dest
, CClassNode
* cc
, OnigEncoding enc
)
3655 BBuf
*buf1
, *buf2
, *pbuf
;
3656 BitSetRef bsr1
, bsr2
;
3659 not1
= IS_NCCLASS_NOT(dest
);
3662 not2
= IS_NCCLASS_NOT(cc
);
3667 bitset_invert_to(bsr1
, bs1
);
3671 bitset_invert_to(bsr2
, bs2
);
3674 bitset_and(bsr1
, bsr2
);
3675 if (bsr1
!= dest
->bs
) {
3676 bitset_copy(dest
->bs
, bsr1
);
3679 bitset_invert(dest
->bs
);
3682 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
3683 if (not1
!= 0 && not2
!= 0) {
3684 r
= or_code_range_buf(enc
, buf1
, 0, buf2
, 0, &pbuf
);
3687 r
= and_code_range_buf(buf1
, not1
, buf2
, not2
, &pbuf
);
3688 if (r
== 0 && not1
!= 0) {
3690 r
= not_code_range_buf(enc
, pbuf
, &tbuf
);
3699 if (r
!= 0) return r
;
3709 or_cclass(CClassNode
* dest
, CClassNode
* cc
, OnigEncoding enc
)
3712 BBuf
*buf1
, *buf2
, *pbuf
;
3713 BitSetRef bsr1
, bsr2
;
3716 not1
= IS_NCCLASS_NOT(dest
);
3719 not2
= IS_NCCLASS_NOT(cc
);
3724 bitset_invert_to(bsr1
, bs1
);
3728 bitset_invert_to(bsr2
, bs2
);
3731 bitset_or(bsr1
, bsr2
);
3732 if (bsr1
!= dest
->bs
) {
3733 bitset_copy(dest
->bs
, bsr1
);
3736 bitset_invert(dest
->bs
);
3739 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
3740 if (not1
!= 0 && not2
!= 0) {
3741 r
= and_code_range_buf(buf1
, 0, buf2
, 0, &pbuf
);
3744 r
= or_code_range_buf(enc
, buf1
, not1
, buf2
, not2
, &pbuf
);
3745 if (r
== 0 && not1
!= 0) {
3747 r
= not_code_range_buf(enc
, pbuf
, &tbuf
);
3756 if (r
!= 0) return r
;
3766 static OnigCodePoint
3767 conv_backslash_value(OnigCodePoint c
, ScanEnv
* env
)
3769 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_CONTROL_CHARS
)) {
3771 case 'n': return '\n';
3772 case 't': return '\t';
3773 case 'r': return '\r';
3774 case 'f': return '\f';
3775 case 'a': return '\007';
3776 case 'b': return '\010';
3777 case 'e': return '\033';
3779 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_V_VTAB
))
3791 is_invalid_quantifier_target(Node
* node
)
3793 switch (NODE_TYPE(node
)) {
3799 case NODE_ENCLOSURE
:
3800 /* allow enclosed elements */
3801 /* return is_invalid_quantifier_target(NODE_BODY(node)); */
3806 if (! is_invalid_quantifier_target(NODE_CAR(node
))) return 0;
3807 } while (IS_NOT_NULL(node
= NODE_CDR(node
)));
3813 if (is_invalid_quantifier_target(NODE_CAR(node
))) return 1;
3814 } while (IS_NOT_NULL(node
= NODE_CDR(node
)));
3823 /* ?:0, *:1, +:2, ??:3, *?:4, +?:5 */
3825 quantifier_type_num(QuantNode
* q
)
3828 if (q
->lower
== 0) {
3829 if (q
->upper
== 1) return 0;
3830 else if (IS_REPEAT_INFINITE(q
->upper
)) return 1;
3832 else if (q
->lower
== 1) {
3833 if (IS_REPEAT_INFINITE(q
->upper
)) return 2;
3837 if (q
->lower
== 0) {
3838 if (q
->upper
== 1) return 3;
3839 else if (IS_REPEAT_INFINITE(q
->upper
)) return 4;
3841 else if (q
->lower
== 1) {
3842 if (IS_REPEAT_INFINITE(q
->upper
)) return 5;
3850 RQ_ASIS
= 0, /* as is */
3851 RQ_DEL
= 1, /* delete parent */
3853 RQ_AQ
, /* to '*?' */
3854 RQ_QQ
, /* to '??' */
3855 RQ_P_QQ
, /* to '+)??' */
3856 RQ_PQ_Q
/* to '+?)?' */
3859 static enum ReduceType ReduceTypeTable
[6][6] = {
3860 {RQ_DEL
, RQ_A
, RQ_A
, RQ_QQ
, RQ_AQ
, RQ_ASIS
}, /* '?' */
3861 {RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_P_QQ
, RQ_P_QQ
, RQ_DEL
}, /* '*' */
3862 {RQ_A
, RQ_A
, RQ_DEL
, RQ_ASIS
, RQ_P_QQ
, RQ_DEL
}, /* '+' */
3863 {RQ_DEL
, RQ_AQ
, RQ_AQ
, RQ_DEL
, RQ_AQ
, RQ_AQ
}, /* '??' */
3864 {RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
}, /* '*?' */
3865 {RQ_ASIS
, RQ_PQ_Q
, RQ_DEL
, RQ_AQ
, RQ_AQ
, RQ_DEL
} /* '+?' */
3869 onig_reduce_nested_quantifier(Node
* pnode
, Node
* cnode
)
3876 pnum
= quantifier_type_num(p
);
3877 cnum
= quantifier_type_num(c
);
3878 if (pnum
< 0 || cnum
< 0) {
3879 if ((p
->lower
== p
->upper
) && ! IS_REPEAT_INFINITE(p
->upper
)) {
3880 if ((c
->lower
== c
->upper
) && ! IS_REPEAT_INFINITE(c
->upper
)) {
3881 int n
= positive_int_multiply(p
->lower
, c
->lower
);
3883 p
->lower
= p
->upper
= n
;
3884 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3893 switch(ReduceTypeTable
[cnum
][pnum
]) {
3898 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3899 p
->lower
= 0; p
->upper
= REPEAT_INFINITE
; p
->greedy
= 1;
3902 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3903 p
->lower
= 0; p
->upper
= REPEAT_INFINITE
; p
->greedy
= 0;
3906 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3907 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 0;
3910 NODE_BODY(pnode
) = cnode
;
3911 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 0;
3912 c
->lower
= 1; c
->upper
= REPEAT_INFINITE
; c
->greedy
= 1;
3916 NODE_BODY(pnode
) = cnode
;
3917 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 1;
3918 c
->lower
= 1; c
->upper
= REPEAT_INFINITE
; c
->greedy
= 0;
3922 NODE_BODY(pnode
) = cnode
;
3928 NODE_BODY(cnode
) = NULL_NODE
;
3929 onig_node_free(cnode
);
3933 node_new_general_newline(Node
** node
, ScanEnv
* env
)
3937 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
* 2];
3943 dlen
= ONIGENC_CODE_TO_MBC(env
->enc
, 0x0d, buf
);
3944 if (dlen
< 0) return dlen
;
3945 alen
= ONIGENC_CODE_TO_MBC(env
->enc
, 0x0a, buf
+ dlen
);
3946 if (alen
< 0) return alen
;
3948 crnl
= node_new_str_raw(buf
, buf
+ dlen
+ alen
);
3949 CHECK_NULL_RETURN_MEMERR(crnl
);
3951 ncc
= node_new_cclass();
3952 if (IS_NULL(ncc
)) goto err2
;
3956 bitset_set_range(cc
->bs
, 0x0a, 0x0d);
3959 r
= add_code_range(&(cc
->mbuf
), env
, 0x0a, 0x0d);
3962 onig_node_free(ncc
);
3964 onig_node_free(crnl
);
3965 return ONIGERR_MEMORY
;
3969 if (ONIGENC_IS_UNICODE_ENCODING(env
->enc
)) {
3970 r
= add_code_range(&(cc
->mbuf
), env
, 0x85, 0x85);
3971 if (r
!= 0) goto err1
;
3972 r
= add_code_range(&(cc
->mbuf
), env
, 0x2028, 0x2029);
3973 if (r
!= 0) goto err1
;
3976 x
= node_new_enclosure_if_else(crnl
, 0, ncc
);
3977 if (IS_NULL(x
)) goto err1
;
3984 TK_EOT
= 0, /* end of token */
3996 TK_ANYCHAR_ANYTIME
, /* SQL '%' == .* */
4002 TK_CHAR_PROPERTY
, /* \p{...}, \P{...} */
4004 TK_GENERAL_NEWLINE
, /* \R */
4005 TK_NO_NEWLINE
, /* \N */
4006 TK_TRUE_ANYCHAR
, /* \O */
4007 TK_EXTENDED_GRAPHEME_CLUSTER
, /* \X */
4012 TK_POSIX_BRACKET_OPEN
,
4014 TK_CC_CC_OPEN
/* [ */
4018 enum TokenSyms type
;
4020 int base
; /* is number: 8, 16 (used in [....]) */
4039 #ifdef USE_BACKREF_WITH_LEVEL
4041 int level
; /* \k<name+n> */
4059 fetch_range_quantifier(UChar
** src
, UChar
* end
, OnigToken
* tok
, ScanEnv
* env
)
4061 int low
, up
, syn_allow
, non_low
= 0;
4064 OnigEncoding enc
= env
->enc
;
4068 syn_allow
= IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_INVALID_INTERVAL
);
4072 return 1; /* "....{" : OK! */
4074 return ONIGERR_END_PATTERN_AT_LEFT_BRACE
; /* "....{" syntax error */
4079 if (c
== ')' || c
== '(' || c
== '|') {
4080 return ONIGERR_END_PATTERN_AT_LEFT_BRACE
;
4084 low
= onig_scan_unsigned_number(&p
, end
, env
->enc
);
4085 if (low
< 0) return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4086 if (low
> ONIG_MAX_REPEAT_NUM
)
4087 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4089 if (p
== *src
) { /* can't read low */
4090 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV
)) {
4091 /* allow {,n} as {0,n} */
4099 if (PEND
) goto invalid
;
4103 up
= onig_scan_unsigned_number(&p
, end
, env
->enc
);
4104 if (up
< 0) return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4105 if (up
> ONIG_MAX_REPEAT_NUM
)
4106 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4111 up
= REPEAT_INFINITE
; /* {n,} : {n,infinite} */
4119 up
= low
; /* {n} : exact n times */
4123 if (PEND
) goto invalid
;
4125 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_BRACE_INTERVAL
)) {
4126 if (c
!= MC_ESC(env
->syntax
)) goto invalid
;
4129 if (c
!= '}') goto invalid
;
4131 if (!IS_REPEAT_INFINITE(up
) && low
> up
) {
4132 return ONIGERR_UPPER_SMALLER_THAN_LOWER_IN_REPEAT_RANGE
;
4135 tok
->type
= TK_INTERVAL
;
4136 tok
->u
.repeat
.lower
= low
;
4137 tok
->u
.repeat
.upper
= up
;
4139 return r
; /* 0: normal {n,m}, 2: fixed {n} */
4143 /* *src = p; */ /* !!! Don't do this line !!! */
4147 return ONIGERR_INVALID_REPEAT_RANGE_PATTERN
;
4150 /* \M-, \C-, \c, or \... */
4152 fetch_escaped_value(UChar
** src
, UChar
* end
, ScanEnv
* env
, OnigCodePoint
* val
)
4156 OnigEncoding enc
= env
->enc
;
4159 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4164 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META
)) {
4165 if (PEND
) return ONIGERR_END_PATTERN_AT_META
;
4167 if (c
!= '-') return ONIGERR_META_CODE_SYNTAX
;
4168 if (PEND
) return ONIGERR_END_PATTERN_AT_META
;
4170 if (c
== MC_ESC(env
->syntax
)) {
4171 v
= fetch_escaped_value(&p
, end
, env
, &c
);
4172 if (v
< 0) return v
;
4174 c
= ((c
& 0xff) | 0x80);
4181 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL
)) {
4182 if (PEND
) return ONIGERR_END_PATTERN_AT_CONTROL
;
4184 if (c
!= '-') return ONIGERR_CONTROL_CODE_SYNTAX
;
4191 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_C_CONTROL
)) {
4193 if (PEND
) return ONIGERR_END_PATTERN_AT_CONTROL
;
4199 if (c
== MC_ESC(env
->syntax
)) {
4200 v
= fetch_escaped_value(&p
, end
, env
, &c
);
4201 if (v
< 0) return v
;
4212 c
= conv_backslash_value(c
, env
);
4222 static int fetch_token(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
);
4224 static OnigCodePoint
4225 get_name_end_code_point(OnigCodePoint start
)
4228 case '<': return (OnigCodePoint
)'>'; break;
4229 case '\'': return (OnigCodePoint
)'\''; break;
4230 case '(': return (OnigCodePoint
)')'; break;
4235 return (OnigCodePoint
)0;
4244 #ifdef USE_BACKREF_WITH_LEVEL
4246 \k<name+n>, \k<name-n>
4247 \k<num+n>, \k<num-n>
4248 \k<-num+n>, \k<-num-n>
4249 \k<+num+n>, \k<+num-n>
4252 fetch_name_with_level(OnigCodePoint start_code
, UChar
** src
, UChar
* end
,
4253 UChar
** rname_end
, ScanEnv
* env
,
4254 int* rback_num
, int* rlevel
, enum REF_NUM
* num_type
)
4256 int r
, sign
, exist_level
;
4258 OnigCodePoint end_code
;
4259 OnigCodePoint c
= 0;
4260 OnigEncoding enc
= env
->enc
;
4268 *num_type
= IS_NOT_NUM
;
4272 end_code
= get_name_end_code_point(start_code
);
4278 return ONIGERR_EMPTY_GROUP_NAME
;
4283 return ONIGERR_EMPTY_GROUP_NAME
;
4285 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4286 *num_type
= IS_ABS_NUM
;
4289 else if (c
== '-') {
4290 *num_type
= IS_REL_NUM
;
4294 else if (c
== '+') {
4295 *num_type
= IS_REL_NUM
;
4299 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4300 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4307 if (c
== end_code
|| c
== ')' || c
== '+' || c
== '-') {
4308 if (*num_type
!= IS_NOT_NUM
&& digit_count
== 0)
4309 r
= ONIGERR_INVALID_GROUP_NAME
;
4313 if (*num_type
!= IS_NOT_NUM
) {
4314 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4318 r
= ONIGERR_INVALID_GROUP_NAME
;
4319 *num_type
= IS_NOT_NUM
;
4322 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4323 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4327 if (r
== 0 && c
!= end_code
) {
4328 if (c
== '+' || c
== '-') {
4330 int flag
= (c
== '-' ? -1 : 1);
4333 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4337 if (! IS_CODE_DIGIT_ASCII(enc
, c
)) goto err
;
4339 level
= onig_scan_unsigned_number(&p
, end
, enc
);
4340 if (level
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4341 *rlevel
= (level
* flag
);
4354 r
= ONIGERR_INVALID_GROUP_NAME
;
4359 if (*num_type
!= IS_NOT_NUM
) {
4360 *rback_num
= onig_scan_unsigned_number(&pnum_head
, name_end
, enc
);
4361 if (*rback_num
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4362 else if (*rback_num
== 0) {
4363 if (*num_type
== IS_REL_NUM
)
4370 *rname_end
= name_end
;
4372 return (exist_level
? 1 : 0);
4375 onig_scan_env_set_error_string(env
, r
, *src
, name_end
);
4379 #endif /* USE_BACKREF_WITH_LEVEL */
4382 ref: 0 -> define name (don't allow number name)
4383 1 -> reference name (allow number name)
4386 fetch_name(OnigCodePoint start_code
, UChar
** src
, UChar
* end
,
4387 UChar
** rname_end
, ScanEnv
* env
, int* rback_num
,
4388 enum REF_NUM
* num_type
, int ref
)
4392 OnigCodePoint end_code
;
4393 OnigCodePoint c
= 0;
4394 OnigEncoding enc
= env
->enc
;
4401 end_code
= get_name_end_code_point(start_code
);
4407 *num_type
= IS_NOT_NUM
;
4410 return ONIGERR_EMPTY_GROUP_NAME
;
4415 return ONIGERR_EMPTY_GROUP_NAME
;
4417 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4419 *num_type
= IS_ABS_NUM
;
4421 r
= ONIGERR_INVALID_GROUP_NAME
;
4425 else if (c
== '-') {
4427 *num_type
= IS_REL_NUM
;
4432 r
= ONIGERR_INVALID_GROUP_NAME
;
4435 else if (c
== '+') {
4437 *num_type
= IS_REL_NUM
;
4442 r
= ONIGERR_INVALID_GROUP_NAME
;
4445 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4446 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4454 if (c
== end_code
|| c
== ')') {
4455 if (*num_type
!= IS_NOT_NUM
&& digit_count
== 0)
4456 r
= ONIGERR_INVALID_GROUP_NAME
;
4460 if (*num_type
!= IS_NOT_NUM
) {
4461 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4465 if (!ONIGENC_IS_CODE_WORD(enc
, c
))
4466 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4468 r
= ONIGERR_INVALID_GROUP_NAME
;
4470 *num_type
= IS_NOT_NUM
;
4474 if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4475 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4480 if (c
!= end_code
) {
4481 r
= ONIGERR_INVALID_GROUP_NAME
;
4485 if (*num_type
!= IS_NOT_NUM
) {
4486 *rback_num
= onig_scan_unsigned_number(&pnum_head
, name_end
, enc
);
4487 if (*rback_num
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4488 else if (*rback_num
== 0) {
4489 if (*num_type
== IS_REL_NUM
) {
4490 r
= ONIGERR_INVALID_GROUP_NAME
;
4498 *rname_end
= name_end
;
4506 if (c
== end_code
|| c
== ')')
4513 onig_scan_env_set_error_string(env
, r
, *src
, name_end
);
4519 CC_ESC_WARN(ScanEnv
* env
, UChar
*c
)
4521 if (onig_warn
== onig_null_warn
) return ;
4523 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
) &&
4524 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC
)) {
4525 UChar buf
[WARN_BUFSIZE
];
4526 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
4527 env
->pattern
, env
->pattern_end
,
4528 (UChar
* )"character class has '%s' without escape",
4530 (*onig_warn
)((char* )buf
);
4535 CLOSE_BRACKET_WITHOUT_ESC_WARN(ScanEnv
* env
, UChar
* c
)
4537 if (onig_warn
== onig_null_warn
) return ;
4539 if (IS_SYNTAX_BV((env
)->syntax
, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
)) {
4540 UChar buf
[WARN_BUFSIZE
];
4541 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, (env
)->enc
,
4542 (env
)->pattern
, (env
)->pattern_end
,
4543 (UChar
* )"regular expression has '%s' without escape", c
);
4544 (*onig_warn
)((char* )buf
);
4549 find_str_position(OnigCodePoint s
[], int n
, UChar
* from
, UChar
* to
,
4550 UChar
**next
, OnigEncoding enc
)
4558 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4559 q
= p
+ enclen(enc
, p
);
4561 for (i
= 1; i
< n
&& q
< to
; i
++) {
4562 x
= ONIGENC_MBC_TO_CODE(enc
, q
, to
);
4563 if (x
!= s
[i
]) break;
4564 q
+= enclen(enc
, q
);
4567 if (IS_NOT_NULL(next
))
4578 str_exist_check_with_esc(OnigCodePoint s
[], int n
, UChar
* from
, UChar
* to
,
4579 OnigCodePoint bad
, OnigEncoding enc
, OnigSyntaxType
* syn
)
4590 p
+= enclen(enc
, p
);
4593 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4594 q
= p
+ enclen(enc
, p
);
4596 for (i
= 1; i
< n
&& q
< to
; i
++) {
4597 x
= ONIGENC_MBC_TO_CODE(enc
, q
, to
);
4598 if (x
!= s
[i
]) break;
4599 q
+= enclen(enc
, q
);
4601 if (i
>= n
) return 1;
4602 p
+= enclen(enc
, p
);
4605 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4606 if (x
== bad
) return 0;
4607 else if (x
== MC_ESC(syn
)) in_esc
= 1;
4616 fetch_token_in_cc(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
4619 OnigCodePoint c
, c2
;
4620 OnigSyntaxType
* syn
= env
->syntax
;
4621 OnigEncoding enc
= env
->enc
;
4632 tok
->type
= TK_CHAR
;
4638 tok
->type
= TK_CC_CLOSE
;
4640 else if (c
== '-') {
4641 tok
->type
= TK_CC_RANGE
;
4643 else if (c
== MC_ESC(syn
)) {
4644 if (! IS_SYNTAX_BV(syn
, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC
))
4647 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4654 tok
->type
= TK_CHAR_TYPE
;
4655 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4656 tok
->u
.prop
.not = 0;
4659 tok
->type
= TK_CHAR_TYPE
;
4660 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4661 tok
->u
.prop
.not = 1;
4664 tok
->type
= TK_CHAR_TYPE
;
4665 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
4666 tok
->u
.prop
.not = 0;
4669 tok
->type
= TK_CHAR_TYPE
;
4670 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
4671 tok
->u
.prop
.not = 1;
4674 tok
->type
= TK_CHAR_TYPE
;
4675 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
4676 tok
->u
.prop
.not = 0;
4679 tok
->type
= TK_CHAR_TYPE
;
4680 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
4681 tok
->u
.prop
.not = 1;
4684 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
4685 tok
->type
= TK_CHAR_TYPE
;
4686 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
4687 tok
->u
.prop
.not = 0;
4690 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
4691 tok
->type
= TK_CHAR_TYPE
;
4692 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
4693 tok
->u
.prop
.not = 1;
4702 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
)) {
4704 tok
->type
= TK_CHAR_PROPERTY
;
4705 tok
->u
.prop
.not = (c
== 'P' ? 1 : 0);
4707 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
)) {
4710 tok
->u
.prop
.not = (tok
->u
.prop
.not == 0 ? 1 : 0);
4722 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_O_BRACE_OCTAL
)) {
4724 num
= scan_unsigned_octal_number(&p
, end
, 11, enc
);
4725 if (num
< 0) return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
4728 if (IS_CODE_DIGIT_ASCII(enc
, c2
))
4729 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
4732 if (p
> prev
+ enclen(enc
, prev
) && !PEND
&& (PPEEK_IS('}'))) {
4734 tok
->type
= TK_CODE_POINT
;
4736 tok
->u
.code
= (OnigCodePoint
)num
;
4739 /* can't read nothing or invalid format */
4749 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_BRACE_HEX8
)) {
4751 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 8, enc
);
4753 if (num
== ONIGERR_TOO_BIG_NUMBER
)
4754 return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
4760 if (IS_CODE_XDIGIT_ASCII(enc
, c2
))
4761 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
4764 if (p
> prev
+ enclen(enc
, prev
) && !PEND
&& (PPEEK_IS('}'))) {
4766 tok
->type
= TK_CODE_POINT
;
4768 tok
->u
.code
= (OnigCodePoint
)num
;
4771 /* can't read nothing or invalid format */
4775 else if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_HEX2
)) {
4776 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 2, enc
);
4777 if (num
< 0) return num
;
4778 if (p
== prev
) { /* can't read nothing. */
4779 num
= 0; /* but, it's not error */
4781 tok
->type
= TK_RAW_BYTE
;
4791 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_U_HEX4
)) {
4792 num
= scan_unsigned_hexadecimal_number(&p
, end
, 4, 4, enc
);
4793 if (num
< 0) return num
;
4794 if (p
== prev
) { /* can't read nothing. */
4795 num
= 0; /* but, it's not error */
4797 tok
->type
= TK_CODE_POINT
;
4799 tok
->u
.code
= (OnigCodePoint
)num
;
4804 case '1': case '2': case '3': case '4': case '5': case '6': case '7':
4805 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_OCTAL3
)) {
4808 num
= scan_unsigned_octal_number(&p
, end
, 3, enc
);
4809 if (num
< 0 || num
>= 256) return ONIGERR_TOO_BIG_NUMBER
;
4810 if (p
== prev
) { /* can't read nothing. */
4811 num
= 0; /* but, it's not error */
4813 tok
->type
= TK_RAW_BYTE
;
4821 num
= fetch_escaped_value(&p
, end
, env
, &c2
);
4822 if (num
< 0) return num
;
4823 if (tok
->u
.c
!= c2
) {
4825 tok
->type
= TK_CODE_POINT
;
4830 else if (c
== '[') {
4831 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_POSIX_BRACKET
) && (PPEEK_IS(':'))) {
4832 OnigCodePoint send
[] = { (OnigCodePoint
)':', (OnigCodePoint
)']' };
4833 tok
->backp
= p
; /* point at '[' is read */
4835 if (str_exist_check_with_esc(send
, 2, p
, end
,
4836 (OnigCodePoint
)']', enc
, syn
)) {
4837 tok
->type
= TK_POSIX_BRACKET_OPEN
;
4846 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_CCLASS_SET_OP
)) {
4847 tok
->type
= TK_CC_CC_OPEN
;
4850 CC_ESC_WARN(env
, (UChar
* )"[");
4854 else if (c
== '&') {
4855 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_CCLASS_SET_OP
) &&
4856 !PEND
&& (PPEEK_IS('&'))) {
4858 tok
->type
= TK_CC_AND
;
4868 fetch_token(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
4872 OnigEncoding enc
= env
->enc
;
4873 OnigSyntaxType
* syn
= env
->syntax
;
4884 tok
->type
= TK_STRING
;
4889 if (IS_MC_ESC_CODE(c
, syn
)) {
4890 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4899 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_ASTERISK_ZERO_INF
)) break;
4900 tok
->type
= TK_OP_REPEAT
;
4901 tok
->u
.repeat
.lower
= 0;
4902 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
4907 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_PLUS_ONE_INF
)) break;
4908 tok
->type
= TK_OP_REPEAT
;
4909 tok
->u
.repeat
.lower
= 1;
4910 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
4915 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_QMARK_ZERO_ONE
)) break;
4916 tok
->type
= TK_OP_REPEAT
;
4917 tok
->u
.repeat
.lower
= 0;
4918 tok
->u
.repeat
.upper
= 1;
4920 if (!PEND
&& PPEEK_IS('?') &&
4921 IS_SYNTAX_OP(syn
, ONIG_SYN_OP_QMARK_NON_GREEDY
)) {
4923 tok
->u
.repeat
.greedy
= 0;
4924 tok
->u
.repeat
.possessive
= 0;
4928 if (!PEND
&& PPEEK_IS('+') &&
4929 ((IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT
) &&
4930 tok
->type
!= TK_INTERVAL
) ||
4931 (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_PLUS_POSSESSIVE_INTERVAL
) &&
4932 tok
->type
== TK_INTERVAL
))) {
4934 tok
->u
.repeat
.greedy
= 1;
4935 tok
->u
.repeat
.possessive
= 1;
4938 tok
->u
.repeat
.greedy
= 1;
4939 tok
->u
.repeat
.possessive
= 0;
4945 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_BRACE_INTERVAL
)) break;
4946 r
= fetch_range_quantifier(&p
, end
, tok
, env
);
4947 if (r
< 0) return r
; /* error */
4948 if (r
== 0) goto greedy_check
;
4949 else if (r
== 2) { /* {n} */
4950 if (IS_SYNTAX_BV(syn
, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
))
4951 goto possessive_check
;
4955 /* r == 1 : normal char */
4959 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_VBAR_ALT
)) break;
4964 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LPAREN_SUBEXP
)) break;
4965 tok
->type
= TK_SUBEXP_OPEN
;
4969 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LPAREN_SUBEXP
)) break;
4970 tok
->type
= TK_SUBEXP_CLOSE
;
4974 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_W_WORD
)) break;
4975 tok
->type
= TK_CHAR_TYPE
;
4976 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4977 tok
->u
.prop
.not = 0;
4981 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_W_WORD
)) break;
4982 tok
->type
= TK_CHAR_TYPE
;
4983 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4984 tok
->u
.prop
.not = 1;
4988 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_B_WORD_BOUND
)) break;
4989 tok
->type
= TK_ANCHOR
;
4990 tok
->u
.anchor
= ANCHOR_WORD_BOUNDARY
;
4994 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_B_WORD_BOUND
)) break;
4995 tok
->type
= TK_ANCHOR
;
4996 tok
->u
.anchor
= ANCHOR_NO_WORD_BOUNDARY
;
5000 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5001 tok
->type
= TK_ANCHOR
;
5002 tok
->u
.anchor
= ANCHOR_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
;
5006 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5007 tok
->type
= TK_ANCHOR
;
5008 tok
->u
.anchor
= ANCHOR_NO_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
;
5011 #ifdef USE_WORD_BEGIN_END
5013 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)) break;
5014 tok
->type
= TK_ANCHOR
;
5015 tok
->u
.anchor
= ANCHOR_WORD_BEGIN
;
5019 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)) break;
5020 tok
->type
= TK_ANCHOR
;
5021 tok
->u
.anchor
= ANCHOR_WORD_END
;
5026 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_S_WHITE_SPACE
)) break;
5027 tok
->type
= TK_CHAR_TYPE
;
5028 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
5029 tok
->u
.prop
.not = 0;
5033 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_S_WHITE_SPACE
)) break;
5034 tok
->type
= TK_CHAR_TYPE
;
5035 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
5036 tok
->u
.prop
.not = 1;
5040 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_D_DIGIT
)) break;
5041 tok
->type
= TK_CHAR_TYPE
;
5042 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
5043 tok
->u
.prop
.not = 0;
5047 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_D_DIGIT
)) break;
5048 tok
->type
= TK_CHAR_TYPE
;
5049 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
5050 tok
->u
.prop
.not = 1;
5054 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
5055 tok
->type
= TK_CHAR_TYPE
;
5056 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
5057 tok
->u
.prop
.not = 0;
5061 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
5062 tok
->type
= TK_CHAR_TYPE
;
5063 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
5064 tok
->u
.prop
.not = 1;
5068 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP
)) break;
5069 tok
->type
= TK_KEEP
;
5073 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_R_GENERAL_NEWLINE
)) break;
5074 tok
->type
= TK_GENERAL_NEWLINE
;
5078 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_N_O_SUPER_DOT
)) break;
5079 tok
->type
= TK_NO_NEWLINE
;
5083 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_N_O_SUPER_DOT
)) break;
5084 tok
->type
= TK_TRUE_ANYCHAR
;
5088 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5089 tok
->type
= TK_EXTENDED_GRAPHEME_CLUSTER
;
5093 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5095 tok
->type
= TK_ANCHOR
;
5096 tok
->u
.subtype
= ANCHOR_BEGIN_BUF
;
5100 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5101 tok
->type
= TK_ANCHOR
;
5102 tok
->u
.subtype
= ANCHOR_SEMI_END_BUF
;
5106 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5108 tok
->type
= TK_ANCHOR
;
5109 tok
->u
.subtype
= ANCHOR_END_BUF
;
5113 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_CAPITAL_G_BEGIN_ANCHOR
)) break;
5114 tok
->type
= TK_ANCHOR
;
5115 tok
->u
.subtype
= ANCHOR_BEGIN_POSITION
;
5119 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR
)) break;
5124 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR
)) break;
5132 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_O_BRACE_OCTAL
)) {
5134 num
= scan_unsigned_octal_number(&p
, end
, 11, enc
);
5135 if (num
< 0) return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
5137 if (IS_CODE_DIGIT_ASCII(enc
, PPEEK
))
5138 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
5141 if ((p
> prev
+ enclen(enc
, prev
)) && !PEND
&& PPEEK_IS('}')) {
5143 tok
->type
= TK_CODE_POINT
;
5144 tok
->u
.code
= (OnigCodePoint
)num
;
5147 /* can't read nothing or invalid format */
5157 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_BRACE_HEX8
)) {
5159 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 8, enc
);
5161 if (num
== ONIGERR_TOO_BIG_NUMBER
)
5162 return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
5167 if (IS_CODE_XDIGIT_ASCII(enc
, PPEEK
))
5168 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
5171 if ((p
> prev
+ enclen(enc
, prev
)) && !PEND
&& PPEEK_IS('}')) {
5173 tok
->type
= TK_CODE_POINT
;
5174 tok
->u
.code
= (OnigCodePoint
)num
;
5177 /* can't read nothing or invalid format */
5181 else if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_HEX2
)) {
5182 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 2, enc
);
5183 if (num
< 0) return num
;
5184 if (p
== prev
) { /* can't read nothing. */
5185 num
= 0; /* but, it's not error */
5187 tok
->type
= TK_RAW_BYTE
;
5197 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_U_HEX4
)) {
5198 num
= scan_unsigned_hexadecimal_number(&p
, end
, 4, 4, enc
);
5199 if (num
< 0) return num
;
5200 if (p
== prev
) { /* can't read nothing. */
5201 num
= 0; /* but, it's not error */
5203 tok
->type
= TK_CODE_POINT
;
5205 tok
->u
.code
= (OnigCodePoint
)num
;
5209 case '1': case '2': case '3': case '4':
5210 case '5': case '6': case '7': case '8': case '9':
5213 num
= onig_scan_unsigned_number(&p
, end
, enc
);
5214 if (num
< 0 || num
> ONIG_MAX_BACKREF_NUM
) {
5218 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_DECIMAL_BACKREF
) &&
5219 (num
<= env
->num_mem
|| num
<= 9)) { /* This spec. from GNU regex */
5220 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5221 if (num
> env
->num_mem
|| IS_NULL(SCANENV_MEMENV(env
)[num
].node
))
5222 return ONIGERR_INVALID_BACKREF
;
5225 tok
->type
= TK_BACKREF
;
5226 tok
->u
.backref
.num
= 1;
5227 tok
->u
.backref
.ref1
= num
;
5228 tok
->u
.backref
.by_name
= 0;
5229 #ifdef USE_BACKREF_WITH_LEVEL
5230 tok
->u
.backref
.exist_level
= 0;
5236 if (c
== '8' || c
== '9') {
5245 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_OCTAL3
)) {
5247 num
= scan_unsigned_octal_number(&p
, end
, (c
== '0' ? 2:3), enc
);
5248 if (num
< 0 || num
>= 256) return ONIGERR_TOO_BIG_NUMBER
;
5249 if (p
== prev
) { /* can't read nothing. */
5250 num
= 0; /* but, it's not error */
5252 tok
->type
= TK_RAW_BYTE
;
5256 else if (c
!= '0') {
5262 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_K_NAMED_BACKREF
)) {
5264 if (c
== '<' || c
== '\'') {
5268 enum REF_NUM num_type
;
5272 #ifdef USE_BACKREF_WITH_LEVEL
5273 name_end
= NULL_UCHARP
; /* no need. escape gcc warning. */
5274 r
= fetch_name_with_level((OnigCodePoint
)c
, &p
, end
, &name_end
,
5275 env
, &back_num
, &tok
->u
.backref
.level
, &num_type
);
5276 if (r
== 1) tok
->u
.backref
.exist_level
= 1;
5277 else tok
->u
.backref
.exist_level
= 0;
5279 r
= fetch_name(c
, &p
, end
, &name_end
, env
, &back_num
, &num_type
, 1);
5281 if (r
< 0) return r
;
5283 if (num_type
!= IS_NOT_NUM
) {
5284 if (num_type
== IS_REL_NUM
) {
5285 back_num
= backref_rel_to_abs(back_num
, env
);
5288 return ONIGERR_INVALID_BACKREF
;
5290 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5291 if (back_num
> env
->num_mem
||
5292 IS_NULL(SCANENV_MEMENV(env
)[back_num
].node
))
5293 return ONIGERR_INVALID_BACKREF
;
5295 tok
->type
= TK_BACKREF
;
5296 tok
->u
.backref
.by_name
= 0;
5297 tok
->u
.backref
.num
= 1;
5298 tok
->u
.backref
.ref1
= back_num
;
5301 num
= onig_name_to_group_numbers(env
->reg
, prev
, name_end
, &backs
);
5303 onig_scan_env_set_error_string(env
,
5304 ONIGERR_UNDEFINED_NAME_REFERENCE
, prev
, name_end
);
5305 return ONIGERR_UNDEFINED_NAME_REFERENCE
;
5307 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5309 for (i
= 0; i
< num
; i
++) {
5310 if (backs
[i
] > env
->num_mem
||
5311 IS_NULL(SCANENV_MEMENV(env
)[backs
[i
]].node
))
5312 return ONIGERR_INVALID_BACKREF
;
5316 tok
->type
= TK_BACKREF
;
5317 tok
->u
.backref
.by_name
= 1;
5319 tok
->u
.backref
.num
= 1;
5320 tok
->u
.backref
.ref1
= backs
[0];
5323 tok
->u
.backref
.num
= num
;
5324 tok
->u
.backref
.refs
= backs
;
5335 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_G_SUBEXP_CALL
)) {
5337 if (c
== '<' || c
== '\'') {
5340 enum REF_NUM num_type
;
5343 r
= fetch_name((OnigCodePoint
)c
, &p
, end
, &name_end
, env
,
5344 &gnum
, &num_type
, 1);
5345 if (r
< 0) return r
;
5347 if (num_type
!= IS_NOT_NUM
) {
5348 if (num_type
== IS_REL_NUM
) {
5349 gnum
= backref_rel_to_abs(gnum
, env
);
5351 onig_scan_env_set_error_string(env
, ONIGERR_UNDEFINED_NAME_REFERENCE
,
5353 return ONIGERR_UNDEFINED_GROUP_REFERENCE
;
5356 tok
->u
.call
.by_number
= 1;
5357 tok
->u
.call
.gnum
= gnum
;
5360 tok
->u
.call
.by_number
= 0;
5361 tok
->u
.call
.gnum
= 0;
5364 tok
->type
= TK_CALL
;
5365 tok
->u
.call
.name
= prev
;
5366 tok
->u
.call
.name_end
= name_end
;
5375 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_Q_QUOTE
)) {
5376 tok
->type
= TK_QUOTE_OPEN
;
5382 if (!PEND
&& PPEEK_IS('{') &&
5383 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
)) {
5385 tok
->type
= TK_CHAR_PROPERTY
;
5386 tok
->u
.prop
.not = (c
== 'P' ? 1 : 0);
5389 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
)) {
5392 tok
->u
.prop
.not = (tok
->u
.prop
.not == 0 ? 1 : 0);
5405 num
= fetch_escaped_value(&p
, end
, env
, &c2
);
5406 if (num
< 0) return num
;
5408 if (tok
->u
.c
!= c2
) {
5409 tok
->type
= TK_CODE_POINT
;
5413 p
= tok
->backp
+ enclen(enc
, tok
->backp
);
5423 #ifdef USE_VARIABLE_META_CHARS
5424 if ((c
!= ONIG_INEFFECTIVE_META_CHAR
) &&
5425 IS_SYNTAX_OP(syn
, ONIG_SYN_OP_VARIABLE_META_CHARACTERS
)) {
5426 if (c
== MC_ANYCHAR(syn
))
5428 else if (c
== MC_ANYTIME(syn
))
5430 else if (c
== MC_ZERO_OR_ONE_TIME(syn
))
5431 goto zero_or_one_time
;
5432 else if (c
== MC_ONE_OR_MORE_TIME(syn
))
5433 goto one_or_more_time
;
5434 else if (c
== MC_ANYCHAR_ANYTIME(syn
)) {
5435 tok
->type
= TK_ANYCHAR_ANYTIME
;
5443 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_DOT_ANYCHAR
)) break;
5444 #ifdef USE_VARIABLE_META_CHARS
5447 tok
->type
= TK_ANYCHAR
;
5451 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ASTERISK_ZERO_INF
)) break;
5452 #ifdef USE_VARIABLE_META_CHARS
5455 tok
->type
= TK_OP_REPEAT
;
5456 tok
->u
.repeat
.lower
= 0;
5457 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
5462 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_PLUS_ONE_INF
)) break;
5463 #ifdef USE_VARIABLE_META_CHARS
5466 tok
->type
= TK_OP_REPEAT
;
5467 tok
->u
.repeat
.lower
= 1;
5468 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
5473 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_QMARK_ZERO_ONE
)) break;
5474 #ifdef USE_VARIABLE_META_CHARS
5477 tok
->type
= TK_OP_REPEAT
;
5478 tok
->u
.repeat
.lower
= 0;
5479 tok
->u
.repeat
.upper
= 1;
5484 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_BRACE_INTERVAL
)) break;
5485 r
= fetch_range_quantifier(&p
, end
, tok
, env
);
5486 if (r
< 0) return r
; /* error */
5487 if (r
== 0) goto greedy_check
;
5488 else if (r
== 2) { /* {n} */
5489 if (IS_SYNTAX_BV(syn
, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
))
5490 goto possessive_check
;
5494 /* r == 1 : normal char */
5498 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_VBAR_ALT
)) break;
5503 if (!PEND
&& PPEEK_IS('?') &&
5504 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_QMARK_GROUP_EFFECT
)) {
5511 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
5513 if (c
== MC_ESC(syn
)) {
5514 if (! PEND
) PFETCH(c
);
5517 if (c
== ')') break;
5522 else if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_QMARK_PERL_SUBEXP_CALL
)) {
5526 enum REF_NUM num_type
;
5533 r
= fetch_name((OnigCodePoint
)'(', &p
, end
, &name_end
, env
, &gnum
,
5535 if (r
< 0) return r
;
5537 tok
->type
= TK_CALL
;
5538 tok
->u
.call
.by_number
= 0;
5539 tok
->u
.call
.gnum
= 0;
5540 tok
->u
.call
.name
= name
;
5541 tok
->u
.call
.name_end
= name_end
;
5546 tok
->type
= TK_CALL
;
5547 tok
->u
.call
.by_number
= 1;
5548 tok
->u
.call
.gnum
= 0;
5549 tok
->u
.call
.name
= p
;
5551 if (! PPEEK_IS(')')) return ONIGERR_INVALID_GROUP_NAME
;
5552 tok
->u
.call
.name_end
= p
;
5557 goto lparen_qmark_num
;
5560 if (! ONIGENC_IS_CODE_DIGIT(enc
, c
)) goto lparen_qmark_end
;
5565 r
= fetch_name((OnigCodePoint
)'(', &p
, end
, &name_end
, env
,
5566 &gnum
, &num_type
, 1);
5567 if (r
< 0) return r
;
5569 if (num_type
== IS_NOT_NUM
) {
5570 return ONIGERR_INVALID_GROUP_NAME
;
5573 if (num_type
== IS_REL_NUM
) {
5574 gnum
= backref_rel_to_abs(gnum
, env
);
5576 onig_scan_env_set_error_string(env
,
5577 ONIGERR_UNDEFINED_NAME_REFERENCE
, name
, name_end
);
5578 return ONIGERR_UNDEFINED_GROUP_REFERENCE
;
5581 tok
->u
.call
.by_number
= 1;
5582 tok
->u
.call
.gnum
= gnum
;
5585 tok
->type
= TK_CALL
;
5586 tok
->u
.call
.name
= name
;
5587 tok
->u
.call
.name_end
= name_end
;
5597 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LPAREN_SUBEXP
)) break;
5598 tok
->type
= TK_SUBEXP_OPEN
;
5602 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LPAREN_SUBEXP
)) break;
5603 tok
->type
= TK_SUBEXP_CLOSE
;
5607 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LINE_ANCHOR
)) break;
5608 tok
->type
= TK_ANCHOR
;
5609 tok
->u
.subtype
= (IS_SINGLELINE(env
->options
)
5610 ? ANCHOR_BEGIN_BUF
: ANCHOR_BEGIN_LINE
);
5614 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LINE_ANCHOR
)) break;
5615 tok
->type
= TK_ANCHOR
;
5616 tok
->u
.subtype
= (IS_SINGLELINE(env
->options
)
5617 ? ANCHOR_SEMI_END_BUF
: ANCHOR_END_LINE
);
5621 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_BRACKET_CC
)) break;
5622 tok
->type
= TK_CC_OPEN
;
5626 if (*src
> env
->pattern
) /* /].../ is allowed. */
5627 CLOSE_BRACKET_WITHOUT_ESC_WARN(env
, (UChar
* )"]");
5631 if (IS_EXTEND(env
->options
)) {
5634 if (ONIGENC_IS_CODE_NEWLINE(enc
, c
))
5642 case ' ': case '\t': case '\n': case '\r': case '\f':
5643 if (IS_EXTEND(env
->options
))
5653 #ifdef USE_VARIABLE_META_CHARS
5661 add_ctype_to_cc_by_range(CClassNode
* cc
, int ctype ARG_UNUSED
, int not,
5662 OnigEncoding enc ARG_UNUSED
, OnigCodePoint sb_out
,
5663 const OnigCodePoint mbr
[])
5668 int n
= ONIGENC_CODE_RANGE_NUM(mbr
);
5671 for (i
= 0; i
< n
; i
++) {
5672 for (j
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5673 j
<= ONIGENC_CODE_RANGE_TO(mbr
, i
); j
++) {
5675 if (j
> ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5676 r
= add_code_range_to_buf(&(cc
->mbuf
), j
,
5677 ONIGENC_CODE_RANGE_TO(mbr
, i
));
5678 if (r
!= 0) return r
;
5684 BITSET_SET_BIT(cc
->bs
, j
);
5689 for ( ; i
< n
; i
++) {
5690 r
= add_code_range_to_buf(&(cc
->mbuf
),
5691 ONIGENC_CODE_RANGE_FROM(mbr
, i
),
5692 ONIGENC_CODE_RANGE_TO(mbr
, i
));
5693 if (r
!= 0) return r
;
5697 OnigCodePoint prev
= 0;
5699 for (i
= 0; i
< n
; i
++) {
5700 for (j
= prev
; j
< ONIGENC_CODE_RANGE_FROM(mbr
, i
); j
++) {
5704 BITSET_SET_BIT(cc
->bs
, j
);
5706 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
) + 1;
5708 for (j
= prev
; j
< sb_out
; j
++) {
5709 BITSET_SET_BIT(cc
->bs
, j
);
5715 for (i
= 0; i
< n
; i
++) {
5716 if (prev
< ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5717 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
,
5718 ONIGENC_CODE_RANGE_FROM(mbr
, i
) - 1);
5719 if (r
!= 0) return r
;
5721 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
) + 1;
5722 if (prev
== 0) goto end
;
5725 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, MAX_CODE_POINT
);
5726 if (r
!= 0) return r
;
5734 add_ctype_to_cc_by_range_limit(CClassNode
* cc
, int ctype ARG_UNUSED
, int not,
5735 OnigEncoding enc ARG_UNUSED
,
5736 OnigCodePoint sb_out
,
5737 const OnigCodePoint mbr
[], OnigCodePoint limit
)
5744 int n
= ONIGENC_CODE_RANGE_NUM(mbr
);
5747 for (i
= 0; i
< n
; i
++) {
5748 for (j
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5749 j
<= ONIGENC_CODE_RANGE_TO(mbr
, i
); j
++) {
5750 if (j
> limit
) goto end
;
5752 if (j
> ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5753 to
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5754 if (to
> limit
) to
= limit
;
5755 r
= add_code_range_to_buf(&(cc
->mbuf
), j
, to
);
5756 if (r
!= 0) return r
;
5762 BITSET_SET_BIT(cc
->bs
, j
);
5767 for ( ; i
< n
; i
++) {
5768 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5769 to
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5770 if (from
> limit
) break;
5771 if (to
> limit
) to
= limit
;
5772 r
= add_code_range_to_buf(&(cc
->mbuf
), from
, to
);
5773 if (r
!= 0) return r
;
5777 OnigCodePoint prev
= 0;
5779 for (i
= 0; i
< n
; i
++) {
5780 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5782 for (j
= prev
; j
< sb_out
; j
++) {
5783 BITSET_SET_BIT(cc
->bs
, j
);
5787 for (j
= prev
; j
< from
; j
++) {
5788 if (j
>= sb_out
) goto sb_end2
;
5789 BITSET_SET_BIT(cc
->bs
, j
);
5791 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5792 if (prev
> limit
) prev
= limit
;
5794 if (prev
== 0) goto end
;
5796 for (j
= prev
; j
< sb_out
; j
++) {
5797 BITSET_SET_BIT(cc
->bs
, j
);
5803 for (i
= 0; i
< n
; i
++) {
5804 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5805 if (from
> limit
) goto last
;
5808 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, from
- 1);
5809 if (r
!= 0) return r
;
5811 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5812 if (prev
> limit
) prev
= limit
;
5814 if (prev
== 0) goto end
;
5818 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, MAX_CODE_POINT
);
5819 if (r
!= 0) return r
;
5827 add_ctype_to_cc(CClassNode
* cc
, int ctype
, int not, ScanEnv
* env
)
5829 #define ASCII_LIMIT 127
5833 const OnigCodePoint
*ranges
;
5834 OnigCodePoint limit
;
5835 OnigCodePoint sb_out
;
5836 OnigEncoding enc
= env
->enc
;
5838 ascii_mode
= IS_ASCII_MODE_CTYPE_OPTION(ctype
, env
->options
);
5840 r
= ONIGENC_GET_CTYPE_CODE_RANGE(enc
, ctype
, &sb_out
, &ranges
);
5842 if (ascii_mode
== 0)
5843 r
= add_ctype_to_cc_by_range(cc
, ctype
, not, env
->enc
, sb_out
, ranges
);
5845 r
= add_ctype_to_cc_by_range_limit(cc
, ctype
, not, env
->enc
, sb_out
,
5846 ranges
, ASCII_LIMIT
);
5849 else if (r
!= ONIG_NO_SUPPORT_CONFIG
) {
5854 limit
= ascii_mode
? ASCII_LIMIT
: SINGLE_BYTE_SIZE
;
5857 case ONIGENC_CTYPE_ALPHA
:
5858 case ONIGENC_CTYPE_BLANK
:
5859 case ONIGENC_CTYPE_CNTRL
:
5860 case ONIGENC_CTYPE_DIGIT
:
5861 case ONIGENC_CTYPE_LOWER
:
5862 case ONIGENC_CTYPE_PUNCT
:
5863 case ONIGENC_CTYPE_SPACE
:
5864 case ONIGENC_CTYPE_UPPER
:
5865 case ONIGENC_CTYPE_XDIGIT
:
5866 case ONIGENC_CTYPE_ASCII
:
5867 case ONIGENC_CTYPE_ALNUM
:
5869 for (c
= 0; c
< (int )limit
; c
++) {
5870 if (! ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5871 BITSET_SET_BIT(cc
->bs
, c
);
5873 for (c
= limit
; c
< SINGLE_BYTE_SIZE
; c
++) {
5874 BITSET_SET_BIT(cc
->bs
, c
);
5877 ADD_ALL_MULTI_BYTE_RANGE(enc
, cc
->mbuf
);
5880 for (c
= 0; c
< (int )limit
; c
++) {
5881 if (ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5882 BITSET_SET_BIT(cc
->bs
, c
);
5887 case ONIGENC_CTYPE_GRAPH
:
5888 case ONIGENC_CTYPE_PRINT
:
5889 case ONIGENC_CTYPE_WORD
:
5891 for (c
= 0; c
< (int )limit
; c
++) {
5892 if (ONIGENC_CODE_TO_MBCLEN(enc
, c
) > 0 /* check invalid code point */
5893 && ! ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5894 BITSET_SET_BIT(cc
->bs
, c
);
5896 for (c
= limit
; c
< SINGLE_BYTE_SIZE
; c
++) {
5897 if (ONIGENC_CODE_TO_MBCLEN(enc
, c
) > 0)
5898 BITSET_SET_BIT(cc
->bs
, c
);
5902 for (c
= 0; c
< (int )limit
; c
++) {
5903 if (ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5904 BITSET_SET_BIT(cc
->bs
, c
);
5906 if (ascii_mode
== 0)
5907 ADD_ALL_MULTI_BYTE_RANGE(enc
, cc
->mbuf
);
5912 return ONIGERR_PARSER_BUG
;
5920 parse_posix_bracket(CClassNode
* cc
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
5922 #define POSIX_BRACKET_CHECK_LIMIT_LENGTH 20
5923 #define POSIX_BRACKET_NAME_MIN_LEN 4
5925 static PosixBracketEntryType PBS
[] = {
5926 { (UChar
* )"alnum", ONIGENC_CTYPE_ALNUM
, 5 },
5927 { (UChar
* )"alpha", ONIGENC_CTYPE_ALPHA
, 5 },
5928 { (UChar
* )"blank", ONIGENC_CTYPE_BLANK
, 5 },
5929 { (UChar
* )"cntrl", ONIGENC_CTYPE_CNTRL
, 5 },
5930 { (UChar
* )"digit", ONIGENC_CTYPE_DIGIT
, 5 },
5931 { (UChar
* )"graph", ONIGENC_CTYPE_GRAPH
, 5 },
5932 { (UChar
* )"lower", ONIGENC_CTYPE_LOWER
, 5 },
5933 { (UChar
* )"print", ONIGENC_CTYPE_PRINT
, 5 },
5934 { (UChar
* )"punct", ONIGENC_CTYPE_PUNCT
, 5 },
5935 { (UChar
* )"space", ONIGENC_CTYPE_SPACE
, 5 },
5936 { (UChar
* )"upper", ONIGENC_CTYPE_UPPER
, 5 },
5937 { (UChar
* )"xdigit", ONIGENC_CTYPE_XDIGIT
, 6 },
5938 { (UChar
* )"ascii", ONIGENC_CTYPE_ASCII
, 5 },
5939 { (UChar
* )"word", ONIGENC_CTYPE_WORD
, 4 },
5940 { (UChar
* )NULL
, -1, 0 }
5943 PosixBracketEntryType
*pb
;
5946 OnigEncoding enc
= env
->enc
;
5949 if (PPEEK_IS('^')) {
5956 if (onigenc_strlen(enc
, p
, end
) < POSIX_BRACKET_NAME_MIN_LEN
+ 3)
5957 goto not_posix_bracket
;
5959 for (pb
= PBS
; IS_NOT_NULL(pb
->name
); pb
++) {
5960 if (onigenc_with_ascii_strncmp(enc
, p
, end
, pb
->name
, pb
->len
) == 0) {
5961 p
= (UChar
* )onigenc_step(enc
, p
, end
, pb
->len
);
5962 if (onigenc_with_ascii_strncmp(enc
, p
, end
, (UChar
* )":]", 2) != 0)
5963 return ONIGERR_INVALID_POSIX_BRACKET_TYPE
;
5965 r
= add_ctype_to_cc(cc
, pb
->ctype
, not, env
);
5966 if (r
!= 0) return r
;
5977 while (!PEND
&& ((c
= PPEEK
) != ':') && c
!= ']') {
5979 if (++i
> POSIX_BRACKET_CHECK_LIMIT_LENGTH
) break;
5981 if (c
== ':' && ! PEND
) {
5986 return ONIGERR_INVALID_POSIX_BRACKET_TYPE
;
5990 return 1; /* 1: is not POSIX bracket, but no error. */
5994 fetch_char_property_to_ctype(UChar
** src
, UChar
* end
, ScanEnv
* env
)
5998 OnigEncoding enc
= env
->enc
;
5999 UChar
*prev
, *start
, *p
= *src
;
6008 r
= ONIGENC_PROPERTY_NAME_TO_CTYPE(enc
, start
, prev
);
6014 else if (c
== '(' || c
== ')' || c
== '{' || c
== '|') {
6015 r
= ONIGERR_INVALID_CHAR_PROPERTY_NAME
;
6020 onig_scan_env_set_error_string(env
, r
, *src
, prev
);
6025 parse_char_property(Node
** np
, OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6030 ctype
= fetch_char_property_to_ctype(src
, end
, env
);
6031 if (ctype
< 0) return ctype
;
6033 *np
= node_new_cclass();
6034 CHECK_NULL_RETURN_MEMERR(*np
);
6036 r
= add_ctype_to_cc(cc
, ctype
, 0, env
);
6037 if (r
!= 0) return r
;
6038 if (tok
->u
.prop
.not != 0) NCCLASS_SET_NOT(cc
);
6058 next_state_class(CClassNode
* cc
, OnigCodePoint
* vs
, enum CCVALTYPE
* type
,
6059 enum CCSTATE
* state
, ScanEnv
* env
)
6063 if (*state
== CCS_RANGE
)
6064 return ONIGERR_CHAR_CLASS_VALUE_AT_END_OF_RANGE
;
6066 if (*state
== CCS_VALUE
&& *type
!= CCV_CLASS
) {
6067 if (*type
== CCV_SB
)
6068 BITSET_SET_BIT(cc
->bs
, (int )(*vs
));
6069 else if (*type
== CCV_CODE_POINT
) {
6070 r
= add_code_range(&(cc
->mbuf
), env
, *vs
, *vs
);
6071 if (r
< 0) return r
;
6081 next_state_val(CClassNode
* cc
, OnigCodePoint
*from
, OnigCodePoint to
,
6082 int* from_israw
, int to_israw
,
6083 enum CCVALTYPE intype
, enum CCVALTYPE
* type
,
6084 enum CCSTATE
* state
, ScanEnv
* env
)
6090 if (*type
== CCV_SB
) {
6092 return ONIGERR_INVALID_CODE_POINT_VALUE
;
6094 BITSET_SET_BIT(cc
->bs
, (int )(*from
));
6096 else if (*type
== CCV_CODE_POINT
) {
6097 r
= add_code_range(&(cc
->mbuf
), env
, *from
, *from
);
6098 if (r
< 0) return r
;
6103 if (intype
== *type
) {
6104 if (intype
== CCV_SB
) {
6105 if (*from
> 0xff || to
> 0xff)
6106 return ONIGERR_INVALID_CODE_POINT_VALUE
;
6109 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
6112 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
6114 bitset_set_range(cc
->bs
, (int )*from
, (int )to
);
6117 r
= add_code_range(&(cc
->mbuf
), env
, *from
, to
);
6118 if (r
< 0) return r
;
6123 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
6126 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
6128 bitset_set_range(cc
->bs
, (int )*from
, (int )(to
< 0xff ? to
: 0xff));
6129 r
= add_code_range(&(cc
->mbuf
), env
, (OnigCodePoint
)*from
, to
);
6130 if (r
< 0) return r
;
6133 *state
= CCS_COMPLETE
;
6145 *from_israw
= to_israw
;
6152 code_exist_check(OnigCodePoint c
, UChar
* from
, UChar
* end
, int ignore_escaped
,
6157 OnigEncoding enc
= env
->enc
;
6162 if (ignore_escaped
&& in_esc
) {
6167 if (code
== c
) return 1;
6168 if (code
== MC_ESC(env
->syntax
)) in_esc
= 1;
6175 parse_char_class(Node
** np
, OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6177 int r
, neg
, len
, fetched
, and_start
;
6178 OnigCodePoint v
, vs
;
6181 CClassNode
*cc
, *prev_cc
;
6185 enum CCVALTYPE val_type
, in_type
;
6186 int val_israw
, in_israw
;
6190 if (env
->parse_depth
> ParseDepthLimit
)
6191 return ONIGERR_PARSE_DEPTH_LIMIT_OVER
;
6192 prev_cc
= (CClassNode
* )NULL
;
6193 r
= fetch_token_in_cc(tok
, src
, end
, env
);
6194 if (r
== TK_CHAR
&& tok
->u
.c
== '^' && tok
->escaped
== 0) {
6196 r
= fetch_token_in_cc(tok
, src
, end
, env
);
6202 if (r
< 0) return r
;
6203 if (r
== TK_CC_CLOSE
) {
6204 if (! code_exist_check((OnigCodePoint
)']',
6205 *src
, env
->pattern_end
, 1, env
))
6206 return ONIGERR_EMPTY_CHAR_CLASS
;
6208 CC_ESC_WARN(env
, (UChar
* )"]");
6209 r
= tok
->type
= TK_CHAR
; /* allow []...] */
6212 *np
= node
= node_new_cclass();
6213 CHECK_NULL_RETURN_MEMERR(node
);
6219 while (r
!= TK_CC_CLOSE
) {
6224 len
= ONIGENC_CODE_TO_MBCLEN(env
->enc
, tok
->u
.c
);
6226 in_type
= CCV_CODE_POINT
;
6236 v
= (OnigCodePoint
)tok
->u
.c
;
6242 /* tok->base != 0 : octal or hexadec. */
6243 if (! ONIGENC_IS_SINGLEBYTE(env
->enc
) && tok
->base
!= 0) {
6244 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
6245 UChar
* bufe
= buf
+ ONIGENC_CODE_TO_MBC_MAXLEN
;
6247 int i
, base
= tok
->base
;
6250 for (i
= 1; i
< ONIGENC_MBC_MAXLEN(env
->enc
); i
++) {
6251 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6252 if (r
< 0) goto err
;
6253 if (r
!= TK_RAW_BYTE
|| tok
->base
!= base
) {
6260 if (i
< ONIGENC_MBC_MINLEN(env
->enc
)) {
6261 r
= ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
6265 len
= enclen(env
->enc
, buf
);
6267 r
= ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
6270 else if (i
> len
) { /* fetch back */
6272 for (i
= 1; i
< len
; i
++) {
6273 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6279 v
= (OnigCodePoint
)buf
[0];
6283 v
= ONIGENC_MBC_TO_CODE(env
->enc
, buf
, bufe
);
6284 in_type
= CCV_CODE_POINT
;
6288 v
= (OnigCodePoint
)tok
->u
.c
;
6300 len
= ONIGENC_CODE_TO_MBCLEN(env
->enc
, v
);
6305 in_type
= (len
== 1 ? CCV_SB
: CCV_CODE_POINT
);
6307 r
= next_state_val(cc
, &vs
, v
, &val_israw
, in_israw
, in_type
, &val_type
,
6309 if (r
!= 0) goto err
;
6312 case TK_POSIX_BRACKET_OPEN
:
6313 r
= parse_posix_bracket(cc
, &p
, end
, env
);
6314 if (r
< 0) goto err
;
6315 if (r
== 1) { /* is not POSIX bracket */
6316 CC_ESC_WARN(env
, (UChar
* )"[");
6318 v
= (OnigCodePoint
)tok
->u
.c
;
6326 r
= add_ctype_to_cc(cc
, tok
->u
.prop
.ctype
, tok
->u
.prop
.not, env
);
6327 if (r
!= 0) goto err
;
6330 r
= next_state_class(cc
, &vs
, &val_type
, &state
, env
);
6331 if (r
!= 0) goto err
;
6334 case TK_CHAR_PROPERTY
:
6336 int ctype
= fetch_char_property_to_ctype(&p
, end
, env
);
6341 r
= add_ctype_to_cc(cc
, ctype
, tok
->u
.prop
.not, env
);
6342 if (r
!= 0) goto err
;
6348 if (state
== CCS_VALUE
) {
6349 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6350 if (r
< 0) goto err
;
6352 if (r
== TK_CC_CLOSE
) { /* allow [x-] */
6354 v
= (OnigCodePoint
)'-';
6358 else if (r
== TK_CC_AND
) {
6359 CC_ESC_WARN(env
, (UChar
* )"-");
6363 if (val_type
== CCV_CLASS
) {
6364 r
= ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS
;
6370 else if (state
== CCS_START
) {
6371 /* [-xa] is allowed */
6372 v
= (OnigCodePoint
)tok
->u
.c
;
6375 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6376 if (r
< 0) goto err
;
6378 /* [--x] or [a&&-x] is warned. */
6379 if (r
== TK_CC_RANGE
|| and_start
!= 0)
6380 CC_ESC_WARN(env
, (UChar
* )"-");
6384 else if (state
== CCS_RANGE
) {
6385 CC_ESC_WARN(env
, (UChar
* )"-");
6386 goto any_char_in
; /* [!--x] is allowed */
6388 else { /* CCS_COMPLETE */
6389 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6390 if (r
< 0) goto err
;
6392 if (r
== TK_CC_CLOSE
) goto range_end_val
; /* allow [a-b-] */
6393 else if (r
== TK_CC_AND
) {
6394 CC_ESC_WARN(env
, (UChar
* )"-");
6398 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_DOUBLE_RANGE_OP_IN_CC
)) {
6399 CC_ESC_WARN(env
, (UChar
* )"-");
6400 goto range_end_val
; /* [0-9-a] is allowed as [0-9\-a] */
6402 r
= ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS
;
6407 case TK_CC_CC_OPEN
: /* [ */
6412 r
= parse_char_class(&anode
, tok
, &p
, end
, env
);
6414 onig_node_free(anode
);
6417 acc
= CCLASS_(anode
);
6418 r
= or_cclass(cc
, acc
, env
->enc
);
6419 onig_node_free(anode
);
6422 if (r
!= 0) goto err
;
6426 case TK_CC_AND
: /* && */
6428 if (state
== CCS_VALUE
) {
6429 r
= next_state_val(cc
, &vs
, 0, &val_israw
, 0, val_type
,
6430 &val_type
, &state
, env
);
6431 if (r
!= 0) goto err
;
6433 /* initialize local variables */
6437 if (IS_NOT_NULL(prev_cc
)) {
6438 r
= and_cclass(prev_cc
, cc
, env
->enc
);
6439 if (r
!= 0) goto err
;
6440 bbuf_free(cc
->mbuf
);
6446 initialize_cclass(cc
);
6451 r
= ONIGERR_PREMATURE_END_OF_CHAR_CLASS
;
6455 r
= ONIGERR_PARSER_BUG
;
6463 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6464 if (r
< 0) goto err
;
6468 if (state
== CCS_VALUE
) {
6469 r
= next_state_val(cc
, &vs
, 0, &val_israw
, 0, val_type
,
6470 &val_type
, &state
, env
);
6471 if (r
!= 0) goto err
;
6474 if (IS_NOT_NULL(prev_cc
)) {
6475 r
= and_cclass(prev_cc
, cc
, env
->enc
);
6476 if (r
!= 0) goto err
;
6477 bbuf_free(cc
->mbuf
);
6482 NCCLASS_SET_NOT(cc
);
6484 NCCLASS_CLEAR_NOT(cc
);
6485 if (IS_NCCLASS_NOT(cc
) &&
6486 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_NOT_NEWLINE_IN_NEGATIVE_CC
)) {
6487 int is_empty
= (IS_NULL(cc
->mbuf
) ? 1 : 0);
6489 BITSET_IS_EMPTY(cc
->bs
, is_empty
);
6491 if (is_empty
== 0) {
6492 #define NEWLINE_CODE 0x0a
6494 if (ONIGENC_IS_CODE_NEWLINE(env
->enc
, NEWLINE_CODE
)) {
6495 if (ONIGENC_CODE_TO_MBCLEN(env
->enc
, NEWLINE_CODE
) == 1)
6496 BITSET_SET_BIT(cc
->bs
, NEWLINE_CODE
);
6498 add_code_range(&(cc
->mbuf
), env
, NEWLINE_CODE
, NEWLINE_CODE
);
6507 if (cc
!= CCLASS_(*np
))
6508 bbuf_free(cc
->mbuf
);
6512 static int parse_subexp(Node
** top
, OnigToken
* tok
, int term
,
6513 UChar
** src
, UChar
* end
, ScanEnv
* env
);
6517 /* (?{...}[tag][+-]) (?{{...}}[tag][+-]) */
6519 parse_callout_of_contents(Node
** np
, int cterm
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6532 CalloutListEntry
* e
;
6534 OnigEncoding enc
= env
->enc
;
6537 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6540 while (PPEEK_IS('{')) {
6543 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6546 in
= ONIG_CALLOUT_IN_PROGRESS
;
6549 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6556 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6565 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6569 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6572 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6575 if (c
== ']') break;
6577 if (! is_allowed_callout_tag_name(enc
, tag_start
, tag_end
))
6578 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6580 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6584 tag_start
= tag_end
= 0;
6588 in
|= ONIG_CALLOUT_IN_RETRACTION
;
6589 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6592 else if (c
== '<') {
6593 in
= ONIG_CALLOUT_IN_RETRACTION
;
6594 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6597 else if (c
== '>') { /* no needs (default) */
6598 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6603 return ONIGERR_INVALID_CALLOUT_PATTERN
;
6605 r
= reg_callout_list_entry(env
, &num
);
6606 if (r
!= 0) return r
;
6608 ext
= onig_get_regex_ext(env
->reg
);
6609 if (IS_NULL(ext
->pattern
)) {
6610 r
= onig_ext_set_pattern(env
->reg
, env
->pattern
, env
->pattern_end
);
6611 if (r
!= ONIG_NORMAL
) return r
;
6614 if (tag_start
!= tag_end
) {
6615 r
= callout_tag_entry(env
->reg
, tag_start
, tag_end
, num
);
6616 if (r
!= ONIG_NORMAL
) return r
;
6619 contents
= onigenc_strdup(enc
, code_start
, code_end
);
6620 CHECK_NULL_RETURN_MEMERR(contents
);
6622 r
= node_new_callout(np
, ONIG_CALLOUT_OF_CONTENTS
, num
, ONIG_NON_NAME_ID
, env
);
6628 e
= onig_reg_callout_list_at(env
->reg
, num
);
6629 e
->of
= ONIG_CALLOUT_OF_CONTENTS
;
6631 e
->name_id
= ONIG_NON_NAME_ID
;
6632 e
->u
.content
.start
= contents
;
6633 e
->u
.content
.end
= contents
+ (code_end
- code_start
);
6640 parse_long(OnigEncoding enc
, UChar
* s
, UChar
* end
, int sign_on
, long max
, long* rl
)
6648 if (s
>= end
) return ONIGERR_INVALID_CALLOUT_ARG
;
6654 c
= ONIGENC_MBC_TO_CODE(enc
, p
, end
);
6655 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
6656 if (c
>= '0' && c
<= '9') {
6657 d
= (long )(c
- '0');
6658 if (v
> (max
- d
) / 10)
6659 return ONIGERR_INVALID_CALLOUT_ARG
;
6663 else if (sign_on
!= 0 && (c
== '-' || c
== '+')) {
6664 if (c
== '-') flag
= -1;
6667 return ONIGERR_INVALID_CALLOUT_ARG
;
6677 parse_callout_args(int skip_mode
, int cterm
, UChar
** src
, UChar
* end
,
6678 unsigned int types
[], OnigValue vals
[], ScanEnv
* env
)
6680 #define MAX_CALLOUT_ARG_BYTE_LENGTH 128
6691 UChar buf
[MAX_CALLOUT_ARG_BYTE_LENGTH
];
6692 OnigEncoding enc
= env
->enc
;
6695 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6698 while (n
< ONIG_CALLOUT_MAX_ARGS_NUM
) {
6706 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6712 if (c
== '\\' || c
== cterm
|| c
== ',') {
6726 else if (c
== cterm
|| c
== ',')
6732 if (skip_mode
== 0) {
6734 if (bufend
+ clen
> buf
+ MAX_CALLOUT_ARG_BYTE_LENGTH
)
6735 return ONIGERR_INVALID_CALLOUT_ARG
; /* too long argument */
6737 xmemcpy(bufend
, e
, clen
);
6746 if (skip_mode
== 0) {
6747 if ((types
[n
] & ONIG_TYPE_LONG
) != 0) {
6751 r
= parse_long(enc
, buf
, bufend
, 1, LONG_MAX
, &rl
);
6752 if (r
== ONIG_NORMAL
) {
6755 types
[n
] = ONIG_TYPE_LONG
;
6760 types
[n
] = (types
[n
] & ~ONIG_TYPE_LONG
);
6761 if (types
[n
] == ONIG_TYPE_VOID
)
6762 return ONIGERR_INVALID_CALLOUT_ARG
;
6767 case ONIG_TYPE_LONG
:
6770 case ONIG_TYPE_CHAR
:
6771 if (cn
!= 1) return ONIGERR_INVALID_CALLOUT_ARG
;
6772 vals
[n
].c
= ONIGENC_MBC_TO_CODE(enc
, buf
, bufend
);
6775 case ONIG_TYPE_STRING
:
6777 UChar
* rs
= onigenc_strdup(enc
, buf
, bufend
);
6778 CHECK_NULL_RETURN_MEMERR(rs
);
6779 vals
[n
].s
.start
= rs
;
6780 vals
[n
].s
.end
= rs
+ (e
- s
);
6785 if (eesc
!= 0 || ! is_allowed_callout_tag_name(enc
, s
, e
))
6786 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6788 vals
[n
].s
.start
= s
;
6792 case ONIG_TYPE_VOID
:
6793 case ONIG_TYPE_POINTER
:
6794 return ONIGERR_PARSER_BUG
;
6802 if (c
== cterm
) break;
6805 if (c
!= cterm
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6811 /* (*name[TAG]) (*name[TAG]{a,b,..}) */
6813 parse_callout_of_name(Node
** np
, int cterm
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6830 CalloutListEntry
* e
;
6832 unsigned int types
[ONIG_CALLOUT_MAX_ARGS_NUM
];
6833 OnigValue vals
[ONIG_CALLOUT_MAX_ARGS_NUM
];
6834 OnigEncoding enc
= env
->enc
;
6838 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6843 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6846 if (c
== cterm
|| c
== '[' || c
== '{') break;
6849 if (! is_allowed_callout_name(enc
, name_start
, name_end
))
6850 return ONIGERR_INVALID_CALLOUT_NAME
;
6853 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6856 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6859 if (c
== ']') break;
6861 if (! is_allowed_callout_tag_name(enc
, tag_start
, tag_end
))
6862 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6864 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6868 tag_start
= tag_end
= 0;
6874 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6876 /* read for single check only */
6878 arg_num
= parse_callout_args(1, '}', &p
, end
, 0, 0, env
);
6879 if (arg_num
< 0) return arg_num
;
6881 is_not_single
= PPEEK_IS(cterm
) ? 0 : 1;
6883 r
= get_callout_name_id_by_name(enc
, is_not_single
, name_start
, name_end
,
6885 if (r
!= ONIG_NORMAL
) return r
;
6887 max_arg_num
= get_callout_arg_num_by_name_id(name_id
);
6888 for (i
= 0; i
< max_arg_num
; i
++) {
6889 types
[i
] = get_callout_arg_type_by_name_id(name_id
, i
);
6892 arg_num
= parse_callout_args(0, '}', &p
, end
, types
, vals
, env
);
6893 if (arg_num
< 0) return arg_num
;
6895 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6902 r
= get_callout_name_id_by_name(enc
, is_not_single
, name_start
, name_end
,
6904 if (r
!= ONIG_NORMAL
) return r
;
6906 max_arg_num
= get_callout_arg_num_by_name_id(name_id
);
6907 for (i
= 0; i
< max_arg_num
; i
++) {
6908 types
[i
] = get_callout_arg_type_by_name_id(name_id
, i
);
6912 in
= onig_get_callout_in_by_name_id(name_id
);
6913 opt_arg_num
= get_callout_opt_arg_num_by_name_id(name_id
);
6914 if (arg_num
> max_arg_num
|| arg_num
< (max_arg_num
- opt_arg_num
))
6915 return ONIGERR_INVALID_CALLOUT_ARG
;
6918 return ONIGERR_INVALID_CALLOUT_PATTERN
;
6920 r
= reg_callout_list_entry(env
, &num
);
6921 if (r
!= 0) return r
;
6923 ext
= onig_get_regex_ext(env
->reg
);
6924 if (IS_NULL(ext
->pattern
)) {
6925 r
= onig_ext_set_pattern(env
->reg
, env
->pattern
, env
->pattern_end
);
6926 if (r
!= ONIG_NORMAL
) return r
;
6929 if (tag_start
!= tag_end
) {
6930 r
= callout_tag_entry(env
->reg
, tag_start
, tag_end
, num
);
6931 if (r
!= ONIG_NORMAL
) return r
;
6934 r
= node_new_callout(&node
, ONIG_CALLOUT_OF_NAME
, num
, name_id
, env
);
6935 if (r
!= ONIG_NORMAL
) return r
;
6937 e
= onig_reg_callout_list_at(env
->reg
, num
);
6938 e
->of
= ONIG_CALLOUT_OF_NAME
;
6940 e
->name_id
= name_id
;
6941 e
->type
= onig_get_callout_type_by_name_id(name_id
);
6942 e
->start_func
= onig_get_callout_start_func_by_name_id(name_id
);
6943 e
->end_func
= onig_get_callout_end_func_by_name_id(name_id
);
6944 e
->u
.arg
.num
= max_arg_num
;
6945 e
->u
.arg
.passed_num
= arg_num
;
6946 for (i
= 0; i
< max_arg_num
; i
++) {
6947 e
->u
.arg
.types
[i
] = types
[i
];
6949 e
->u
.arg
.vals
[i
] = vals
[i
];
6951 e
->u
.arg
.vals
[i
] = get_callout_opt_default_by_name_id(name_id
, i
);
6961 parse_enclosure(Node
** np
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
6966 OnigOptionType option
;
6969 OnigEncoding enc
= env
->enc
;
6975 if (PEND
) return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
6977 option
= env
->options
;
6979 if (c
== '?' && IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_GROUP_EFFECT
)) {
6981 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6985 case ':': /* (?:...) grouping only */
6987 r
= fetch_token(tok
, &p
, end
, env
);
6988 if (r
< 0) return r
;
6989 r
= parse_subexp(np
, tok
, term
, &p
, end
, env
);
6990 if (r
< 0) return r
;
6992 return 1; /* group */
6996 *np
= onig_node_new_anchor(ANCHOR_PREC_READ
, 0);
6998 case '!': /* preceding read */
6999 *np
= onig_node_new_anchor(ANCHOR_PREC_READ_NOT
, 0);
7001 case '>': /* (?>...) stop backtrack */
7002 *np
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
7006 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7010 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7013 case '<': /* look behind (?<=...), (?<!...) */
7014 if (PEND
) return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
7017 *np
= onig_node_new_anchor(ANCHOR_LOOK_BEHIND
, 0);
7019 *np
= onig_node_new_anchor(ANCHOR_LOOK_BEHIND_NOT
, 0);
7021 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7024 enum REF_NUM num_type
;
7034 r
= fetch_name((OnigCodePoint
)c
, &p
, end
, &name_end
, env
, &num
,
7036 if (r
< 0) return r
;
7038 num
= scan_env_add_mem_entry(env
);
7039 if (num
< 0) return num
;
7040 if (list_capture
!= 0 && num
>= (int )MEM_STATUS_BITS_NUM
)
7041 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY
;
7043 r
= name_add(env
->reg
, name
, name_end
, num
, env
);
7044 if (r
!= 0) return r
;
7045 *np
= node_new_memory(1);
7046 CHECK_NULL_RETURN_MEMERR(*np
);
7047 ENCLOSURE_(*np
)->m
.regnum
= num
;
7048 if (list_capture
!= 0)
7049 MEM_STATUS_ON_SIMPLE(env
->capture_history
, num
);
7053 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7059 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_TILDE_ABSENT_GROUP
)) {
7063 int is_range_cutter
;
7065 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7067 if (PPEEK_IS('|')) { /* (?~|generator|absent) */
7069 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7072 if (PPEEK_IS(')')) { /* (?~|) : range clear */
7074 r
= make_range_clear(np
, env
);
7075 if (r
!= 0) return r
;
7082 r
= fetch_token(tok
, &p
, end
, env
);
7083 if (r
< 0) return r
;
7084 r
= parse_subexp(&absent
, tok
, term
, &p
, end
, env
);
7086 onig_node_free(absent
);
7091 is_range_cutter
= 0;
7092 if (head_bar
!= 0) {
7094 if (NODE_TYPE(top
) != NODE_ALT
|| IS_NULL(NODE_CDR(top
))) {
7096 is_range_cutter
= 1;
7097 /* return ONIGERR_INVALID_ABSENT_GROUP_GENERATOR_PATTERN; */
7100 absent
= NODE_CAR(top
);
7101 expr
= NODE_CDR(top
);
7102 NODE_CAR(top
) = NULL_NODE
;
7103 NODE_CDR(top
) = NULL_NODE
;
7104 onig_node_free(top
);
7105 if (IS_NULL(NODE_CDR(expr
))) {
7107 expr
= NODE_CAR(top
);
7108 NODE_CAR(top
) = NULL_NODE
;
7109 onig_node_free(top
);
7114 r
= make_absent_tree(np
, absent
, expr
, is_range_cutter
, env
);
7121 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7127 if (! IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_BRACE_CALLOUT_CONTENTS
))
7128 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7130 r
= parse_callout_of_contents(np
, ')', &p
, end
, env
);
7131 if (r
!= 0) return r
;
7139 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LPAREN_IF_ELSE
)) {
7142 int condition_is_checker
;
7144 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7146 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7148 if (IS_CODE_DIGIT_ASCII(enc
, c
)
7149 || c
== '-' || c
== '+' || c
== '<' || c
== '\'') {
7154 enum REF_NUM num_type
;
7157 is_enclosed
= (c
== '<' || c
== '\'') ? 1 : 0;
7162 #ifdef USE_BACKREF_WITH_LEVEL
7163 name_end
= NULL_UCHARP
; /* no need. escape gcc warning. */
7164 r
= fetch_name_with_level(
7165 (OnigCodePoint
)(is_enclosed
!= 0 ? c
: '('),
7167 env
, &back_num
, &level
, &num_type
);
7168 if (r
== 1) exist_level
= 1;
7170 r
= fetch_name((OnigCodePoint
)(is_enclosed
!= 0 ? c
: '('),
7171 &p
, end
, &name_end
, env
, &back_num
, &num_type
, 1);
7174 if (is_enclosed
== 0) {
7181 condition_is_checker
= 1;
7182 if (num_type
!= IS_NOT_NUM
) {
7183 if (num_type
== IS_REL_NUM
) {
7184 back_num
= backref_rel_to_abs(back_num
, env
);
7187 return ONIGERR_INVALID_BACKREF
;
7189 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
7190 if (back_num
> env
->num_mem
||
7191 IS_NULL(SCANENV_MEMENV(env
)[back_num
].node
))
7192 return ONIGERR_INVALID_BACKREF
;
7195 condition
= node_new_backref_checker(1, &back_num
, 0,
7196 #ifdef USE_BACKREF_WITH_LEVEL
7205 num
= onig_name_to_group_numbers(env
->reg
, prev
, name_end
, &backs
);
7207 onig_scan_env_set_error_string(env
,
7208 ONIGERR_UNDEFINED_NAME_REFERENCE
, prev
, name_end
);
7209 return ONIGERR_UNDEFINED_NAME_REFERENCE
;
7211 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
7213 for (i
= 0; i
< num
; i
++) {
7214 if (backs
[i
] > env
->num_mem
||
7215 IS_NULL(SCANENV_MEMENV(env
)[backs
[i
]].node
))
7216 return ONIGERR_INVALID_BACKREF
;
7220 condition
= node_new_backref_checker(num
, backs
, 1,
7221 #ifdef USE_BACKREF_WITH_LEVEL
7227 if (is_enclosed
!= 0) {
7228 if (PEND
) goto err_if_else
;
7230 if (c
!= ')') goto err_if_else
;
7234 else if (c
== '?') {
7235 if (IS_SYNTAX_OP2(env
->syntax
,
7236 ONIG_SYN_OP2_QMARK_BRACE_CALLOUT_CONTENTS
)) {
7237 if (! PEND
&& PPEEK_IS('{')) {
7238 /* condition part is callouts of contents: (?(?{...})THEN|ELSE) */
7239 condition_is_checker
= 0;
7241 r
= parse_callout_of_contents(&condition
, ')', &p
, end
, env
);
7242 if (r
!= 0) return r
;
7248 else if (c
== '*' &&
7249 IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ASTERISK_CALLOUT_NAME
)) {
7250 condition_is_checker
= 0;
7251 r
= parse_callout_of_name(&condition
, ')', &p
, end
, env
);
7252 if (r
!= 0) return r
;
7259 condition_is_checker
= 0;
7260 r
= fetch_token(tok
, &p
, end
, env
);
7261 if (r
< 0) return r
;
7262 r
= parse_subexp(&condition
, tok
, term
, &p
, end
, env
);
7264 onig_node_free(condition
);
7270 CHECK_NULL_RETURN_MEMERR(condition
);
7274 onig_node_free(condition
);
7275 return ONIGERR_END_PATTERN_IN_GROUP
;
7278 if (PPEEK_IS(')')) { /* case: empty body: make backref checker */
7279 if (condition_is_checker
== 0) {
7280 onig_node_free(condition
);
7281 return ONIGERR_INVALID_IF_ELSE_SYNTAX
;
7286 else { /* if-else */
7290 if (PPEEK_IS('|')) {
7298 r
= fetch_token(tok
, &p
, end
, env
);
7300 onig_node_free(condition
);
7303 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7305 onig_node_free(condition
);
7306 onig_node_free(target
);
7310 if (then_is_empty
!= 0) {
7314 if (NODE_TYPE(target
) == NODE_ALT
) {
7315 Then
= NODE_CAR(target
);
7316 if (NODE_CDR(NODE_CDR(target
)) == NULL_NODE
) {
7317 Else
= NODE_CAR(NODE_CDR(target
));
7318 cons_node_free_alone(NODE_CDR(target
));
7321 Else
= NODE_CDR(target
);
7323 cons_node_free_alone(target
);
7331 *np
= node_new_enclosure_if_else(condition
, Then
, Else
);
7333 onig_node_free(condition
);
7334 onig_node_free(Then
);
7335 onig_node_free(Else
);
7336 return ONIGERR_MEMORY
;
7342 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7347 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ATMARK_CAPTURE_HISTORY
)) {
7348 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7350 if (c
== '<' || c
== '\'') {
7352 goto named_group2
; /* (?@<name>...) */
7357 *np
= node_new_memory(0);
7358 CHECK_NULL_RETURN_MEMERR(*np
);
7359 num
= scan_env_add_mem_entry(env
);
7363 else if (num
>= (int )MEM_STATUS_BITS_NUM
) {
7364 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY
;
7366 ENCLOSURE_(*np
)->m
.regnum
= num
;
7367 MEM_STATUS_ON_SIMPLE(env
->capture_history
, num
);
7370 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7374 #ifdef USE_POSIXLINE_OPTION
7377 case '-': case 'i': case 'm': case 's': case 'x':
7378 case 'W': case 'D': case 'S': case 'P':
7388 case '-': neg
= 1; break;
7389 case 'x': OPTION_NEGATE(option
, ONIG_OPTION_EXTEND
, neg
); break;
7390 case 'i': OPTION_NEGATE(option
, ONIG_OPTION_IGNORECASE
, neg
); break;
7392 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_PERL
)) {
7393 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
, neg
);
7396 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7400 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_PERL
)) {
7401 OPTION_NEGATE(option
, ONIG_OPTION_SINGLELINE
, (neg
== 0 ? 1 : 0));
7403 else if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_RUBY
)) {
7404 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
, neg
);
7407 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7409 #ifdef USE_POSIXLINE_OPTION
7411 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
|ONIG_OPTION_SINGLELINE
, neg
);
7414 case 'W': OPTION_NEGATE(option
, ONIG_OPTION_WORD_IS_ASCII
, neg
); break;
7415 case 'D': OPTION_NEGATE(option
, ONIG_OPTION_DIGIT_IS_ASCII
, neg
); break;
7416 case 'S': OPTION_NEGATE(option
, ONIG_OPTION_SPACE_IS_ASCII
, neg
); break;
7417 case 'P': OPTION_NEGATE(option
, ONIG_OPTION_POSIX_IS_ASCII
, neg
); break;
7420 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7424 *np
= node_new_option(option
);
7425 CHECK_NULL_RETURN_MEMERR(*np
);
7427 return 2; /* option only */
7429 else if (c
== ':') {
7430 OnigOptionType prev
= env
->options
;
7432 env
->options
= option
;
7433 r
= fetch_token(tok
, &p
, end
, env
);
7434 if (r
< 0) return r
;
7435 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7436 env
->options
= prev
;
7438 onig_node_free(target
);
7441 *np
= node_new_option(option
);
7442 CHECK_NULL_RETURN_MEMERR(*np
);
7443 NODE_BODY(*np
) = target
;
7448 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7455 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7459 else if (c
== '*' &&
7460 IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ASTERISK_CALLOUT_NAME
)) {
7462 r
= parse_callout_of_name(np
, ')', &p
, end
, env
);
7463 if (r
!= 0) return r
;
7469 if (ONIG_IS_OPTION_ON(env
->options
, ONIG_OPTION_DONT_CAPTURE_GROUP
))
7472 *np
= node_new_memory(0);
7473 CHECK_NULL_RETURN_MEMERR(*np
);
7474 num
= scan_env_add_mem_entry(env
);
7475 if (num
< 0) return num
;
7476 ENCLOSURE_(*np
)->m
.regnum
= num
;
7479 CHECK_NULL_RETURN_MEMERR(*np
);
7480 r
= fetch_token(tok
, &p
, end
, env
);
7481 if (r
< 0) return r
;
7482 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7484 onig_node_free(target
);
7488 NODE_BODY(*np
) = target
;
7490 if (NODE_TYPE(*np
) == NODE_ENCLOSURE
) {
7491 if (ENCLOSURE_(*np
)->type
== ENCLOSURE_MEMORY
) {
7492 /* Don't move this to previous of parse_subexp() */
7493 r
= scan_env_set_mem_node(env
, ENCLOSURE_(*np
)->m
.regnum
, *np
);
7494 if (r
!= 0) return r
;
7503 static const char* PopularQStr
[] = {
7504 "?", "*", "+", "??", "*?", "+?"
7507 static const char* ReduceQStr
[] = {
7508 "", "", "*", "*?", "??", "+ and ??", "+? and ?"
7512 set_quantifier(Node
* qnode
, Node
* target
, int group
, ScanEnv
* env
)
7517 if (qn
->lower
== 1 && qn
->upper
== 1)
7520 switch (NODE_TYPE(target
)) {
7523 if (str_node_can_be_split(target
, env
->enc
)) {
7524 Node
* n
= str_node_split_last_char(target
, env
->enc
);
7525 if (IS_NOT_NULL(n
)) {
7526 NODE_BODY(qnode
) = n
;
7534 { /* check redundant double repeat. */
7535 /* verbose warn (?:.?)? etc... but not warn (.?)? etc... */
7536 QuantNode
* qnt
= QUANT_(target
);
7537 int nestq_num
= quantifier_type_num(qn
);
7538 int targetq_num
= quantifier_type_num(qnt
);
7540 #ifdef USE_WARNING_REDUNDANT_NESTED_REPEAT_OPERATOR
7541 if (targetq_num
>= 0 && nestq_num
>= 0 &&
7542 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT
)) {
7543 UChar buf
[WARN_BUFSIZE
];
7545 switch(ReduceTypeTable
[targetq_num
][nestq_num
]) {
7550 if (onig_verb_warn
!= onig_null_warn
) {
7551 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
7552 env
->pattern
, env
->pattern_end
,
7553 (UChar
* )"redundant nested repeat operator");
7554 (*onig_verb_warn
)((char* )buf
);
7560 if (onig_verb_warn
!= onig_null_warn
) {
7561 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
7562 env
->pattern
, env
->pattern_end
,
7563 (UChar
* )"nested repeat operator %s and %s was replaced with '%s'",
7564 PopularQStr
[targetq_num
], PopularQStr
[nestq_num
],
7565 ReduceQStr
[ReduceTypeTable
[targetq_num
][nestq_num
]]);
7566 (*onig_verb_warn
)((char* )buf
);
7575 if (targetq_num
>= 0 && nestq_num
< 0) {
7576 if (targetq_num
== 1 || targetq_num
== 2) { /* * or + */
7577 /* (?:a*){n,m}, (?:a+){n,m} => (?:a*){n,n}, (?:a+){n,n} */
7578 if (! IS_REPEAT_INFINITE(qn
->upper
) && qn
->upper
> 1 && qn
->greedy
) {
7579 qn
->upper
= (qn
->lower
== 0 ? 1 : qn
->lower
);
7584 NODE_BODY(qnode
) = target
;
7585 onig_reduce_nested_quantifier(qnode
, target
);
7595 NODE_BODY(qnode
) = target
;
7601 #ifndef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7603 clear_not_flag_cclass(CClassNode
* cc
, OnigEncoding enc
)
7608 if (IS_NCCLASS_NOT(cc
)) {
7609 bitset_invert(cc
->bs
);
7611 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
7612 r
= not_code_range_buf(enc
, cc
->mbuf
, &tbuf
);
7613 if (r
!= 0) return r
;
7615 bbuf_free(cc
->mbuf
);
7619 NCCLASS_CLEAR_NOT(cc
);
7624 #endif /* CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS */
7631 } IApplyCaseFoldArg
;
7634 i_apply_case_fold(OnigCodePoint from
, OnigCodePoint to
[], int to_len
, void* arg
)
7636 IApplyCaseFoldArg
* iarg
;
7641 iarg
= (IApplyCaseFoldArg
* )arg
;
7647 int is_in
= onig_is_code_in_cc(env
->enc
, from
, cc
);
7648 #ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7649 if ((is_in
!= 0 && !IS_NCCLASS_NOT(cc
)) ||
7650 (is_in
== 0 && IS_NCCLASS_NOT(cc
))) {
7651 if (ONIGENC_MBC_MINLEN(env
->enc
) > 1 || *to
>= SINGLE_BYTE_SIZE
) {
7652 add_code_range(&(cc
->mbuf
), env
, *to
, *to
);
7655 BITSET_SET_BIT(bs
, *to
);
7660 if (ONIGENC_MBC_MINLEN(env
->enc
) > 1 || *to
>= SINGLE_BYTE_SIZE
) {
7661 if (IS_NCCLASS_NOT(cc
)) clear_not_flag_cclass(cc
, env
->enc
);
7662 add_code_range(&(cc
->mbuf
), env
, *to
, *to
);
7665 if (IS_NCCLASS_NOT(cc
)) {
7666 BITSET_CLEAR_BIT(bs
, *to
);
7669 BITSET_SET_BIT(bs
, *to
);
7672 #endif /* CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS */
7676 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
7677 Node
*snode
= NULL_NODE
;
7679 if (onig_is_code_in_cc(env
->enc
, from
, cc
)
7680 #ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7681 && !IS_NCCLASS_NOT(cc
)
7684 for (i
= 0; i
< to_len
; i
++) {
7685 len
= ONIGENC_CODE_TO_MBC(env
->enc
, to
[i
], buf
);
7687 snode
= onig_node_new_str(buf
, buf
+ len
);
7688 CHECK_NULL_RETURN_MEMERR(snode
);
7690 /* char-class expanded multi-char only
7691 compare with string folded at match time. */
7692 NODE_STRING_SET_AMBIG(snode
);
7695 r
= onig_node_str_cat(snode
, buf
, buf
+ len
);
7697 onig_node_free(snode
);
7703 *(iarg
->ptail
) = onig_node_new_alt(snode
, NULL_NODE
);
7704 CHECK_NULL_RETURN_MEMERR(*(iarg
->ptail
));
7705 iarg
->ptail
= &(NODE_CDR((*(iarg
->ptail
))));
7713 parse_exp(Node
** np
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
7716 int r
, len
, group
= 0;
7721 if (tok
->type
== (enum TokenSyms
)term
)
7724 switch (tok
->type
) {
7728 *np
= node_new_empty();
7732 case TK_SUBEXP_OPEN
:
7733 r
= parse_enclosure(np
, tok
, TK_SUBEXP_CLOSE
, src
, end
, env
);
7734 if (r
< 0) return r
;
7735 if (r
== 1) group
= 1;
7736 else if (r
== 2) { /* option only */
7738 OnigOptionType prev
= env
->options
;
7740 env
->options
= ENCLOSURE_(*np
)->o
.options
;
7741 r
= fetch_token(tok
, src
, end
, env
);
7742 if (r
< 0) return r
;
7743 r
= parse_subexp(&target
, tok
, term
, src
, end
, env
);
7744 env
->options
= prev
;
7746 onig_node_free(target
);
7749 NODE_BODY(*np
) = target
;
7754 case TK_SUBEXP_CLOSE
:
7755 if (! IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_UNMATCHED_CLOSE_SUBEXP
))
7756 return ONIGERR_UNMATCHED_CLOSE_PARENTHESIS
;
7758 if (tok
->escaped
) goto tk_raw_byte
;
7765 *np
= node_new_str(tok
->backp
, *src
);
7766 CHECK_NULL_RETURN_MEMERR(*np
);
7769 r
= fetch_token(tok
, src
, end
, env
);
7770 if (r
< 0) return r
;
7771 if (r
!= TK_STRING
) break;
7773 r
= onig_node_str_cat(*np
, tok
->backp
, *src
);
7774 if (r
< 0) return r
;
7786 *np
= node_new_str_raw_char((UChar
)tok
->u
.c
);
7787 CHECK_NULL_RETURN_MEMERR(*np
);
7790 if (len
>= ONIGENC_MBC_MINLEN(env
->enc
)) {
7791 if (len
== enclen(env
->enc
, STR_(*np
)->s
)) {/* should not enclen_end() */
7792 r
= fetch_token(tok
, src
, end
, env
);
7793 NODE_STRING_CLEAR_RAW(*np
);
7798 r
= fetch_token(tok
, src
, end
, env
);
7799 if (r
< 0) return r
;
7800 if (r
!= TK_RAW_BYTE
) {
7801 /* Don't use this, it is wrong for little endian encodings. */
7802 #ifdef USE_PAD_TO_SHORT_BYTE_CHAR
7804 if (len
< ONIGENC_MBC_MINLEN(env
->enc
)) {
7805 rem
= ONIGENC_MBC_MINLEN(env
->enc
) - len
;
7806 (void )node_str_head_pad(STR_(*np
), rem
, (UChar
)0);
7807 if (len
+ rem
== enclen(env
->enc
, STR_(*np
)->s
)) {
7808 NODE_STRING_CLEAR_RAW(*np
);
7813 return ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
7816 r
= node_str_cat_char(*np
, (UChar
)tok
->u
.c
);
7817 if (r
< 0) return r
;
7826 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
7827 int num
= ONIGENC_CODE_TO_MBC(env
->enc
, tok
->u
.code
, buf
);
7828 if (num
< 0) return num
;
7829 #ifdef NUMBERED_CHAR_IS_NOT_CASE_AMBIG
7830 *np
= node_new_str_raw(buf
, buf
+ num
);
7832 *np
= node_new_str(buf
, buf
+ num
);
7834 CHECK_NULL_RETURN_MEMERR(*np
);
7840 OnigCodePoint end_op
[2];
7841 UChar
*qstart
, *qend
, *nextp
;
7843 end_op
[0] = (OnigCodePoint
)MC_ESC(env
->syntax
);
7844 end_op
[1] = (OnigCodePoint
)'E';
7846 qend
= find_str_position(end_op
, 2, qstart
, end
, &nextp
, env
->enc
);
7847 if (IS_NULL(qend
)) {
7850 *np
= node_new_str(qstart
, qend
);
7851 CHECK_NULL_RETURN_MEMERR(*np
);
7858 switch (tok
->u
.prop
.ctype
) {
7859 case ONIGENC_CTYPE_WORD
:
7860 *np
= node_new_ctype(tok
->u
.prop
.ctype
, tok
->u
.prop
.not, env
->options
);
7861 CHECK_NULL_RETURN_MEMERR(*np
);
7864 case ONIGENC_CTYPE_SPACE
:
7865 case ONIGENC_CTYPE_DIGIT
:
7866 case ONIGENC_CTYPE_XDIGIT
:
7870 *np
= node_new_cclass();
7871 CHECK_NULL_RETURN_MEMERR(*np
);
7873 add_ctype_to_cc(cc
, tok
->u
.prop
.ctype
, 0, env
);
7874 if (tok
->u
.prop
.not != 0) NCCLASS_SET_NOT(cc
);
7879 return ONIGERR_PARSER_BUG
;
7885 case TK_CHAR_PROPERTY
:
7886 r
= parse_char_property(np
, tok
, src
, end
, env
);
7887 if (r
!= 0) return r
;
7894 r
= parse_char_class(np
, tok
, src
, end
, env
);
7895 if (r
!= 0) return r
;
7898 if (IS_IGNORECASE(env
->options
)) {
7899 IApplyCaseFoldArg iarg
;
7903 iarg
.alt_root
= NULL_NODE
;
7904 iarg
.ptail
= &(iarg
.alt_root
);
7906 r
= ONIGENC_APPLY_ALL_CASE_FOLD(env
->enc
, env
->case_fold_flag
,
7907 i_apply_case_fold
, &iarg
);
7909 onig_node_free(iarg
.alt_root
);
7912 if (IS_NOT_NULL(iarg
.alt_root
)) {
7913 Node
* work
= onig_node_new_alt(*np
, iarg
.alt_root
);
7914 if (IS_NULL(work
)) {
7915 onig_node_free(iarg
.alt_root
);
7916 return ONIGERR_MEMORY
;
7925 *np
= node_new_anychar();
7926 CHECK_NULL_RETURN_MEMERR(*np
);
7929 case TK_ANYCHAR_ANYTIME
:
7930 *np
= node_new_anychar();
7931 CHECK_NULL_RETURN_MEMERR(*np
);
7932 qn
= node_new_quantifier(0, REPEAT_INFINITE
, 0);
7933 CHECK_NULL_RETURN_MEMERR(qn
);
7934 NODE_BODY(qn
) = *np
;
7939 len
= tok
->u
.backref
.num
;
7940 *np
= node_new_backref(len
,
7941 (len
> 1 ? tok
->u
.backref
.refs
: &(tok
->u
.backref
.ref1
)),
7942 tok
->u
.backref
.by_name
,
7943 #ifdef USE_BACKREF_WITH_LEVEL
7944 tok
->u
.backref
.exist_level
,
7945 tok
->u
.backref
.level
,
7948 CHECK_NULL_RETURN_MEMERR(*np
);
7954 int gnum
= tok
->u
.call
.gnum
;
7956 *np
= node_new_call(tok
->u
.call
.name
, tok
->u
.call
.name_end
,
7957 gnum
, tok
->u
.call
.by_number
);
7958 CHECK_NULL_RETURN_MEMERR(*np
);
7960 if (tok
->u
.call
.by_number
!= 0 && gnum
== 0) {
7961 env
->has_call_zero
= 1;
7970 IS_WORD_ASCII(env
->options
) && IS_WORD_ANCHOR_TYPE(tok
->u
.anchor
) ? 1 : 0;
7971 *np
= onig_node_new_anchor(tok
->u
.anchor
, ascii_mode
);
7977 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_CONTEXT_INDEP_REPEAT_OPS
)) {
7978 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_CONTEXT_INVALID_REPEAT_OPS
))
7979 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_NOT_SPECIFIED
;
7981 *np
= node_new_empty();
7989 r
= node_new_keep(np
, env
);
7990 if (r
< 0) return r
;
7993 case TK_GENERAL_NEWLINE
:
7994 r
= node_new_general_newline(np
, env
);
7995 if (r
< 0) return r
;
7999 r
= node_new_no_newline(np
, env
);
8000 if (r
< 0) return r
;
8003 case TK_TRUE_ANYCHAR
:
8004 r
= node_new_true_anychar(np
, env
);
8005 if (r
< 0) return r
;
8008 case TK_EXTENDED_GRAPHEME_CLUSTER
:
8009 r
= make_extended_grapheme_cluster(np
, env
);
8010 if (r
< 0) return r
;
8014 return ONIGERR_PARSER_BUG
;
8022 r
= fetch_token(tok
, src
, end
, env
);
8023 if (r
< 0) return r
;
8026 if (r
== TK_OP_REPEAT
|| r
== TK_INTERVAL
) {
8027 if (is_invalid_quantifier_target(*targetp
))
8028 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_INVALID
;
8030 qn
= node_new_quantifier(tok
->u
.repeat
.lower
, tok
->u
.repeat
.upper
,
8031 (r
== TK_INTERVAL
? 1 : 0));
8032 CHECK_NULL_RETURN_MEMERR(qn
);
8033 QUANT_(qn
)->greedy
= tok
->u
.repeat
.greedy
;
8034 r
= set_quantifier(qn
, *targetp
, group
, env
);
8040 if (tok
->u
.repeat
.possessive
!= 0) {
8042 en
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
8045 return ONIGERR_MEMORY
;
8057 else if (r
== 2) { /* split case: /abc+/ */
8060 *targetp
= node_new_list(*targetp
, NULL
);
8061 if (IS_NULL(*targetp
)) {
8063 return ONIGERR_MEMORY
;
8065 tmp
= NODE_CDR(*targetp
) = node_new_list(qn
, NULL
);
8068 return ONIGERR_MEMORY
;
8070 targetp
= &(NODE_CAR(tmp
));
8080 parse_branch(Node
** top
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
8084 Node
*node
, **headp
;
8087 r
= parse_exp(&node
, tok
, term
, src
, end
, env
);
8089 onig_node_free(node
);
8093 if (r
== TK_EOT
|| r
== term
|| r
== TK_ALT
) {
8097 *top
= node_new_list(node
, NULL
);
8098 headp
= &(NODE_CDR(*top
));
8099 while (r
!= TK_EOT
&& r
!= term
&& r
!= TK_ALT
) {
8100 r
= parse_exp(&node
, tok
, term
, src
, end
, env
);
8102 onig_node_free(node
);
8106 if (NODE_TYPE(node
) == NODE_LIST
) {
8108 while (IS_NOT_NULL(NODE_CDR(node
))) node
= NODE_CDR(node
);
8109 headp
= &(NODE_CDR(node
));
8112 *headp
= node_new_list(node
, NULL
);
8113 headp
= &(NODE_CDR(*headp
));
8121 /* term_tok: TK_EOT or TK_SUBEXP_CLOSE */
8123 parse_subexp(Node
** top
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
8127 Node
*node
, **headp
;
8131 if (env
->parse_depth
> ParseDepthLimit
)
8132 return ONIGERR_PARSE_DEPTH_LIMIT_OVER
;
8133 r
= parse_branch(&node
, tok
, term
, src
, end
, env
);
8135 onig_node_free(node
);
8142 else if (r
== TK_ALT
) {
8143 *top
= onig_node_new_alt(node
, NULL
);
8144 headp
= &(NODE_CDR(*top
));
8145 while (r
== TK_ALT
) {
8146 r
= fetch_token(tok
, src
, end
, env
);
8147 if (r
< 0) return r
;
8148 r
= parse_branch(&node
, tok
, term
, src
, end
, env
);
8150 onig_node_free(node
);
8153 *headp
= onig_node_new_alt(node
, NULL
);
8154 headp
= &(NODE_CDR(*headp
));
8157 if (tok
->type
!= (enum TokenSyms
)term
)
8161 onig_node_free(node
);
8163 if (term
== TK_SUBEXP_CLOSE
)
8164 return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
8166 return ONIGERR_PARSER_BUG
;
8174 parse_regexp(Node
** top
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
8179 r
= fetch_token(&tok
, src
, end
, env
);
8180 if (r
< 0) return r
;
8181 r
= parse_subexp(top
, &tok
, TK_EOT
, src
, end
, env
);
8182 if (r
< 0) return r
;
8189 make_call_zero_body(Node
* node
, ScanEnv
* env
, Node
** rnode
)
8193 Node
* x
= node_new_memory(0 /* 0: is not named */);
8194 CHECK_NULL_RETURN_MEMERR(x
);
8196 NODE_BODY(x
) = node
;
8197 ENCLOSURE_(x
)->m
.regnum
= 0;
8198 r
= scan_env_set_mem_node(env
, 0, x
);
8210 onig_parse_tree(Node
** root
, const UChar
* pattern
, const UChar
* end
,
8211 regex_t
* reg
, ScanEnv
* env
)
8221 scan_env_clear(env
);
8222 env
->options
= reg
->options
;
8223 env
->case_fold_flag
= reg
->case_fold_flag
;
8224 env
->enc
= reg
->enc
;
8225 env
->syntax
= reg
->syntax
;
8226 env
->pattern
= (UChar
* )pattern
;
8227 env
->pattern_end
= (UChar
* )end
;
8232 if (! ONIGENC_IS_VALID_MBC_STRING(env
->enc
, pattern
, end
))
8233 return ONIGERR_INVALID_WIDE_CHAR_VALUE
;
8235 p
= (UChar
* )pattern
;
8236 r
= parse_regexp(root
, &p
, (UChar
* )end
, env
);
8239 if (r
!= 0) return r
;
8241 if (env
->has_call_zero
!= 0) {
8243 r
= make_call_zero_body(*root
, env
, &zero_node
);
8244 if (r
!= 0) return r
;
8250 reg
->num_mem
= env
->num_mem
;
8253 ext
= REG_EXTP(reg
);
8254 if (IS_NOT_NULL(ext
) && ext
->callout_num
> 0) {
8255 r
= setup_ext_callout_list_values(reg
);
8263 onig_scan_env_set_error_string(ScanEnv
* env
, int ecode ARG_UNUSED
,
8264 UChar
* arg
, UChar
* arg_end
)
8267 env
->error_end
= arg_end
;