Ruby 4.1.0dev (2026-11-15 revision fc4cd8872bf44c44d3e1486b4df4673b8069dc8a)
ruby_parser.c (fc4cd8872bf44c44d3e1486b4df4673b8069dc8a)
1/* This is a wrapper for parse.y */
2
3#include "internal/parse.h"
4#include "internal/re.h"
5#include "internal/ruby_parser.h"
6
7#include "node.h"
8#include "rubyparser.h"
9#include "internal/error.h"
10
11#ifdef UNIVERSAL_PARSER
12
13#include "internal.h"
14#include "internal/array.h"
15#include "internal/bignum.h"
16#include "internal/compile.h"
17#include "internal/complex.h"
18#include "internal/encoding.h"
19#include "internal/gc.h"
20#include "internal/hash.h"
21#include "internal/io.h"
22#include "internal/rational.h"
23#include "internal/re.h"
24#include "internal/string.h"
25#include "internal/symbol.h"
26#include "internal/thread.h"
27
28#include "ruby/ractor.h"
29#include "ruby/ruby.h"
30#include "ruby/util.h"
31#include "internal.h"
32#include "vm_core.h"
33#include "symbol.h"
34
35#define parser_encoding const void
36
37RBIMPL_ATTR_FORMAT(RBIMPL_PRINTF_FORMAT, 6, 0)
38static VALUE
39syntax_error_append(VALUE exc, VALUE file, int line, int column,
40 parser_encoding *enc, const char *fmt, va_list args)
41{
42 return rb_syntax_error_append(exc, file, line, column, enc, fmt, args);
43}
44
45static int
46local_defined(ID id, const void *p)
47{
48 return rb_local_defined(id, (const rb_iseq_t *)p);
49}
50
51static int
52dvar_defined(ID id, const void *p)
53{
54 return rb_dvar_defined(id, (const rb_iseq_t *)p);
55}
56
57static int
58is_usascii_enc(parser_encoding *enc)
59{
60 return rb_is_usascii_enc(enc);
61}
62
63static int
64is_local_id2(ID id)
65{
66 return is_local_id(id);
67}
68
69static int
70is_attrset_id2(ID id)
71{
72 return is_attrset_id(id);
73}
74
75static int
76is_notop_id2(ID id)
77{
78 return is_notop_id(id);
79}
80
81static VALUE
82enc_str_new(const char *ptr, rb_len_t len, parser_encoding *enc)
83{
84 return rb_enc_str_new(ptr, len, enc);
85}
86
87static int
88enc_isalnum(OnigCodePoint c, parser_encoding *enc)
89{
90 return rb_enc_isalnum(c, enc);
91}
92
93static int
94enc_precise_mbclen(const char *p, const char *e, parser_encoding *enc)
95{
96 return rb_enc_precise_mbclen(p, e, enc);
97}
98
99static int
100mbclen_charfound_p(int len)
101{
102 return MBCLEN_CHARFOUND_P(len);
103}
104
105static int
106mbclen_charfound_len(int len)
107{
109}
110
111static const char *
112enc_name(parser_encoding *enc)
113{
114 return rb_enc_name(enc);
115}
116
117static char *
118enc_prev_char(const char *s, const char *p, const char *e, parser_encoding *enc)
119{
120 return rb_enc_prev_char(s, p, e, enc);
121}
122
123static parser_encoding *
124enc_get(VALUE obj)
125{
126 return rb_enc_get(obj);
127}
128
129static int
130enc_asciicompat(parser_encoding *enc)
131{
132 return rb_enc_asciicompat(enc);
133}
134
135static parser_encoding *
136utf8_encoding(void)
137{
138 return rb_utf8_encoding();
139}
140
141static parser_encoding *
142ascii8bit_encoding(void)
143{
144 return rb_ascii8bit_encoding();
145}
146
147static int
148enc_codelen(int c, parser_encoding *enc)
149{
150 return rb_enc_codelen(c, enc);
151}
152
153static int
154enc_mbcput(unsigned int c, void *buf, parser_encoding *enc)
155{
156 return rb_enc_mbcput(c, buf, enc);
157}
158
159static parser_encoding *
160enc_from_index(int idx)
161{
162 return rb_enc_from_index(idx);
163}
164
165static int
166enc_isspace(OnigCodePoint c, parser_encoding *enc)
167{
168 return rb_enc_isspace(c, enc);
169}
170
171static ID
172intern3(const char *name, rb_len_t len, parser_encoding *enc)
173{
174 return rb_intern3(name, len, enc);
175}
176
177static int
178enc_symname_type(const char *name, rb_len_t len, parser_encoding *enc, unsigned int allowed_attrset)
179{
180 return rb_enc_symname_type(name, len, enc, allowed_attrset);
181}
182
183typedef struct {
184 struct parser_params *parser;
185 rb_encoding *enc;
186 NODE *succ_block;
187 const rb_code_location_t *loc;
188 rb_parser_assignable_func assignable;
190
191static int
192reg_named_capture_assign_iter(const OnigUChar *name, const OnigUChar *name_end,
193 int back_num, int *back_refs, OnigRegex regex, void *arg0)
194{
196 struct parser_params* p = arg->parser;
197 rb_encoding *enc = arg->enc;
198 const rb_code_location_t *loc = arg->loc;
199 long len = name_end - name;
200 const char *s = (const char *)name;
201
202 return rb_reg_named_capture_assign_iter_impl(p, s, len, enc, &arg->succ_block, loc, arg->assignable);
203}
204
205static NODE *
206reg_named_capture_assign(struct parser_params* p, VALUE regexp, const rb_code_location_t *loc,
207 rb_parser_assignable_func assignable)
208{
210
211 arg.parser = p;
212 arg.enc = rb_enc_get(regexp);
213 arg.succ_block = 0;
214 arg.loc = loc;
215 arg.assignable = assignable;
216 onig_foreach_name(RREGEXP_PTR(regexp), reg_named_capture_assign_iter, &arg);
217
218 if (!arg.succ_block) return 0;
219 return RNODE_BLOCK(arg.succ_block)->nd_next;
220}
221
222static int
223rtest(VALUE obj)
224{
225 return (int)RB_TEST(obj);
226}
227
228static int
229nil_p(VALUE obj)
230{
231 return (int)NIL_P(obj);
232}
233
234static VALUE
235syntax_error_new(void)
236{
238}
239
240static void *
241memmove2(void *dest, const void *src, size_t t, size_t n)
242{
243 return memmove(dest, src, rbimpl_size_mul_or_raise(t, n));
244}
245
246static void *
247nonempty_memcpy(void *dest, const void *src, size_t t, size_t n)
248{
249 return ruby_nonempty_memcpy(dest, src, rbimpl_size_mul_or_raise(t, n));
250}
251
252static VALUE
253ruby_verbose2(void)
254{
255 return ruby_verbose;
256}
257
258static int *
259rb_errno_ptr2(void)
260{
261 return rb_errno_ptr();
262}
263
264static void *
265zalloc(size_t elemsiz)
266{
267 return ruby_xcalloc(1, elemsiz);
268}
269
270static void
271gc_guard(VALUE obj)
272{
273 RB_GC_GUARD(obj);
274}
275
276static VALUE
277arg_error(void)
278{
279 return rb_eArgError;
280}
281
282static VALUE
283static_id2sym(ID id)
284{
285 return (((VALUE)(id)<<RUBY_SPECIAL_SHIFT)|SYMBOL_FLAG);
286}
287
288static rb_len_t
289str_coderange_scan_restartable(const char *s, const char *e, parser_encoding *enc, int *cr)
290{
291 return rb_str_coderange_scan_restartable(s, e, enc, cr);
292}
293
294static int
295enc_mbminlen(parser_encoding *enc)
296{
297 return rb_enc_mbminlen(enc);
298}
299
300static bool
301enc_isascii(OnigCodePoint c, parser_encoding *enc)
302{
303 return rb_enc_isascii(c, enc);
304}
305
306static OnigCodePoint
307enc_mbc_to_codepoint(const char *p, const char *e, parser_encoding *enc)
308{
309 const OnigUChar *up = RBIMPL_CAST((const OnigUChar *)p);
310 const OnigUChar *ue = RBIMPL_CAST((const OnigUChar *)e);
311
312 return ONIGENC_MBC_TO_CODE((rb_encoding *)enc, up, ue);
313}
314
315extern VALUE rb_eArgError;
316
317static const rb_parser_config_t rb_global_parser_config = {
318 .malloc = ruby_xmalloc,
319 .calloc = ruby_xcalloc,
320 .realloc = ruby_xrealloc,
321 .free = ruby_xfree,
322 .alloc_n = ruby_xmalloc2,
323 .alloc = ruby_xmalloc,
324 .realloc_n = ruby_xrealloc2,
325 .zalloc = zalloc,
326 .rb_memmove = memmove2,
327 .nonempty_memcpy = nonempty_memcpy,
328 .xmalloc_mul_add = rb_xmalloc_mul_add,
329
330 .compile_callback = rb_suppress_tracing,
331 .reg_named_capture_assign = reg_named_capture_assign,
332
333 .attr_get = rb_attr_get,
334
335 .ary_new_from_args = rb_ary_new_from_args,
336 .ary_unshift = rb_ary_unshift,
337
338 .make_temporary_id = rb_make_temporary_id,
339 .is_local_id = is_local_id2,
340 .is_attrset_id = is_attrset_id2,
341 .is_global_name_punct = is_global_name_punct,
342 .id_type = id_type,
343 .id_attrset = rb_id_attrset,
344 .intern = rb_intern,
345 .intern2 = rb_intern2,
346 .intern3 = intern3,
347 .intern_str = rb_intern_str,
348 .is_notop_id = is_notop_id2,
349 .enc_symname_type = enc_symname_type,
350 .id2name = rb_id2name,
351 .id2str = rb_id2str,
352 .id2sym = rb_id2sym,
353
354 .str_catf = rb_str_catf,
355 .str_cat_cstr = rb_str_cat_cstr,
356 .str_resize = rb_str_resize,
357 .str_new = rb_str_new,
358 .str_new_cstr = rb_str_new_cstr,
359 .str_to_interned_str = rb_str_to_interned_str,
360 .enc_str_new = enc_str_new,
361 .str_vcatf = rb_str_vcatf,
362 .rb_sprintf = rb_sprintf,
363 .rstring_ptr = RSTRING_PTR,
364 .rstring_len = RSTRING_LEN,
365
366 .int2num = rb_int2num_inline,
367
368 .stderr_tty_p = rb_stderr_tty_p,
369 .write_error_str = rb_write_error_str,
370 .io_write = rb_io_write,
371 .io_flush = rb_io_flush,
372 .io_puts = rb_io_puts,
373
374 .debug_output_stdout = rb_ractor_stdout,
375 .debug_output_stderr = rb_ractor_stderr,
376
377 .is_usascii_enc = is_usascii_enc,
378 .enc_isalnum = enc_isalnum,
379 .enc_precise_mbclen = enc_precise_mbclen,
380 .mbclen_charfound_p = mbclen_charfound_p,
381 .mbclen_charfound_len = mbclen_charfound_len,
382 .enc_name = enc_name,
383 .enc_prev_char = enc_prev_char,
384 .enc_get = enc_get,
385 .enc_asciicompat = enc_asciicompat,
386 .utf8_encoding = utf8_encoding,
387 .ascii8bit_encoding = ascii8bit_encoding,
388 .enc_codelen = enc_codelen,
389 .enc_mbcput = enc_mbcput,
390 .enc_find_index = rb_enc_find_index,
391 .enc_from_index = enc_from_index,
392 .enc_isspace = enc_isspace,
393 .enc_coderange_7bit = ENC_CODERANGE_7BIT,
394 .enc_coderange_unknown = ENC_CODERANGE_UNKNOWN,
395 .enc_mbminlen = enc_mbminlen,
396 .enc_isascii = enc_isascii,
397 .enc_mbc_to_codepoint = enc_mbc_to_codepoint,
398
399 .local_defined = local_defined,
400 .dvar_defined = dvar_defined,
401
402 .syntax_error_append = syntax_error_append,
403 .raise = rb_raise,
404 .syntax_error_new = syntax_error_new,
405
406 .errinfo = rb_errinfo,
407 .set_errinfo = rb_set_errinfo,
408 .make_exception = rb_make_exception,
409
410 .sized_xfree = ruby_xfree_sized,
411 .sized_realloc_n = ruby_sized_realloc_n,
412 .gc_guard = gc_guard,
413 .gc_mark = rb_gc_mark,
414
415 .reg_compile = rb_reg_compile,
416 .reg_check_preprocess = rb_reg_check_preprocess,
417 .memcicmp = rb_memcicmp,
418
419 .compile_warn = rb_compile_warn,
420 .compile_warning = rb_compile_warning,
421 .bug = rb_bug,
422 .fatal = rb_fatal,
423 .verbose = ruby_verbose2,
424 .errno_ptr = rb_errno_ptr2,
425
426 .make_backtrace = rb_make_backtrace,
427
428 .scan_digits = ruby_scan_digits,
429 .strtod = ruby_strtod,
430
431 .rtest = rtest,
432 .nil_p = nil_p,
433 .qnil = Qnil,
434 .qfalse = Qfalse,
435 .eArgError = arg_error,
436 .long2int = rb_len2int,
437
438 /* For Ripper */
439 .static_id2sym = static_id2sym,
440 .str_coderange_scan_restartable = str_coderange_scan_restartable,
441
442 /* Source hash */
443 .source_hash_init = rb_source_hash_init,
444 .source_hash_update = rb_source_hash_update,
445 .source_hash_finalize = rb_source_hash_finalize,
446};
447#endif
448
449enum lex_type {
450 lex_type_str,
451 lex_type_io,
452 lex_type_array,
453 lex_type_generic,
454};
455
458 enum lex_type type;
459 union {
460 struct lex_pointer_string lex_str;
461 struct {
462 VALUE file;
463 } lex_io;
464 struct {
465 VALUE ary;
466 } lex_array;
467 } data;
468};
469
470static void
471parser_mark(void *ptr)
472{
473 struct ruby_parser *parser = (struct ruby_parser*)ptr;
474 rb_ruby_parser_mark(parser->parser_params);
475
476 switch (parser->type) {
477 case lex_type_str:
478 rb_gc_mark(parser->data.lex_str.str);
479 break;
480 case lex_type_io:
481 rb_gc_mark(parser->data.lex_io.file);
482 break;
483 case lex_type_array:
484 rb_gc_mark(parser->data.lex_array.ary);
485 break;
486 case lex_type_generic:
487 /* noop. Caller of rb_parser_compile_generic should mark the objects. */
488 break;
489 }
490}
491
492static void
493parser_free(void *ptr)
494{
495 struct ruby_parser *parser = (struct ruby_parser*)ptr;
496 rb_ruby_parser_free(parser->parser_params);
497 xfree(parser);
498}
499
500static size_t
501parser_memsize(const void *ptr)
502{
503 struct ruby_parser *parser = (struct ruby_parser*)ptr;
504 return rb_ruby_parser_memsize(parser->parser_params);
505}
506
507static const rb_data_type_t ruby_parser_data_type = {
508 "parser",
509 {
510 parser_mark,
511 parser_free,
512 parser_memsize,
513 },
514 0, 0, RUBY_TYPED_THREAD_SAFE_FREE
515};
516
517#ifdef UNIVERSAL_PARSER
518const rb_parser_config_t *
519rb_ruby_parser_config(void)
520{
521 return &rb_global_parser_config;
522}
523
525rb_parser_params_new(void)
526{
527 return rb_ruby_parser_new(&rb_global_parser_config);
528}
529#else
531rb_parser_params_new(void)
532{
533 return rb_ruby_parser_new();
534}
535#endif /* UNIVERSAL_PARSER */
536
537VALUE
538rb_parser_new(void)
539{
540 struct ruby_parser *parser;
542
543 /*
544 * Create parser_params ahead of vparser because
545 * rb_ruby_parser_new can run GC so if create vparser
546 * first, parser_mark tries to mark not initialized parser_params.
547 */
548 parser_params = rb_parser_params_new();
549 VALUE vparser = TypedData_Make_Struct(0, struct ruby_parser,
550 &ruby_parser_data_type, parser);
551 parser->parser_params = parser_params;
552
553 return vparser;
554}
555
556void
557rb_parser_set_options(VALUE vparser, int print, int loop, int chomp, int split)
558{
559 struct ruby_parser *parser;
560
561 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
562 rb_ruby_parser_set_options(parser->parser_params, print, loop, chomp, split);
563}
564
565VALUE
566rb_parser_set_context(VALUE vparser, const struct rb_iseq_struct *base, int main)
567{
568 struct ruby_parser *parser;
569
570 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
571 rb_ruby_parser_set_context(parser->parser_params, base, main);
572 return vparser;
573}
574
575void
576rb_parser_set_script_lines(VALUE vparser)
577{
578 struct ruby_parser *parser;
579
580 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
581 rb_ruby_parser_set_script_lines(parser->parser_params);
582}
583
584void
585rb_parser_error_tolerant(VALUE vparser)
586{
587 struct ruby_parser *parser;
588
589 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
590 rb_ruby_parser_error_tolerant(parser->parser_params);
591}
592
593void
594rb_parser_keep_tokens(VALUE vparser)
595{
596 struct ruby_parser *parser;
597
598 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
599 rb_ruby_parser_keep_tokens(parser->parser_params);
600}
601
603rb_parser_lex_get_str(struct parser_params *p, struct lex_pointer_string *ptr_str)
604{
605 char *beg, *end, *start;
607 VALUE s = ptr_str->str;
608
609 beg = RSTRING_PTR(s);
610 len = RSTRING_LEN(s);
611 start = beg;
612 if (ptr_str->ptr) {
613 if (len == ptr_str->ptr) return 0;
614 beg += ptr_str->ptr;
615 len -= ptr_str->ptr;
616 }
617 end = memchr(beg, '\n', len);
618 if (end) len = ++end - beg;
619 ptr_str->ptr += len;
620 return rb_str_to_parser_string(p, rb_str_subseq(s, beg - start, len));
621}
622
623static rb_parser_string_t *
624lex_get_str(struct parser_params *p, rb_parser_input_data input, int line_count)
625{
626 return rb_parser_lex_get_str(p, (struct lex_pointer_string *)input);
627}
628
629static void parser_aset_script_lines_for(VALUE path, rb_parser_ary_t *lines);
630
631static rb_ast_t*
632parser_compile(rb_parser_t *p, rb_parser_lex_gets_func *gets, VALUE fname, rb_parser_input_data input, int line)
633{
634 rb_ast_t *ast = rb_parser_compile(p, gets, fname, input, line);
635 parser_aset_script_lines_for(fname, ast->body.script_lines);
636 return ast;
637}
638
639static rb_ast_t*
640parser_compile_string0(struct ruby_parser *parser, VALUE fname, VALUE s, int line)
641{
642 VALUE str = rb_str_new_frozen(s);
643
644 parser->type = lex_type_str;
645 parser->data.lex_str.str = str;
646 parser->data.lex_str.ptr = 0;
647
648 return parser_compile(parser->parser_params, lex_get_str, fname, (rb_parser_input_data)&parser->data, line);
649}
650
651static rb_encoding *
652must_be_ascii_compatible(VALUE s)
653{
654 rb_encoding *enc = rb_enc_get(s);
655 if (!rb_enc_asciicompat(enc)) {
656 rb_raise(rb_eArgError, "invalid source encoding");
657 }
658 return enc;
659}
660
661static rb_ast_t*
662parser_compile_string_path(struct ruby_parser *parser, VALUE f, VALUE s, int line)
663{
664 must_be_ascii_compatible(s);
665 return parser_compile_string0(parser, f, s, line);
666}
667
668static rb_ast_t*
669parser_compile_string(struct ruby_parser *parser, const char *f, VALUE s, int line)
670{
671 return parser_compile_string_path(parser, rb_filesystem_str_new_cstr(f), s, line);
672}
673
674VALUE rb_io_gets_internal(VALUE io);
675
676static rb_parser_string_t *
677lex_io_gets(struct parser_params *p, rb_parser_input_data input, int line_count)
678{
679 VALUE io = (VALUE)input;
680 VALUE line = rb_io_gets_internal(io);
681 if (NIL_P(line)) return 0;
682 return rb_str_to_parser_string(p, line);
683}
684
685static rb_parser_string_t *
686lex_gets_array(struct parser_params *p, rb_parser_input_data data, int index)
687{
688 VALUE array = (VALUE)data;
689 VALUE str = rb_ary_entry(array, index);
690 if (!NIL_P(str)) {
691 StringValue(str);
692 if (!rb_enc_asciicompat(rb_enc_get(str))) {
693 rb_raise(rb_eArgError, "invalid source encoding");
694 }
695 return rb_str_to_parser_string(p, str);
696 }
697 else {
698 return 0;
699 }
700}
701
702static rb_ast_t*
703parser_compile_file_path(struct ruby_parser *parser, VALUE fname, VALUE file, int start)
704{
705 parser->type = lex_type_io;
706 parser->data.lex_io.file = file;
707
708 return parser_compile(parser->parser_params, lex_io_gets, fname, (rb_parser_input_data)file, start);
709}
710
711static rb_ast_t*
712parser_compile_array(struct ruby_parser *parser, VALUE fname, VALUE array, int start)
713{
714 parser->type = lex_type_array;
715 parser->data.lex_array.ary = array;
716
717 return parser_compile(parser->parser_params, lex_gets_array, fname, (rb_parser_input_data)array, start);
718}
719
720static rb_ast_t*
721parser_compile_generic(struct ruby_parser *parser, rb_parser_lex_gets_func *lex_gets, VALUE fname, VALUE input, int start)
722{
723 parser->type = lex_type_generic;
724
725 return parser_compile(parser->parser_params, lex_gets, fname, (rb_parser_input_data)input, start);
726}
727
728static void
729ast_free(void *ptr)
730{
731 rb_ast_t *ast = (rb_ast_t *)ptr;
732 rb_ast_free(ast);
733}
734
735static const rb_data_type_t ast_data_type = {
736 "AST",
737 {
738 NULL,
739 ast_free,
740 NULL, // No dsize() because this object does not appear in ObjectSpace.
741 },
742 0, 0, RUBY_TYPED_THREAD_SAFE_FREE
743};
744
745static VALUE
746ast_alloc(void)
747{
748 return TypedData_Wrap_Struct(0, &ast_data_type, NULL);
749}
750
751VALUE
752rb_parser_compile_file_path(VALUE vparser, VALUE fname, VALUE file, int start)
753{
754 struct ruby_parser *parser;
755 VALUE ast_value = ast_alloc();
756
757 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
758 DATA_PTR(ast_value) = parser_compile_file_path(parser, fname, file, start);
759 RB_GC_GUARD(vparser);
760
761 return ast_value;
762}
763
764VALUE
765rb_parser_compile_array(VALUE vparser, VALUE fname, VALUE array, int start)
766{
767 struct ruby_parser *parser;
768 VALUE ast_value = ast_alloc();
769
770 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
771 DATA_PTR(ast_value) = parser_compile_array(parser, fname, array, start);
772 RB_GC_GUARD(vparser);
773
774 return ast_value;
775}
776
777VALUE
778rb_parser_compile_generic(VALUE vparser, rb_parser_lex_gets_func *lex_gets, VALUE fname, VALUE input, int start)
779{
780 struct ruby_parser *parser;
781 VALUE ast_value = ast_alloc();
782
783 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
784 DATA_PTR(ast_value) = parser_compile_generic(parser, lex_gets, fname, input, start);
785 RB_GC_GUARD(vparser);
786
787 return ast_value;
788}
789
790VALUE
791rb_parser_compile_string(VALUE vparser, const char *f, VALUE s, int line)
792{
793 struct ruby_parser *parser;
794 VALUE ast_value = ast_alloc();
795
796 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
797 DATA_PTR(ast_value) = parser_compile_string(parser, f, s, line);
798 RB_GC_GUARD(vparser);
799
800 return ast_value;
801}
802
803VALUE
804rb_parser_compile_string_path(VALUE vparser, VALUE f, VALUE s, int line)
805{
806 struct ruby_parser *parser;
807 VALUE ast_value = ast_alloc();
808
809 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
810 DATA_PTR(ast_value) = parser_compile_string_path(parser, f, s, line);
811 RB_GC_GUARD(vparser);
812
813 return ast_value;
814}
815
816VALUE
817rb_parser_encoding(VALUE vparser)
818{
819 struct ruby_parser *parser;
820
821 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
822 return rb_enc_from_encoding(rb_ruby_parser_encoding(parser->parser_params));
823}
824
825VALUE
826rb_parser_end_seen_p(VALUE vparser)
827{
828 struct ruby_parser *parser;
829
830 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
831 return RBOOL(rb_ruby_parser_end_seen_p(parser->parser_params));
832}
833
834VALUE
835rb_parser_set_yydebug(VALUE vparser, VALUE flag)
836{
837 struct ruby_parser *parser;
838
839 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
840 rb_ruby_parser_set_yydebug(parser->parser_params, RTEST(flag));
841 return flag;
842}
843
844void
845rb_set_script_lines_for(VALUE vparser, VALUE path)
846{
847 struct ruby_parser *parser;
848 VALUE hash;
849 ID script_lines;
850 CONST_ID(script_lines, "SCRIPT_LINES__");
851 if (!rb_const_defined_at(rb_cObject, script_lines)) return;
852 hash = rb_const_get_at(rb_cObject, script_lines);
853 if (RB_TYPE_P(hash, T_HASH)) {
854 rb_hash_aset(hash, path, Qtrue);
855 TypedData_Get_Struct(vparser, struct ruby_parser, &ruby_parser_data_type, parser);
856 rb_ruby_parser_set_script_lines(parser->parser_params);
857 }
858}
859
860VALUE
861rb_parser_build_script_lines_from(rb_parser_ary_t *lines)
862{
863 int i;
864 if (!lines) return Qnil;
865 if (lines->data_type != PARSER_ARY_DATA_SCRIPT_LINE) {
866 rb_bug("unexpected rb_parser_ary_data_type (%d) for script lines", lines->data_type);
867 }
868 VALUE script_lines = rb_ary_new_capa(lines->len);
869 for (i = 0; i < lines->len; i++) {
870 rb_parser_string_t *str = (rb_parser_string_t *)lines->data[i];
871 rb_ary_push(script_lines, rb_enc_str_new(str->ptr, str->len, str->enc));
872 }
873 return script_lines;
874}
875
876VALUE
877rb_str_new_parser_string(rb_parser_string_t *str)
878{
879 VALUE string = rb_enc_literal_str(str->ptr, str->len, str->enc);
880 rb_enc_str_coderange(string);
881 return string;
882}
883
884VALUE
885rb_str_new_mutable_parser_string(rb_parser_string_t *str)
886{
887 return rb_enc_str_new(str->ptr, str->len, str->enc);
888}
889
890static VALUE
891negative_numeric(VALUE val)
892{
893 if (FIXNUM_P(val)) {
894 return LONG2FIX(-FIX2LONG(val));
895 }
896 if (SPECIAL_CONST_P(val)) {
897#if USE_FLONUM
898 if (FLONUM_P(val)) {
899 return DBL2NUM(-RFLOAT_VALUE(val));
900 }
901#endif
902 goto unknown;
903 }
904 switch (BUILTIN_TYPE(val)) {
905 case T_BIGNUM:
906 BIGNUM_NEGATE(val);
907 val = rb_big_norm(val);
908 break;
909 case T_RATIONAL:
910 RATIONAL_SET_NUM(val, negative_numeric(RRATIONAL(val)->num));
911 break;
912 case T_COMPLEX:
913 RCOMPLEX_SET_REAL(val, negative_numeric(RCOMPLEX(val)->real));
914 RCOMPLEX_SET_IMAG(val, negative_numeric(RCOMPLEX(val)->imag));
915 break;
916 case T_FLOAT:
917 val = DBL2NUM(-RFLOAT_VALUE(val));
918 break;
919 unknown:
920 default:
921 rb_bug("unknown literal type (%s) passed to negative_numeric",
922 rb_builtin_class_name(val));
923 break;
924 }
925 return val;
926}
927
928static VALUE
929integer_value(const char *val, int base)
930{
931 return rb_cstr_to_inum(val, base, FALSE);
932}
933
934static VALUE
935rational_value(const char *node_val, int base, int seen_point)
936{
937 VALUE lit;
938 char* val = strdup(node_val);
939 if (seen_point > 0) {
940 int len = (int)(strlen(val));
941 char *point = &val[seen_point];
942 size_t fraclen = len-seen_point-1;
943 memmove(point, point+1, fraclen+1);
944
945 lit = rb_rational_new(integer_value(val, base), rb_int_positive_pow(10, fraclen));
946 }
947 else {
948 lit = rb_rational_raw1(integer_value(val, base));
949 }
950
951 free(val);
952
953 return lit;
954}
955
956VALUE
957rb_node_integer_literal_val(const NODE *n)
958{
959 const rb_node_integer_t *node = RNODE_INTEGER(n);
960 VALUE val = integer_value(node->val, node->base);
961 if (node->minus) {
962 val = negative_numeric(val);
963 }
964 return val;
965}
966
967VALUE
968rb_node_float_literal_val(const NODE *n)
969{
970 const rb_node_float_t *node = RNODE_FLOAT(n);
971 double d = strtod(node->val, 0);
972 if (node->minus) {
973 d = -d;
974 }
975 VALUE val = DBL2NUM(d);
976 return val;
977}
978
979VALUE
980rb_node_rational_literal_val(const NODE *n)
981{
982 VALUE lit;
983 const rb_node_rational_t *node = RNODE_RATIONAL(n);
984
985 lit = rational_value(node->val, node->base, node->seen_point);
986
987 if (node->minus) {
988 lit = negative_numeric(lit);
989 }
990
991 return lit;
992}
993
994VALUE
995rb_node_imaginary_literal_val(const NODE *n)
996{
997 VALUE lit;
998 const rb_node_imaginary_t *node = RNODE_IMAGINARY(n);
999
1000 enum rb_numeric_type type = node->type;
1001
1002 switch (type) {
1003 case integer_literal:
1004 lit = integer_value(node->val, node->base);
1005 break;
1006 case float_literal:{
1007 double d = strtod(node->val, 0);
1008 lit = DBL2NUM(d);
1009 break;
1010 }
1011 case rational_literal:
1012 lit = rational_value(node->val, node->base, node->seen_point);
1013 break;
1014 default:
1015 rb_bug("unreachable");
1016 }
1017
1018 lit = rb_complex_raw(INT2FIX(0), lit);
1019
1020 if (node->minus) {
1021 lit = negative_numeric(lit);
1022 }
1023 return lit;
1024}
1025
1026VALUE
1027rb_node_str_string_val(const NODE *node)
1028{
1029 rb_parser_string_t *str = RNODE_STR(node)->string;
1030 return rb_str_new_parser_string(str);
1031}
1032
1033VALUE
1034rb_node_sym_string_val(const NODE *node)
1035{
1036 rb_parser_string_t *str = RNODE_SYM(node)->string;
1037 return ID2SYM(rb_intern3(str->ptr, str->len, str->enc));
1038}
1039
1040VALUE
1041rb_node_dstr_string_val(const NODE *node)
1042{
1043 rb_parser_string_t *str = RNODE_DSTR(node)->string;
1044 return str ? rb_str_new_parser_string(str) : Qnil;
1045}
1046
1047VALUE
1048rb_node_dregx_string_val(const NODE *node)
1049{
1050 rb_parser_string_t *str = RNODE_DREGX(node)->string;
1051 return rb_str_new_parser_string(str);
1052}
1053
1054VALUE
1055rb_node_regx_string_val(const NODE *node)
1056{
1057 rb_node_regx_t *node_reg = RNODE_REGX(node);
1058 rb_parser_string_t *string = node_reg->string;
1059 VALUE str = rb_enc_str_new(string->ptr, string->len, string->enc);
1060
1061 return rb_reg_compile(str, node_reg->options, NULL, 0);
1062}
1063
1064VALUE
1065rb_node_line_lineno_val(const NODE *node)
1066{
1067 return INT2FIX(node->nd_loc.beg_pos.lineno);
1068}
1069
1070VALUE
1071rb_node_file_path_val(const NODE *node)
1072{
1073 return rb_str_new_parser_string(RNODE_FILE(node)->path);
1074}
1075
1076VALUE
1077rb_node_encoding_val(const NODE *node)
1078{
1079 return rb_enc_from_encoding(RNODE_ENCODING(node)->enc);
1080}
1081
1082static void
1083parser_aset_script_lines_for(VALUE path, rb_parser_ary_t *lines)
1084{
1085 VALUE hash, script_lines;
1086 ID script_lines_id;
1087 if (NIL_P(path) || !lines) return;
1088 CONST_ID(script_lines_id, "SCRIPT_LINES__");
1089 if (!rb_const_defined_at(rb_cObject, script_lines_id)) return;
1090 hash = rb_const_get_at(rb_cObject, script_lines_id);
1091 if (!RB_TYPE_P(hash, T_HASH)) return;
1092 if (rb_hash_lookup(hash, path) == Qnil) return;
1093 script_lines = rb_parser_build_script_lines_from(lines);
1094 rb_hash_aset(hash, path, script_lines);
1095}
1096
1097/* The source hash API hashes the source that parse.y reads. Code parsed by
1098 * prism is hashed by prism itself (see pm_parser_checksum), and the two are
1099 * never compared with each other, so they need not use the same algorithm.
1100 *
1101 * This currently computes FNV-1a, but the algorithm is an implementation
1102 * detail. The hash values are only ever compared against hashes computed by the
1103 * same interpreter, so the algorithm can be changed freely between releases. */
1104void
1105rb_source_hash_init(rb_source_hash_state_t *state)
1106{
1107 state->hash = 0xcbf29ce484222325; /* FNV-1a offset basis */
1108}
1109
1110void
1111rb_source_hash_update(rb_source_hash_state_t *state, const uint8_t *ptr, size_t len)
1112{
1113 uint64_t hash = state->hash;
1114 for (size_t i = 0; i < len; i++) {
1115 hash = (hash ^ ptr[i]) * 0x100000001b3; /* FNV-1a prime */
1116 }
1117 state->hash = hash;
1118}
1119
1120uint64_t
1121rb_source_hash_finalize(const rb_source_hash_state_t *state)
1122{
1123 /* A hash of 0 means no source hash, so remap it to another value. */
1124 return state->hash == 0 ? 1 : state->hash;
1125}
1126
1127VALUE
1128rb_ruby_ast_new(const NODE *const root)
1129{
1130 rb_ast_t *ast;
1131 VALUE ast_value = TypedData_Make_Struct(0, rb_ast_t, &ast_data_type, ast);
1132#ifdef UNIVERSAL_PARSER
1133 ast->config = &rb_global_parser_config;
1134#endif
1135 ast->body = (rb_ast_body_t){
1136 .root = root,
1137 .frozen_string_literal = -1,
1138 .coverage_enabled = -1,
1139 .script_lines = NULL,
1140 .line_count = 0,
1141 };
1142 return ast_value;
1143}
1144
1145rb_ast_t *
1146rb_ruby_ast_data_get(VALUE ast_value)
1147{
1148 rb_ast_t *ast;
1149 if (NIL_P(ast_value)) return NULL;
1150 TypedData_Get_Struct(ast_value, rb_ast_t, &ast_data_type, ast);
1151 return ast;
1152}
#define T_COMPLEX
Old name of RUBY_T_COMPLEX.
Definition value_type.h:59
#define ENC_CODERANGE_7BIT
Old name of RUBY_ENC_CODERANGE_7BIT.
Definition coderange.h:180
#define RFLOAT_VALUE
Old name of rb_float_value.
Definition double.h:28
#define xfree
Old name of ruby_xfree.
Definition xmalloc.h:58
#define INT2FIX
Old name of RB_INT2FIX.
Definition long.h:48
#define T_FLOAT
Old name of RUBY_T_FLOAT.
Definition value_type.h:64
#define ID2SYM
Old name of RB_ID2SYM.
Definition symbol.h:44
#define T_BIGNUM
Old name of RUBY_T_BIGNUM.
Definition value_type.h:57
#define SPECIAL_CONST_P
Old name of RB_SPECIAL_CONST_P.
#define ENC_CODERANGE_UNKNOWN
Old name of RUBY_ENC_CODERANGE_UNKNOWN.
Definition coderange.h:179
#define LONG2FIX
Old name of RB_INT2FIX.
Definition long.h:49
#define SYMBOL_FLAG
Old name of RUBY_SYMBOL_FLAG.
#define T_RATIONAL
Old name of RUBY_T_RATIONAL.
Definition value_type.h:76
#define T_HASH
Old name of RUBY_T_HASH.
Definition value_type.h:65
#define MBCLEN_CHARFOUND_LEN(ret)
Old name of ONIGENC_MBCLEN_CHARFOUND_LEN.
Definition encoding.h:517
#define FLONUM_P
Old name of RB_FLONUM_P.
#define Qtrue
Old name of RUBY_Qtrue.
#define Qnil
Old name of RUBY_Qnil.
#define Qfalse
Old name of RUBY_Qfalse.
#define FIX2LONG
Old name of RB_FIX2LONG.
Definition long.h:46
#define NIL_P
Old name of RB_NIL_P.
#define MBCLEN_CHARFOUND_P(ret)
Old name of ONIGENC_MBCLEN_CHARFOUND_P.
Definition encoding.h:516
#define DBL2NUM
Old name of rb_float_new.
Definition double.h:29
#define BUILTIN_TYPE
Old name of RB_BUILTIN_TYPE.
Definition value_type.h:85
#define FIXNUM_P
Old name of RB_FIXNUM_P.
#define CONST_ID
Old name of RUBY_CONST_ID.
Definition symbol.h:47
#define ruby_verbose
This variable controls whether the interpreter is in debug mode.
Definition error.h:476
VALUE rb_eSyntaxError
SyntaxError exception.
Definition error.c:1474
VALUE rb_cObject
Object class.
Definition object.c:60
VALUE rb_class_new_instance(int argc, const VALUE *argv, VALUE klass)
Allocates, then initialises an instance of the given class.
Definition object.c:2305
#define RBIMPL_ATTR_FORMAT(x, y, z)
Wraps (or simulates) __attribute__((format))
Definition format.h:33
rb_len_t rb_str_coderange_scan_restartable(const char *str, const char *end, rb_encoding *enc, int *cr)
Scans the passed string until it finds something odd.
Definition string.c:855
VALUE rb_ary_entry(VALUE ary, rb_len_t off)
Queries an element of an array.
VALUE rb_ary_new_capa(rb_len_t capa)
Identical to rb_ary_new(), except it additionally specifies how many rooms of objects it should alloc...
VALUE rb_ary_push(VALUE ary, VALUE elem)
Special case of rb_ary_cat() that it adds only one element.
VALUE rb_int_positive_pow(long x, unsigned long y)
Raises the passed x to the power of y.
Definition numeric.c:4746
VALUE rb_rational_new(VALUE num, VALUE den)
Constructs a Rational, with reduction.
Definition rational.c:2006
#define rb_rational_raw1(x)
Shorthand of (x/1)r.
Definition rational.h:51
VALUE rb_str_subseq(VALUE str, rb_len_t beg, rb_len_t len)
Identical to rb_str_substr(), except the numbers are interpreted as byte offsets instead of character...
Definition string.c:3288
#define rb_str_new(str, len)
Allocates an instance of rb_cString.
Definition string.h:1523
VALUE rb_str_new_frozen(VALUE str)
Creates a frozen copy of the string, if necessary.
Definition string.c:1569
VALUE rb_filesystem_str_new_cstr(const char *ptr)
Identical to rb_filesystem_str_new(), except it assumes the passed pointer is a pointer to a C string...
Definition string.c:1480
#define rb_str_cat_cstr(buf, str)
Identical to rb_str_cat(), except it assumes the passed pointer is a pointer to a C string.
Definition string.h:1681
#define rb_str_new_cstr(str)
Identical to rb_str_new, except it assumes the passed pointer is a pointer to a C string.
Definition string.h:1539
VALUE rb_const_get_at(VALUE space, ID name)
Identical to rb_const_defined_at(), except it returns the actual defined value.
Definition variable.c:3541
int rb_const_defined_at(VALUE space, ID name)
Identical to rb_const_defined(), except it doesn't look for parent classes.
Definition variable.c:3876
VALUE rb_id2sym(ID id)
Allocates an instance of rb_cSymbol that has the given id.
Definition symbol.c:1135
int len
Length of the buffer.
Definition io.h:8
#define strtod(s, e)
Just another name of ruby_strtod.
Definition util.h:223
double ruby_strtod(const char *str, char **endptr)
Our own locale-insensitive version of strtod(3).
#define strdup(s)
Just another name of ruby_strdup.
Definition util.h:187
static VALUE rb_int2num_inline(int v)
Converts a C's int into an instance of rb_cInteger.
Definition int.h:239
#define rb_len2int
Just another name of rb_len2int_inline.
Definition len_t.h:37
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
Definition memory.h:170
VALUE type(ANYARGS)
ANYARGS-ed function type.
Functions related to nodes in the AST.
static struct re_pattern_buffer * RREGEXP_PTR(VALUE rexp)
Convenient getter function.
Definition rregexp.h:77
#define StringValue(v)
Ensures that the parameter object is a String.
Definition rstring.h:66
#define TypedData_Get_Struct(obj, type, data_type, sval)
Obtains a C struct from inside of a wrapper Ruby object.
Definition rtypeddata.h:773
#define DATA_PTR(obj)
Convenient casting macro for backward compatibility.
Definition rtypeddata.h:439
#define TypedData_Wrap_Struct(klass, data_type, sval)
Converts sval, a pointer to your struct, into a Ruby object.
Definition rtypeddata.h:557
#define TypedData_Make_Struct(klass, type, data_type, sval)
Identical to TypedData_Wrap_Struct, except it allocates a new data region internally instead of takin...
Definition rtypeddata.h:604
static bool RB_TEST(VALUE obj)
Emulates Ruby's "if" statement.
@ RUBY_SPECIAL_SHIFT
Least significant 8 bits are reserved.
#define RTEST
This is an old name of RB_TEST.
This is the struct that holds necessary info for a struct.
Definition rtypeddata.h:242
long rb_len_t
A signed integer type for lengths and indices of objects such as String and Array.
Definition value.h:142
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
Definition value.h:52
uintptr_t VALUE
Type that represents a Ruby object.
Definition value.h:40
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.
Definition value_type.h:376