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 CHECK_NULL_RETURN_MEMERR(t
);
970 reg
->name_table
= (void* )t
;
972 e
= (NameEntry
* )xmalloc(sizeof(NameEntry
));
973 CHECK_NULL_RETURN_MEMERR(e
);
975 e
->name
= onigenc_strdup(reg
->enc
, name
, name_end
);
976 if (IS_NULL(e
->name
)) {
977 xfree(e
); return ONIGERR_MEMORY
;
979 r
= onig_st_insert_strend(t
, e
->name
, (e
->name
+ (name_end
- name
)),
983 e
->name_len
= (int )(name_end
- name
);
986 e
->back_refs
= (int* )NULL
;
991 alloc
= INIT_NAMES_ALLOC_NUM
;
992 t
= (NameTable
* )xmalloc(sizeof(NameTable
));
993 CHECK_NULL_RETURN_MEMERR(t
);
998 t
->e
= (NameEntry
* )xmalloc(sizeof(NameEntry
) * alloc
);
1001 return ONIGERR_MEMORY
;
1004 reg
->name_table
= t
;
1007 else if (t
->num
== t
->alloc
) {
1010 alloc
= t
->alloc
* 2;
1011 t
->e
= (NameEntry
* )xrealloc(t
->e
, sizeof(NameEntry
) * alloc
, sizeof(NameEntry
) * t
->alloc
);
1012 CHECK_NULL_RETURN_MEMERR(t
->e
);
1016 for (i
= t
->num
; i
< t
->alloc
; i
++) {
1017 t
->e
[i
].name
= NULL
;
1018 t
->e
[i
].name_len
= 0;
1019 t
->e
[i
].back_num
= 0;
1020 t
->e
[i
].back_alloc
= 0;
1021 t
->e
[i
].back_refs
= (int* )NULL
;
1024 e
= &(t
->e
[t
->num
]);
1026 e
->name
= onigenc_strdup(reg
->enc
, name
, name_end
);
1027 if (IS_NULL(e
->name
)) return ONIGERR_MEMORY
;
1028 e
->name_len
= name_end
- name
;
1032 if (e
->back_num
>= 1 &&
1033 ! IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_MULTIPLEX_DEFINITION_NAME
)) {
1034 onig_scan_env_set_error_string(env
, ONIGERR_MULTIPLEX_DEFINED_NAME
,
1036 return ONIGERR_MULTIPLEX_DEFINED_NAME
;
1040 if (e
->back_num
== 1) {
1041 e
->back_ref1
= backref
;
1044 if (e
->back_num
== 2) {
1045 alloc
= INIT_NAME_BACKREFS_ALLOC_NUM
;
1046 e
->back_refs
= (int* )xmalloc(sizeof(int) * alloc
);
1047 CHECK_NULL_RETURN_MEMERR(e
->back_refs
);
1048 e
->back_alloc
= alloc
;
1049 e
->back_refs
[0] = e
->back_ref1
;
1050 e
->back_refs
[1] = backref
;
1053 if (e
->back_num
> e
->back_alloc
) {
1054 alloc
= e
->back_alloc
* 2;
1055 e
->back_refs
= (int* )xrealloc(e
->back_refs
, sizeof(int) * alloc
, sizeof(int) * e
->back_alloc
);
1056 CHECK_NULL_RETURN_MEMERR(e
->back_refs
);
1057 e
->back_alloc
= alloc
;
1059 e
->back_refs
[e
->back_num
- 1] = backref
;
1067 onig_name_to_group_numbers(regex_t
* reg
, const UChar
* name
,
1068 const UChar
* name_end
, int** nums
)
1070 NameEntry
* e
= name_find(reg
, name
, name_end
);
1072 if (IS_NULL(e
)) return ONIGERR_UNDEFINED_NAME_REFERENCE
;
1074 switch (e
->back_num
) {
1078 *nums
= &(e
->back_ref1
);
1081 *nums
= e
->back_refs
;
1088 onig_name_to_backref_number(regex_t
* reg
, const UChar
* name
,
1089 const UChar
* name_end
, OnigRegion
*region
)
1093 n
= onig_name_to_group_numbers(reg
, name
, name_end
, &nums
);
1097 return ONIGERR_PARSER_BUG
;
1101 if (IS_NOT_NULL(region
)) {
1102 for (i
= n
- 1; i
>= 0; i
--) {
1103 if (region
->beg
[nums
[i
]] != ONIG_REGION_NOTPOS
)
1112 onig_noname_group_capture_is_active(regex_t
* reg
)
1114 if (ONIG_IS_OPTION_ON(reg
->options
, ONIG_OPTION_DONT_CAPTURE_GROUP
))
1117 if (onig_number_of_names(reg
) > 0 &&
1118 IS_SYNTAX_BV(reg
->syntax
, ONIG_SYN_CAPTURE_ONLY_NAMED_GROUP
) &&
1119 !ONIG_IS_OPTION_ON(reg
->options
, ONIG_OPTION_CAPTURE_GROUP
)) {
1129 OnigCalloutType type
;
1131 OnigCalloutFunc start_func
;
1132 OnigCalloutFunc end_func
;
1135 unsigned int arg_types
[ONIG_CALLOUT_MAX_ARGS_NUM
];
1136 OnigValue opt_defaults
[ONIG_CALLOUT_MAX_ARGS_NUM
];
1137 UChar
* name
; /* reference to GlobalCalloutNameTable entry: e->name */
1138 } CalloutNameListEntry
;
1143 CalloutNameListEntry
* v
;
1144 } CalloutNameListType
;
1146 static CalloutNameListType
* GlobalCalloutNameList
;
1149 make_callout_func_list(CalloutNameListType
** rs
, int init_size
)
1151 CalloutNameListType
* s
;
1152 CalloutNameListEntry
* v
;
1156 s
= xmalloc(sizeof(*s
));
1157 if (IS_NULL(s
)) return ONIGERR_MEMORY
;
1159 v
= (CalloutNameListEntry
* )xmalloc(sizeof(CalloutNameListEntry
) * init_size
);
1162 return ONIGERR_MEMORY
;
1166 s
->alloc
= init_size
;
1174 free_callout_func_list(CalloutNameListType
* s
)
1176 if (IS_NOT_NULL(s
)) {
1177 if (IS_NOT_NULL(s
->v
)) {
1180 for (i
= 0; i
< s
->n
; i
++) {
1181 CalloutNameListEntry
* e
= s
->v
+ i
;
1182 for (j
= e
->arg_num
- e
->opt_arg_num
; j
< e
->arg_num
; j
++) {
1183 if (e
->arg_types
[j
] == ONIG_TYPE_STRING
) {
1184 UChar
* p
= e
->opt_defaults
[j
].s
.start
;
1185 if (IS_NOT_NULL(p
)) xfree(p
);
1196 callout_func_list_add(CalloutNameListType
* s
, int* rid
)
1198 if (s
->n
>= s
->alloc
) {
1199 int new_size
= s
->alloc
* 2;
1200 CalloutNameListEntry
* nv
= (CalloutNameListEntry
* )
1201 xrealloc(s
->v
, sizeof(CalloutNameListEntry
) * new_size
, sizeof(CalloutNameListEntry
)*s
->alloc
);
1202 if (IS_NULL(nv
)) return ONIGERR_MEMORY
;
1204 s
->alloc
= new_size
;
1210 xmemset(&(s
->v
[s
->n
]), 0, sizeof(*(s
->v
)));
1218 int name_len
; /* byte length */
1222 #ifdef USE_ST_LIBRARY
1223 typedef st_table CalloutNameTable
;
1226 CalloutNameEntry
* e
;
1232 static CalloutNameTable
* GlobalCalloutNameTable
;
1233 static int CalloutNameIDCounter
;
1235 #ifdef USE_ST_LIBRARY
1238 i_free_callout_name_entry(st_callout_name_key
* key
, CalloutNameEntry
* e
,
1239 void* arg ARG_UNUSED
)
1242 /*xfree(key->s); */ /* is same as e->name */
1249 callout_name_table_clear(CalloutNameTable
* t
)
1251 if (IS_NOT_NULL(t
)) {
1252 onig_st_foreach(t
, i_free_callout_name_entry
, 0);
1258 global_callout_name_table_free(void)
1260 if (IS_NOT_NULL(GlobalCalloutNameTable
)) {
1261 int r
= callout_name_table_clear(GlobalCalloutNameTable
);
1262 if (r
!= 0) return r
;
1264 onig_st_free_table(GlobalCalloutNameTable
);
1265 GlobalCalloutNameTable
= 0;
1266 CalloutNameIDCounter
= 0;
1272 static CalloutNameEntry
*
1273 callout_name_find(OnigEncoding enc
, int is_not_single
,
1274 const UChar
* name
, const UChar
* name_end
)
1277 CalloutNameEntry
* e
;
1278 CalloutNameTable
* t
= GlobalCalloutNameTable
;
1280 e
= (CalloutNameEntry
* )NULL
;
1281 if (IS_NOT_NULL(t
)) {
1282 r
= onig_st_lookup_callout_name_table(t
, enc
, is_not_single
, name
, name_end
,
1283 (HashDataType
* )((void* )(&e
)));
1284 if (r
== 0) { /* not found */
1285 if (enc
!= ONIG_ENCODING_ASCII
&&
1286 ONIGENC_IS_ASCII_COMPATIBLE_ENCODING(enc
)) {
1287 enc
= ONIG_ENCODING_ASCII
;
1288 onig_st_lookup_callout_name_table(t
, enc
, is_not_single
, name
, name_end
,
1289 (HashDataType
* )((void* )(&e
)));
1299 callout_name_table_clear(CalloutNameTable
* t
)
1302 CalloutNameEntry
* e
;
1304 if (IS_NOT_NULL(t
)) {
1305 for (i
= 0; i
< t
->num
; i
++) {
1307 if (IS_NOT_NULL(e
->name
)) {
1315 if (IS_NOT_NULL(t
->e
)) {
1325 global_callout_name_table_free(void)
1327 if (IS_NOT_NULL(GlobalCalloutNameTable
)) {
1328 int r
= callout_name_table_clear(GlobalCalloutNameTable
);
1329 if (r
!= 0) return r
;
1331 xfree(GlobalCalloutNameTable
);
1332 GlobalCalloutNameTable
= 0;
1333 CalloutNameIDCounter
= 0;
1338 static CalloutNameEntry
*
1339 callout_name_find(UChar
* name
, UChar
* name_end
)
1342 CalloutNameEntry
* e
;
1343 CalloutNameTable
* t
= Calloutnames
;
1345 if (IS_NOT_NULL(t
)) {
1346 len
= name_end
- name
;
1347 for (i
= 0; i
< t
->num
; i
++) {
1349 if (len
== e
->name_len
&& onig_strncmp(name
, e
->name
, len
) == 0)
1353 return (CalloutNameEntry
* )NULL
;
1358 /* name string must be single byte char string. */
1360 callout_name_entry(CalloutNameEntry
** rentry
, OnigEncoding enc
,
1361 int is_not_single
, UChar
* name
, UChar
* name_end
)
1364 CalloutNameEntry
* e
;
1365 CalloutNameTable
* t
= GlobalCalloutNameTable
;
1368 if (name_end
- name
<= 0)
1369 return ONIGERR_INVALID_CALLOUT_NAME
;
1371 e
= callout_name_find(enc
, is_not_single
, name
, name_end
);
1373 #ifdef USE_ST_LIBRARY
1375 t
= onig_st_init_callout_name_table_with_size(INIT_NAMES_ALLOC_NUM
);
1376 CHECK_NULL_RETURN_MEMERR(t
);
1377 GlobalCalloutNameTable
= t
;
1379 e
= (CalloutNameEntry
* )xmalloc(sizeof(CalloutNameEntry
));
1380 CHECK_NULL_RETURN_MEMERR(e
);
1382 e
->name
= onigenc_strdup(enc
, name
, name_end
);
1383 if (IS_NULL(e
->name
)) {
1384 xfree(e
); return ONIGERR_MEMORY
;
1387 r
= st_insert_callout_name_table(t
, enc
, is_not_single
,
1388 e
->name
, (e
->name
+ (name_end
- name
)),
1390 if (r
< 0) return r
;
1397 alloc
= INIT_NAMES_ALLOC_NUM
;
1398 t
= (CalloutNameTable
* )xmalloc(sizeof(CalloutNameTable
));
1399 CHECK_NULL_RETURN_MEMERR(t
);
1404 t
->e
= (CalloutNameEntry
* )xmalloc(sizeof(CalloutNameEntry
) * alloc
);
1405 if (IS_NULL(t
->e
)) {
1407 return ONIGERR_MEMORY
;
1410 GlobalCalloutNameTable
= t
;
1413 else if (t
->num
== t
->alloc
) {
1416 alloc
= t
->alloc
* 2;
1417 t
->e
= (CalloutNameEntry
* )xrealloc(t
->e
, sizeof(CalloutNameEntry
) * alloc
, sizeof(CalloutNameEntry
)*t
->alloc
);
1418 CHECK_NULL_RETURN_MEMERR(t
->e
);
1422 for (i
= t
->num
; i
< t
->alloc
; i
++) {
1423 t
->e
[i
].name
= NULL
;
1424 t
->e
[i
].name_len
= 0;
1428 e
= &(t
->e
[t
->num
]);
1430 e
->name
= onigenc_strdup(enc
, name
, name_end
);
1431 if (IS_NULL(e
->name
)) return ONIGERR_MEMORY
;
1434 CalloutNameIDCounter
++;
1435 e
->id
= CalloutNameIDCounter
;
1436 e
->name_len
= (int )(name_end
- name
);
1444 is_allowed_callout_name(OnigEncoding enc
, UChar
* name
, UChar
* name_end
)
1449 if (name
>= name_end
) return 0;
1452 while (p
< name_end
) {
1453 c
= ONIGENC_MBC_TO_CODE(enc
, p
, name_end
);
1454 if (! IS_ALLOWED_CODE_IN_CALLOUT_NAME(c
))
1458 if (c
>= '0' && c
<= '9') return 0;
1461 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
1468 is_allowed_callout_tag_name(OnigEncoding enc
, UChar
* name
, UChar
* name_end
)
1473 if (name
>= name_end
) return 0;
1476 while (p
< name_end
) {
1477 c
= ONIGENC_MBC_TO_CODE(enc
, p
, name_end
);
1478 if (! IS_ALLOWED_CODE_IN_CALLOUT_TAG_NAME(c
))
1482 if (c
>= '0' && c
<= '9') return 0;
1485 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
1492 onig_set_callout_of_name(OnigEncoding enc
, OnigCalloutType callout_type
,
1493 UChar
* name
, UChar
* name_end
, int in
,
1494 OnigCalloutFunc start_func
,
1495 OnigCalloutFunc end_func
,
1496 int arg_num
, unsigned int arg_types
[],
1497 int opt_arg_num
, OnigValue opt_defaults
[])
1504 CalloutNameEntry
* e
;
1505 CalloutNameListEntry
* fe
;
1507 if (callout_type
!= ONIG_CALLOUT_TYPE_SINGLE
)
1508 return ONIGERR_INVALID_ARGUMENT
;
1510 if (arg_num
< 0 || arg_num
> ONIG_CALLOUT_MAX_ARGS_NUM
)
1511 return ONIGERR_INVALID_CALLOUT_ARG
;
1513 if (opt_arg_num
< 0 || opt_arg_num
> arg_num
)
1514 return ONIGERR_INVALID_CALLOUT_ARG
;
1516 if (start_func
== 0 && end_func
== 0)
1517 return ONIGERR_INVALID_CALLOUT_ARG
;
1519 if ((in
& ONIG_CALLOUT_IN_PROGRESS
) == 0 && (in
& ONIG_CALLOUT_IN_RETRACTION
) == 0)
1520 return ONIGERR_INVALID_CALLOUT_ARG
;
1522 for (i
= 0; i
< arg_num
; i
++) {
1523 unsigned int t
= arg_types
[i
];
1524 if (t
== ONIG_TYPE_VOID
)
1525 return ONIGERR_INVALID_CALLOUT_ARG
;
1527 if (i
>= arg_num
- opt_arg_num
) {
1528 if (t
!= ONIG_TYPE_LONG
&& t
!= ONIG_TYPE_CHAR
&& t
!= ONIG_TYPE_STRING
&&
1530 return ONIGERR_INVALID_CALLOUT_ARG
;
1533 if (t
!= ONIG_TYPE_LONG
) {
1534 t
= t
& ~ONIG_TYPE_LONG
;
1535 if (t
!= ONIG_TYPE_CHAR
&& t
!= ONIG_TYPE_STRING
&& t
!= ONIG_TYPE_TAG
)
1536 return ONIGERR_INVALID_CALLOUT_ARG
;
1542 if (! is_allowed_callout_name(enc
, name
, name_end
)) {
1543 return ONIGERR_INVALID_CALLOUT_NAME
;
1546 is_not_single
= (callout_type
!= ONIG_CALLOUT_TYPE_SINGLE
);
1547 id
= callout_name_entry(&e
, enc
, is_not_single
, name
, name_end
);
1548 if (id
< 0) return id
;
1551 if (IS_NULL(GlobalCalloutNameList
)) {
1552 r
= make_callout_func_list(&GlobalCalloutNameList
, 10);
1553 if (r
!= ONIG_NORMAL
) return r
;
1556 while (id
>= GlobalCalloutNameList
->n
) {
1558 r
= callout_func_list_add(GlobalCalloutNameList
, &rid
);
1559 if (r
!= ONIG_NORMAL
) return r
;
1562 fe
= GlobalCalloutNameList
->v
+ id
;
1563 fe
->type
= callout_type
;
1565 fe
->start_func
= start_func
;
1566 fe
->end_func
= end_func
;
1567 fe
->arg_num
= arg_num
;
1568 fe
->opt_arg_num
= opt_arg_num
;
1571 for (i
= 0; i
< arg_num
; i
++) {
1572 fe
->arg_types
[i
] = arg_types
[i
];
1574 for (i
= arg_num
- opt_arg_num
, j
= 0; i
< arg_num
; i
++, j
++) {
1575 if (fe
->arg_types
[i
] == ONIG_TYPE_STRING
) {
1576 OnigValue
* val
= opt_defaults
+ j
;
1577 UChar
* ds
= onigenc_strdup(enc
, val
->s
.start
, val
->s
.end
);
1578 CHECK_NULL_RETURN_MEMERR(ds
);
1580 fe
->opt_defaults
[i
].s
.start
= ds
;
1581 fe
->opt_defaults
[i
].s
.end
= ds
+ (val
->s
.end
- val
->s
.start
);
1584 fe
->opt_defaults
[i
] = opt_defaults
[j
];
1593 get_callout_name_id_by_name(OnigEncoding enc
, int is_not_single
,
1594 UChar
* name
, UChar
* name_end
, int* rid
)
1597 CalloutNameEntry
* e
;
1599 if (! is_allowed_callout_name(enc
, name
, name_end
)) {
1600 return ONIGERR_INVALID_CALLOUT_NAME
;
1603 e
= callout_name_find(enc
, is_not_single
, name
, name_end
);
1605 return ONIGERR_UNDEFINED_CALLOUT_NAME
;
1614 extern OnigCalloutFunc
1615 onig_get_callout_start_func(regex_t
* reg
, int callout_num
)
1617 /* If used for callouts of contents, return 0. */
1618 CalloutListEntry
* e
;
1620 e
= onig_reg_callout_list_at(reg
, callout_num
);
1621 CHECK_NULL_RETURN(e
);
1622 return e
->start_func
;
1626 onig_get_callout_tag_start(regex_t
* reg
, int callout_num
)
1628 CalloutListEntry
* e
= onig_reg_callout_list_at(reg
, callout_num
);
1629 CHECK_NULL_RETURN(e
);
1630 return e
->tag_start
;
1634 onig_get_callout_tag_end(regex_t
* reg
, int callout_num
)
1636 CalloutListEntry
* e
= onig_reg_callout_list_at(reg
, callout_num
);
1637 CHECK_NULL_RETURN(e
);
1642 extern OnigCalloutType
1643 onig_get_callout_type_by_name_id(int name_id
)
1645 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1648 return GlobalCalloutNameList
->v
[name_id
].type
;
1651 extern OnigCalloutFunc
1652 onig_get_callout_start_func_by_name_id(int name_id
)
1654 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1657 return GlobalCalloutNameList
->v
[name_id
].start_func
;
1660 extern OnigCalloutFunc
1661 onig_get_callout_end_func_by_name_id(int name_id
)
1663 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1666 return GlobalCalloutNameList
->v
[name_id
].end_func
;
1670 onig_get_callout_in_by_name_id(int name_id
)
1672 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1675 return GlobalCalloutNameList
->v
[name_id
].in
;
1679 get_callout_arg_num_by_name_id(int name_id
)
1681 return GlobalCalloutNameList
->v
[name_id
].arg_num
;
1685 get_callout_opt_arg_num_by_name_id(int name_id
)
1687 return GlobalCalloutNameList
->v
[name_id
].opt_arg_num
;
1691 get_callout_arg_type_by_name_id(int name_id
, int index
)
1693 return GlobalCalloutNameList
->v
[name_id
].arg_types
[index
];
1697 get_callout_opt_default_by_name_id(int name_id
, int index
)
1699 return GlobalCalloutNameList
->v
[name_id
].opt_defaults
[index
];
1703 onig_get_callout_name_by_name_id(int name_id
)
1705 if (name_id
< 0 || name_id
>= GlobalCalloutNameList
->n
)
1708 return GlobalCalloutNameList
->v
[name_id
].name
;
1712 onig_global_callout_names_free(void)
1714 free_callout_func_list(GlobalCalloutNameList
);
1715 GlobalCalloutNameList
= 0;
1717 global_callout_name_table_free();
1722 typedef st_table CalloutTagTable
;
1723 typedef intptr_t CalloutTagVal
;
1725 #define CALLOUT_TAG_LIST_FLAG_TAG_EXIST (1<<0)
1728 i_callout_callout_list_set(UChar
* key
, CalloutTagVal e
, void* arg
)
1731 RegexExt
* ext
= (RegexExt
* )arg
;
1734 ext
->callout_list
[num
].flag
|= CALLOUT_TAG_LIST_FLAG_TAG_EXIST
;
1739 setup_ext_callout_list_values(regex_t
* reg
)
1744 ext
= REG_EXTP(reg
);
1745 if (IS_NOT_NULL(ext
->tag_table
)) {
1746 onig_st_foreach((CalloutTagTable
*)ext
->tag_table
, i_callout_callout_list_set
,
1750 for (i
= 0; i
< ext
->callout_num
; i
++) {
1751 CalloutListEntry
* e
= ext
->callout_list
+ i
;
1752 if (e
->of
== ONIG_CALLOUT_OF_NAME
) {
1753 for (j
= 0; j
< e
->u
.arg
.num
; j
++) {
1754 if (e
->u
.arg
.types
[j
] == ONIG_TYPE_TAG
) {
1758 start
= e
->u
.arg
.vals
[j
].s
.start
;
1759 end
= e
->u
.arg
.vals
[j
].s
.end
;
1760 num
= onig_get_callout_num_by_tag(reg
, start
, end
);
1761 if (num
< 0) return num
;
1762 e
->u
.arg
.vals
[j
].tag
= num
;
1772 onig_callout_tag_is_exist_at_callout_num(regex_t
* reg
, int callout_num
)
1774 RegexExt
* ext
= REG_EXTP(reg
);
1776 if (IS_NULL(ext
) || IS_NULL(ext
->callout_list
)) return 0;
1777 if (callout_num
> ext
->callout_num
) return 0;
1779 return (ext
->callout_list
[callout_num
].flag
&
1780 CALLOUT_TAG_LIST_FLAG_TAG_EXIST
) != 0 ? 1 : 0;
1784 i_free_callout_tag_entry(UChar
* key
, CalloutTagVal e
, void* arg ARG_UNUSED
)
1791 callout_tag_table_clear(CalloutTagTable
* t
)
1793 if (IS_NOT_NULL(t
)) {
1794 onig_st_foreach(t
, i_free_callout_tag_entry
, 0);
1800 onig_callout_tag_table_free(void* table
)
1802 CalloutTagTable
* t
= (CalloutTagTable
* )table
;
1804 if (IS_NOT_NULL(t
)) {
1805 int r
= callout_tag_table_clear(t
);
1806 if (r
!= 0) return r
;
1808 onig_st_free_table(t
);
1815 onig_get_callout_num_by_tag(regex_t
* reg
,
1816 const UChar
* tag
, const UChar
* tag_end
)
1822 ext
= REG_EXTP(reg
);
1823 if (IS_NULL(ext
) || IS_NULL(ext
->tag_table
))
1824 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1826 r
= onig_st_lookup_strend(ext
->tag_table
, tag
, tag_end
,
1827 (HashDataType
* )((void* )(&e
)));
1828 if (r
== 0) return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1832 static CalloutTagVal
1833 callout_tag_find(CalloutTagTable
* t
, const UChar
* name
, const UChar
* name_end
)
1838 if (IS_NOT_NULL(t
)) {
1839 onig_st_lookup_strend(t
, name
, name_end
, (HashDataType
* )((void* )(&e
)));
1845 callout_tag_table_new(CalloutTagTable
** rt
)
1850 t
= onig_st_init_strend_table_with_size(INIT_TAG_NAMES_ALLOC_NUM
);
1851 CHECK_NULL_RETURN_MEMERR(t
);
1858 callout_tag_entry_raw(CalloutTagTable
* t
, UChar
* name
, UChar
* name_end
,
1859 CalloutTagVal entry_val
)
1864 if (name_end
- name
<= 0)
1865 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
1867 val
= callout_tag_find(t
, name
, name_end
);
1869 return ONIGERR_MULTIPLEX_DEFINED_NAME
;
1871 r
= onig_st_insert_strend(t
, name
, name_end
, (HashDataType
)entry_val
);
1872 if (r
< 0) return r
;
1878 ext_ensure_tag_table(regex_t
* reg
)
1884 ext
= onig_get_regex_ext(reg
);
1885 CHECK_NULL_RETURN_MEMERR(ext
);
1887 if (IS_NULL(ext
->tag_table
)) {
1888 r
= callout_tag_table_new(&t
);
1889 if (r
!= ONIG_NORMAL
) return r
;
1898 callout_tag_entry(regex_t
* reg
, UChar
* name
, UChar
* name_end
,
1899 CalloutTagVal entry_val
)
1903 CalloutListEntry
* e
;
1905 r
= ext_ensure_tag_table(reg
);
1906 if (r
!= ONIG_NORMAL
) return r
;
1908 ext
= onig_get_regex_ext(reg
);
1909 CHECK_NULL_RETURN_MEMERR(ext
);
1910 r
= callout_tag_entry_raw(ext
->tag_table
, name
, name_end
, entry_val
);
1912 e
= onig_reg_callout_list_at(reg
, (int )entry_val
);
1913 CHECK_NULL_RETURN_MEMERR(e
);
1914 e
->tag_start
= name
;
1915 e
->tag_end
= name_end
;
1920 #endif /* USE_CALLOUT */
1923 #define INIT_SCANENV_MEMENV_ALLOC_SIZE 16
1926 scan_env_clear(ScanEnv
* env
)
1928 MEM_STATUS_CLEAR(env
->capture_history
);
1929 MEM_STATUS_CLEAR(env
->bt_mem_start
);
1930 MEM_STATUS_CLEAR(env
->bt_mem_end
);
1931 MEM_STATUS_CLEAR(env
->backrefed_mem
);
1932 env
->error
= (UChar
* )NULL
;
1933 env
->error_end
= (UChar
* )NULL
;
1937 env
->unset_addr_list
= NULL
;
1938 env
->has_call_zero
= 0;
1944 env
->mem_env_dynamic
= (MemEnv
* )NULL
;
1946 xmemset(env
->mem_env_static
, 0, sizeof(env
->mem_env_static
));
1948 env
->parse_depth
= 0;
1951 env
->save_alloc_num
= 0;
1956 scan_env_add_mem_entry(ScanEnv
* env
)
1961 need
= env
->num_mem
+ 1;
1962 if (need
> MaxCaptureNum
&& MaxCaptureNum
!= 0)
1963 return ONIGERR_TOO_MANY_CAPTURES
;
1965 if (need
>= SCANENV_MEMENV_SIZE
) {
1966 if (env
->mem_alloc
<= need
) {
1967 if (IS_NULL(env
->mem_env_dynamic
)) {
1968 alloc
= INIT_SCANENV_MEMENV_ALLOC_SIZE
;
1969 p
= (MemEnv
* )xmalloc(sizeof(MemEnv
) * alloc
);
1970 CHECK_NULL_RETURN_MEMERR(p
);
1971 xmemcpy(p
, env
->mem_env_static
, sizeof(env
->mem_env_static
));
1974 alloc
= env
->mem_alloc
* 2;
1975 p
= (MemEnv
* )xrealloc(env
->mem_env_dynamic
, sizeof(MemEnv
) * alloc
, sizeof(MemEnv
)*env
->mem_alloc
);
1976 CHECK_NULL_RETURN_MEMERR(p
);
1979 for (i
= env
->num_mem
+ 1; i
< alloc
; i
++) {
1980 p
[i
].node
= NULL_NODE
;
1987 env
->mem_env_dynamic
= p
;
1988 env
->mem_alloc
= alloc
;
1993 return env
->num_mem
;
1997 scan_env_set_mem_node(ScanEnv
* env
, int num
, Node
* node
)
1999 if (env
->num_mem
>= num
)
2000 SCANENV_MEMENV(env
)[num
].node
= node
;
2002 return ONIGERR_PARSER_BUG
;
2007 onig_node_free(Node
* node
)
2010 if (IS_NULL(node
)) return ;
2012 #ifdef DEBUG_NODE_FREE
2013 fprintf(stderr
, "onig_node_free: %p\n", node
);
2016 switch (NODE_TYPE(node
)) {
2018 if (STR_(node
)->capa
!= 0 &&
2019 IS_NOT_NULL(STR_(node
)->s
) && STR_(node
)->s
!= STR_(node
)->buf
) {
2020 xfree(STR_(node
)->s
);
2026 onig_node_free(NODE_CAR(node
));
2028 Node
* next_node
= NODE_CDR(node
);
2038 CClassNode
* cc
= CCLASS_(node
);
2041 bbuf_free(cc
->mbuf
);
2046 if (IS_NOT_NULL(BACKREF_(node
)->back_dynamic
))
2047 xfree(BACKREF_(node
)->back_dynamic
);
2050 case NODE_ENCLOSURE
:
2051 if (NODE_BODY(node
))
2052 onig_node_free(NODE_BODY(node
));
2055 EnclosureNode
* en
= ENCLOSURE_(node
);
2056 if (en
->type
== ENCLOSURE_IF_ELSE
) {
2057 onig_node_free(en
->te
.Then
);
2058 onig_node_free(en
->te
.Else
);
2065 if (NODE_BODY(node
))
2066 onig_node_free(NODE_BODY(node
));
2079 cons_node_free_alone(Node
* node
)
2083 onig_node_free(node
);
2091 node
= (Node
* )xmalloc(sizeof(Node
));
2092 CHECK_NULL_RETURN(node
);
2093 xmemset(node
, 0, sizeof(*node
));
2095 #ifdef DEBUG_NODE_FREE
2096 fprintf(stderr
, "node_new: %p\n", node
);
2103 initialize_cclass(CClassNode
* cc
)
2105 BITSET_CLEAR(cc
->bs
);
2111 node_new_cclass(void)
2113 Node
* node
= node_new();
2114 CHECK_NULL_RETURN(node
);
2116 NODE_SET_TYPE(node
, NODE_CCLASS
);
2117 initialize_cclass(CCLASS_(node
));
2122 node_new_ctype(int type
, int not, OnigOptionType options
)
2124 Node
* node
= node_new();
2125 CHECK_NULL_RETURN(node
);
2127 NODE_SET_TYPE(node
, NODE_CTYPE
);
2128 CTYPE_(node
)->ctype
= type
;
2129 CTYPE_(node
)->not = not;
2130 CTYPE_(node
)->options
= options
;
2131 CTYPE_(node
)->ascii_mode
= IS_ASCII_MODE_CTYPE_OPTION(type
, options
);
2136 node_new_anychar(void)
2138 Node
* node
= node_new_ctype(CTYPE_ANYCHAR
, 0, ONIG_OPTION_NONE
);
2143 node_new_anychar_with_fixed_option(OnigOptionType option
)
2148 node
= node_new_anychar();
2149 CHECK_NULL_RETURN(node
);
2152 ct
->options
= option
;
2153 NODE_STATUS_ADD(node
, FIXED_OPTION
);
2158 node_new_no_newline(Node
** node
, ScanEnv
* env
)
2162 n
= node_new_anychar_with_fixed_option(ONIG_OPTION_NONE
);
2163 CHECK_NULL_RETURN_MEMERR(n
);
2169 node_new_true_anychar(Node
** node
, ScanEnv
* env
)
2173 n
= node_new_anychar_with_fixed_option(ONIG_OPTION_MULTILINE
);
2174 CHECK_NULL_RETURN_MEMERR(n
);
2180 node_new_list(Node
* left
, Node
* right
)
2182 Node
* node
= node_new();
2183 CHECK_NULL_RETURN(node
);
2185 NODE_SET_TYPE(node
, NODE_LIST
);
2186 NODE_CAR(node
) = left
;
2187 NODE_CDR(node
) = right
;
2192 onig_node_new_list(Node
* left
, Node
* right
)
2194 return node_new_list(left
, right
);
2198 onig_node_list_add(Node
* list
, Node
* x
)
2202 n
= onig_node_new_list(x
, NULL
);
2203 if (IS_NULL(n
)) return NULL_NODE
;
2205 if (IS_NOT_NULL(list
)) {
2206 while (IS_NOT_NULL(NODE_CDR(list
)))
2207 list
= NODE_CDR(list
);
2216 onig_node_new_alt(Node
* left
, Node
* right
)
2218 Node
* node
= node_new();
2219 CHECK_NULL_RETURN(node
);
2221 NODE_SET_TYPE(node
, NODE_ALT
);
2222 NODE_CAR(node
) = left
;
2223 NODE_CDR(node
) = right
;
2228 make_list_or_alt(NodeType type
, int n
, Node
* ns
[])
2232 if (n
<= 0) return NULL_NODE
;
2236 CHECK_NULL_RETURN(r
);
2237 NODE_SET_TYPE(r
, type
);
2238 NODE_CAR(r
) = ns
[0];
2239 NODE_CDR(r
) = NULL_NODE
;
2245 CHECK_NULL_RETURN(r
);
2247 right
= make_list_or_alt(type
, n
- 1, ns
+ 1);
2248 if (IS_NULL(right
)) {
2253 NODE_SET_TYPE(r
, type
);
2254 NODE_CAR(r
) = ns
[0];
2255 NODE_CDR(r
) = right
;
2262 make_list(int n
, Node
* ns
[])
2264 return make_list_or_alt(NODE_LIST
, n
, ns
);
2268 make_alt(int n
, Node
* ns
[])
2270 return make_list_or_alt(NODE_ALT
, n
, ns
);
2274 onig_node_new_anchor(int type
, int ascii_mode
)
2276 Node
* node
= node_new();
2277 CHECK_NULL_RETURN(node
);
2279 NODE_SET_TYPE(node
, NODE_ANCHOR
);
2280 ANCHOR_(node
)->type
= type
;
2281 ANCHOR_(node
)->char_len
= -1;
2282 ANCHOR_(node
)->ascii_mode
= ascii_mode
;
2287 node_new_backref(int back_num
, int* backrefs
, int by_name
,
2288 #ifdef USE_BACKREF_WITH_LEVEL
2289 int exist_level
, int nest_level
,
2294 Node
* node
= node_new();
2296 CHECK_NULL_RETURN(node
);
2298 NODE_SET_TYPE(node
, NODE_BACKREF
);
2299 BACKREF_(node
)->back_num
= back_num
;
2300 BACKREF_(node
)->back_dynamic
= (int* )NULL
;
2302 NODE_STATUS_ADD(node
, BY_NAME
);
2304 #ifdef USE_BACKREF_WITH_LEVEL
2305 if (exist_level
!= 0) {
2306 NODE_STATUS_ADD(node
, NEST_LEVEL
);
2307 BACKREF_(node
)->nest_level
= nest_level
;
2311 for (i
= 0; i
< back_num
; i
++) {
2312 if (backrefs
[i
] <= env
->num_mem
&&
2313 IS_NULL(SCANENV_MEMENV(env
)[backrefs
[i
]].node
)) {
2314 NODE_STATUS_ADD(node
, RECURSION
); /* /...(\1).../ */
2319 if (back_num
<= NODE_BACKREFS_SIZE
) {
2320 for (i
= 0; i
< back_num
; i
++)
2321 BACKREF_(node
)->back_static
[i
] = backrefs
[i
];
2324 int* p
= (int* )xmalloc(sizeof(int) * back_num
);
2326 onig_node_free(node
);
2329 BACKREF_(node
)->back_dynamic
= p
;
2330 for (i
= 0; i
< back_num
; i
++)
2337 node_new_backref_checker(int back_num
, int* backrefs
, int by_name
,
2338 #ifdef USE_BACKREF_WITH_LEVEL
2339 int exist_level
, int nest_level
,
2345 node
= node_new_backref(back_num
, backrefs
, by_name
,
2346 #ifdef USE_BACKREF_WITH_LEVEL
2347 exist_level
, nest_level
,
2350 CHECK_NULL_RETURN(node
);
2352 NODE_STATUS_ADD(node
, CHECKER
);
2358 node_new_call(UChar
* name
, UChar
* name_end
, int gnum
, int by_number
)
2360 Node
* node
= node_new();
2361 CHECK_NULL_RETURN(node
);
2363 NODE_SET_TYPE(node
, NODE_CALL
);
2364 CALL_(node
)->by_number
= by_number
;
2365 CALL_(node
)->name
= name
;
2366 CALL_(node
)->name_end
= name_end
;
2367 CALL_(node
)->group_num
= gnum
;
2368 CALL_(node
)->entry_count
= 1;
2374 node_new_quantifier(int lower
, int upper
, int by_number
)
2376 Node
* node
= node_new();
2377 CHECK_NULL_RETURN(node
);
2379 NODE_SET_TYPE(node
, NODE_QUANT
);
2380 QUANT_(node
)->lower
= lower
;
2381 QUANT_(node
)->upper
= upper
;
2382 QUANT_(node
)->greedy
= 1;
2383 QUANT_(node
)->body_empty_info
= QUANT_BODY_IS_NOT_EMPTY
;
2384 QUANT_(node
)->head_exact
= NULL_NODE
;
2385 QUANT_(node
)->next_head_exact
= NULL_NODE
;
2386 QUANT_(node
)->is_refered
= 0;
2388 NODE_STATUS_ADD(node
, BY_NUMBER
);
2394 node_new_enclosure(enum EnclosureType type
)
2396 Node
* node
= node_new();
2397 CHECK_NULL_RETURN(node
);
2399 NODE_SET_TYPE(node
, NODE_ENCLOSURE
);
2400 ENCLOSURE_(node
)->type
= type
;
2403 case ENCLOSURE_MEMORY
:
2404 ENCLOSURE_(node
)->m
.regnum
= 0;
2405 ENCLOSURE_(node
)->m
.called_addr
= -1;
2406 ENCLOSURE_(node
)->m
.entry_count
= 1;
2407 ENCLOSURE_(node
)->m
.called_state
= 0;
2410 case ENCLOSURE_OPTION
:
2411 ENCLOSURE_(node
)->o
.options
= 0;
2414 case ENCLOSURE_STOP_BACKTRACK
:
2417 case ENCLOSURE_IF_ELSE
:
2418 ENCLOSURE_(node
)->te
.Then
= 0;
2419 ENCLOSURE_(node
)->te
.Else
= 0;
2423 ENCLOSURE_(node
)->opt_count
= 0;
2428 onig_node_new_enclosure(int type
)
2430 return node_new_enclosure(type
);
2434 node_new_enclosure_if_else(Node
* cond
, Node
* Then
, Node
* Else
)
2437 n
= node_new_enclosure(ENCLOSURE_IF_ELSE
);
2438 CHECK_NULL_RETURN(n
);
2440 NODE_BODY(n
) = cond
;
2441 ENCLOSURE_(n
)->te
.Then
= Then
;
2442 ENCLOSURE_(n
)->te
.Else
= Else
;
2447 node_new_memory(int is_named
)
2449 Node
* node
= node_new_enclosure(ENCLOSURE_MEMORY
);
2450 CHECK_NULL_RETURN(node
);
2452 NODE_STATUS_ADD(node
, NAMED_GROUP
);
2458 node_new_option(OnigOptionType option
)
2460 Node
* node
= node_new_enclosure(ENCLOSURE_OPTION
);
2461 CHECK_NULL_RETURN(node
);
2462 ENCLOSURE_(node
)->o
.options
= option
;
2467 node_new_fail(Node
** node
, ScanEnv
* env
)
2470 CHECK_NULL_RETURN_MEMERR(*node
);
2472 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2473 GIMMICK_(*node
)->type
= GIMMICK_FAIL
;
2478 node_new_save_gimmick(Node
** node
, enum SaveType save_type
, ScanEnv
* env
)
2483 r
= save_entry(env
, save_type
, &id
);
2484 if (r
!= ONIG_NORMAL
) return r
;
2487 CHECK_NULL_RETURN_MEMERR(*node
);
2489 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2490 GIMMICK_(*node
)->id
= id
;
2491 GIMMICK_(*node
)->type
= GIMMICK_SAVE
;
2492 GIMMICK_(*node
)->detail_type
= (int )save_type
;
2498 node_new_update_var_gimmick(Node
** node
, enum UpdateVarType update_var_type
,
2499 int id
, ScanEnv
* env
)
2502 CHECK_NULL_RETURN_MEMERR(*node
);
2504 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2505 GIMMICK_(*node
)->id
= id
;
2506 GIMMICK_(*node
)->type
= GIMMICK_UPDATE_VAR
;
2507 GIMMICK_(*node
)->detail_type
= (int )update_var_type
;
2513 node_new_keep(Node
** node
, ScanEnv
* env
)
2517 r
= node_new_save_gimmick(node
, SAVE_KEEP
, env
);
2518 if (r
!= 0) return r
;
2527 onig_free_reg_callout_list(int n
, CalloutListEntry
* list
)
2532 if (IS_NULL(list
)) return ;
2534 for (i
= 0; i
< n
; i
++) {
2535 if (list
[i
].of
== ONIG_CALLOUT_OF_NAME
) {
2536 for (j
= 0; j
< list
[i
].u
.arg
.passed_num
; j
++) {
2537 if (list
[i
].u
.arg
.types
[j
] == ONIG_TYPE_STRING
) {
2538 if (IS_NOT_NULL(list
[i
].u
.arg
.vals
[j
].s
.start
))
2539 xfree(list
[i
].u
.arg
.vals
[j
].s
.start
);
2543 else { /* ONIG_CALLOUT_OF_CONTENTS */
2544 if (IS_NOT_NULL(list
[i
].u
.content
.start
)) {
2545 xfree((void* )list
[i
].u
.content
.start
);
2553 extern CalloutListEntry
*
2554 onig_reg_callout_list_at(regex_t
* reg
, int num
)
2556 RegexExt
* ext
= REG_EXTP(reg
);
2557 CHECK_NULL_RETURN(ext
);
2559 if (num
<= 0 || num
> ext
->callout_num
)
2563 return ext
->callout_list
+ num
;
2567 reg_callout_list_entry(ScanEnv
* env
, int* rnum
)
2569 #define INIT_CALLOUT_LIST_NUM 3
2572 CalloutListEntry
* list
;
2573 CalloutListEntry
* e
;
2576 ext
= onig_get_regex_ext(env
->reg
);
2577 CHECK_NULL_RETURN_MEMERR(ext
);
2579 if (IS_NULL(ext
->callout_list
)) {
2580 list
= (CalloutListEntry
* )xmalloc(sizeof(*list
) * INIT_CALLOUT_LIST_NUM
);
2581 CHECK_NULL_RETURN_MEMERR(list
);
2583 ext
->callout_list
= list
;
2584 ext
->callout_list_alloc
= INIT_CALLOUT_LIST_NUM
;
2585 ext
->callout_num
= 0;
2588 num
= ext
->callout_num
+ 1;
2589 if (num
> ext
->callout_list_alloc
) {
2590 int alloc
= ext
->callout_list_alloc
* 2;
2591 list
= (CalloutListEntry
* )xrealloc(ext
->callout_list
,
2592 sizeof(CalloutListEntry
) * alloc
,
2593 sizeof(CalloutListEntry
) * ext
->callout_list_alloc
);
2594 CHECK_NULL_RETURN_MEMERR(list
);
2596 ext
->callout_list
= list
;
2597 ext
->callout_list_alloc
= alloc
;
2600 e
= ext
->callout_list
+ (num
- 1);
2604 e
->in
= ONIG_CALLOUT_OF_CONTENTS
;
2611 e
->u
.arg
.passed_num
= 0;
2613 ext
->callout_num
= num
;
2619 node_new_callout(Node
** node
, OnigCalloutOf callout_of
, int num
, int id
,
2623 CHECK_NULL_RETURN_MEMERR(*node
);
2625 NODE_SET_TYPE(*node
, NODE_GIMMICK
);
2626 GIMMICK_(*node
)->id
= id
;
2627 GIMMICK_(*node
)->num
= num
;
2628 GIMMICK_(*node
)->type
= GIMMICK_CALLOUT
;
2629 GIMMICK_(*node
)->detail_type
= (int )callout_of
;
2636 make_extended_grapheme_cluster(Node
** node
, ScanEnv
* env
)
2643 /* \X == (?>\O(?:\Y\O)*) */
2648 ns
[0] = onig_node_new_anchor(ANCHOR_NO_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
, 0);
2649 if (IS_NULL(ns
[0])) goto err
;
2651 r
= node_new_true_anychar(&ns
[1], env
);
2652 if (r
!= 0) goto err1
;
2654 x
= make_list(2, ns
);
2655 if (IS_NULL(x
)) goto err
;
2659 x
= node_new_quantifier(0, REPEAT_INFINITE
, 1);
2660 if (IS_NULL(x
)) goto err
;
2662 NODE_BODY(x
) = ns
[0];
2666 r
= node_new_true_anychar(&ns
[0], env
);
2667 if (r
!= 0) goto err1
;
2669 x
= make_list(2, ns
);
2670 if (IS_NULL(x
)) goto err
;
2675 x
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
2676 if (IS_NULL(x
)) goto err
;
2678 NODE_BODY(x
) = ns
[0];
2686 for (i
= 0; i
< 2; i
++) onig_node_free(ns
[i
]);
2691 make_absent_engine(Node
** node
, int pre_save_right_id
, Node
* absent
,
2692 Node
* step_one
, int lower
, int upper
, int possessive
,
2693 int is_range_cutter
, ScanEnv
* env
)
2701 for (i
= 0; i
< 4; i
++) ns
[i
] = NULL_NODE
;
2704 ns
[3] = step_one
; /* for err */
2705 r
= node_new_save_gimmick(&ns
[0], SAVE_S
, env
);
2706 if (r
!= 0) goto err
;
2708 id
= GIMMICK_(ns
[0])->id
;
2709 r
= node_new_update_var_gimmick(&ns
[2], UPDATE_VAR_RIGHT_RANGE_FROM_S_STACK
,
2711 if (r
!= 0) goto err
;
2713 r
= node_new_fail(&ns
[3], env
);
2714 if (r
!= 0) goto err
;
2716 x
= make_list(4, ns
);
2717 if (IS_NULL(x
)) goto err0
;
2721 ns
[2] = ns
[3] = NULL_NODE
;
2723 x
= make_alt(2, ns
);
2724 if (IS_NULL(x
)) goto err0
;
2728 x
= node_new_quantifier(lower
, upper
, 0);
2729 if (IS_NULL(x
)) goto err0
;
2731 NODE_BODY(x
) = ns
[0];
2734 if (possessive
!= 0) {
2735 x
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
2736 if (IS_NULL(x
)) goto err0
;
2738 NODE_BODY(x
) = ns
[0];
2742 r
= node_new_update_var_gimmick(&ns
[1], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2743 pre_save_right_id
, env
);
2744 if (r
!= 0) goto err
;
2746 r
= node_new_fail(&ns
[2], env
);
2747 if (r
!= 0) goto err
;
2749 x
= make_list(2, ns
+ 1);
2750 if (IS_NULL(x
)) goto err0
;
2752 ns
[1] = x
; ns
[2] = NULL_NODE
;
2754 x
= make_alt(2, ns
);
2755 if (IS_NULL(x
)) goto err0
;
2757 if (is_range_cutter
!= 0)
2758 NODE_STATUS_ADD(x
, SUPER
);
2766 for (i
= 0; i
< 4; i
++) onig_node_free(ns
[i
]);
2771 make_absent_tail(Node
** node1
, Node
** node2
, int pre_save_right_id
,
2780 *node1
= *node2
= NULL_NODE
;
2781 save
= ns
[0] = ns
[1] = NULL_NODE
;
2783 r
= node_new_save_gimmick(&save
, SAVE_RIGHT_RANGE
, env
);
2784 if (r
!= 0) goto err
;
2786 id
= GIMMICK_(save
)->id
;
2787 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2789 if (r
!= 0) goto err
;
2791 r
= node_new_fail(&ns
[1], env
);
2792 if (r
!= 0) goto err
;
2794 x
= make_list(2, ns
);
2795 if (IS_NULL(x
)) goto err0
;
2797 ns
[0] = NULL_NODE
; ns
[1] = x
;
2799 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2800 pre_save_right_id
, env
);
2801 if (r
!= 0) goto err
;
2803 x
= make_alt(2, ns
);
2804 if (IS_NULL(x
)) goto err0
;
2813 onig_node_free(save
);
2814 onig_node_free(ns
[0]);
2815 onig_node_free(ns
[1]);
2820 make_range_clear(Node
** node
, ScanEnv
* env
)
2829 save
= ns
[0] = ns
[1] = NULL_NODE
;
2831 r
= node_new_save_gimmick(&save
, SAVE_RIGHT_RANGE
, env
);
2832 if (r
!= 0) goto err
;
2834 id
= GIMMICK_(save
)->id
;
2835 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2837 if (r
!= 0) goto err
;
2839 r
= node_new_fail(&ns
[1], env
);
2840 if (r
!= 0) goto err
;
2842 x
= make_list(2, ns
);
2843 if (IS_NULL(x
)) goto err0
;
2845 ns
[0] = NULL_NODE
; ns
[1] = x
;
2847 r
= node_new_update_var_gimmick(&ns
[0], UPDATE_VAR_RIGHT_RANGE_INIT
, 0, env
);
2848 if (r
!= 0) goto err
;
2850 x
= make_alt(2, ns
);
2851 if (IS_NULL(x
)) goto err0
;
2853 NODE_STATUS_ADD(x
, SUPER
);
2858 x
= make_list(2, ns
);
2859 if (IS_NULL(x
)) goto err0
;
2867 onig_node_free(save
);
2868 onig_node_free(ns
[0]);
2869 onig_node_free(ns
[1]);
2874 is_simple_one_char_repeat(Node
* node
, Node
** rquant
, Node
** rbody
,
2875 int* is_possessive
, ScanEnv
* env
)
2880 *rquant
= *rbody
= 0;
2883 if (NODE_TYPE(node
) == NODE_QUANT
) {
2887 if (NODE_TYPE(node
) == NODE_ENCLOSURE
) {
2888 EnclosureNode
* en
= ENCLOSURE_(node
);
2889 if (en
->type
== ENCLOSURE_STOP_BACKTRACK
) {
2891 quant
= NODE_ENCLOSURE_BODY(en
);
2892 if (NODE_TYPE(quant
) != NODE_QUANT
)
2902 if (QUANT_(quant
)->greedy
== 0)
2905 body
= NODE_BODY(quant
);
2906 switch (NODE_TYPE(body
)) {
2910 StrNode
* sn
= STR_(body
);
2914 while (s
< sn
->end
) {
2915 s
+= enclen(env
->enc
, s
);
2930 if (node
!= quant
) {
2931 NODE_BODY(node
) = 0;
2932 onig_node_free(node
);
2934 NODE_BODY(quant
) = NULL_NODE
;
2941 make_absent_tree_for_simple_one_char_repeat(Node
** node
, Node
* absent
, Node
* quant
,
2942 Node
* body
, int possessive
, ScanEnv
* env
)
2953 ns
[0] = ns
[1] = NULL_NODE
;
2954 ns
[2] = body
, ns
[3] = absent
;
2956 lower
= QUANT_(quant
)->lower
;
2957 upper
= QUANT_(quant
)->upper
;
2958 onig_node_free(quant
);
2960 r
= node_new_save_gimmick(&ns
[0], SAVE_RIGHT_RANGE
, env
);
2961 if (r
!= 0) goto err
;
2963 id1
= GIMMICK_(ns
[0])->id
;
2965 r
= make_absent_engine(&ns
[1], id1
, absent
, body
, lower
, upper
, possessive
,
2967 if (r
!= 0) goto err
;
2969 ns
[2] = ns
[3] = NULL_NODE
;
2971 r
= node_new_update_var_gimmick(&ns
[2], UPDATE_VAR_RIGHT_RANGE_FROM_STACK
,
2973 if (r
!= 0) goto err
;
2975 x
= make_list(3, ns
);
2976 if (IS_NULL(x
)) goto err0
;
2984 for (i
= 0; i
< 4; i
++) onig_node_free(ns
[i
]);
2989 make_absent_tree(Node
** node
, Node
* absent
, Node
* expr
, int is_range_cutter
,
3000 for (i
= 0; i
< 7; i
++) ns
[i
] = NULL_NODE
;
3001 ns
[4] = expr
; ns
[5] = absent
;
3003 if (is_range_cutter
== 0) {
3007 if (expr
== NULL_NODE
) {
3008 /* default expr \O* */
3009 quant
= node_new_quantifier(0, REPEAT_INFINITE
, 0);
3010 if (IS_NULL(quant
)) goto err0
;
3012 r
= node_new_true_anychar(&body
, env
);
3014 onig_node_free(quant
);
3021 if (is_simple_one_char_repeat(expr
, &quant
, &body
, &possessive
, env
)) {
3023 r
= make_absent_tree_for_simple_one_char_repeat(node
, absent
, quant
,
3024 body
, possessive
, env
);
3027 onig_node_free(quant
);
3028 onig_node_free(body
);
3037 r
= node_new_save_gimmick(&ns
[0], SAVE_RIGHT_RANGE
, env
);
3038 if (r
!= 0) goto err
;
3040 id1
= GIMMICK_(ns
[0])->id
;
3042 r
= node_new_save_gimmick(&ns
[1], SAVE_S
, env
);
3043 if (r
!= 0) goto err
;
3045 id2
= GIMMICK_(ns
[1])->id
;
3047 r
= node_new_true_anychar(&ns
[3], env
);
3048 if (r
!= 0) goto err
;
3051 r
= make_absent_engine(&ns
[2], id1
, absent
, ns
[3], 0, REPEAT_INFINITE
,
3052 possessive
, is_range_cutter
, env
);
3053 if (r
!= 0) goto err
;
3058 r
= node_new_update_var_gimmick(&ns
[3], UPDATE_VAR_S_FROM_STACK
, id2
, env
);
3059 if (r
!= 0) goto err
;
3061 if (is_range_cutter
!= 0) {
3062 x
= make_list(4, ns
);
3063 if (IS_NULL(x
)) goto err0
;
3066 r
= make_absent_tail(&ns
[5], &ns
[6], id1
, env
);
3067 if (r
!= 0) goto err
;
3069 x
= make_list(7, ns
);
3070 if (IS_NULL(x
)) goto err0
;
3079 for (i
= 0; i
< 7; i
++) onig_node_free(ns
[i
]);
3084 onig_node_str_cat(Node
* node
, const UChar
* s
, const UChar
* end
)
3086 int addlen
= (int )(end
- s
);
3089 int len
= (int )(STR_(node
)->end
- STR_(node
)->s
);
3091 if (STR_(node
)->capa
> 0 || (len
+ addlen
> NODE_STRING_BUF_SIZE
- 1)) {
3093 int capa
= len
+ addlen
+ NODE_STRING_MARGIN
;
3095 if (capa
<= STR_(node
)->capa
) {
3096 onig_strcpy(STR_(node
)->s
+ len
, s
, end
);
3099 if (STR_(node
)->s
== STR_(node
)->buf
)
3100 p
= strcat_capa_from_static(STR_(node
)->s
, STR_(node
)->end
,
3103 p
= strcat_capa(STR_(node
)->s
, STR_(node
)->end
, s
, end
, capa
, STR_(node
)->capa
);
3105 CHECK_NULL_RETURN_MEMERR(p
);
3107 STR_(node
)->capa
= capa
;
3111 onig_strcpy(STR_(node
)->s
+ len
, s
, end
);
3113 STR_(node
)->end
= STR_(node
)->s
+ len
+ addlen
;
3120 onig_node_str_set(Node
* node
, const UChar
* s
, const UChar
* end
)
3122 onig_node_str_clear(node
);
3123 return onig_node_str_cat(node
, s
, end
);
3127 node_str_cat_char(Node
* node
, UChar c
)
3132 return onig_node_str_cat(node
, s
, s
+ 1);
3136 onig_node_conv_to_str_node(Node
* node
, int flag
)
3138 NODE_SET_TYPE(node
, NODE_STRING
);
3139 STR_(node
)->flag
= flag
;
3140 STR_(node
)->capa
= 0;
3141 STR_(node
)->s
= STR_(node
)->buf
;
3142 STR_(node
)->end
= STR_(node
)->buf
;
3146 onig_node_str_clear(Node
* node
)
3148 if (STR_(node
)->capa
!= 0 &&
3149 IS_NOT_NULL(STR_(node
)->s
) && STR_(node
)->s
!= STR_(node
)->buf
) {
3150 xfree(STR_(node
)->s
);
3153 STR_(node
)->capa
= 0;
3154 STR_(node
)->flag
= 0;
3155 STR_(node
)->s
= STR_(node
)->buf
;
3156 STR_(node
)->end
= STR_(node
)->buf
;
3160 node_new_str(const UChar
* s
, const UChar
* end
)
3162 Node
* node
= node_new();
3163 CHECK_NULL_RETURN(node
);
3165 NODE_SET_TYPE(node
, NODE_STRING
);
3166 STR_(node
)->capa
= 0;
3167 STR_(node
)->flag
= 0;
3168 STR_(node
)->s
= STR_(node
)->buf
;
3169 STR_(node
)->end
= STR_(node
)->buf
;
3170 if (onig_node_str_cat(node
, s
, end
)) {
3171 onig_node_free(node
);
3178 onig_node_new_str(const UChar
* s
, const UChar
* end
)
3180 return node_new_str(s
, end
);
3184 node_new_str_raw(UChar
* s
, UChar
* end
)
3186 Node
* node
= node_new_str(s
, end
);
3187 CHECK_NULL_RETURN(node
);
3188 NODE_STRING_SET_RAW(node
);
3193 node_new_empty(void)
3195 return node_new_str(NULL
, NULL
);
3199 node_new_str_raw_char(UChar c
)
3204 return node_new_str_raw(p
, p
+ 1);
3208 str_node_split_last_char(Node
* node
, OnigEncoding enc
)
3216 if (sn
->end
> sn
->s
) {
3217 p
= onigenc_get_prev_char_head(enc
, sn
->s
, sn
->end
);
3218 if (p
&& p
> sn
->s
) { /* can be split. */
3219 rn
= node_new_str(p
, sn
->end
);
3220 CHECK_NULL_RETURN(rn
);
3221 if (NODE_STRING_IS_RAW(node
))
3222 NODE_STRING_SET_RAW(rn
);
3224 sn
->end
= (UChar
* )p
;
3231 str_node_can_be_split(Node
* node
, OnigEncoding enc
)
3233 StrNode
* sn
= STR_(node
);
3234 if (sn
->end
> sn
->s
) {
3235 return ((enclen(enc
, sn
->s
) < sn
->end
- sn
->s
) ? 1 : 0);
3240 #ifdef USE_PAD_TO_SHORT_BYTE_CHAR
3242 node_str_head_pad(StrNode
* sn
, int num
, UChar val
)
3244 UChar buf
[NODE_STRING_BUF_SIZE
];
3247 len
= sn
->end
- sn
->s
;
3248 onig_strcpy(buf
, sn
->s
, sn
->end
);
3249 onig_strcpy(&(sn
->s
[num
]), buf
, buf
+ len
);
3252 for (i
= 0; i
< num
; i
++) {
3259 onig_scan_unsigned_number(UChar
** src
, const UChar
* end
, OnigEncoding enc
)
3261 unsigned int num
, val
;
3269 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
3270 val
= (unsigned int )DIGITVAL(c
);
3271 if ((INT_MAX_LIMIT
- val
) / 10UL < num
)
3272 return -1; /* overflow */
3274 num
= num
* 10 + val
;
3286 scan_unsigned_hexadecimal_number(UChar
** src
, UChar
* end
, int minlen
,
3287 int maxlen
, OnigEncoding enc
)
3290 unsigned int num
, val
;
3297 while (! PEND
&& n
< maxlen
) {
3299 if (IS_CODE_XDIGIT_ASCII(enc
, c
)) {
3301 val
= (unsigned int )XDIGITVAL(enc
,c
);
3302 if ((INT_MAX_LIMIT
- val
) / 16UL < num
)
3303 return ONIGERR_TOO_BIG_NUMBER
; /* overflow */
3305 num
= (num
<< 4) + XDIGITVAL(enc
,c
);
3314 return ONIGERR_INVALID_CODE_POINT_VALUE
;
3321 scan_unsigned_octal_number(UChar
** src
, UChar
* end
, int maxlen
,
3325 unsigned int num
, val
;
3330 while (! PEND
&& maxlen
-- != 0) {
3332 if (IS_CODE_DIGIT_ASCII(enc
, c
) && c
< '8') {
3334 if ((INT_MAX_LIMIT
- val
) / 8UL < num
)
3335 return -1; /* overflow */
3337 num
= (num
<< 3) + val
;
3349 #define BB_WRITE_CODE_POINT(bbuf,pos,code) \
3350 BB_WRITE(bbuf, pos, &(code), SIZE_CODE_POINT)
3353 [n][from-1][to-1][from-2][to-2] ... [from-n][to-n]
3354 (all data size is OnigCodePoint)
3357 new_code_range(BBuf
** pbuf
)
3359 #define INIT_MULTI_BYTE_RANGE_SIZE (SIZE_CODE_POINT * 5)
3364 bbuf
= *pbuf
= (BBuf
* )xmalloc(sizeof(BBuf
));
3365 CHECK_NULL_RETURN_MEMERR(bbuf
);
3366 r
= BB_INIT(bbuf
, INIT_MULTI_BYTE_RANGE_SIZE
);
3374 BB_WRITE_CODE_POINT(bbuf
, 0, n
);
3379 add_code_range_to_buf(BBuf
** pbuf
, OnigCodePoint from
, OnigCodePoint to
)
3382 int low
, high
, bound
, x
;
3383 OnigCodePoint n
, *data
;
3387 n
= from
; from
= to
; to
= n
;
3390 if (IS_NULL(*pbuf
)) {
3391 r
= new_code_range(pbuf
);
3392 if (r
!= 0) return r
;
3398 GET_CODE_POINT(n
, bbuf
->p
);
3400 data
= (OnigCodePoint
* )(bbuf
->p
);
3403 for (low
= 0, bound
= n
; low
< bound
; ) {
3404 x
= (low
+ bound
) >> 1;
3405 if (from
> data
[x
*2 + 1])
3411 high
= (to
== ~((OnigCodePoint
)0)) ? n
: low
;
3412 for (bound
= n
; high
< bound
; ) {
3413 x
= (high
+ bound
) >> 1;
3414 if (to
+ 1 >= data
[x
*2])
3420 inc_n
= low
+ 1 - high
;
3421 if (n
+ inc_n
> ONIG_MAX_MULTI_BYTE_RANGES_NUM
)
3422 return ONIGERR_TOO_MANY_MULTI_BYTE_RANGES
;
3425 if (from
> data
[low
*2])
3427 if (to
< data
[(high
- 1)*2 + 1])
3428 to
= data
[(high
- 1)*2 + 1];
3431 if (inc_n
!= 0 && (OnigCodePoint
)high
< n
) {
3432 int from_pos
= SIZE_CODE_POINT
* (1 + high
* 2);
3433 int to_pos
= SIZE_CODE_POINT
* (1 + (low
+ 1) * 2);
3434 int size
= (n
- high
) * 2 * SIZE_CODE_POINT
;
3437 BB_MOVE_RIGHT(bbuf
, from_pos
, to_pos
, size
);
3440 BB_MOVE_LEFT_REDUCE(bbuf
, from_pos
, to_pos
);
3444 pos
= SIZE_CODE_POINT
* (1 + low
* 2);
3445 BB_ENSURE_SIZE(bbuf
, pos
+ SIZE_CODE_POINT
* 2);
3446 BB_WRITE_CODE_POINT(bbuf
, pos
, from
);
3447 BB_WRITE_CODE_POINT(bbuf
, pos
+ SIZE_CODE_POINT
, to
);
3449 BB_WRITE_CODE_POINT(bbuf
, 0, n
);
3455 add_code_range(BBuf
** pbuf
, ScanEnv
* env
, OnigCodePoint from
, OnigCodePoint to
)
3458 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
3461 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
3464 return add_code_range_to_buf(pbuf
, from
, to
);
3468 not_code_range_buf(OnigEncoding enc
, BBuf
* bbuf
, BBuf
** pbuf
)
3471 OnigCodePoint pre
, from
, *data
, to
= 0;
3473 *pbuf
= (BBuf
* )NULL
;
3474 if (IS_NULL(bbuf
)) {
3476 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3479 data
= (OnigCodePoint
* )(bbuf
->p
);
3480 GET_CODE_POINT(n
, data
);
3482 if (n
<= 0) goto set_all
;
3485 pre
= MBCODE_START_POS(enc
);
3486 for (i
= 0; i
< n
; i
++) {
3489 if (pre
<= from
- 1) {
3490 r
= add_code_range_to_buf(pbuf
, pre
, from
- 1);
3491 if (r
!= 0) return r
;
3493 if (to
== ~((OnigCodePoint
)0)) break;
3496 if (to
< ~((OnigCodePoint
)0)) {
3497 r
= add_code_range_to_buf(pbuf
, to
+ 1, ~((OnigCodePoint
)0));
3502 #define SWAP_BB_NOT(bbuf1, not1, bbuf2, not2) do {\
3505 tnot = not1; not1 = not2; not2 = tnot; \
3506 tbuf = bbuf1; bbuf1 = bbuf2; bbuf2 = tbuf; \
3510 or_code_range_buf(OnigEncoding enc
, BBuf
* bbuf1
, int not1
,
3511 BBuf
* bbuf2
, int not2
, BBuf
** pbuf
)
3514 OnigCodePoint i
, n1
, *data1
;
3515 OnigCodePoint from
, to
;
3517 *pbuf
= (BBuf
* )NULL
;
3518 if (IS_NULL(bbuf1
) && IS_NULL(bbuf2
)) {
3519 if (not1
!= 0 || not2
!= 0)
3520 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3526 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3528 if (IS_NULL(bbuf1
)) {
3530 return SET_ALL_MULTI_BYTE_RANGE(enc
, pbuf
);
3534 return bbuf_clone(pbuf
, bbuf2
);
3537 return not_code_range_buf(enc
, bbuf2
, pbuf
);
3543 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3545 data1
= (OnigCodePoint
* )(bbuf1
->p
);
3546 GET_CODE_POINT(n1
, data1
);
3549 if (not2
== 0 && not1
== 0) { /* 1 OR 2 */
3550 r
= bbuf_clone(pbuf
, bbuf2
);
3552 else if (not1
== 0) { /* 1 OR (not 2) */
3553 r
= not_code_range_buf(enc
, bbuf2
, pbuf
);
3555 if (r
!= 0) return r
;
3557 for (i
= 0; i
< n1
; i
++) {
3560 r
= add_code_range_to_buf(pbuf
, from
, to
);
3561 if (r
!= 0) return r
;
3567 and_code_range1(BBuf
** pbuf
, OnigCodePoint from1
, OnigCodePoint to1
,
3568 OnigCodePoint
* data
, int n
)
3571 OnigCodePoint from2
, to2
;
3573 for (i
= 0; i
< n
; i
++) {
3576 if (from2
< from1
) {
3577 if (to2
< from1
) continue;
3582 else if (from2
<= to1
) {
3584 if (from1
<= from2
- 1) {
3585 r
= add_code_range_to_buf(pbuf
, from1
, from2
-1);
3586 if (r
!= 0) return r
;
3597 if (from1
> to1
) break;
3600 r
= add_code_range_to_buf(pbuf
, from1
, to1
);
3601 if (r
!= 0) return r
;
3607 and_code_range_buf(BBuf
* bbuf1
, int not1
, BBuf
* bbuf2
, int not2
, BBuf
** pbuf
)
3610 OnigCodePoint i
, j
, n1
, n2
, *data1
, *data2
;
3611 OnigCodePoint from
, to
, from1
, to1
, from2
, to2
;
3613 *pbuf
= (BBuf
* )NULL
;
3614 if (IS_NULL(bbuf1
)) {
3615 if (not1
!= 0 && IS_NOT_NULL(bbuf2
)) /* not1 != 0 -> not2 == 0 */
3616 return bbuf_clone(pbuf
, bbuf2
);
3619 else if (IS_NULL(bbuf2
)) {
3621 return bbuf_clone(pbuf
, bbuf1
);
3626 SWAP_BB_NOT(bbuf1
, not1
, bbuf2
, not2
);
3628 data1
= (OnigCodePoint
* )(bbuf1
->p
);
3629 data2
= (OnigCodePoint
* )(bbuf2
->p
);
3630 GET_CODE_POINT(n1
, data1
);
3631 GET_CODE_POINT(n2
, data2
);
3635 if (not2
== 0 && not1
== 0) { /* 1 AND 2 */
3636 for (i
= 0; i
< n1
; i
++) {
3639 for (j
= 0; j
< n2
; j
++) {
3642 if (from2
> to1
) break;
3643 if (to2
< from1
) continue;
3644 from
= MAX(from1
, from2
);
3646 r
= add_code_range_to_buf(pbuf
, from
, to
);
3647 if (r
!= 0) return r
;
3651 else if (not1
== 0) { /* 1 AND (not 2) */
3652 for (i
= 0; i
< n1
; i
++) {
3655 r
= and_code_range1(pbuf
, from1
, to1
, data2
, n2
);
3656 if (r
!= 0) return r
;
3664 and_cclass(CClassNode
* dest
, CClassNode
* cc
, OnigEncoding enc
)
3667 BBuf
*buf1
, *buf2
, *pbuf
;
3668 BitSetRef bsr1
, bsr2
;
3671 not1
= IS_NCCLASS_NOT(dest
);
3674 not2
= IS_NCCLASS_NOT(cc
);
3679 bitset_invert_to(bsr1
, bs1
);
3683 bitset_invert_to(bsr2
, bs2
);
3686 bitset_and(bsr1
, bsr2
);
3687 if (bsr1
!= dest
->bs
) {
3688 bitset_copy(dest
->bs
, bsr1
);
3691 bitset_invert(dest
->bs
);
3694 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
3695 if (not1
!= 0 && not2
!= 0) {
3696 r
= or_code_range_buf(enc
, buf1
, 0, buf2
, 0, &pbuf
);
3699 r
= and_code_range_buf(buf1
, not1
, buf2
, not2
, &pbuf
);
3700 if (r
== 0 && not1
!= 0) {
3702 r
= not_code_range_buf(enc
, pbuf
, &tbuf
);
3711 if (r
!= 0) return r
;
3721 or_cclass(CClassNode
* dest
, CClassNode
* cc
, OnigEncoding enc
)
3724 BBuf
*buf1
, *buf2
, *pbuf
;
3725 BitSetRef bsr1
, bsr2
;
3728 not1
= IS_NCCLASS_NOT(dest
);
3731 not2
= IS_NCCLASS_NOT(cc
);
3736 bitset_invert_to(bsr1
, bs1
);
3740 bitset_invert_to(bsr2
, bs2
);
3743 bitset_or(bsr1
, bsr2
);
3744 if (bsr1
!= dest
->bs
) {
3745 bitset_copy(dest
->bs
, bsr1
);
3748 bitset_invert(dest
->bs
);
3751 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
3752 if (not1
!= 0 && not2
!= 0) {
3753 r
= and_code_range_buf(buf1
, 0, buf2
, 0, &pbuf
);
3756 r
= or_code_range_buf(enc
, buf1
, not1
, buf2
, not2
, &pbuf
);
3757 if (r
== 0 && not1
!= 0) {
3759 r
= not_code_range_buf(enc
, pbuf
, &tbuf
);
3768 if (r
!= 0) return r
;
3778 static OnigCodePoint
3779 conv_backslash_value(OnigCodePoint c
, ScanEnv
* env
)
3781 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_CONTROL_CHARS
)) {
3783 case 'n': return '\n';
3784 case 't': return '\t';
3785 case 'r': return '\r';
3786 case 'f': return '\f';
3787 case 'a': return '\007';
3788 case 'b': return '\010';
3789 case 'e': return '\033';
3791 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_V_VTAB
))
3803 is_invalid_quantifier_target(Node
* node
)
3805 switch (NODE_TYPE(node
)) {
3811 case NODE_ENCLOSURE
:
3812 /* allow enclosed elements */
3813 /* return is_invalid_quantifier_target(NODE_BODY(node)); */
3818 if (! is_invalid_quantifier_target(NODE_CAR(node
))) return 0;
3819 } while (IS_NOT_NULL(node
= NODE_CDR(node
)));
3825 if (is_invalid_quantifier_target(NODE_CAR(node
))) return 1;
3826 } while (IS_NOT_NULL(node
= NODE_CDR(node
)));
3835 /* ?:0, *:1, +:2, ??:3, *?:4, +?:5 */
3837 quantifier_type_num(QuantNode
* q
)
3840 if (q
->lower
== 0) {
3841 if (q
->upper
== 1) return 0;
3842 else if (IS_REPEAT_INFINITE(q
->upper
)) return 1;
3844 else if (q
->lower
== 1) {
3845 if (IS_REPEAT_INFINITE(q
->upper
)) return 2;
3849 if (q
->lower
== 0) {
3850 if (q
->upper
== 1) return 3;
3851 else if (IS_REPEAT_INFINITE(q
->upper
)) return 4;
3853 else if (q
->lower
== 1) {
3854 if (IS_REPEAT_INFINITE(q
->upper
)) return 5;
3862 RQ_ASIS
= 0, /* as is */
3863 RQ_DEL
= 1, /* delete parent */
3865 RQ_AQ
, /* to '*?' */
3866 RQ_QQ
, /* to '??' */
3867 RQ_P_QQ
, /* to '+)??' */
3868 RQ_PQ_Q
/* to '+?)?' */
3871 static enum ReduceType ReduceTypeTable
[6][6] = {
3872 {RQ_DEL
, RQ_A
, RQ_A
, RQ_QQ
, RQ_AQ
, RQ_ASIS
}, /* '?' */
3873 {RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_P_QQ
, RQ_P_QQ
, RQ_DEL
}, /* '*' */
3874 {RQ_A
, RQ_A
, RQ_DEL
, RQ_ASIS
, RQ_P_QQ
, RQ_DEL
}, /* '+' */
3875 {RQ_DEL
, RQ_AQ
, RQ_AQ
, RQ_DEL
, RQ_AQ
, RQ_AQ
}, /* '??' */
3876 {RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
, RQ_DEL
}, /* '*?' */
3877 {RQ_ASIS
, RQ_PQ_Q
, RQ_DEL
, RQ_AQ
, RQ_AQ
, RQ_DEL
} /* '+?' */
3881 onig_reduce_nested_quantifier(Node
* pnode
, Node
* cnode
)
3888 pnum
= quantifier_type_num(p
);
3889 cnum
= quantifier_type_num(c
);
3890 if (pnum
< 0 || cnum
< 0) {
3891 if ((p
->lower
== p
->upper
) && ! IS_REPEAT_INFINITE(p
->upper
)) {
3892 if ((c
->lower
== c
->upper
) && ! IS_REPEAT_INFINITE(c
->upper
)) {
3893 int n
= positive_int_multiply(p
->lower
, c
->lower
);
3895 p
->lower
= p
->upper
= n
;
3896 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3905 switch(ReduceTypeTable
[cnum
][pnum
]) {
3910 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3911 p
->lower
= 0; p
->upper
= REPEAT_INFINITE
; p
->greedy
= 1;
3914 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3915 p
->lower
= 0; p
->upper
= REPEAT_INFINITE
; p
->greedy
= 0;
3918 NODE_BODY(pnode
) = NODE_BODY(cnode
);
3919 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 0;
3922 NODE_BODY(pnode
) = cnode
;
3923 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 0;
3924 c
->lower
= 1; c
->upper
= REPEAT_INFINITE
; c
->greedy
= 1;
3928 NODE_BODY(pnode
) = cnode
;
3929 p
->lower
= 0; p
->upper
= 1; p
->greedy
= 1;
3930 c
->lower
= 1; c
->upper
= REPEAT_INFINITE
; c
->greedy
= 0;
3934 NODE_BODY(pnode
) = cnode
;
3940 NODE_BODY(cnode
) = NULL_NODE
;
3941 onig_node_free(cnode
);
3945 node_new_general_newline(Node
** node
, ScanEnv
* env
)
3949 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
* 2];
3955 dlen
= ONIGENC_CODE_TO_MBC(env
->enc
, 0x0d, buf
);
3956 if (dlen
< 0) return dlen
;
3957 alen
= ONIGENC_CODE_TO_MBC(env
->enc
, 0x0a, buf
+ dlen
);
3958 if (alen
< 0) return alen
;
3960 crnl
= node_new_str_raw(buf
, buf
+ dlen
+ alen
);
3961 CHECK_NULL_RETURN_MEMERR(crnl
);
3963 ncc
= node_new_cclass();
3964 if (IS_NULL(ncc
)) goto err2
;
3968 bitset_set_range(cc
->bs
, 0x0a, 0x0d);
3971 r
= add_code_range(&(cc
->mbuf
), env
, 0x0a, 0x0d);
3974 onig_node_free(ncc
);
3976 onig_node_free(crnl
);
3977 return ONIGERR_MEMORY
;
3981 if (ONIGENC_IS_UNICODE_ENCODING(env
->enc
)) {
3982 r
= add_code_range(&(cc
->mbuf
), env
, 0x85, 0x85);
3983 if (r
!= 0) goto err1
;
3984 r
= add_code_range(&(cc
->mbuf
), env
, 0x2028, 0x2029);
3985 if (r
!= 0) goto err1
;
3988 x
= node_new_enclosure_if_else(crnl
, 0, ncc
);
3989 if (IS_NULL(x
)) goto err1
;
3996 TK_EOT
= 0, /* end of token */
4008 TK_ANYCHAR_ANYTIME
, /* SQL '%' == .* */
4014 TK_CHAR_PROPERTY
, /* \p{...}, \P{...} */
4016 TK_GENERAL_NEWLINE
, /* \R */
4017 TK_NO_NEWLINE
, /* \N */
4018 TK_TRUE_ANYCHAR
, /* \O */
4019 TK_EXTENDED_GRAPHEME_CLUSTER
, /* \X */
4024 TK_POSIX_BRACKET_OPEN
,
4026 TK_CC_CC_OPEN
/* [ */
4030 enum TokenSyms type
;
4032 int base
; /* is number: 8, 16 (used in [....]) */
4051 #ifdef USE_BACKREF_WITH_LEVEL
4053 int level
; /* \k<name+n> */
4071 fetch_range_quantifier(UChar
** src
, UChar
* end
, OnigToken
* tok
, ScanEnv
* env
)
4073 int low
, up
, syn_allow
, non_low
= 0;
4076 OnigEncoding enc
= env
->enc
;
4080 syn_allow
= IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_INVALID_INTERVAL
);
4084 return 1; /* "....{" : OK! */
4086 return ONIGERR_END_PATTERN_AT_LEFT_BRACE
; /* "....{" syntax error */
4091 if (c
== ')' || c
== '(' || c
== '|') {
4092 return ONIGERR_END_PATTERN_AT_LEFT_BRACE
;
4096 low
= onig_scan_unsigned_number(&p
, end
, env
->enc
);
4097 if (low
< 0) return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4098 if (low
> ONIG_MAX_REPEAT_NUM
)
4099 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4101 if (p
== *src
) { /* can't read low */
4102 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_INTERVAL_LOW_ABBREV
)) {
4103 /* allow {,n} as {0,n} */
4111 if (PEND
) goto invalid
;
4115 up
= onig_scan_unsigned_number(&p
, end
, env
->enc
);
4116 if (up
< 0) return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4117 if (up
> ONIG_MAX_REPEAT_NUM
)
4118 return ONIGERR_TOO_BIG_NUMBER_FOR_REPEAT_RANGE
;
4123 up
= REPEAT_INFINITE
; /* {n,} : {n,infinite} */
4131 up
= low
; /* {n} : exact n times */
4135 if (PEND
) goto invalid
;
4137 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_BRACE_INTERVAL
)) {
4138 if (c
!= MC_ESC(env
->syntax
)) goto invalid
;
4141 if (c
!= '}') goto invalid
;
4143 if (!IS_REPEAT_INFINITE(up
) && low
> up
) {
4144 return ONIGERR_UPPER_SMALLER_THAN_LOWER_IN_REPEAT_RANGE
;
4147 tok
->type
= TK_INTERVAL
;
4148 tok
->u
.repeat
.lower
= low
;
4149 tok
->u
.repeat
.upper
= up
;
4151 return r
; /* 0: normal {n,m}, 2: fixed {n} */
4155 /* *src = p; */ /* !!! Don't do this line !!! */
4159 return ONIGERR_INVALID_REPEAT_RANGE_PATTERN
;
4162 /* \M-, \C-, \c, or \... */
4164 fetch_escaped_value(UChar
** src
, UChar
* end
, ScanEnv
* env
, OnigCodePoint
* val
)
4168 OnigEncoding enc
= env
->enc
;
4171 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4176 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_CAPITAL_M_BAR_META
)) {
4177 if (PEND
) return ONIGERR_END_PATTERN_AT_META
;
4179 if (c
!= '-') return ONIGERR_META_CODE_SYNTAX
;
4180 if (PEND
) return ONIGERR_END_PATTERN_AT_META
;
4182 if (c
== MC_ESC(env
->syntax
)) {
4183 v
= fetch_escaped_value(&p
, end
, env
, &c
);
4184 if (v
< 0) return v
;
4186 c
= ((c
& 0xff) | 0x80);
4193 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ESC_CAPITAL_C_BAR_CONTROL
)) {
4194 if (PEND
) return ONIGERR_END_PATTERN_AT_CONTROL
;
4196 if (c
!= '-') return ONIGERR_CONTROL_CODE_SYNTAX
;
4203 if (IS_SYNTAX_OP(env
->syntax
, ONIG_SYN_OP_ESC_C_CONTROL
)) {
4205 if (PEND
) return ONIGERR_END_PATTERN_AT_CONTROL
;
4211 if (c
== MC_ESC(env
->syntax
)) {
4212 v
= fetch_escaped_value(&p
, end
, env
, &c
);
4213 if (v
< 0) return v
;
4224 c
= conv_backslash_value(c
, env
);
4234 static int fetch_token(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
);
4236 static OnigCodePoint
4237 get_name_end_code_point(OnigCodePoint start
)
4240 case '<': return (OnigCodePoint
)'>'; break;
4241 case '\'': return (OnigCodePoint
)'\''; break;
4242 case '(': return (OnigCodePoint
)')'; break;
4247 return (OnigCodePoint
)0;
4256 #ifdef USE_BACKREF_WITH_LEVEL
4258 \k<name+n>, \k<name-n>
4259 \k<num+n>, \k<num-n>
4260 \k<-num+n>, \k<-num-n>
4261 \k<+num+n>, \k<+num-n>
4264 fetch_name_with_level(OnigCodePoint start_code
, UChar
** src
, UChar
* end
,
4265 UChar
** rname_end
, ScanEnv
* env
,
4266 int* rback_num
, int* rlevel
, enum REF_NUM
* num_type
)
4268 int r
, sign
, exist_level
;
4270 OnigCodePoint end_code
;
4271 OnigCodePoint c
= 0;
4272 OnigEncoding enc
= env
->enc
;
4280 *num_type
= IS_NOT_NUM
;
4284 end_code
= get_name_end_code_point(start_code
);
4290 return ONIGERR_EMPTY_GROUP_NAME
;
4295 return ONIGERR_EMPTY_GROUP_NAME
;
4297 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4298 *num_type
= IS_ABS_NUM
;
4301 else if (c
== '-') {
4302 *num_type
= IS_REL_NUM
;
4306 else if (c
== '+') {
4307 *num_type
= IS_REL_NUM
;
4311 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4312 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4319 if (c
== end_code
|| c
== ')' || c
== '+' || c
== '-') {
4320 if (*num_type
!= IS_NOT_NUM
&& digit_count
== 0)
4321 r
= ONIGERR_INVALID_GROUP_NAME
;
4325 if (*num_type
!= IS_NOT_NUM
) {
4326 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4330 r
= ONIGERR_INVALID_GROUP_NAME
;
4331 *num_type
= IS_NOT_NUM
;
4334 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4335 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4339 if (r
== 0 && c
!= end_code
) {
4340 if (c
== '+' || c
== '-') {
4342 int flag
= (c
== '-' ? -1 : 1);
4345 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4349 if (! IS_CODE_DIGIT_ASCII(enc
, c
)) goto err
;
4351 level
= onig_scan_unsigned_number(&p
, end
, enc
);
4352 if (level
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4353 *rlevel
= (level
* flag
);
4366 r
= ONIGERR_INVALID_GROUP_NAME
;
4371 if (*num_type
!= IS_NOT_NUM
) {
4372 *rback_num
= onig_scan_unsigned_number(&pnum_head
, name_end
, enc
);
4373 if (*rback_num
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4374 else if (*rback_num
== 0) {
4375 if (*num_type
== IS_REL_NUM
)
4382 *rname_end
= name_end
;
4384 return (exist_level
? 1 : 0);
4387 onig_scan_env_set_error_string(env
, r
, *src
, name_end
);
4391 #endif /* USE_BACKREF_WITH_LEVEL */
4394 ref: 0 -> define name (don't allow number name)
4395 1 -> reference name (allow number name)
4398 fetch_name(OnigCodePoint start_code
, UChar
** src
, UChar
* end
,
4399 UChar
** rname_end
, ScanEnv
* env
, int* rback_num
,
4400 enum REF_NUM
* num_type
, int ref
)
4404 OnigCodePoint end_code
;
4405 OnigCodePoint c
= 0;
4406 OnigEncoding enc
= env
->enc
;
4413 end_code
= get_name_end_code_point(start_code
);
4419 *num_type
= IS_NOT_NUM
;
4422 return ONIGERR_EMPTY_GROUP_NAME
;
4427 return ONIGERR_EMPTY_GROUP_NAME
;
4429 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4431 *num_type
= IS_ABS_NUM
;
4433 r
= ONIGERR_INVALID_GROUP_NAME
;
4437 else if (c
== '-') {
4439 *num_type
= IS_REL_NUM
;
4444 r
= ONIGERR_INVALID_GROUP_NAME
;
4447 else if (c
== '+') {
4449 *num_type
= IS_REL_NUM
;
4454 r
= ONIGERR_INVALID_GROUP_NAME
;
4457 else if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4458 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4466 if (c
== end_code
|| c
== ')') {
4467 if (*num_type
!= IS_NOT_NUM
&& digit_count
== 0)
4468 r
= ONIGERR_INVALID_GROUP_NAME
;
4472 if (*num_type
!= IS_NOT_NUM
) {
4473 if (IS_CODE_DIGIT_ASCII(enc
, c
)) {
4477 if (!ONIGENC_IS_CODE_WORD(enc
, c
))
4478 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4480 r
= ONIGERR_INVALID_GROUP_NAME
;
4482 *num_type
= IS_NOT_NUM
;
4486 if (!ONIGENC_IS_CODE_WORD(enc
, c
)) {
4487 r
= ONIGERR_INVALID_CHAR_IN_GROUP_NAME
;
4492 if (c
!= end_code
) {
4493 r
= ONIGERR_INVALID_GROUP_NAME
;
4497 if (*num_type
!= IS_NOT_NUM
) {
4498 *rback_num
= onig_scan_unsigned_number(&pnum_head
, name_end
, enc
);
4499 if (*rback_num
< 0) return ONIGERR_TOO_BIG_NUMBER
;
4500 else if (*rback_num
== 0) {
4501 if (*num_type
== IS_REL_NUM
) {
4502 r
= ONIGERR_INVALID_GROUP_NAME
;
4510 *rname_end
= name_end
;
4518 if (c
== end_code
|| c
== ')')
4525 onig_scan_env_set_error_string(env
, r
, *src
, name_end
);
4531 CC_ESC_WARN(ScanEnv
* env
, UChar
*c
)
4533 if (onig_warn
== onig_null_warn
) return ;
4535 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
) &&
4536 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC
)) {
4537 UChar buf
[WARN_BUFSIZE
];
4538 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
4539 env
->pattern
, env
->pattern_end
,
4540 (UChar
* )"character class has '%s' without escape",
4542 (*onig_warn
)((char* )buf
);
4547 CLOSE_BRACKET_WITHOUT_ESC_WARN(ScanEnv
* env
, UChar
* c
)
4549 if (onig_warn
== onig_null_warn
) return ;
4551 if (IS_SYNTAX_BV((env
)->syntax
, ONIG_SYN_WARN_CC_OP_NOT_ESCAPED
)) {
4552 UChar buf
[WARN_BUFSIZE
];
4553 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, (env
)->enc
,
4554 (env
)->pattern
, (env
)->pattern_end
,
4555 (UChar
* )"regular expression has '%s' without escape", c
);
4556 (*onig_warn
)((char* )buf
);
4561 find_str_position(OnigCodePoint s
[], int n
, UChar
* from
, UChar
* to
,
4562 UChar
**next
, OnigEncoding enc
)
4570 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4571 q
= p
+ enclen(enc
, p
);
4573 for (i
= 1; i
< n
&& q
< to
; i
++) {
4574 x
= ONIGENC_MBC_TO_CODE(enc
, q
, to
);
4575 if (x
!= s
[i
]) break;
4576 q
+= enclen(enc
, q
);
4579 if (IS_NOT_NULL(next
))
4590 str_exist_check_with_esc(OnigCodePoint s
[], int n
, UChar
* from
, UChar
* to
,
4591 OnigCodePoint bad
, OnigEncoding enc
, OnigSyntaxType
* syn
)
4602 p
+= enclen(enc
, p
);
4605 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4606 q
= p
+ enclen(enc
, p
);
4608 for (i
= 1; i
< n
&& q
< to
; i
++) {
4609 x
= ONIGENC_MBC_TO_CODE(enc
, q
, to
);
4610 if (x
!= s
[i
]) break;
4611 q
+= enclen(enc
, q
);
4613 if (i
>= n
) return 1;
4614 p
+= enclen(enc
, p
);
4617 x
= ONIGENC_MBC_TO_CODE(enc
, p
, to
);
4618 if (x
== bad
) return 0;
4619 else if (x
== MC_ESC(syn
)) in_esc
= 1;
4628 fetch_token_in_cc(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
4631 OnigCodePoint c
, c2
;
4632 OnigSyntaxType
* syn
= env
->syntax
;
4633 OnigEncoding enc
= env
->enc
;
4644 tok
->type
= TK_CHAR
;
4650 tok
->type
= TK_CC_CLOSE
;
4652 else if (c
== '-') {
4653 tok
->type
= TK_CC_RANGE
;
4655 else if (c
== MC_ESC(syn
)) {
4656 if (! IS_SYNTAX_BV(syn
, ONIG_SYN_BACKSLASH_ESCAPE_IN_CC
))
4659 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4666 tok
->type
= TK_CHAR_TYPE
;
4667 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4668 tok
->u
.prop
.not = 0;
4671 tok
->type
= TK_CHAR_TYPE
;
4672 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4673 tok
->u
.prop
.not = 1;
4676 tok
->type
= TK_CHAR_TYPE
;
4677 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
4678 tok
->u
.prop
.not = 0;
4681 tok
->type
= TK_CHAR_TYPE
;
4682 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
4683 tok
->u
.prop
.not = 1;
4686 tok
->type
= TK_CHAR_TYPE
;
4687 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
4688 tok
->u
.prop
.not = 0;
4691 tok
->type
= TK_CHAR_TYPE
;
4692 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
4693 tok
->u
.prop
.not = 1;
4696 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
4697 tok
->type
= TK_CHAR_TYPE
;
4698 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
4699 tok
->u
.prop
.not = 0;
4702 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
4703 tok
->type
= TK_CHAR_TYPE
;
4704 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
4705 tok
->u
.prop
.not = 1;
4714 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
)) {
4716 tok
->type
= TK_CHAR_PROPERTY
;
4717 tok
->u
.prop
.not = (c
== 'P' ? 1 : 0);
4719 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
)) {
4722 tok
->u
.prop
.not = (tok
->u
.prop
.not == 0 ? 1 : 0);
4734 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_O_BRACE_OCTAL
)) {
4736 num
= scan_unsigned_octal_number(&p
, end
, 11, enc
);
4737 if (num
< 0) return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
4740 if (IS_CODE_DIGIT_ASCII(enc
, c2
))
4741 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
4744 if (p
> prev
+ enclen(enc
, prev
) && !PEND
&& (PPEEK_IS('}'))) {
4746 tok
->type
= TK_CODE_POINT
;
4748 tok
->u
.code
= (OnigCodePoint
)num
;
4751 /* can't read nothing or invalid format */
4761 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_BRACE_HEX8
)) {
4763 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 8, enc
);
4765 if (num
== ONIGERR_TOO_BIG_NUMBER
)
4766 return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
4772 if (IS_CODE_XDIGIT_ASCII(enc
, c2
))
4773 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
4776 if (p
> prev
+ enclen(enc
, prev
) && !PEND
&& (PPEEK_IS('}'))) {
4778 tok
->type
= TK_CODE_POINT
;
4780 tok
->u
.code
= (OnigCodePoint
)num
;
4783 /* can't read nothing or invalid format */
4787 else if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_HEX2
)) {
4788 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 2, enc
);
4789 if (num
< 0) return num
;
4790 if (p
== prev
) { /* can't read nothing. */
4791 num
= 0; /* but, it's not error */
4793 tok
->type
= TK_RAW_BYTE
;
4803 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_U_HEX4
)) {
4804 num
= scan_unsigned_hexadecimal_number(&p
, end
, 4, 4, enc
);
4805 if (num
< 0) return num
;
4806 if (p
== prev
) { /* can't read nothing. */
4807 num
= 0; /* but, it's not error */
4809 tok
->type
= TK_CODE_POINT
;
4811 tok
->u
.code
= (OnigCodePoint
)num
;
4816 case '1': case '2': case '3': case '4': case '5': case '6': case '7':
4817 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_OCTAL3
)) {
4820 num
= scan_unsigned_octal_number(&p
, end
, 3, enc
);
4821 if (num
< 0 || num
>= 256) return ONIGERR_TOO_BIG_NUMBER
;
4822 if (p
== prev
) { /* can't read nothing. */
4823 num
= 0; /* but, it's not error */
4825 tok
->type
= TK_RAW_BYTE
;
4833 num
= fetch_escaped_value(&p
, end
, env
, &c2
);
4834 if (num
< 0) return num
;
4835 if (tok
->u
.c
!= c2
) {
4837 tok
->type
= TK_CODE_POINT
;
4842 else if (c
== '[') {
4843 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_POSIX_BRACKET
) && (PPEEK_IS(':'))) {
4844 OnigCodePoint send
[] = { (OnigCodePoint
)':', (OnigCodePoint
)']' };
4845 tok
->backp
= p
; /* point at '[' is read */
4847 if (str_exist_check_with_esc(send
, 2, p
, end
,
4848 (OnigCodePoint
)']', enc
, syn
)) {
4849 tok
->type
= TK_POSIX_BRACKET_OPEN
;
4858 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_CCLASS_SET_OP
)) {
4859 tok
->type
= TK_CC_CC_OPEN
;
4862 CC_ESC_WARN(env
, (UChar
* )"[");
4866 else if (c
== '&') {
4867 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_CCLASS_SET_OP
) &&
4868 !PEND
&& (PPEEK_IS('&'))) {
4870 tok
->type
= TK_CC_AND
;
4880 fetch_token(OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
4884 OnigEncoding enc
= env
->enc
;
4885 OnigSyntaxType
* syn
= env
->syntax
;
4896 tok
->type
= TK_STRING
;
4901 if (IS_MC_ESC_CODE(c
, syn
)) {
4902 if (PEND
) return ONIGERR_END_PATTERN_AT_ESCAPE
;
4911 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_ASTERISK_ZERO_INF
)) break;
4912 tok
->type
= TK_OP_REPEAT
;
4913 tok
->u
.repeat
.lower
= 0;
4914 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
4919 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_PLUS_ONE_INF
)) break;
4920 tok
->type
= TK_OP_REPEAT
;
4921 tok
->u
.repeat
.lower
= 1;
4922 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
4927 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_QMARK_ZERO_ONE
)) break;
4928 tok
->type
= TK_OP_REPEAT
;
4929 tok
->u
.repeat
.lower
= 0;
4930 tok
->u
.repeat
.upper
= 1;
4932 if (!PEND
&& PPEEK_IS('?') &&
4933 IS_SYNTAX_OP(syn
, ONIG_SYN_OP_QMARK_NON_GREEDY
)) {
4935 tok
->u
.repeat
.greedy
= 0;
4936 tok
->u
.repeat
.possessive
= 0;
4940 if (!PEND
&& PPEEK_IS('+') &&
4941 ((IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_PLUS_POSSESSIVE_REPEAT
) &&
4942 tok
->type
!= TK_INTERVAL
) ||
4943 (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_PLUS_POSSESSIVE_INTERVAL
) &&
4944 tok
->type
== TK_INTERVAL
))) {
4946 tok
->u
.repeat
.greedy
= 1;
4947 tok
->u
.repeat
.possessive
= 1;
4950 tok
->u
.repeat
.greedy
= 1;
4951 tok
->u
.repeat
.possessive
= 0;
4957 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_BRACE_INTERVAL
)) break;
4958 r
= fetch_range_quantifier(&p
, end
, tok
, env
);
4959 if (r
< 0) return r
; /* error */
4960 if (r
== 0) goto greedy_check
;
4961 else if (r
== 2) { /* {n} */
4962 if (IS_SYNTAX_BV(syn
, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
))
4963 goto possessive_check
;
4967 /* r == 1 : normal char */
4971 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_VBAR_ALT
)) break;
4976 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LPAREN_SUBEXP
)) break;
4977 tok
->type
= TK_SUBEXP_OPEN
;
4981 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LPAREN_SUBEXP
)) break;
4982 tok
->type
= TK_SUBEXP_CLOSE
;
4986 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_W_WORD
)) break;
4987 tok
->type
= TK_CHAR_TYPE
;
4988 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4989 tok
->u
.prop
.not = 0;
4993 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_W_WORD
)) break;
4994 tok
->type
= TK_CHAR_TYPE
;
4995 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_WORD
;
4996 tok
->u
.prop
.not = 1;
5000 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_B_WORD_BOUND
)) break;
5001 tok
->type
= TK_ANCHOR
;
5002 tok
->u
.anchor
= ANCHOR_WORD_BOUNDARY
;
5006 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_B_WORD_BOUND
)) break;
5007 tok
->type
= TK_ANCHOR
;
5008 tok
->u
.anchor
= ANCHOR_NO_WORD_BOUNDARY
;
5012 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5013 tok
->type
= TK_ANCHOR
;
5014 tok
->u
.anchor
= ANCHOR_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
;
5018 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5019 tok
->type
= TK_ANCHOR
;
5020 tok
->u
.anchor
= ANCHOR_NO_EXTENDED_GRAPHEME_CLUSTER_BOUNDARY
;
5023 #ifdef USE_WORD_BEGIN_END
5025 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)) break;
5026 tok
->type
= TK_ANCHOR
;
5027 tok
->u
.anchor
= ANCHOR_WORD_BEGIN
;
5031 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_LTGT_WORD_BEGIN_END
)) break;
5032 tok
->type
= TK_ANCHOR
;
5033 tok
->u
.anchor
= ANCHOR_WORD_END
;
5038 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_S_WHITE_SPACE
)) break;
5039 tok
->type
= TK_CHAR_TYPE
;
5040 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
5041 tok
->u
.prop
.not = 0;
5045 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_S_WHITE_SPACE
)) break;
5046 tok
->type
= TK_CHAR_TYPE
;
5047 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_SPACE
;
5048 tok
->u
.prop
.not = 1;
5052 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_D_DIGIT
)) break;
5053 tok
->type
= TK_CHAR_TYPE
;
5054 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
5055 tok
->u
.prop
.not = 0;
5059 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_D_DIGIT
)) break;
5060 tok
->type
= TK_CHAR_TYPE
;
5061 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_DIGIT
;
5062 tok
->u
.prop
.not = 1;
5066 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
5067 tok
->type
= TK_CHAR_TYPE
;
5068 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
5069 tok
->u
.prop
.not = 0;
5073 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_H_XDIGIT
)) break;
5074 tok
->type
= TK_CHAR_TYPE
;
5075 tok
->u
.prop
.ctype
= ONIGENC_CTYPE_XDIGIT
;
5076 tok
->u
.prop
.not = 1;
5080 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_K_KEEP
)) break;
5081 tok
->type
= TK_KEEP
;
5085 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_R_GENERAL_NEWLINE
)) break;
5086 tok
->type
= TK_GENERAL_NEWLINE
;
5090 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_N_O_SUPER_DOT
)) break;
5091 tok
->type
= TK_NO_NEWLINE
;
5095 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_N_O_SUPER_DOT
)) break;
5096 tok
->type
= TK_TRUE_ANYCHAR
;
5100 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_X_Y_GRAPHEME_CLUSTER
)) break;
5101 tok
->type
= TK_EXTENDED_GRAPHEME_CLUSTER
;
5105 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5107 tok
->type
= TK_ANCHOR
;
5108 tok
->u
.subtype
= ANCHOR_BEGIN_BUF
;
5112 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5113 tok
->type
= TK_ANCHOR
;
5114 tok
->u
.subtype
= ANCHOR_SEMI_END_BUF
;
5118 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_AZ_BUF_ANCHOR
)) break;
5120 tok
->type
= TK_ANCHOR
;
5121 tok
->u
.subtype
= ANCHOR_END_BUF
;
5125 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_CAPITAL_G_BEGIN_ANCHOR
)) break;
5126 tok
->type
= TK_ANCHOR
;
5127 tok
->u
.subtype
= ANCHOR_BEGIN_POSITION
;
5131 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR
)) break;
5136 if (! IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_GNU_BUF_ANCHOR
)) break;
5144 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_O_BRACE_OCTAL
)) {
5146 num
= scan_unsigned_octal_number(&p
, end
, 11, enc
);
5147 if (num
< 0) return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
5149 if (IS_CODE_DIGIT_ASCII(enc
, PPEEK
))
5150 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
5153 if ((p
> prev
+ enclen(enc
, prev
)) && !PEND
&& PPEEK_IS('}')) {
5155 tok
->type
= TK_CODE_POINT
;
5156 tok
->u
.code
= (OnigCodePoint
)num
;
5159 /* can't read nothing or invalid format */
5169 if (PPEEK_IS('{') && IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_BRACE_HEX8
)) {
5171 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 8, enc
);
5173 if (num
== ONIGERR_TOO_BIG_NUMBER
)
5174 return ONIGERR_TOO_BIG_WIDE_CHAR_VALUE
;
5179 if (IS_CODE_XDIGIT_ASCII(enc
, PPEEK
))
5180 return ONIGERR_TOO_LONG_WIDE_CHAR_VALUE
;
5183 if ((p
> prev
+ enclen(enc
, prev
)) && !PEND
&& PPEEK_IS('}')) {
5185 tok
->type
= TK_CODE_POINT
;
5186 tok
->u
.code
= (OnigCodePoint
)num
;
5189 /* can't read nothing or invalid format */
5193 else if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_X_HEX2
)) {
5194 num
= scan_unsigned_hexadecimal_number(&p
, end
, 0, 2, enc
);
5195 if (num
< 0) return num
;
5196 if (p
== prev
) { /* can't read nothing. */
5197 num
= 0; /* but, it's not error */
5199 tok
->type
= TK_RAW_BYTE
;
5209 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_U_HEX4
)) {
5210 num
= scan_unsigned_hexadecimal_number(&p
, end
, 4, 4, enc
);
5211 if (num
< 0) return num
;
5212 if (p
== prev
) { /* can't read nothing. */
5213 num
= 0; /* but, it's not error */
5215 tok
->type
= TK_CODE_POINT
;
5217 tok
->u
.code
= (OnigCodePoint
)num
;
5221 case '1': case '2': case '3': case '4':
5222 case '5': case '6': case '7': case '8': case '9':
5225 num
= onig_scan_unsigned_number(&p
, end
, enc
);
5226 if (num
< 0 || num
> ONIG_MAX_BACKREF_NUM
) {
5230 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_DECIMAL_BACKREF
) &&
5231 (num
<= env
->num_mem
|| num
<= 9)) { /* This spec. from GNU regex */
5232 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5233 if (num
> env
->num_mem
|| IS_NULL(SCANENV_MEMENV(env
)[num
].node
))
5234 return ONIGERR_INVALID_BACKREF
;
5237 tok
->type
= TK_BACKREF
;
5238 tok
->u
.backref
.num
= 1;
5239 tok
->u
.backref
.ref1
= num
;
5240 tok
->u
.backref
.by_name
= 0;
5241 #ifdef USE_BACKREF_WITH_LEVEL
5242 tok
->u
.backref
.exist_level
= 0;
5248 if (c
== '8' || c
== '9') {
5257 if (IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ESC_OCTAL3
)) {
5259 num
= scan_unsigned_octal_number(&p
, end
, (c
== '0' ? 2:3), enc
);
5260 if (num
< 0 || num
>= 256) return ONIGERR_TOO_BIG_NUMBER
;
5261 if (p
== prev
) { /* can't read nothing. */
5262 num
= 0; /* but, it's not error */
5264 tok
->type
= TK_RAW_BYTE
;
5268 else if (c
!= '0') {
5274 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_K_NAMED_BACKREF
)) {
5276 if (c
== '<' || c
== '\'') {
5280 enum REF_NUM num_type
;
5284 #ifdef USE_BACKREF_WITH_LEVEL
5285 name_end
= NULL_UCHARP
; /* no need. escape gcc warning. */
5286 r
= fetch_name_with_level((OnigCodePoint
)c
, &p
, end
, &name_end
,
5287 env
, &back_num
, &tok
->u
.backref
.level
, &num_type
);
5288 if (r
== 1) tok
->u
.backref
.exist_level
= 1;
5289 else tok
->u
.backref
.exist_level
= 0;
5291 r
= fetch_name(c
, &p
, end
, &name_end
, env
, &back_num
, &num_type
, 1);
5293 if (r
< 0) return r
;
5295 if (num_type
!= IS_NOT_NUM
) {
5296 if (num_type
== IS_REL_NUM
) {
5297 back_num
= backref_rel_to_abs(back_num
, env
);
5300 return ONIGERR_INVALID_BACKREF
;
5302 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5303 if (back_num
> env
->num_mem
||
5304 IS_NULL(SCANENV_MEMENV(env
)[back_num
].node
))
5305 return ONIGERR_INVALID_BACKREF
;
5307 tok
->type
= TK_BACKREF
;
5308 tok
->u
.backref
.by_name
= 0;
5309 tok
->u
.backref
.num
= 1;
5310 tok
->u
.backref
.ref1
= back_num
;
5313 num
= onig_name_to_group_numbers(env
->reg
, prev
, name_end
, &backs
);
5315 onig_scan_env_set_error_string(env
,
5316 ONIGERR_UNDEFINED_NAME_REFERENCE
, prev
, name_end
);
5317 return ONIGERR_UNDEFINED_NAME_REFERENCE
;
5319 if (IS_SYNTAX_BV(syn
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
5321 for (i
= 0; i
< num
; i
++) {
5322 if (backs
[i
] > env
->num_mem
||
5323 IS_NULL(SCANENV_MEMENV(env
)[backs
[i
]].node
))
5324 return ONIGERR_INVALID_BACKREF
;
5328 tok
->type
= TK_BACKREF
;
5329 tok
->u
.backref
.by_name
= 1;
5331 tok
->u
.backref
.num
= 1;
5332 tok
->u
.backref
.ref1
= backs
[0];
5335 tok
->u
.backref
.num
= num
;
5336 tok
->u
.backref
.refs
= backs
;
5347 if (!PEND
&& IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_G_SUBEXP_CALL
)) {
5349 if (c
== '<' || c
== '\'') {
5352 enum REF_NUM num_type
;
5355 r
= fetch_name((OnigCodePoint
)c
, &p
, end
, &name_end
, env
,
5356 &gnum
, &num_type
, 1);
5357 if (r
< 0) return r
;
5359 if (num_type
!= IS_NOT_NUM
) {
5360 if (num_type
== IS_REL_NUM
) {
5361 gnum
= backref_rel_to_abs(gnum
, env
);
5363 onig_scan_env_set_error_string(env
, ONIGERR_UNDEFINED_NAME_REFERENCE
,
5365 return ONIGERR_UNDEFINED_GROUP_REFERENCE
;
5368 tok
->u
.call
.by_number
= 1;
5369 tok
->u
.call
.gnum
= gnum
;
5372 tok
->u
.call
.by_number
= 0;
5373 tok
->u
.call
.gnum
= 0;
5376 tok
->type
= TK_CALL
;
5377 tok
->u
.call
.name
= prev
;
5378 tok
->u
.call
.name_end
= name_end
;
5387 if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_CAPITAL_Q_QUOTE
)) {
5388 tok
->type
= TK_QUOTE_OPEN
;
5394 if (!PEND
&& PPEEK_IS('{') &&
5395 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CHAR_PROPERTY
)) {
5397 tok
->type
= TK_CHAR_PROPERTY
;
5398 tok
->u
.prop
.not = (c
== 'P' ? 1 : 0);
5401 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_ESC_P_BRACE_CIRCUMFLEX_NOT
)) {
5404 tok
->u
.prop
.not = (tok
->u
.prop
.not == 0 ? 1 : 0);
5417 num
= fetch_escaped_value(&p
, end
, env
, &c2
);
5418 if (num
< 0) return num
;
5420 if (tok
->u
.c
!= c2
) {
5421 tok
->type
= TK_CODE_POINT
;
5425 p
= tok
->backp
+ enclen(enc
, tok
->backp
);
5435 #ifdef USE_VARIABLE_META_CHARS
5436 if ((c
!= ONIG_INEFFECTIVE_META_CHAR
) &&
5437 IS_SYNTAX_OP(syn
, ONIG_SYN_OP_VARIABLE_META_CHARACTERS
)) {
5438 if (c
== MC_ANYCHAR(syn
))
5440 else if (c
== MC_ANYTIME(syn
))
5442 else if (c
== MC_ZERO_OR_ONE_TIME(syn
))
5443 goto zero_or_one_time
;
5444 else if (c
== MC_ONE_OR_MORE_TIME(syn
))
5445 goto one_or_more_time
;
5446 else if (c
== MC_ANYCHAR_ANYTIME(syn
)) {
5447 tok
->type
= TK_ANYCHAR_ANYTIME
;
5455 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_DOT_ANYCHAR
)) break;
5456 #ifdef USE_VARIABLE_META_CHARS
5459 tok
->type
= TK_ANYCHAR
;
5463 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_ASTERISK_ZERO_INF
)) break;
5464 #ifdef USE_VARIABLE_META_CHARS
5467 tok
->type
= TK_OP_REPEAT
;
5468 tok
->u
.repeat
.lower
= 0;
5469 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
5474 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_PLUS_ONE_INF
)) break;
5475 #ifdef USE_VARIABLE_META_CHARS
5478 tok
->type
= TK_OP_REPEAT
;
5479 tok
->u
.repeat
.lower
= 1;
5480 tok
->u
.repeat
.upper
= REPEAT_INFINITE
;
5485 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_QMARK_ZERO_ONE
)) break;
5486 #ifdef USE_VARIABLE_META_CHARS
5489 tok
->type
= TK_OP_REPEAT
;
5490 tok
->u
.repeat
.lower
= 0;
5491 tok
->u
.repeat
.upper
= 1;
5496 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_BRACE_INTERVAL
)) break;
5497 r
= fetch_range_quantifier(&p
, end
, tok
, env
);
5498 if (r
< 0) return r
; /* error */
5499 if (r
== 0) goto greedy_check
;
5500 else if (r
== 2) { /* {n} */
5501 if (IS_SYNTAX_BV(syn
, ONIG_SYN_FIXED_INTERVAL_IS_GREEDY_ONLY
))
5502 goto possessive_check
;
5506 /* r == 1 : normal char */
5510 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_VBAR_ALT
)) break;
5515 if (!PEND
&& PPEEK_IS('?') &&
5516 IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_QMARK_GROUP_EFFECT
)) {
5523 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
5525 if (c
== MC_ESC(syn
)) {
5526 if (! PEND
) PFETCH(c
);
5529 if (c
== ')') break;
5534 else if (IS_SYNTAX_OP2(syn
, ONIG_SYN_OP2_QMARK_PERL_SUBEXP_CALL
)) {
5538 enum REF_NUM num_type
;
5545 r
= fetch_name((OnigCodePoint
)'(', &p
, end
, &name_end
, env
, &gnum
,
5547 if (r
< 0) return r
;
5549 tok
->type
= TK_CALL
;
5550 tok
->u
.call
.by_number
= 0;
5551 tok
->u
.call
.gnum
= 0;
5552 tok
->u
.call
.name
= name
;
5553 tok
->u
.call
.name_end
= name_end
;
5558 tok
->type
= TK_CALL
;
5559 tok
->u
.call
.by_number
= 1;
5560 tok
->u
.call
.gnum
= 0;
5561 tok
->u
.call
.name
= p
;
5563 if (! PPEEK_IS(')')) return ONIGERR_INVALID_GROUP_NAME
;
5564 tok
->u
.call
.name_end
= p
;
5569 goto lparen_qmark_num
;
5572 if (! ONIGENC_IS_CODE_DIGIT(enc
, c
)) goto lparen_qmark_end
;
5577 r
= fetch_name((OnigCodePoint
)'(', &p
, end
, &name_end
, env
,
5578 &gnum
, &num_type
, 1);
5579 if (r
< 0) return r
;
5581 if (num_type
== IS_NOT_NUM
) {
5582 return ONIGERR_INVALID_GROUP_NAME
;
5585 if (num_type
== IS_REL_NUM
) {
5586 gnum
= backref_rel_to_abs(gnum
, env
);
5588 onig_scan_env_set_error_string(env
,
5589 ONIGERR_UNDEFINED_NAME_REFERENCE
, name
, name_end
);
5590 return ONIGERR_UNDEFINED_GROUP_REFERENCE
;
5593 tok
->u
.call
.by_number
= 1;
5594 tok
->u
.call
.gnum
= gnum
;
5597 tok
->type
= TK_CALL
;
5598 tok
->u
.call
.name
= name
;
5599 tok
->u
.call
.name_end
= name_end
;
5609 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LPAREN_SUBEXP
)) break;
5610 tok
->type
= TK_SUBEXP_OPEN
;
5614 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LPAREN_SUBEXP
)) break;
5615 tok
->type
= TK_SUBEXP_CLOSE
;
5619 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LINE_ANCHOR
)) break;
5620 tok
->type
= TK_ANCHOR
;
5621 tok
->u
.subtype
= (IS_SINGLELINE(env
->options
)
5622 ? ANCHOR_BEGIN_BUF
: ANCHOR_BEGIN_LINE
);
5626 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_LINE_ANCHOR
)) break;
5627 tok
->type
= TK_ANCHOR
;
5628 tok
->u
.subtype
= (IS_SINGLELINE(env
->options
)
5629 ? ANCHOR_SEMI_END_BUF
: ANCHOR_END_LINE
);
5633 if (! IS_SYNTAX_OP(syn
, ONIG_SYN_OP_BRACKET_CC
)) break;
5634 tok
->type
= TK_CC_OPEN
;
5638 if (*src
> env
->pattern
) /* /].../ is allowed. */
5639 CLOSE_BRACKET_WITHOUT_ESC_WARN(env
, (UChar
* )"]");
5643 if (IS_EXTEND(env
->options
)) {
5646 if (ONIGENC_IS_CODE_NEWLINE(enc
, c
))
5654 case ' ': case '\t': case '\n': case '\r': case '\f':
5655 if (IS_EXTEND(env
->options
))
5665 #ifdef USE_VARIABLE_META_CHARS
5673 add_ctype_to_cc_by_range(CClassNode
* cc
, int ctype ARG_UNUSED
, int not,
5674 OnigEncoding enc ARG_UNUSED
, OnigCodePoint sb_out
,
5675 const OnigCodePoint mbr
[])
5680 int n
= ONIGENC_CODE_RANGE_NUM(mbr
);
5683 for (i
= 0; i
< n
; i
++) {
5684 for (j
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5685 j
<= ONIGENC_CODE_RANGE_TO(mbr
, i
); j
++) {
5687 if (j
> ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5688 r
= add_code_range_to_buf(&(cc
->mbuf
), j
,
5689 ONIGENC_CODE_RANGE_TO(mbr
, i
));
5690 if (r
!= 0) return r
;
5696 BITSET_SET_BIT(cc
->bs
, j
);
5701 for ( ; i
< n
; i
++) {
5702 r
= add_code_range_to_buf(&(cc
->mbuf
),
5703 ONIGENC_CODE_RANGE_FROM(mbr
, i
),
5704 ONIGENC_CODE_RANGE_TO(mbr
, i
));
5705 if (r
!= 0) return r
;
5709 OnigCodePoint prev
= 0;
5711 for (i
= 0; i
< n
; i
++) {
5712 for (j
= prev
; j
< ONIGENC_CODE_RANGE_FROM(mbr
, i
); j
++) {
5716 BITSET_SET_BIT(cc
->bs
, j
);
5718 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
) + 1;
5720 for (j
= prev
; j
< sb_out
; j
++) {
5721 BITSET_SET_BIT(cc
->bs
, j
);
5727 for (i
= 0; i
< n
; i
++) {
5728 if (prev
< ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5729 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
,
5730 ONIGENC_CODE_RANGE_FROM(mbr
, i
) - 1);
5731 if (r
!= 0) return r
;
5733 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
) + 1;
5734 if (prev
== 0) goto end
;
5737 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, MAX_CODE_POINT
);
5738 if (r
!= 0) return r
;
5746 add_ctype_to_cc_by_range_limit(CClassNode
* cc
, int ctype ARG_UNUSED
, int not,
5747 OnigEncoding enc ARG_UNUSED
,
5748 OnigCodePoint sb_out
,
5749 const OnigCodePoint mbr
[], OnigCodePoint limit
)
5756 int n
= ONIGENC_CODE_RANGE_NUM(mbr
);
5759 for (i
= 0; i
< n
; i
++) {
5760 for (j
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5761 j
<= ONIGENC_CODE_RANGE_TO(mbr
, i
); j
++) {
5762 if (j
> limit
) goto end
;
5764 if (j
> ONIGENC_CODE_RANGE_FROM(mbr
, i
)) {
5765 to
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5766 if (to
> limit
) to
= limit
;
5767 r
= add_code_range_to_buf(&(cc
->mbuf
), j
, to
);
5768 if (r
!= 0) return r
;
5774 BITSET_SET_BIT(cc
->bs
, j
);
5779 for ( ; i
< n
; i
++) {
5780 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5781 to
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5782 if (from
> limit
) break;
5783 if (to
> limit
) to
= limit
;
5784 r
= add_code_range_to_buf(&(cc
->mbuf
), from
, to
);
5785 if (r
!= 0) return r
;
5789 OnigCodePoint prev
= 0;
5791 for (i
= 0; i
< n
; i
++) {
5792 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5794 for (j
= prev
; j
< sb_out
; j
++) {
5795 BITSET_SET_BIT(cc
->bs
, j
);
5799 for (j
= prev
; j
< from
; j
++) {
5800 if (j
>= sb_out
) goto sb_end2
;
5801 BITSET_SET_BIT(cc
->bs
, j
);
5803 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5804 if (prev
> limit
) prev
= limit
;
5806 if (prev
== 0) goto end
;
5808 for (j
= prev
; j
< sb_out
; j
++) {
5809 BITSET_SET_BIT(cc
->bs
, j
);
5815 for (i
= 0; i
< n
; i
++) {
5816 from
= ONIGENC_CODE_RANGE_FROM(mbr
, i
);
5817 if (from
> limit
) goto last
;
5820 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, from
- 1);
5821 if (r
!= 0) return r
;
5823 prev
= ONIGENC_CODE_RANGE_TO(mbr
, i
);
5824 if (prev
> limit
) prev
= limit
;
5826 if (prev
== 0) goto end
;
5830 r
= add_code_range_to_buf(&(cc
->mbuf
), prev
, MAX_CODE_POINT
);
5831 if (r
!= 0) return r
;
5839 add_ctype_to_cc(CClassNode
* cc
, int ctype
, int not, ScanEnv
* env
)
5841 #define ASCII_LIMIT 127
5845 const OnigCodePoint
*ranges
;
5846 OnigCodePoint limit
;
5847 OnigCodePoint sb_out
;
5848 OnigEncoding enc
= env
->enc
;
5850 ascii_mode
= IS_ASCII_MODE_CTYPE_OPTION(ctype
, env
->options
);
5852 r
= ONIGENC_GET_CTYPE_CODE_RANGE(enc
, ctype
, &sb_out
, &ranges
);
5854 if (ascii_mode
== 0)
5855 r
= add_ctype_to_cc_by_range(cc
, ctype
, not, env
->enc
, sb_out
, ranges
);
5857 r
= add_ctype_to_cc_by_range_limit(cc
, ctype
, not, env
->enc
, sb_out
,
5858 ranges
, ASCII_LIMIT
);
5861 else if (r
!= ONIG_NO_SUPPORT_CONFIG
) {
5866 limit
= ascii_mode
? ASCII_LIMIT
: SINGLE_BYTE_SIZE
;
5869 case ONIGENC_CTYPE_ALPHA
:
5870 case ONIGENC_CTYPE_BLANK
:
5871 case ONIGENC_CTYPE_CNTRL
:
5872 case ONIGENC_CTYPE_DIGIT
:
5873 case ONIGENC_CTYPE_LOWER
:
5874 case ONIGENC_CTYPE_PUNCT
:
5875 case ONIGENC_CTYPE_SPACE
:
5876 case ONIGENC_CTYPE_UPPER
:
5877 case ONIGENC_CTYPE_XDIGIT
:
5878 case ONIGENC_CTYPE_ASCII
:
5879 case ONIGENC_CTYPE_ALNUM
:
5881 for (c
= 0; c
< (int )limit
; c
++) {
5882 if (! ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5883 BITSET_SET_BIT(cc
->bs
, c
);
5885 for (c
= limit
; c
< SINGLE_BYTE_SIZE
; c
++) {
5886 BITSET_SET_BIT(cc
->bs
, c
);
5889 ADD_ALL_MULTI_BYTE_RANGE(enc
, cc
->mbuf
);
5892 for (c
= 0; c
< (int )limit
; c
++) {
5893 if (ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5894 BITSET_SET_BIT(cc
->bs
, c
);
5899 case ONIGENC_CTYPE_GRAPH
:
5900 case ONIGENC_CTYPE_PRINT
:
5901 case ONIGENC_CTYPE_WORD
:
5903 for (c
= 0; c
< (int )limit
; c
++) {
5904 if (ONIGENC_CODE_TO_MBCLEN(enc
, c
) > 0 /* check invalid code point */
5905 && ! ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5906 BITSET_SET_BIT(cc
->bs
, c
);
5908 for (c
= limit
; c
< SINGLE_BYTE_SIZE
; c
++) {
5909 if (ONIGENC_CODE_TO_MBCLEN(enc
, c
) > 0)
5910 BITSET_SET_BIT(cc
->bs
, c
);
5914 for (c
= 0; c
< (int )limit
; c
++) {
5915 if (ONIGENC_IS_CODE_CTYPE(enc
, (OnigCodePoint
)c
, ctype
))
5916 BITSET_SET_BIT(cc
->bs
, c
);
5918 if (ascii_mode
== 0)
5919 ADD_ALL_MULTI_BYTE_RANGE(enc
, cc
->mbuf
);
5924 return ONIGERR_PARSER_BUG
;
5932 parse_posix_bracket(CClassNode
* cc
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
5934 #define POSIX_BRACKET_CHECK_LIMIT_LENGTH 20
5935 #define POSIX_BRACKET_NAME_MIN_LEN 4
5937 static PosixBracketEntryType PBS
[] = {
5938 { (UChar
* )"alnum", ONIGENC_CTYPE_ALNUM
, 5 },
5939 { (UChar
* )"alpha", ONIGENC_CTYPE_ALPHA
, 5 },
5940 { (UChar
* )"blank", ONIGENC_CTYPE_BLANK
, 5 },
5941 { (UChar
* )"cntrl", ONIGENC_CTYPE_CNTRL
, 5 },
5942 { (UChar
* )"digit", ONIGENC_CTYPE_DIGIT
, 5 },
5943 { (UChar
* )"graph", ONIGENC_CTYPE_GRAPH
, 5 },
5944 { (UChar
* )"lower", ONIGENC_CTYPE_LOWER
, 5 },
5945 { (UChar
* )"print", ONIGENC_CTYPE_PRINT
, 5 },
5946 { (UChar
* )"punct", ONIGENC_CTYPE_PUNCT
, 5 },
5947 { (UChar
* )"space", ONIGENC_CTYPE_SPACE
, 5 },
5948 { (UChar
* )"upper", ONIGENC_CTYPE_UPPER
, 5 },
5949 { (UChar
* )"xdigit", ONIGENC_CTYPE_XDIGIT
, 6 },
5950 { (UChar
* )"ascii", ONIGENC_CTYPE_ASCII
, 5 },
5951 { (UChar
* )"word", ONIGENC_CTYPE_WORD
, 4 },
5952 { (UChar
* )NULL
, -1, 0 }
5955 PosixBracketEntryType
*pb
;
5958 OnigEncoding enc
= env
->enc
;
5961 if (PPEEK_IS('^')) {
5968 if (onigenc_strlen(enc
, p
, end
) < POSIX_BRACKET_NAME_MIN_LEN
+ 3)
5969 goto not_posix_bracket
;
5971 for (pb
= PBS
; IS_NOT_NULL(pb
->name
); pb
++) {
5972 if (onigenc_with_ascii_strncmp(enc
, p
, end
, pb
->name
, pb
->len
) == 0) {
5973 p
= (UChar
* )onigenc_step(enc
, p
, end
, pb
->len
);
5974 if (onigenc_with_ascii_strncmp(enc
, p
, end
, (UChar
* )":]", 2) != 0)
5975 return ONIGERR_INVALID_POSIX_BRACKET_TYPE
;
5977 r
= add_ctype_to_cc(cc
, pb
->ctype
, not, env
);
5978 if (r
!= 0) return r
;
5989 while (!PEND
&& ((c
= PPEEK
) != ':') && c
!= ']') {
5991 if (++i
> POSIX_BRACKET_CHECK_LIMIT_LENGTH
) break;
5993 if (c
== ':' && ! PEND
) {
5998 return ONIGERR_INVALID_POSIX_BRACKET_TYPE
;
6002 return 1; /* 1: is not POSIX bracket, but no error. */
6006 fetch_char_property_to_ctype(UChar
** src
, UChar
* end
, ScanEnv
* env
)
6010 OnigEncoding enc
= env
->enc
;
6011 UChar
*prev
, *start
, *p
= *src
;
6020 r
= ONIGENC_PROPERTY_NAME_TO_CTYPE(enc
, start
, prev
);
6026 else if (c
== '(' || c
== ')' || c
== '{' || c
== '|') {
6027 r
= ONIGERR_INVALID_CHAR_PROPERTY_NAME
;
6032 onig_scan_env_set_error_string(env
, r
, *src
, prev
);
6037 parse_char_property(Node
** np
, OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6042 ctype
= fetch_char_property_to_ctype(src
, end
, env
);
6043 if (ctype
< 0) return ctype
;
6045 *np
= node_new_cclass();
6046 CHECK_NULL_RETURN_MEMERR(*np
);
6048 r
= add_ctype_to_cc(cc
, ctype
, 0, env
);
6049 if (r
!= 0) return r
;
6050 if (tok
->u
.prop
.not != 0) NCCLASS_SET_NOT(cc
);
6070 next_state_class(CClassNode
* cc
, OnigCodePoint
* vs
, enum CCVALTYPE
* type
,
6071 enum CCSTATE
* state
, ScanEnv
* env
)
6075 if (*state
== CCS_RANGE
)
6076 return ONIGERR_CHAR_CLASS_VALUE_AT_END_OF_RANGE
;
6078 if (*state
== CCS_VALUE
&& *type
!= CCV_CLASS
) {
6079 if (*type
== CCV_SB
)
6080 BITSET_SET_BIT(cc
->bs
, (int )(*vs
));
6081 else if (*type
== CCV_CODE_POINT
) {
6082 r
= add_code_range(&(cc
->mbuf
), env
, *vs
, *vs
);
6083 if (r
< 0) return r
;
6093 next_state_val(CClassNode
* cc
, OnigCodePoint
*from
, OnigCodePoint to
,
6094 int* from_israw
, int to_israw
,
6095 enum CCVALTYPE intype
, enum CCVALTYPE
* type
,
6096 enum CCSTATE
* state
, ScanEnv
* env
)
6102 if (*type
== CCV_SB
) {
6104 return ONIGERR_INVALID_CODE_POINT_VALUE
;
6106 BITSET_SET_BIT(cc
->bs
, (int )(*from
));
6108 else if (*type
== CCV_CODE_POINT
) {
6109 r
= add_code_range(&(cc
->mbuf
), env
, *from
, *from
);
6110 if (r
< 0) return r
;
6115 if (intype
== *type
) {
6116 if (intype
== CCV_SB
) {
6117 if (*from
> 0xff || to
> 0xff)
6118 return ONIGERR_INVALID_CODE_POINT_VALUE
;
6121 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
6124 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
6126 bitset_set_range(cc
->bs
, (int )*from
, (int )to
);
6129 r
= add_code_range(&(cc
->mbuf
), env
, *from
, to
);
6130 if (r
< 0) return r
;
6135 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_EMPTY_RANGE_IN_CC
))
6138 return ONIGERR_EMPTY_RANGE_IN_CHAR_CLASS
;
6140 bitset_set_range(cc
->bs
, (int )*from
, (int )(to
< 0xff ? to
: 0xff));
6141 r
= add_code_range(&(cc
->mbuf
), env
, (OnigCodePoint
)*from
, to
);
6142 if (r
< 0) return r
;
6145 *state
= CCS_COMPLETE
;
6157 *from_israw
= to_israw
;
6164 code_exist_check(OnigCodePoint c
, UChar
* from
, UChar
* end
, int ignore_escaped
,
6169 OnigEncoding enc
= env
->enc
;
6174 if (ignore_escaped
&& in_esc
) {
6179 if (code
== c
) return 1;
6180 if (code
== MC_ESC(env
->syntax
)) in_esc
= 1;
6187 parse_char_class(Node
** np
, OnigToken
* tok
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6189 int r
, neg
, len
, fetched
, and_start
;
6190 OnigCodePoint v
, vs
;
6193 CClassNode
*cc
, *prev_cc
;
6197 enum CCVALTYPE val_type
, in_type
;
6198 int val_israw
, in_israw
;
6202 if (env
->parse_depth
> ParseDepthLimit
)
6203 return ONIGERR_PARSE_DEPTH_LIMIT_OVER
;
6204 prev_cc
= (CClassNode
* )NULL
;
6205 r
= fetch_token_in_cc(tok
, src
, end
, env
);
6206 if (r
== TK_CHAR
&& tok
->u
.c
== '^' && tok
->escaped
== 0) {
6208 r
= fetch_token_in_cc(tok
, src
, end
, env
);
6214 if (r
< 0) return r
;
6215 if (r
== TK_CC_CLOSE
) {
6216 if (! code_exist_check((OnigCodePoint
)']',
6217 *src
, env
->pattern_end
, 1, env
))
6218 return ONIGERR_EMPTY_CHAR_CLASS
;
6220 CC_ESC_WARN(env
, (UChar
* )"]");
6221 r
= tok
->type
= TK_CHAR
; /* allow []...] */
6224 *np
= node
= node_new_cclass();
6225 CHECK_NULL_RETURN_MEMERR(node
);
6231 while (r
!= TK_CC_CLOSE
) {
6236 len
= ONIGENC_CODE_TO_MBCLEN(env
->enc
, tok
->u
.c
);
6238 in_type
= CCV_CODE_POINT
;
6248 v
= (OnigCodePoint
)tok
->u
.c
;
6254 /* tok->base != 0 : octal or hexadec. */
6255 if (! ONIGENC_IS_SINGLEBYTE(env
->enc
) && tok
->base
!= 0) {
6256 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
6257 UChar
* bufe
= buf
+ ONIGENC_CODE_TO_MBC_MAXLEN
;
6259 int i
, base
= tok
->base
;
6262 for (i
= 1; i
< ONIGENC_MBC_MAXLEN(env
->enc
); i
++) {
6263 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6264 if (r
< 0) goto err
;
6265 if (r
!= TK_RAW_BYTE
|| tok
->base
!= base
) {
6272 if (i
< ONIGENC_MBC_MINLEN(env
->enc
)) {
6273 r
= ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
6277 len
= enclen(env
->enc
, buf
);
6279 r
= ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
6282 else if (i
> len
) { /* fetch back */
6284 for (i
= 1; i
< len
; i
++) {
6285 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6291 v
= (OnigCodePoint
)buf
[0];
6295 v
= ONIGENC_MBC_TO_CODE(env
->enc
, buf
, bufe
);
6296 in_type
= CCV_CODE_POINT
;
6300 v
= (OnigCodePoint
)tok
->u
.c
;
6312 len
= ONIGENC_CODE_TO_MBCLEN(env
->enc
, v
);
6317 in_type
= (len
== 1 ? CCV_SB
: CCV_CODE_POINT
);
6319 r
= next_state_val(cc
, &vs
, v
, &val_israw
, in_israw
, in_type
, &val_type
,
6321 if (r
!= 0) goto err
;
6324 case TK_POSIX_BRACKET_OPEN
:
6325 r
= parse_posix_bracket(cc
, &p
, end
, env
);
6326 if (r
< 0) goto err
;
6327 if (r
== 1) { /* is not POSIX bracket */
6328 CC_ESC_WARN(env
, (UChar
* )"[");
6330 v
= (OnigCodePoint
)tok
->u
.c
;
6338 r
= add_ctype_to_cc(cc
, tok
->u
.prop
.ctype
, tok
->u
.prop
.not, env
);
6339 if (r
!= 0) goto err
;
6342 r
= next_state_class(cc
, &vs
, &val_type
, &state
, env
);
6343 if (r
!= 0) goto err
;
6346 case TK_CHAR_PROPERTY
:
6348 int ctype
= fetch_char_property_to_ctype(&p
, end
, env
);
6353 r
= add_ctype_to_cc(cc
, ctype
, tok
->u
.prop
.not, env
);
6354 if (r
!= 0) goto err
;
6360 if (state
== CCS_VALUE
) {
6361 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6362 if (r
< 0) goto err
;
6364 if (r
== TK_CC_CLOSE
) { /* allow [x-] */
6366 v
= (OnigCodePoint
)'-';
6370 else if (r
== TK_CC_AND
) {
6371 CC_ESC_WARN(env
, (UChar
* )"-");
6375 if (val_type
== CCV_CLASS
) {
6376 r
= ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS
;
6382 else if (state
== CCS_START
) {
6383 /* [-xa] is allowed */
6384 v
= (OnigCodePoint
)tok
->u
.c
;
6387 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6388 if (r
< 0) goto err
;
6390 /* [--x] or [a&&-x] is warned. */
6391 if (r
== TK_CC_RANGE
|| and_start
!= 0)
6392 CC_ESC_WARN(env
, (UChar
* )"-");
6396 else if (state
== CCS_RANGE
) {
6397 CC_ESC_WARN(env
, (UChar
* )"-");
6398 goto any_char_in
; /* [!--x] is allowed */
6400 else { /* CCS_COMPLETE */
6401 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6402 if (r
< 0) goto err
;
6404 if (r
== TK_CC_CLOSE
) goto range_end_val
; /* allow [a-b-] */
6405 else if (r
== TK_CC_AND
) {
6406 CC_ESC_WARN(env
, (UChar
* )"-");
6410 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_DOUBLE_RANGE_OP_IN_CC
)) {
6411 CC_ESC_WARN(env
, (UChar
* )"-");
6412 goto range_end_val
; /* [0-9-a] is allowed as [0-9\-a] */
6414 r
= ONIGERR_UNMATCHED_RANGE_SPECIFIER_IN_CHAR_CLASS
;
6419 case TK_CC_CC_OPEN
: /* [ */
6424 r
= parse_char_class(&anode
, tok
, &p
, end
, env
);
6426 onig_node_free(anode
);
6429 acc
= CCLASS_(anode
);
6430 r
= or_cclass(cc
, acc
, env
->enc
);
6431 onig_node_free(anode
);
6434 if (r
!= 0) goto err
;
6438 case TK_CC_AND
: /* && */
6440 if (state
== CCS_VALUE
) {
6441 r
= next_state_val(cc
, &vs
, 0, &val_israw
, 0, val_type
,
6442 &val_type
, &state
, env
);
6443 if (r
!= 0) goto err
;
6445 /* initialize local variables */
6449 if (IS_NOT_NULL(prev_cc
)) {
6450 r
= and_cclass(prev_cc
, cc
, env
->enc
);
6451 if (r
!= 0) goto err
;
6452 bbuf_free(cc
->mbuf
);
6458 initialize_cclass(cc
);
6463 r
= ONIGERR_PREMATURE_END_OF_CHAR_CLASS
;
6467 r
= ONIGERR_PARSER_BUG
;
6475 r
= fetch_token_in_cc(tok
, &p
, end
, env
);
6476 if (r
< 0) goto err
;
6480 if (state
== CCS_VALUE
) {
6481 r
= next_state_val(cc
, &vs
, 0, &val_israw
, 0, val_type
,
6482 &val_type
, &state
, env
);
6483 if (r
!= 0) goto err
;
6486 if (IS_NOT_NULL(prev_cc
)) {
6487 r
= and_cclass(prev_cc
, cc
, env
->enc
);
6488 if (r
!= 0) goto err
;
6489 bbuf_free(cc
->mbuf
);
6494 NCCLASS_SET_NOT(cc
);
6496 NCCLASS_CLEAR_NOT(cc
);
6497 if (IS_NCCLASS_NOT(cc
) &&
6498 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_NOT_NEWLINE_IN_NEGATIVE_CC
)) {
6499 int is_empty
= (IS_NULL(cc
->mbuf
) ? 1 : 0);
6501 BITSET_IS_EMPTY(cc
->bs
, is_empty
);
6503 if (is_empty
== 0) {
6504 #define NEWLINE_CODE 0x0a
6506 if (ONIGENC_IS_CODE_NEWLINE(env
->enc
, NEWLINE_CODE
)) {
6507 if (ONIGENC_CODE_TO_MBCLEN(env
->enc
, NEWLINE_CODE
) == 1)
6508 BITSET_SET_BIT(cc
->bs
, NEWLINE_CODE
);
6510 add_code_range(&(cc
->mbuf
), env
, NEWLINE_CODE
, NEWLINE_CODE
);
6519 if (cc
!= CCLASS_(*np
))
6520 bbuf_free(cc
->mbuf
);
6524 static int parse_subexp(Node
** top
, OnigToken
* tok
, int term
,
6525 UChar
** src
, UChar
* end
, ScanEnv
* env
);
6529 /* (?{...}[tag][+-]) (?{{...}}[tag][+-]) */
6531 parse_callout_of_contents(Node
** np
, int cterm
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6544 CalloutListEntry
* e
;
6546 OnigEncoding enc
= env
->enc
;
6549 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6552 while (PPEEK_IS('{')) {
6555 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6558 in
= ONIG_CALLOUT_IN_PROGRESS
;
6561 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6568 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6577 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6581 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6584 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6587 if (c
== ']') break;
6589 if (! is_allowed_callout_tag_name(enc
, tag_start
, tag_end
))
6590 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6592 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6596 tag_start
= tag_end
= 0;
6600 in
|= ONIG_CALLOUT_IN_RETRACTION
;
6601 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6604 else if (c
== '<') {
6605 in
= ONIG_CALLOUT_IN_RETRACTION
;
6606 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6609 else if (c
== '>') { /* no needs (default) */
6610 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6615 return ONIGERR_INVALID_CALLOUT_PATTERN
;
6617 r
= reg_callout_list_entry(env
, &num
);
6618 if (r
!= 0) return r
;
6620 ext
= onig_get_regex_ext(env
->reg
);
6621 CHECK_NULL_RETURN_MEMERR(ext
);
6622 if (IS_NULL(ext
->pattern
)) {
6623 r
= onig_ext_set_pattern(env
->reg
, env
->pattern
, env
->pattern_end
);
6624 if (r
!= ONIG_NORMAL
) return r
;
6627 if (tag_start
!= tag_end
) {
6628 r
= callout_tag_entry(env
->reg
, tag_start
, tag_end
, num
);
6629 if (r
!= ONIG_NORMAL
) return r
;
6632 contents
= onigenc_strdup(enc
, code_start
, code_end
);
6633 CHECK_NULL_RETURN_MEMERR(contents
);
6635 r
= node_new_callout(np
, ONIG_CALLOUT_OF_CONTENTS
, num
, ONIG_NON_NAME_ID
, env
);
6641 e
= onig_reg_callout_list_at(env
->reg
, num
);
6644 return ONIGERR_MEMORY
;
6647 e
->of
= ONIG_CALLOUT_OF_CONTENTS
;
6649 e
->name_id
= ONIG_NON_NAME_ID
;
6650 e
->u
.content
.start
= contents
;
6651 e
->u
.content
.end
= contents
+ (code_end
- code_start
);
6658 parse_long(OnigEncoding enc
, UChar
* s
, UChar
* end
, int sign_on
, long max
, long* rl
)
6666 if (s
>= end
) return ONIGERR_INVALID_CALLOUT_ARG
;
6672 c
= ONIGENC_MBC_TO_CODE(enc
, p
, end
);
6673 p
+= ONIGENC_MBC_ENC_LEN(enc
, p
);
6674 if (c
>= '0' && c
<= '9') {
6675 d
= (long )(c
- '0');
6676 if (v
> (max
- d
) / 10)
6677 return ONIGERR_INVALID_CALLOUT_ARG
;
6681 else if (sign_on
!= 0 && (c
== '-' || c
== '+')) {
6682 if (c
== '-') flag
= -1;
6685 return ONIGERR_INVALID_CALLOUT_ARG
;
6695 parse_callout_args(int skip_mode
, int cterm
, UChar
** src
, UChar
* end
,
6696 unsigned int types
[], OnigValue vals
[], ScanEnv
* env
)
6698 #define MAX_CALLOUT_ARG_BYTE_LENGTH 128
6709 UChar buf
[MAX_CALLOUT_ARG_BYTE_LENGTH
];
6710 OnigEncoding enc
= env
->enc
;
6713 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6716 while (n
< ONIG_CALLOUT_MAX_ARGS_NUM
) {
6724 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6730 if (c
== '\\' || c
== cterm
|| c
== ',') {
6744 else if (c
== cterm
|| c
== ',')
6750 if (skip_mode
== 0) {
6752 if (bufend
+ clen
> buf
+ MAX_CALLOUT_ARG_BYTE_LENGTH
)
6753 return ONIGERR_INVALID_CALLOUT_ARG
; /* too long argument */
6755 xmemcpy(bufend
, e
, clen
);
6764 if (skip_mode
== 0) {
6765 if ((types
[n
] & ONIG_TYPE_LONG
) != 0) {
6769 r
= parse_long(enc
, buf
, bufend
, 1, LONG_MAX
, &rl
);
6770 if (r
== ONIG_NORMAL
) {
6773 types
[n
] = ONIG_TYPE_LONG
;
6778 types
[n
] = (types
[n
] & ~ONIG_TYPE_LONG
);
6779 if (types
[n
] == ONIG_TYPE_VOID
)
6780 return ONIGERR_INVALID_CALLOUT_ARG
;
6785 case ONIG_TYPE_LONG
:
6788 case ONIG_TYPE_CHAR
:
6789 if (cn
!= 1) return ONIGERR_INVALID_CALLOUT_ARG
;
6790 vals
[n
].c
= ONIGENC_MBC_TO_CODE(enc
, buf
, bufend
);
6793 case ONIG_TYPE_STRING
:
6795 UChar
* rs
= onigenc_strdup(enc
, buf
, bufend
);
6796 CHECK_NULL_RETURN_MEMERR(rs
);
6797 vals
[n
].s
.start
= rs
;
6798 vals
[n
].s
.end
= rs
+ (e
- s
);
6803 if (eesc
!= 0 || ! is_allowed_callout_tag_name(enc
, s
, e
))
6804 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6806 vals
[n
].s
.start
= s
;
6810 case ONIG_TYPE_VOID
:
6811 case ONIG_TYPE_POINTER
:
6812 return ONIGERR_PARSER_BUG
;
6820 if (c
== cterm
) break;
6823 if (c
!= cterm
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6829 /* (*name[TAG]) (*name[TAG]{a,b,..}) */
6831 parse_callout_of_name(Node
** np
, int cterm
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
6848 CalloutListEntry
* e
;
6850 unsigned int types
[ONIG_CALLOUT_MAX_ARGS_NUM
];
6851 OnigValue vals
[ONIG_CALLOUT_MAX_ARGS_NUM
];
6852 OnigEncoding enc
= env
->enc
;
6856 if (PEND
) return ONIGERR_INVALID_CALLOUT_PATTERN
;
6861 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6864 if (c
== cterm
|| c
== '[' || c
== '{') break;
6867 if (! is_allowed_callout_name(enc
, name_start
, name_end
))
6868 return ONIGERR_INVALID_CALLOUT_NAME
;
6871 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6874 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6877 if (c
== ']') break;
6879 if (! is_allowed_callout_tag_name(enc
, tag_start
, tag_end
))
6880 return ONIGERR_INVALID_CALLOUT_TAG_NAME
;
6882 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6886 tag_start
= tag_end
= 0;
6892 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6894 /* read for single check only */
6896 arg_num
= parse_callout_args(1, '}', &p
, end
, 0, 0, env
);
6897 if (arg_num
< 0) return arg_num
;
6899 is_not_single
= PPEEK_IS(cterm
) ? 0 : 1;
6901 r
= get_callout_name_id_by_name(enc
, is_not_single
, name_start
, name_end
,
6903 if (r
!= ONIG_NORMAL
) return r
;
6905 max_arg_num
= get_callout_arg_num_by_name_id(name_id
);
6906 for (i
= 0; i
< max_arg_num
; i
++) {
6907 types
[i
] = get_callout_arg_type_by_name_id(name_id
, i
);
6910 arg_num
= parse_callout_args(0, '}', &p
, end
, types
, vals
, env
);
6911 if (arg_num
< 0) return arg_num
;
6913 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
6920 r
= get_callout_name_id_by_name(enc
, is_not_single
, name_start
, name_end
,
6922 if (r
!= ONIG_NORMAL
) return r
;
6924 max_arg_num
= get_callout_arg_num_by_name_id(name_id
);
6925 for (i
= 0; i
< max_arg_num
; i
++) {
6926 types
[i
] = get_callout_arg_type_by_name_id(name_id
, i
);
6930 in
= onig_get_callout_in_by_name_id(name_id
);
6931 opt_arg_num
= get_callout_opt_arg_num_by_name_id(name_id
);
6932 if (arg_num
> max_arg_num
|| arg_num
< (max_arg_num
- opt_arg_num
))
6933 return ONIGERR_INVALID_CALLOUT_ARG
;
6936 return ONIGERR_INVALID_CALLOUT_PATTERN
;
6938 r
= reg_callout_list_entry(env
, &num
);
6939 if (r
!= 0) return r
;
6941 ext
= onig_get_regex_ext(env
->reg
);
6942 CHECK_NULL_RETURN_MEMERR(ext
);
6943 if (IS_NULL(ext
->pattern
)) {
6944 r
= onig_ext_set_pattern(env
->reg
, env
->pattern
, env
->pattern_end
);
6945 if (r
!= ONIG_NORMAL
) return r
;
6948 if (tag_start
!= tag_end
) {
6949 r
= callout_tag_entry(env
->reg
, tag_start
, tag_end
, num
);
6950 if (r
!= ONIG_NORMAL
) return r
;
6953 r
= node_new_callout(&node
, ONIG_CALLOUT_OF_NAME
, num
, name_id
, env
);
6954 if (r
!= ONIG_NORMAL
) return r
;
6956 e
= onig_reg_callout_list_at(env
->reg
, num
);
6957 CHECK_NULL_RETURN_MEMERR(e
);
6959 e
->of
= ONIG_CALLOUT_OF_NAME
;
6961 e
->name_id
= name_id
;
6962 e
->type
= onig_get_callout_type_by_name_id(name_id
);
6963 e
->start_func
= onig_get_callout_start_func_by_name_id(name_id
);
6964 e
->end_func
= onig_get_callout_end_func_by_name_id(name_id
);
6965 e
->u
.arg
.num
= max_arg_num
;
6966 e
->u
.arg
.passed_num
= arg_num
;
6967 for (i
= 0; i
< max_arg_num
; i
++) {
6968 e
->u
.arg
.types
[i
] = types
[i
];
6970 e
->u
.arg
.vals
[i
] = vals
[i
];
6972 e
->u
.arg
.vals
[i
] = get_callout_opt_default_by_name_id(name_id
, i
);
6982 parse_enclosure(Node
** np
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
6987 OnigOptionType option
;
6990 OnigEncoding enc
= env
->enc
;
6996 if (PEND
) return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
6998 option
= env
->options
;
7000 if (c
== '?' && IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_GROUP_EFFECT
)) {
7002 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7006 case ':': /* (?:...) grouping only */
7008 r
= fetch_token(tok
, &p
, end
, env
);
7009 if (r
< 0) return r
;
7010 r
= parse_subexp(np
, tok
, term
, &p
, end
, env
);
7011 if (r
< 0) return r
;
7013 return 1; /* group */
7017 *np
= onig_node_new_anchor(ANCHOR_PREC_READ
, 0);
7019 case '!': /* preceding read */
7020 *np
= onig_node_new_anchor(ANCHOR_PREC_READ_NOT
, 0);
7022 case '>': /* (?>...) stop backtrack */
7023 *np
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
7027 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7031 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7034 case '<': /* look behind (?<=...), (?<!...) */
7035 if (PEND
) return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
7038 *np
= onig_node_new_anchor(ANCHOR_LOOK_BEHIND
, 0);
7040 *np
= onig_node_new_anchor(ANCHOR_LOOK_BEHIND_NOT
, 0);
7042 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7045 enum REF_NUM num_type
;
7055 r
= fetch_name((OnigCodePoint
)c
, &p
, end
, &name_end
, env
, &num
,
7057 if (r
< 0) return r
;
7059 num
= scan_env_add_mem_entry(env
);
7060 if (num
< 0) return num
;
7061 if (list_capture
!= 0 && num
>= (int )MEM_STATUS_BITS_NUM
)
7062 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY
;
7064 r
= name_add(env
->reg
, name
, name_end
, num
, env
);
7065 if (r
!= 0) return r
;
7066 *np
= node_new_memory(1);
7067 CHECK_NULL_RETURN_MEMERR(*np
);
7068 ENCLOSURE_(*np
)->m
.regnum
= num
;
7069 if (list_capture
!= 0)
7070 MEM_STATUS_ON_SIMPLE(env
->capture_history
, num
);
7074 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7080 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_TILDE_ABSENT_GROUP
)) {
7084 int is_range_cutter
;
7086 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7088 if (PPEEK_IS('|')) { /* (?~|generator|absent) */
7090 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7093 if (PPEEK_IS(')')) { /* (?~|) : range clear */
7095 r
= make_range_clear(np
, env
);
7096 if (r
!= 0) return r
;
7103 r
= fetch_token(tok
, &p
, end
, env
);
7104 if (r
< 0) return r
;
7105 r
= parse_subexp(&absent
, tok
, term
, &p
, end
, env
);
7107 onig_node_free(absent
);
7112 is_range_cutter
= 0;
7113 if (head_bar
!= 0) {
7115 if (NODE_TYPE(top
) != NODE_ALT
|| IS_NULL(NODE_CDR(top
))) {
7117 is_range_cutter
= 1;
7118 /* return ONIGERR_INVALID_ABSENT_GROUP_GENERATOR_PATTERN; */
7121 absent
= NODE_CAR(top
);
7122 expr
= NODE_CDR(top
);
7123 NODE_CAR(top
) = NULL_NODE
;
7124 NODE_CDR(top
) = NULL_NODE
;
7125 onig_node_free(top
);
7126 if (IS_NULL(NODE_CDR(expr
))) {
7128 expr
= NODE_CAR(top
);
7129 NODE_CAR(top
) = NULL_NODE
;
7130 onig_node_free(top
);
7135 r
= make_absent_tree(np
, absent
, expr
, is_range_cutter
, env
);
7142 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7148 if (! IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_BRACE_CALLOUT_CONTENTS
))
7149 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7151 r
= parse_callout_of_contents(np
, ')', &p
, end
, env
);
7152 if (r
!= 0) return r
;
7160 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LPAREN_IF_ELSE
)) {
7163 int condition_is_checker
;
7165 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7167 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7169 if (IS_CODE_DIGIT_ASCII(enc
, c
)
7170 || c
== '-' || c
== '+' || c
== '<' || c
== '\'') {
7175 enum REF_NUM num_type
;
7178 is_enclosed
= (c
== '<' || c
== '\'') ? 1 : 0;
7183 #ifdef USE_BACKREF_WITH_LEVEL
7184 name_end
= NULL_UCHARP
; /* no need. escape gcc warning. */
7185 r
= fetch_name_with_level(
7186 (OnigCodePoint
)(is_enclosed
!= 0 ? c
: '('),
7188 env
, &back_num
, &level
, &num_type
);
7189 if (r
== 1) exist_level
= 1;
7191 r
= fetch_name((OnigCodePoint
)(is_enclosed
!= 0 ? c
: '('),
7192 &p
, end
, &name_end
, env
, &back_num
, &num_type
, 1);
7195 if (is_enclosed
== 0) {
7202 condition_is_checker
= 1;
7203 if (num_type
!= IS_NOT_NUM
) {
7204 if (num_type
== IS_REL_NUM
) {
7205 back_num
= backref_rel_to_abs(back_num
, env
);
7208 return ONIGERR_INVALID_BACKREF
;
7210 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
7211 if (back_num
> env
->num_mem
||
7212 IS_NULL(SCANENV_MEMENV(env
)[back_num
].node
))
7213 return ONIGERR_INVALID_BACKREF
;
7216 condition
= node_new_backref_checker(1, &back_num
, 0,
7217 #ifdef USE_BACKREF_WITH_LEVEL
7226 num
= onig_name_to_group_numbers(env
->reg
, prev
, name_end
, &backs
);
7228 onig_scan_env_set_error_string(env
,
7229 ONIGERR_UNDEFINED_NAME_REFERENCE
, prev
, name_end
);
7230 return ONIGERR_UNDEFINED_NAME_REFERENCE
;
7232 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_STRICT_CHECK_BACKREF
)) {
7234 for (i
= 0; i
< num
; i
++) {
7235 if (backs
[i
] > env
->num_mem
||
7236 IS_NULL(SCANENV_MEMENV(env
)[backs
[i
]].node
))
7237 return ONIGERR_INVALID_BACKREF
;
7241 condition
= node_new_backref_checker(num
, backs
, 1,
7242 #ifdef USE_BACKREF_WITH_LEVEL
7248 if (is_enclosed
!= 0) {
7249 if (PEND
) goto err_if_else
;
7251 if (c
!= ')') goto err_if_else
;
7255 else if (c
== '?') {
7256 if (IS_SYNTAX_OP2(env
->syntax
,
7257 ONIG_SYN_OP2_QMARK_BRACE_CALLOUT_CONTENTS
)) {
7258 if (! PEND
&& PPEEK_IS('{')) {
7259 /* condition part is callouts of contents: (?(?{...})THEN|ELSE) */
7260 condition_is_checker
= 0;
7262 r
= parse_callout_of_contents(&condition
, ')', &p
, end
, env
);
7263 if (r
!= 0) return r
;
7269 else if (c
== '*' &&
7270 IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ASTERISK_CALLOUT_NAME
)) {
7271 condition_is_checker
= 0;
7272 r
= parse_callout_of_name(&condition
, ')', &p
, end
, env
);
7273 if (r
!= 0) return r
;
7280 condition_is_checker
= 0;
7281 r
= fetch_token(tok
, &p
, end
, env
);
7282 if (r
< 0) return r
;
7283 r
= parse_subexp(&condition
, tok
, term
, &p
, end
, env
);
7285 onig_node_free(condition
);
7291 CHECK_NULL_RETURN_MEMERR(condition
);
7295 onig_node_free(condition
);
7296 return ONIGERR_END_PATTERN_IN_GROUP
;
7299 if (PPEEK_IS(')')) { /* case: empty body: make backref checker */
7300 if (condition_is_checker
== 0) {
7301 onig_node_free(condition
);
7302 return ONIGERR_INVALID_IF_ELSE_SYNTAX
;
7307 else { /* if-else */
7311 if (PPEEK_IS('|')) {
7319 r
= fetch_token(tok
, &p
, end
, env
);
7321 onig_node_free(condition
);
7324 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7326 onig_node_free(condition
);
7327 onig_node_free(target
);
7331 if (then_is_empty
!= 0) {
7335 if (NODE_TYPE(target
) == NODE_ALT
) {
7336 Then
= NODE_CAR(target
);
7337 if (NODE_CDR(NODE_CDR(target
)) == NULL_NODE
) {
7338 Else
= NODE_CAR(NODE_CDR(target
));
7339 cons_node_free_alone(NODE_CDR(target
));
7342 Else
= NODE_CDR(target
);
7344 cons_node_free_alone(target
);
7352 *np
= node_new_enclosure_if_else(condition
, Then
, Else
);
7354 onig_node_free(condition
);
7355 onig_node_free(Then
);
7356 onig_node_free(Else
);
7357 return ONIGERR_MEMORY
;
7363 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7368 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ATMARK_CAPTURE_HISTORY
)) {
7369 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_QMARK_LT_NAMED_GROUP
)) {
7371 if (c
== '<' || c
== '\'') {
7373 goto named_group2
; /* (?@<name>...) */
7378 *np
= node_new_memory(0);
7379 CHECK_NULL_RETURN_MEMERR(*np
);
7380 num
= scan_env_add_mem_entry(env
);
7384 else if (num
>= (int )MEM_STATUS_BITS_NUM
) {
7385 return ONIGERR_GROUP_NUMBER_OVER_FOR_CAPTURE_HISTORY
;
7387 ENCLOSURE_(*np
)->m
.regnum
= num
;
7388 MEM_STATUS_ON_SIMPLE(env
->capture_history
, num
);
7391 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7395 #ifdef USE_POSIXLINE_OPTION
7398 case '-': case 'i': case 'm': case 's': case 'x':
7399 case 'W': case 'D': case 'S': case 'P':
7409 case '-': neg
= 1; break;
7410 case 'x': OPTION_NEGATE(option
, ONIG_OPTION_EXTEND
, neg
); break;
7411 case 'i': OPTION_NEGATE(option
, ONIG_OPTION_IGNORECASE
, neg
); break;
7413 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_PERL
)) {
7414 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
, neg
);
7417 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7421 if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_PERL
)) {
7422 OPTION_NEGATE(option
, ONIG_OPTION_SINGLELINE
, (neg
== 0 ? 1 : 0));
7424 else if (IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_OPTION_RUBY
)) {
7425 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
, neg
);
7428 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7430 #ifdef USE_POSIXLINE_OPTION
7432 OPTION_NEGATE(option
, ONIG_OPTION_MULTILINE
|ONIG_OPTION_SINGLELINE
, neg
);
7435 case 'W': OPTION_NEGATE(option
, ONIG_OPTION_WORD_IS_ASCII
, neg
); break;
7436 case 'D': OPTION_NEGATE(option
, ONIG_OPTION_DIGIT_IS_ASCII
, neg
); break;
7437 case 'S': OPTION_NEGATE(option
, ONIG_OPTION_SPACE_IS_ASCII
, neg
); break;
7438 case 'P': OPTION_NEGATE(option
, ONIG_OPTION_POSIX_IS_ASCII
, neg
); break;
7441 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7445 *np
= node_new_option(option
);
7446 CHECK_NULL_RETURN_MEMERR(*np
);
7448 return 2; /* option only */
7450 else if (c
== ':') {
7451 OnigOptionType prev
= env
->options
;
7453 env
->options
= option
;
7454 r
= fetch_token(tok
, &p
, end
, env
);
7455 if (r
< 0) return r
;
7456 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7457 env
->options
= prev
;
7459 onig_node_free(target
);
7462 *np
= node_new_option(option
);
7463 CHECK_NULL_RETURN_MEMERR(*np
);
7464 NODE_BODY(*np
) = target
;
7469 if (PEND
) return ONIGERR_END_PATTERN_IN_GROUP
;
7476 return ONIGERR_UNDEFINED_GROUP_OPTION
;
7480 else if (c
== '*' &&
7481 IS_SYNTAX_OP2(env
->syntax
, ONIG_SYN_OP2_ASTERISK_CALLOUT_NAME
)) {
7483 r
= parse_callout_of_name(np
, ')', &p
, end
, env
);
7484 if (r
!= 0) return r
;
7490 if (ONIG_IS_OPTION_ON(env
->options
, ONIG_OPTION_DONT_CAPTURE_GROUP
))
7493 *np
= node_new_memory(0);
7494 CHECK_NULL_RETURN_MEMERR(*np
);
7495 num
= scan_env_add_mem_entry(env
);
7496 if (num
< 0) return num
;
7497 ENCLOSURE_(*np
)->m
.regnum
= num
;
7500 CHECK_NULL_RETURN_MEMERR(*np
);
7501 r
= fetch_token(tok
, &p
, end
, env
);
7502 if (r
< 0) return r
;
7503 r
= parse_subexp(&target
, tok
, term
, &p
, end
, env
);
7505 onig_node_free(target
);
7509 NODE_BODY(*np
) = target
;
7511 if (NODE_TYPE(*np
) == NODE_ENCLOSURE
) {
7512 if (ENCLOSURE_(*np
)->type
== ENCLOSURE_MEMORY
) {
7513 /* Don't move this to previous of parse_subexp() */
7514 r
= scan_env_set_mem_node(env
, ENCLOSURE_(*np
)->m
.regnum
, *np
);
7515 if (r
!= 0) return r
;
7524 static const char* PopularQStr
[] = {
7525 "?", "*", "+", "??", "*?", "+?"
7528 static const char* ReduceQStr
[] = {
7529 "", "", "*", "*?", "??", "+ and ??", "+? and ?"
7533 set_quantifier(Node
* qnode
, Node
* target
, int group
, ScanEnv
* env
)
7538 if (qn
->lower
== 1 && qn
->upper
== 1)
7541 switch (NODE_TYPE(target
)) {
7544 if (str_node_can_be_split(target
, env
->enc
)) {
7545 Node
* n
= str_node_split_last_char(target
, env
->enc
);
7546 if (IS_NOT_NULL(n
)) {
7547 NODE_BODY(qnode
) = n
;
7555 { /* check redundant double repeat. */
7556 /* verbose warn (?:.?)? etc... but not warn (.?)? etc... */
7557 QuantNode
* qnt
= QUANT_(target
);
7558 int nestq_num
= quantifier_type_num(qn
);
7559 int targetq_num
= quantifier_type_num(qnt
);
7561 #ifdef USE_WARNING_REDUNDANT_NESTED_REPEAT_OPERATOR
7562 if (targetq_num
>= 0 && nestq_num
>= 0 &&
7563 IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_WARN_REDUNDANT_NESTED_REPEAT
)) {
7564 UChar buf
[WARN_BUFSIZE
];
7566 switch(ReduceTypeTable
[targetq_num
][nestq_num
]) {
7571 if (onig_verb_warn
!= onig_null_warn
) {
7572 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
7573 env
->pattern
, env
->pattern_end
,
7574 (UChar
* )"redundant nested repeat operator");
7575 (*onig_verb_warn
)((char* )buf
);
7581 if (onig_verb_warn
!= onig_null_warn
) {
7582 onig_snprintf_with_pattern(buf
, WARN_BUFSIZE
, env
->enc
,
7583 env
->pattern
, env
->pattern_end
,
7584 (UChar
* )"nested repeat operator %s and %s was replaced with '%s'",
7585 PopularQStr
[targetq_num
], PopularQStr
[nestq_num
],
7586 ReduceQStr
[ReduceTypeTable
[targetq_num
][nestq_num
]]);
7587 (*onig_verb_warn
)((char* )buf
);
7596 if (targetq_num
>= 0 && nestq_num
< 0) {
7597 if (targetq_num
== 1 || targetq_num
== 2) { /* * or + */
7598 /* (?:a*){n,m}, (?:a+){n,m} => (?:a*){n,n}, (?:a+){n,n} */
7599 if (! IS_REPEAT_INFINITE(qn
->upper
) && qn
->upper
> 1 && qn
->greedy
) {
7600 qn
->upper
= (qn
->lower
== 0 ? 1 : qn
->lower
);
7605 NODE_BODY(qnode
) = target
;
7606 onig_reduce_nested_quantifier(qnode
, target
);
7616 NODE_BODY(qnode
) = target
;
7622 #ifndef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7624 clear_not_flag_cclass(CClassNode
* cc
, OnigEncoding enc
)
7629 if (IS_NCCLASS_NOT(cc
)) {
7630 bitset_invert(cc
->bs
);
7632 if (! ONIGENC_IS_SINGLEBYTE(enc
)) {
7633 r
= not_code_range_buf(enc
, cc
->mbuf
, &tbuf
);
7634 if (r
!= 0) return r
;
7636 bbuf_free(cc
->mbuf
);
7640 NCCLASS_CLEAR_NOT(cc
);
7645 #endif /* CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS */
7652 } IApplyCaseFoldArg
;
7655 i_apply_case_fold(OnigCodePoint from
, OnigCodePoint to
[], int to_len
, void* arg
)
7657 IApplyCaseFoldArg
* iarg
;
7662 iarg
= (IApplyCaseFoldArg
* )arg
;
7668 int is_in
= onig_is_code_in_cc(env
->enc
, from
, cc
);
7669 #ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7670 if ((is_in
!= 0 && !IS_NCCLASS_NOT(cc
)) ||
7671 (is_in
== 0 && IS_NCCLASS_NOT(cc
))) {
7672 if (ONIGENC_MBC_MINLEN(env
->enc
) > 1 || *to
>= SINGLE_BYTE_SIZE
) {
7673 add_code_range(&(cc
->mbuf
), env
, *to
, *to
);
7676 BITSET_SET_BIT(bs
, *to
);
7681 if (ONIGENC_MBC_MINLEN(env
->enc
) > 1 || *to
>= SINGLE_BYTE_SIZE
) {
7682 if (IS_NCCLASS_NOT(cc
)) clear_not_flag_cclass(cc
, env
->enc
);
7683 add_code_range(&(cc
->mbuf
), env
, *to
, *to
);
7686 if (IS_NCCLASS_NOT(cc
)) {
7687 BITSET_CLEAR_BIT(bs
, *to
);
7690 BITSET_SET_BIT(bs
, *to
);
7693 #endif /* CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS */
7697 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
7698 Node
*snode
= NULL_NODE
;
7700 if (onig_is_code_in_cc(env
->enc
, from
, cc
)
7701 #ifdef CASE_FOLD_IS_APPLIED_INSIDE_NEGATIVE_CCLASS
7702 && !IS_NCCLASS_NOT(cc
)
7705 for (i
= 0; i
< to_len
; i
++) {
7706 len
= ONIGENC_CODE_TO_MBC(env
->enc
, to
[i
], buf
);
7708 snode
= onig_node_new_str(buf
, buf
+ len
);
7709 CHECK_NULL_RETURN_MEMERR(snode
);
7711 /* char-class expanded multi-char only
7712 compare with string folded at match time. */
7713 NODE_STRING_SET_AMBIG(snode
);
7716 r
= onig_node_str_cat(snode
, buf
, buf
+ len
);
7718 onig_node_free(snode
);
7724 *(iarg
->ptail
) = onig_node_new_alt(snode
, NULL_NODE
);
7725 CHECK_NULL_RETURN_MEMERR(*(iarg
->ptail
));
7726 iarg
->ptail
= &(NODE_CDR((*(iarg
->ptail
))));
7734 parse_exp(Node
** np
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
7737 int r
, len
, group
= 0;
7742 if (tok
->type
== (enum TokenSyms
)term
)
7745 switch (tok
->type
) {
7749 *np
= node_new_empty();
7750 CHECK_NULL_RETURN_MEMERR(*np
);
7754 case TK_SUBEXP_OPEN
:
7755 r
= parse_enclosure(np
, tok
, TK_SUBEXP_CLOSE
, src
, end
, env
);
7756 if (r
< 0) return r
;
7757 if (r
== 1) group
= 1;
7758 else if (r
== 2) { /* option only */
7760 OnigOptionType prev
= env
->options
;
7762 env
->options
= ENCLOSURE_(*np
)->o
.options
;
7763 r
= fetch_token(tok
, src
, end
, env
);
7764 if (r
< 0) return r
;
7765 r
= parse_subexp(&target
, tok
, term
, src
, end
, env
);
7766 env
->options
= prev
;
7768 onig_node_free(target
);
7771 NODE_BODY(*np
) = target
;
7776 case TK_SUBEXP_CLOSE
:
7777 if (! IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_ALLOW_UNMATCHED_CLOSE_SUBEXP
))
7778 return ONIGERR_UNMATCHED_CLOSE_PARENTHESIS
;
7780 if (tok
->escaped
) goto tk_raw_byte
;
7787 *np
= node_new_str(tok
->backp
, *src
);
7788 CHECK_NULL_RETURN_MEMERR(*np
);
7791 r
= fetch_token(tok
, src
, end
, env
);
7792 if (r
< 0) return r
;
7793 if (r
!= TK_STRING
) break;
7795 r
= onig_node_str_cat(*np
, tok
->backp
, *src
);
7796 if (r
< 0) return r
;
7808 *np
= node_new_str_raw_char((UChar
)tok
->u
.c
);
7809 CHECK_NULL_RETURN_MEMERR(*np
);
7812 if (len
>= ONIGENC_MBC_MINLEN(env
->enc
)) {
7813 if (len
== enclen(env
->enc
, STR_(*np
)->s
)) {/* should not enclen_end() */
7814 r
= fetch_token(tok
, src
, end
, env
);
7815 NODE_STRING_CLEAR_RAW(*np
);
7820 r
= fetch_token(tok
, src
, end
, env
);
7821 if (r
< 0) return r
;
7822 if (r
!= TK_RAW_BYTE
) {
7823 /* Don't use this, it is wrong for little endian encodings. */
7824 #ifdef USE_PAD_TO_SHORT_BYTE_CHAR
7826 if (len
< ONIGENC_MBC_MINLEN(env
->enc
)) {
7827 rem
= ONIGENC_MBC_MINLEN(env
->enc
) - len
;
7828 (void )node_str_head_pad(STR_(*np
), rem
, (UChar
)0);
7829 if (len
+ rem
== enclen(env
->enc
, STR_(*np
)->s
)) {
7830 NODE_STRING_CLEAR_RAW(*np
);
7835 return ONIGERR_TOO_SHORT_MULTI_BYTE_STRING
;
7838 r
= node_str_cat_char(*np
, (UChar
)tok
->u
.c
);
7839 if (r
< 0) return r
;
7848 UChar buf
[ONIGENC_CODE_TO_MBC_MAXLEN
];
7849 int num
= ONIGENC_CODE_TO_MBC(env
->enc
, tok
->u
.code
, buf
);
7850 if (num
< 0) return num
;
7851 #ifdef NUMBERED_CHAR_IS_NOT_CASE_AMBIG
7852 *np
= node_new_str_raw(buf
, buf
+ num
);
7854 *np
= node_new_str(buf
, buf
+ num
);
7856 CHECK_NULL_RETURN_MEMERR(*np
);
7862 OnigCodePoint end_op
[2];
7863 UChar
*qstart
, *qend
, *nextp
;
7865 end_op
[0] = (OnigCodePoint
)MC_ESC(env
->syntax
);
7866 end_op
[1] = (OnigCodePoint
)'E';
7868 qend
= find_str_position(end_op
, 2, qstart
, end
, &nextp
, env
->enc
);
7869 if (IS_NULL(qend
)) {
7872 *np
= node_new_str(qstart
, qend
);
7873 CHECK_NULL_RETURN_MEMERR(*np
);
7880 switch (tok
->u
.prop
.ctype
) {
7881 case ONIGENC_CTYPE_WORD
:
7882 *np
= node_new_ctype(tok
->u
.prop
.ctype
, tok
->u
.prop
.not, env
->options
);
7883 CHECK_NULL_RETURN_MEMERR(*np
);
7886 case ONIGENC_CTYPE_SPACE
:
7887 case ONIGENC_CTYPE_DIGIT
:
7888 case ONIGENC_CTYPE_XDIGIT
:
7892 *np
= node_new_cclass();
7893 CHECK_NULL_RETURN_MEMERR(*np
);
7895 add_ctype_to_cc(cc
, tok
->u
.prop
.ctype
, 0, env
);
7896 if (tok
->u
.prop
.not != 0) NCCLASS_SET_NOT(cc
);
7901 return ONIGERR_PARSER_BUG
;
7907 case TK_CHAR_PROPERTY
:
7908 r
= parse_char_property(np
, tok
, src
, end
, env
);
7909 if (r
!= 0) return r
;
7916 r
= parse_char_class(np
, tok
, src
, end
, env
);
7917 if (r
!= 0) return r
;
7920 if (IS_IGNORECASE(env
->options
)) {
7921 IApplyCaseFoldArg iarg
;
7925 iarg
.alt_root
= NULL_NODE
;
7926 iarg
.ptail
= &(iarg
.alt_root
);
7928 r
= ONIGENC_APPLY_ALL_CASE_FOLD(env
->enc
, env
->case_fold_flag
,
7929 i_apply_case_fold
, &iarg
);
7931 onig_node_free(iarg
.alt_root
);
7934 if (IS_NOT_NULL(iarg
.alt_root
)) {
7935 Node
* work
= onig_node_new_alt(*np
, iarg
.alt_root
);
7936 if (IS_NULL(work
)) {
7937 onig_node_free(iarg
.alt_root
);
7938 return ONIGERR_MEMORY
;
7947 *np
= node_new_anychar();
7948 CHECK_NULL_RETURN_MEMERR(*np
);
7951 case TK_ANYCHAR_ANYTIME
:
7952 *np
= node_new_anychar();
7953 CHECK_NULL_RETURN_MEMERR(*np
);
7954 qn
= node_new_quantifier(0, REPEAT_INFINITE
, 0);
7955 CHECK_NULL_RETURN_MEMERR(qn
);
7956 NODE_BODY(qn
) = *np
;
7961 len
= tok
->u
.backref
.num
;
7962 *np
= node_new_backref(len
,
7963 (len
> 1 ? tok
->u
.backref
.refs
: &(tok
->u
.backref
.ref1
)),
7964 tok
->u
.backref
.by_name
,
7965 #ifdef USE_BACKREF_WITH_LEVEL
7966 tok
->u
.backref
.exist_level
,
7967 tok
->u
.backref
.level
,
7970 CHECK_NULL_RETURN_MEMERR(*np
);
7976 int gnum
= tok
->u
.call
.gnum
;
7978 *np
= node_new_call(tok
->u
.call
.name
, tok
->u
.call
.name_end
,
7979 gnum
, tok
->u
.call
.by_number
);
7980 CHECK_NULL_RETURN_MEMERR(*np
);
7982 if (tok
->u
.call
.by_number
!= 0 && gnum
== 0) {
7983 env
->has_call_zero
= 1;
7992 IS_WORD_ASCII(env
->options
) && IS_WORD_ANCHOR_TYPE(tok
->u
.anchor
) ? 1 : 0;
7993 *np
= onig_node_new_anchor(tok
->u
.anchor
, ascii_mode
);
7994 CHECK_NULL_RETURN_MEMERR(*np
);
8000 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_CONTEXT_INDEP_REPEAT_OPS
)) {
8001 if (IS_SYNTAX_BV(env
->syntax
, ONIG_SYN_CONTEXT_INVALID_REPEAT_OPS
))
8002 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_NOT_SPECIFIED
;
8004 *np
= node_new_empty();
8005 CHECK_NULL_RETURN_MEMERR(*np
);
8014 r
= node_new_keep(np
, env
);
8015 if (r
< 0) return r
;
8018 case TK_GENERAL_NEWLINE
:
8019 r
= node_new_general_newline(np
, env
);
8020 if (r
< 0) return r
;
8024 r
= node_new_no_newline(np
, env
);
8025 if (r
< 0) return r
;
8028 case TK_TRUE_ANYCHAR
:
8029 r
= node_new_true_anychar(np
, env
);
8030 if (r
< 0) return r
;
8033 case TK_EXTENDED_GRAPHEME_CLUSTER
:
8034 r
= make_extended_grapheme_cluster(np
, env
);
8035 if (r
< 0) return r
;
8039 return ONIGERR_PARSER_BUG
;
8047 r
= fetch_token(tok
, src
, end
, env
);
8048 if (r
< 0) return r
;
8051 if (r
== TK_OP_REPEAT
|| r
== TK_INTERVAL
) {
8052 if (is_invalid_quantifier_target(*targetp
))
8053 return ONIGERR_TARGET_OF_REPEAT_OPERATOR_INVALID
;
8055 qn
= node_new_quantifier(tok
->u
.repeat
.lower
, tok
->u
.repeat
.upper
,
8056 (r
== TK_INTERVAL
? 1 : 0));
8057 CHECK_NULL_RETURN_MEMERR(qn
);
8058 QUANT_(qn
)->greedy
= tok
->u
.repeat
.greedy
;
8059 r
= set_quantifier(qn
, *targetp
, group
, env
);
8065 if (tok
->u
.repeat
.possessive
!= 0) {
8067 en
= node_new_enclosure(ENCLOSURE_STOP_BACKTRACK
);
8070 return ONIGERR_MEMORY
;
8082 else if (r
== 2) { /* split case: /abc+/ */
8085 *targetp
= node_new_list(*targetp
, NULL
);
8086 if (IS_NULL(*targetp
)) {
8088 return ONIGERR_MEMORY
;
8090 tmp
= NODE_CDR(*targetp
) = node_new_list(qn
, NULL
);
8093 return ONIGERR_MEMORY
;
8095 targetp
= &(NODE_CAR(tmp
));
8105 parse_branch(Node
** top
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
8109 Node
*node
, **headp
;
8112 r
= parse_exp(&node
, tok
, term
, src
, end
, env
);
8114 onig_node_free(node
);
8118 if (r
== TK_EOT
|| r
== term
|| r
== TK_ALT
) {
8122 *top
= node_new_list(node
, NULL
);
8123 if (IS_NULL(*top
)) {
8124 onig_node_free(node
);
8125 return ONIGERR_MEMORY
;
8128 headp
= &(NODE_CDR(*top
));
8129 while (r
!= TK_EOT
&& r
!= term
&& r
!= TK_ALT
) {
8130 r
= parse_exp(&node
, tok
, term
, src
, end
, env
);
8132 onig_node_free(node
);
8136 if (NODE_TYPE(node
) == NODE_LIST
) {
8138 while (IS_NOT_NULL(NODE_CDR(node
))) node
= NODE_CDR(node
);
8139 headp
= &(NODE_CDR(node
));
8142 *headp
= node_new_list(node
, NULL
);
8143 headp
= &(NODE_CDR(*headp
));
8151 /* term_tok: TK_EOT or TK_SUBEXP_CLOSE */
8153 parse_subexp(Node
** top
, OnigToken
* tok
, int term
, UChar
** src
, UChar
* end
,
8157 Node
*node
, **headp
;
8161 if (env
->parse_depth
> ParseDepthLimit
)
8162 return ONIGERR_PARSE_DEPTH_LIMIT_OVER
;
8164 r
= parse_branch(&node
, tok
, term
, src
, end
, env
);
8166 onig_node_free(node
);
8173 else if (r
== TK_ALT
) {
8174 *top
= onig_node_new_alt(node
, NULL
);
8175 if (IS_NULL(*top
)) {
8176 onig_node_free(node
);
8177 return ONIGERR_MEMORY
;
8180 headp
= &(NODE_CDR(*top
));
8181 while (r
== TK_ALT
) {
8182 r
= fetch_token(tok
, src
, end
, env
);
8183 if (r
< 0) return r
;
8184 r
= parse_branch(&node
, tok
, term
, src
, end
, env
);
8186 onig_node_free(node
);
8189 *headp
= onig_node_new_alt(node
, NULL
);
8190 if (IS_NULL(*headp
)) {
8191 onig_node_free(node
);
8192 onig_node_free(*top
);
8193 return ONIGERR_MEMORY
;
8196 headp
= &(NODE_CDR(*headp
));
8199 if (tok
->type
!= (enum TokenSyms
)term
)
8203 onig_node_free(node
);
8205 if (term
== TK_SUBEXP_CLOSE
)
8206 return ONIGERR_END_PATTERN_WITH_UNMATCHED_PARENTHESIS
;
8208 return ONIGERR_PARSER_BUG
;
8216 parse_regexp(Node
** top
, UChar
** src
, UChar
* end
, ScanEnv
* env
)
8221 r
= fetch_token(&tok
, src
, end
, env
);
8222 if (r
< 0) return r
;
8223 r
= parse_subexp(top
, &tok
, TK_EOT
, src
, end
, env
);
8224 if (r
< 0) return r
;
8231 make_call_zero_body(Node
* node
, ScanEnv
* env
, Node
** rnode
)
8235 Node
* x
= node_new_memory(0 /* 0: is not named */);
8236 CHECK_NULL_RETURN_MEMERR(x
);
8238 NODE_BODY(x
) = node
;
8239 ENCLOSURE_(x
)->m
.regnum
= 0;
8240 r
= scan_env_set_mem_node(env
, 0, x
);
8252 onig_parse_tree(Node
** root
, const UChar
* pattern
, const UChar
* end
,
8253 regex_t
* reg
, ScanEnv
* env
)
8263 scan_env_clear(env
);
8264 env
->options
= reg
->options
;
8265 env
->case_fold_flag
= reg
->case_fold_flag
;
8266 env
->enc
= reg
->enc
;
8267 env
->syntax
= reg
->syntax
;
8268 env
->pattern
= (UChar
* )pattern
;
8269 env
->pattern_end
= (UChar
* )end
;
8274 if (! ONIGENC_IS_VALID_MBC_STRING(env
->enc
, pattern
, end
))
8275 return ONIGERR_INVALID_WIDE_CHAR_VALUE
;
8277 p
= (UChar
* )pattern
;
8278 r
= parse_regexp(root
, &p
, (UChar
* )end
, env
);
8281 if (r
!= 0) return r
;
8283 if (env
->has_call_zero
!= 0) {
8285 r
= make_call_zero_body(*root
, env
, &zero_node
);
8286 if (r
!= 0) return r
;
8292 reg
->num_mem
= env
->num_mem
;
8295 ext
= REG_EXTP(reg
);
8296 if (IS_NOT_NULL(ext
) && ext
->callout_num
> 0) {
8297 r
= setup_ext_callout_list_values(reg
);
8305 onig_scan_env_set_error_string(ScanEnv
* env
, int ecode ARG_UNUSED
,
8306 UChar
* arg
, UChar
* arg_end
)
8309 env
->error_end
= arg_end
;