3#include "internal/ruby_parser.h"
4#include "internal/symbol.h"
5#include "internal/warnings.h"
17static VALUE rb_cLocation;
25node_gc_mark(
void *ptr)
28 rb_gc_mark(data->ast_value);
32node_memsize(
const void *ptr)
36 if (data->ast_value) {
37 rb_ast_t *ast = rb_ruby_ast_data_get(data->ast_value);
38 size += rb_ast_memsize(ast);
48 RUBY_TYPED_THREAD_SAFE_FREE,
59location_gc_mark(
void *ptr)
64location_memsize(
const void *ptr)
73 RUBY_TYPED_THREAD_SAFE_FREE,
85 data->ast_value = ast_value;
90ast_new_internal(
VALUE ast_value,
const NODE *node)
94 obj = rb_ast_node_alloc(rb_cNode);
95 setup_node(obj, ast_value, node);
106 return rb_parser_set_context(rb_parser_new(), NULL, 0);
110ast_parse_done(
VALUE ast_value)
112 rb_ast_t *ast = rb_ruby_ast_data_get(ast_value);
114 if (!ast->body.root) {
119 return ast_new_internal(ast_value, (
NODE *)ast->body.root);
123setup_vparser(
VALUE keep_script_lines,
VALUE error_tolerant,
VALUE keep_tokens)
125 VALUE vparser = ast_parse_new();
126 if (
RTEST(keep_script_lines)) rb_parser_set_script_lines(vparser);
127 if (
RTEST(error_tolerant)) rb_parser_error_tolerant(vparser);
128 if (
RTEST(keep_tokens)) rb_parser_keep_tokens(vparser);
135 return rb_ast_parse_str(str, keep_script_lines, error_tolerant, keep_tokens);
143 VALUE vparser = setup_vparser(keep_script_lines, error_tolerant, keep_tokens);
144 ast_value = rb_parser_compile_string_path(vparser,
Qnil, str, 1);
145 return ast_parse_done(ast_value);
151 return rb_ast_parse_file(path, keep_script_lines, error_tolerant, keep_tokens);
163 VALUE vparser = setup_vparser(keep_script_lines, error_tolerant, keep_tokens);
164 ast_value = rb_parser_compile_file_path(vparser,
Qnil, f, 1);
166 return ast_parse_done(ast_value);
170rb_ast_parse_array(
VALUE array,
VALUE keep_script_lines,
VALUE error_tolerant,
VALUE keep_tokens)
175 VALUE vparser = setup_vparser(keep_script_lines, error_tolerant, keep_tokens);
176 ast_value = rb_parser_compile_array(vparser,
Qnil, array, 1);
177 return ast_parse_done(ast_value);
195 if (nd_node_id(data->node) == node_id) {
197 result->parent = parent;
201 ary = node_children(data->ast_value, data->node);
207 if (node_find_with_parent(child, self, node_id, result))
return true;
215node_find(
VALUE self,
const int node_id)
218 node_find_with_parent(self,
Qnil, node_id, &result);
223rb_ast_node_source_location(
VALUE source,
VALUE path,
int first_lineno,
224 int node_id,
bool block_iseq,
int iseq_node_id,
229 VALUE ast_value = rb_parser_compile_string_path(vparser, path, source, first_lineno);
230 VALUE ast = ast_parse_done(ast_value);
233 if (!node_find_with_parent(ast,
Qnil, node_id, &result))
return false;
237 const NODE *node = data->node;
239 if (!
NIL_P(result.parent)) {
242 const NODE *parent = parent_data->node;
245 if (nd_type(parent) == NODE_ITER && RNODE_ITER(parent)->nd_iter == node) {
251 if (block_iseq && node_id == iseq_node_id && nd_type(node) == NODE_ITER) {
252 const NODE *scope = RNODE_ITER(node)->nd_body;
253 if (scope && nd_type(scope) == NODE_SCOPE) {
258 *location = *nd_code_loc(node);
265 return node_find(root,
NUM2INT(node_id));
274 rb_ast_t *ast = rb_ruby_ast_data_get(data->ast_value);
275 if (!ast->body.has_source_hash)
return Qnil;
276 return ULL2NUM(ast->body.source_hash);
279extern VALUE rb_e_script;
284 return RBOOL(ISEQ_BODY(rb_iseqw_to_iseq(self))->prism);
292 if (!rb_frame_info_p(location)) {
293 rb_raise(
rb_eTypeError,
"Thread::Backtrace::Location object expected");
296 node_id = rb_get_node_id_from_frame_info(location);
307 if (!rb_frame_info_p(location)) {
308 rb_raise(
rb_eTypeError,
"Thread::Backtrace::Location object expected");
311 const rb_iseq_t *iseq = rb_get_iseq_from_frame_info(location);
312 if (!iseq)
return Qnil;
313 return rb_iseqw_new(iseq);
323 if (rb_frame_info_p(body)) {
324 iseq = rb_get_iseq_from_frame_info(body);
325 node_id = rb_get_node_id_from_frame_info(body);
331 iseq = vm_proc_iseq(body);
333 if (!rb_obj_is_iseq((
VALUE)iseq))
return Qnil;
336 iseq = rb_method_iseq(body);
339 node_id = ISEQ_BODY(iseq)->location.node_id;
347 if (ISEQ_BODY(iseq)->prism) {
351 lines = ISEQ_SCRIPT_LINES(iseq);
353 VALUE path = rb_iseq_path(iseq);
354 int e_option = RSTRING_LEN(path) == 2 && memcmp(RSTRING_PTR(path),
"-e", 2) == 0;
356 if (
NIL_P(lines) && rb_iseq_from_eval_p(iseq) && !e_option) {
357 rb_raise(rb_eArgError,
"cannot get AST for method defined in eval");
361 node = rb_ast_parse_array(lines, keep_script_lines, error_tolerant, keep_tokens);
364 node = rb_ast_parse_str(rb_e_script, keep_script_lines, error_tolerant, keep_tokens);
367 node = rb_ast_parse_file(path, keep_script_lines, error_tolerant, keep_tokens);
370 return node_find(node, node_id);
374rb_ast_node_alloc(
VALUE klass)
383node_type_to_str(
const NODE *node)
385 return (ruby_node_name(nd_type(node)) +
rb_strlen_lit(
"NODE_"));
394 return rb_sym_intern_ascii_cstr(node_type_to_str(data->node));
403 return INT2FIX(nd_node_id(data->node));
406#define NEW_CHILD(ast_value, node) (node ? ast_new_internal(ast_value, node) : Qnil)
409rb_ary_new_from_node_args(
VALUE ast_value,
long n, ...)
418 for (i=0; i<n; i++) {
420 node = va_arg(ar,
NODE *);
432 rb_ary_push(ary, NEW_CHILD(ast_value, node->nd_head));
433 }
while (node->nd_next &&
434 nd_type_p(node->nd_next, NODE_BLOCK) &&
435 (node = RNODE_BLOCK(node->nd_next), 1));
437 rb_ary_push(ary, NEW_CHILD(ast_value, node->nd_next));
447 rb_ary_push(ary, NEW_CHILD(ast_value, node->nd_head));
449 while (node->nd_next && nd_type_p(node->nd_next, NODE_LIST)) {
450 node = RNODE_LIST(node->nd_next);
451 rb_ary_push(ary, NEW_CHILD(ast_value, node->nd_head));
453 rb_ary_push(ary, NEW_CHILD(ast_value, node->nd_next));
463 if (p_ary->data_type != PARSER_ARY_DATA_NODE) {
464 rb_bug(
"unexpected rb_parser_ary_data_type: %d", p_ary->data_type);
469 for (
long i = 0; i < p_ary->len; i++) {
470 rb_ary_push(ary, NEW_CHILD(ast_value, p_ary->data[i]));
479 if (!
id)
return Qnil;
480 if (!rb_id2str(
id))
return Qnil;
488 CONST_ID(rest,
"NODE_SPECIAL_NO_NAME_REST");
493rest_arg(
VALUE ast_value,
const NODE *rest_arg)
495 return NODE_NAMED_REST_P(rest_arg) ? NEW_CHILD(ast_value, rest_arg) : no_name_rest();
499node_colon_name(
const NODE *node)
501 switch (nd_type(node)) {
503 return RNODE_COLON2(node)->nd_mid;
505 return RNODE_COLON3(node)->nd_mid;
507 rb_bug(
"unexpected node: %s", ruby_node_name(nd_type(node)));
512node_children(
VALUE ast_value,
const NODE *node)
516 enum node_type
type = nd_type(node);
519 return dump_block(ast_value, RNODE_BLOCK(node));
521 return rb_ary_new_from_node_args(ast_value, 3, RNODE_IF(node)->nd_cond, RNODE_IF(node)->nd_body, RNODE_IF(node)->nd_else);
523 return rb_ary_new_from_node_args(ast_value, 3, RNODE_UNLESS(node)->nd_cond, RNODE_UNLESS(node)->nd_body, RNODE_UNLESS(node)->nd_else);
525 return rb_ary_new_from_node_args(ast_value, 2, RNODE_CASE(node)->nd_head, RNODE_CASE(node)->nd_body);
527 return rb_ary_new_from_node_args(ast_value, 2, RNODE_CASE2(node)->nd_head, RNODE_CASE2(node)->nd_body);
529 return rb_ary_new_from_node_args(ast_value, 2, RNODE_CASE3(node)->nd_head, RNODE_CASE3(node)->nd_body);
531 return rb_ary_new_from_node_args(ast_value, 3, RNODE_WHEN(node)->nd_head, RNODE_WHEN(node)->nd_body, RNODE_WHEN(node)->nd_next);
533 return rb_ary_new_from_node_args(ast_value, 3, RNODE_IN(node)->nd_head, RNODE_IN(node)->nd_body, RNODE_IN(node)->nd_next);
536 return rb_ary_push(rb_ary_new_from_node_args(ast_value, 2, RNODE_WHILE(node)->nd_cond, RNODE_WHILE(node)->nd_body),
537 RBOOL(RNODE_WHILE(node)->nd_state));
540 return rb_ary_new_from_node_args(ast_value, 2, RNODE_ITER(node)->nd_iter, RNODE_ITER(node)->nd_body);
542 return rb_ary_new_from_node_args(ast_value, 1, RNODE_FOR_MASGN(node)->nd_var);
544 return rb_ary_new_from_node_args(ast_value, 1, RNODE_BREAK(node)->nd_stts);
546 return rb_ary_new_from_node_args(ast_value, 1, RNODE_NEXT(node)->nd_stts);
548 return rb_ary_new_from_node_args(ast_value, 1, RNODE_RETURN(node)->nd_stts);
550 return rb_ary_new_from_node_args(ast_value, 0);
552 return rb_ary_new_from_node_args(ast_value, 0);
554 return rb_ary_new_from_node_args(ast_value, 1, RNODE_BEGIN(node)->nd_body);
556 return rb_ary_new_from_node_args(ast_value, 3, RNODE_RESCUE(node)->nd_head, RNODE_RESCUE(node)->nd_resq, RNODE_RESCUE(node)->nd_else);
558 return rb_ary_new_from_node_args(ast_value, 4, RNODE_RESBODY(node)->nd_args, RNODE_RESBODY(node)->nd_exc_var, RNODE_RESBODY(node)->nd_body, RNODE_RESBODY(node)->nd_next);
560 return rb_ary_new_from_node_args(ast_value, 2, RNODE_ENSURE(node)->nd_head, RNODE_ENSURE(node)->nd_ensr);
567 rb_ary_push(ary, NEW_CHILD(ast_value, RNODE_AND(node)->nd_1st));
568 if (!RNODE_AND(node)->nd_2nd || !nd_type_p(RNODE_AND(node)->nd_2nd,
type))
570 node = RNODE_AND(node)->nd_2nd;
572 rb_ary_push(ary, NEW_CHILD(ast_value, RNODE_AND(node)->nd_2nd));
576 if (NODE_NAMED_REST_P(RNODE_MASGN(node)->nd_args)) {
577 return rb_ary_new_from_node_args(ast_value, 3, RNODE_MASGN(node)->nd_value, RNODE_MASGN(node)->nd_head, RNODE_MASGN(node)->nd_args);
580 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_MASGN(node)->nd_value),
581 NEW_CHILD(ast_value, RNODE_MASGN(node)->nd_head),
585 if (NODE_REQUIRED_KEYWORD_P(RNODE_LASGN(node)->nd_value)) {
586 return rb_ary_new_from_args(2, var_name(RNODE_LASGN(node)->nd_vid),
ID2SYM(rb_intern(
"NODE_SPECIAL_REQUIRED_KEYWORD")));
588 return rb_ary_new_from_args(2, var_name(RNODE_LASGN(node)->nd_vid), NEW_CHILD(ast_value, RNODE_LASGN(node)->nd_value));
590 if (NODE_REQUIRED_KEYWORD_P(RNODE_DASGN(node)->nd_value)) {
591 return rb_ary_new_from_args(2, var_name(RNODE_DASGN(node)->nd_vid),
ID2SYM(rb_intern(
"NODE_SPECIAL_REQUIRED_KEYWORD")));
593 return rb_ary_new_from_args(2, var_name(RNODE_DASGN(node)->nd_vid), NEW_CHILD(ast_value, RNODE_DASGN(node)->nd_value));
595 return rb_ary_new_from_args(2, var_name(RNODE_IASGN(node)->nd_vid), NEW_CHILD(ast_value, RNODE_IASGN(node)->nd_value));
597 return rb_ary_new_from_args(2, var_name(RNODE_CVASGN(node)->nd_vid), NEW_CHILD(ast_value, RNODE_CVASGN(node)->nd_value));
599 return rb_ary_new_from_args(2, var_name(RNODE_GASGN(node)->nd_vid), NEW_CHILD(ast_value, RNODE_GASGN(node)->nd_value));
601 if (RNODE_CDECL(node)->nd_vid) {
602 return rb_ary_new_from_args(2,
ID2SYM(RNODE_CDECL(node)->nd_vid), NEW_CHILD(ast_value, RNODE_CDECL(node)->nd_value));
604 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_CDECL(node)->nd_else),
ID2SYM(node_colon_name(RNODE_CDECL(node)->nd_else)), NEW_CHILD(ast_value, RNODE_CDECL(node)->nd_value));
606 return rb_ary_new_from_args(4, NEW_CHILD(ast_value, RNODE_OP_ASGN1(node)->nd_recv),
607 ID2SYM(RNODE_OP_ASGN1(node)->nd_mid),
608 NEW_CHILD(ast_value, RNODE_OP_ASGN1(node)->nd_index),
609 NEW_CHILD(ast_value, RNODE_OP_ASGN1(node)->nd_rvalue));
611 return rb_ary_new_from_args(5, NEW_CHILD(ast_value, RNODE_OP_ASGN2(node)->nd_recv),
612 RBOOL(RNODE_OP_ASGN2(node)->nd_aid),
613 ID2SYM(RNODE_OP_ASGN2(node)->nd_vid),
614 ID2SYM(RNODE_OP_ASGN2(node)->nd_mid),
615 NEW_CHILD(ast_value, RNODE_OP_ASGN2(node)->nd_value));
616 case NODE_OP_ASGN_AND:
617 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_OP_ASGN_AND(node)->nd_head),
ID2SYM(idANDOP),
618 NEW_CHILD(ast_value, RNODE_OP_ASGN_AND(node)->nd_value));
619 case NODE_OP_ASGN_OR:
620 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_OP_ASGN_OR(node)->nd_head),
ID2SYM(idOROP),
621 NEW_CHILD(ast_value, RNODE_OP_ASGN_OR(node)->nd_value));
623 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_OP_CDECL(node)->nd_head),
624 ID2SYM(RNODE_OP_CDECL(node)->nd_aid),
625 NEW_CHILD(ast_value, RNODE_OP_CDECL(node)->nd_value));
627 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_CALL(node)->nd_recv),
628 ID2SYM(RNODE_CALL(node)->nd_mid),
629 NEW_CHILD(ast_value, RNODE_CALL(node)->nd_args));
631 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_OPCALL(node)->nd_recv),
632 ID2SYM(RNODE_OPCALL(node)->nd_mid),
633 NEW_CHILD(ast_value, RNODE_OPCALL(node)->nd_args));
635 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_QCALL(node)->nd_recv),
636 ID2SYM(RNODE_QCALL(node)->nd_mid),
637 NEW_CHILD(ast_value, RNODE_QCALL(node)->nd_args));
639 return rb_ary_new_from_args(2,
ID2SYM(RNODE_FCALL(node)->nd_mid),
640 NEW_CHILD(ast_value, RNODE_FCALL(node)->nd_args));
642 return rb_ary_new_from_args(1,
ID2SYM(RNODE_VCALL(node)->nd_mid));
644 return rb_ary_new_from_node_args(ast_value, 1, RNODE_SUPER(node)->nd_args);
646 return rb_ary_new_from_node_args(ast_value, 0);
648 return dump_array(ast_value, RNODE_LIST(node));
650 return rb_ary_new_from_node_args(ast_value, 0);
652 return rb_ary_new_from_node_args(ast_value, 1, RNODE_HASH(node)->nd_head);
654 return rb_ary_new_from_node_args(ast_value, 1, RNODE_YIELD(node)->nd_head);
656 return rb_ary_new_from_args(1, var_name(RNODE_LVAR(node)->nd_vid));
658 return rb_ary_new_from_args(1, var_name(RNODE_DVAR(node)->nd_vid));
660 return rb_ary_new_from_args(1,
ID2SYM(RNODE_IVAR(node)->nd_vid));
662 return rb_ary_new_from_args(1,
ID2SYM(RNODE_CONST(node)->nd_vid));
664 return rb_ary_new_from_args(1,
ID2SYM(RNODE_CVAR(node)->nd_vid));
666 return rb_ary_new_from_args(1,
ID2SYM(RNODE_GVAR(node)->nd_vid));
668 snprintf(name,
sizeof(name),
"$%ld", RNODE_NTH_REF(node)->nd_nth);
669 return rb_ary_new_from_args(1,
ID2SYM(rb_intern(name)));
672 name[1] = (char)RNODE_BACK_REF(node)->nd_nth;
674 return rb_ary_new_from_args(1,
ID2SYM(rb_intern(name)));
676 return rb_ary_new_from_args(1, rb_node_regx_string_val(node));
678 if (RNODE_MATCH2(node)->nd_args) {
679 return rb_ary_new_from_node_args(ast_value, 3, RNODE_MATCH2(node)->nd_recv, RNODE_MATCH2(node)->nd_value, RNODE_MATCH2(node)->nd_args);
681 return rb_ary_new_from_node_args(ast_value, 2, RNODE_MATCH2(node)->nd_recv, RNODE_MATCH2(node)->nd_value);
683 return rb_ary_new_from_node_args(ast_value, 2, RNODE_MATCH3(node)->nd_recv, RNODE_MATCH3(node)->nd_value);
686 return rb_ary_new_from_args(1, rb_node_str_string_val(node));
688 return rb_ary_new_from_args(1, rb_node_integer_literal_val(node));
690 return rb_ary_new_from_args(1, rb_node_float_literal_val(node));
692 return rb_ary_new_from_args(1, rb_node_rational_literal_val(node));
694 return rb_ary_new_from_args(1, rb_node_imaginary_literal_val(node));
696 return rb_ary_new_from_args(1, rb_node_regx_string_val(node));
698 return rb_ary_new_from_node_args(ast_value, 1, RNODE_ONCE(node)->nd_body);
704 struct RNode_LIST *n = RNODE_DSTR(node)->nd_next;
707 head = NEW_CHILD(ast_value, n->nd_head);
708 next = NEW_CHILD(ast_value, n->nd_next);
710 return rb_ary_new_from_args(3, rb_node_dstr_string_val(node), head, next);
713 return rb_ary_new_from_args(1, rb_node_sym_string_val(node));
715 return rb_ary_new_from_node_args(ast_value, 1, RNODE_EVSTR(node)->nd_body);
717 return rb_ary_new_from_node_args(ast_value, 2, RNODE_ARGSCAT(node)->nd_head, RNODE_ARGSCAT(node)->nd_body);
719 return rb_ary_new_from_node_args(ast_value, 2, RNODE_ARGSPUSH(node)->nd_head, RNODE_ARGSPUSH(node)->nd_body);
721 return rb_ary_new_from_node_args(ast_value, 1, RNODE_SPLAT(node)->nd_head);
722 case NODE_BLOCK_PASS:
723 return rb_ary_new_from_node_args(ast_value, 2, RNODE_BLOCK_PASS(node)->nd_head, RNODE_BLOCK_PASS(node)->nd_body);
725 return rb_ary_new_from_args(2,
ID2SYM(RNODE_DEFN(node)->nd_mid), NEW_CHILD(ast_value, RNODE_DEFN(node)->nd_defn));
727 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_DEFS(node)->nd_recv),
ID2SYM(RNODE_DEFS(node)->nd_mid), NEW_CHILD(ast_value, RNODE_DEFS(node)->nd_defn));
729 return rb_ary_new_from_node_args(ast_value, 2, RNODE_ALIAS(node)->nd_1st, RNODE_ALIAS(node)->nd_2nd);
731 return rb_ary_new_from_args(2,
ID2SYM(RNODE_VALIAS(node)->nd_alias),
ID2SYM(RNODE_VALIAS(node)->nd_orig));
733 return rb_ary_new_from_args(1, dump_parser_array(ast_value, RNODE_UNDEF(node)->nd_undefs));
735 return rb_ary_new_from_node_args(ast_value, 3, RNODE_CLASS(node)->nd_cpath, RNODE_CLASS(node)->nd_super, RNODE_CLASS(node)->nd_body);
737 return rb_ary_new_from_node_args(ast_value, 2, RNODE_MODULE(node)->nd_cpath, RNODE_MODULE(node)->nd_body);
739 return rb_ary_new_from_node_args(ast_value, 2, RNODE_SCLASS(node)->nd_recv, RNODE_SCLASS(node)->nd_body);
741 return rb_ary_new_from_args(2, NEW_CHILD(ast_value, RNODE_COLON2(node)->nd_head),
ID2SYM(RNODE_COLON2(node)->nd_mid));
743 return rb_ary_new_from_args(1,
ID2SYM(RNODE_COLON3(node)->nd_mid));
748 return rb_ary_new_from_node_args(ast_value, 2, RNODE_DOT2(node)->nd_beg, RNODE_DOT2(node)->nd_end);
750 return rb_ary_new_from_node_args(ast_value, 0);
752 return rb_ary_new_from_node_args(ast_value, 0);
754 return rb_ary_new_from_node_args(ast_value, 0);
756 return rb_ary_new_from_node_args(ast_value, 0);
758 return rb_ary_new_from_node_args(ast_value, 0);
760 return rb_ary_new_from_node_args(ast_value, 1, RNODE_DEFINED(node)->nd_head);
762 return rb_ary_new_from_node_args(ast_value, 1, RNODE_POSTEXE(node)->nd_body);
764 return rb_ary_new_from_args(3, NEW_CHILD(ast_value, RNODE_ATTRASGN(node)->nd_recv),
ID2SYM(RNODE_ATTRASGN(node)->nd_mid), NEW_CHILD(ast_value, RNODE_ATTRASGN(node)->nd_args));
766 return rb_ary_new_from_node_args(ast_value, 1, RNODE_LAMBDA(node)->nd_body);
768 return rb_ary_new_from_node_args(ast_value, 2, RNODE_OPT_ARG(node)->nd_body, RNODE_OPT_ARG(node)->nd_next);
770 return rb_ary_new_from_node_args(ast_value, 2, RNODE_KW_ARG(node)->nd_body, RNODE_KW_ARG(node)->nd_next);
772 if (NODE_NAMED_REST_P(RNODE_POSTARG(node)->nd_1st)) {
773 return rb_ary_new_from_node_args(ast_value, 2, RNODE_POSTARG(node)->nd_1st, RNODE_POSTARG(node)->nd_2nd);
775 return rb_ary_new_from_args(2, no_name_rest(),
776 NEW_CHILD(ast_value, RNODE_POSTARG(node)->nd_2nd));
779 struct rb_args_info *ainfo = &RNODE_ARGS(node)->nd_ainfo;
780 return rb_ary_new_from_args(10,
782 NEW_CHILD(ast_value, ainfo->pre_init),
783 NEW_CHILD(ast_value, (
NODE *)ainfo->opt_args),
784 var_name(ainfo->first_post_arg),
786 NEW_CHILD(ast_value, ainfo->post_init),
787 (ainfo->rest_arg == NODE_SPECIAL_EXCESSIVE_COMMA
788 ?
ID2SYM(rb_intern(
"NODE_SPECIAL_EXCESSIVE_COMMA"))
789 : var_name(ainfo->rest_arg)),
790 (ainfo->no_kwarg ?
Qfalse : NEW_CHILD(ast_value, (
NODE *)ainfo->kw_args)),
791 (ainfo->no_kwarg ?
Qfalse : NEW_CHILD(ast_value, ainfo->kw_rest_arg)),
792 (ainfo->no_blockarg ?
Qfalse : var_name(ainfo->block_arg)));
797 int i, size = tbl ? tbl->size : 0;
799 for (i = 0; i < size; i++) {
802 return rb_ary_new_from_args(3, locals, NEW_CHILD(ast_value, (
NODE *)RNODE_SCOPE(node)->nd_args), NEW_CHILD(ast_value, RNODE_SCOPE(node)->nd_body));
806 VALUE rest = rest_arg(ast_value, RNODE_ARYPTN(node)->rest_arg);
807 return rb_ary_new_from_args(4,
808 NEW_CHILD(ast_value, RNODE_ARYPTN(node)->nd_pconst),
809 NEW_CHILD(ast_value, RNODE_ARYPTN(node)->pre_args),
811 NEW_CHILD(ast_value, RNODE_ARYPTN(node)->post_args));
815 VALUE pre_rest = rest_arg(ast_value, RNODE_FNDPTN(node)->pre_rest_arg);
816 VALUE post_rest = rest_arg(ast_value, RNODE_FNDPTN(node)->post_rest_arg);
817 return rb_ary_new_from_args(4,
818 NEW_CHILD(ast_value, RNODE_FNDPTN(node)->nd_pconst),
820 NEW_CHILD(ast_value, RNODE_FNDPTN(node)->args),
825 VALUE kwrest = RNODE_HSHPTN(node)->nd_pkwrestarg == NODE_SPECIAL_NO_REST_KEYWORD ?
ID2SYM(rb_intern(
"NODE_SPECIAL_NO_REST_KEYWORD")) :
826 NEW_CHILD(ast_value, RNODE_HSHPTN(node)->nd_pkwrestarg);
828 return rb_ary_new_from_args(3,
829 NEW_CHILD(ast_value, RNODE_HSHPTN(node)->nd_pconst),
830 NEW_CHILD(ast_value, RNODE_HSHPTN(node)->nd_pkwargs),
834 return rb_ary_new_from_args(1, rb_node_line_lineno_val(node));
836 return rb_ary_new_from_args(1, rb_node_file_path_val(node));
838 return rb_ary_new_from_args(1, rb_node_encoding_val(node));
840 return rb_ary_new_from_node_args(ast_value, 0);
846 rb_bug(
"node_children: unknown node: %s", ruby_node_name(
type));
855 return node_children(data->ast_value, data->node);
861 return (loc->beg_pos.lineno == 0 && loc->beg_pos.column == -1 && loc->end_pos.lineno == 0 && loc->end_pos.column == -1);
870 if (null_loc_p(loc))
return Qnil;
873 data->first_lineno = loc->beg_pos.lineno;
874 data->first_column = loc->beg_pos.column;
875 data->last_lineno = loc->end_pos.lineno;
876 data->last_column = loc->end_pos.column;
882node_locations(
VALUE ast_value,
const NODE *node)
884 enum node_type
type = nd_type(node);
887 return rb_ary_new_from_args(2,
888 location_new(nd_code_loc(node)),
889 location_new(&RNODE_ALIAS(node)->keyword_loc));
891 return rb_ary_new_from_args(2,
892 location_new(nd_code_loc(node)),
893 location_new(&RNODE_AND(node)->operator_loc));
894 case NODE_BLOCK_PASS:
895 return rb_ary_new_from_args(2,
896 location_new(nd_code_loc(node)),
897 location_new(&RNODE_BLOCK_PASS(node)->operator_loc));
899 return rb_ary_new_from_args(2,
900 location_new(nd_code_loc(node)),
901 location_new(&RNODE_BREAK(node)->keyword_loc));
903 return rb_ary_new_from_args(3,
904 location_new(nd_code_loc(node)),
905 location_new(&RNODE_CASE(node)->case_keyword_loc),
906 location_new(&RNODE_CASE(node)->end_keyword_loc));
908 return rb_ary_new_from_args(3,
909 location_new(nd_code_loc(node)),
910 location_new(&RNODE_CASE2(node)->case_keyword_loc),
911 location_new(&RNODE_CASE2(node)->end_keyword_loc));
913 return rb_ary_new_from_args(3,
914 location_new(nd_code_loc(node)),
915 location_new(&RNODE_CASE3(node)->case_keyword_loc),
916 location_new(&RNODE_CASE3(node)->end_keyword_loc));
918 return rb_ary_new_from_args(4,
919 location_new(nd_code_loc(node)),
920 location_new(&RNODE_CLASS(node)->class_keyword_loc),
921 location_new(&RNODE_CLASS(node)->inheritance_operator_loc),
922 location_new(&RNODE_CLASS(node)->end_keyword_loc));
924 return rb_ary_new_from_args(3,
925 location_new(nd_code_loc(node)),
926 location_new(&RNODE_COLON2(node)->delimiter_loc),
927 location_new(&RNODE_COLON2(node)->name_loc));
929 return rb_ary_new_from_args(3,
930 location_new(nd_code_loc(node)),
931 location_new(&RNODE_COLON3(node)->delimiter_loc),
932 location_new(&RNODE_COLON3(node)->name_loc));
934 return rb_ary_new_from_args(2,
935 location_new(nd_code_loc(node)),
936 location_new(&RNODE_DEFINED(node)->keyword_loc));
938 return rb_ary_new_from_args(2,
939 location_new(nd_code_loc(node)),
940 location_new(&RNODE_DOT2(node)->operator_loc));
942 return rb_ary_new_from_args(2,
943 location_new(nd_code_loc(node)),
944 location_new(&RNODE_DOT3(node)->operator_loc));
946 return rb_ary_new_from_args(3,
947 location_new(nd_code_loc(node)),
948 location_new(&RNODE_EVSTR(node)->opening_loc),
949 location_new(&RNODE_EVSTR(node)->closing_loc));
951 return rb_ary_new_from_args(2,
952 location_new(nd_code_loc(node)),
953 location_new(&RNODE_FLIP2(node)->operator_loc));
955 return rb_ary_new_from_args(2,
956 location_new(nd_code_loc(node)),
957 location_new(&RNODE_FLIP3(node)->operator_loc));
959 return rb_ary_new_from_args(5,
960 location_new(nd_code_loc(node)),
961 location_new(&RNODE_FOR(node)->for_keyword_loc),
962 location_new(&RNODE_FOR(node)->in_keyword_loc),
963 location_new(&RNODE_FOR(node)->do_keyword_loc),
964 location_new(&RNODE_FOR(node)->end_keyword_loc));
966 return rb_ary_new_from_args(4,
967 location_new(nd_code_loc(node)),
968 location_new(&RNODE_LAMBDA(node)->operator_loc),
969 location_new(&RNODE_LAMBDA(node)->opening_loc),
970 location_new(&RNODE_LAMBDA(node)->closing_loc));
972 return rb_ary_new_from_args(4,
973 location_new(nd_code_loc(node)),
974 location_new(&RNODE_IF(node)->if_keyword_loc),
975 location_new(&RNODE_IF(node)->then_keyword_loc),
976 location_new(&RNODE_IF(node)->end_keyword_loc));
978 return rb_ary_new_from_args(4,
979 location_new(nd_code_loc(node)),
980 location_new(&RNODE_IN(node)->in_keyword_loc),
981 location_new(&RNODE_IN(node)->then_keyword_loc),
982 location_new(&RNODE_IN(node)->operator_loc));
984 return rb_ary_new_from_args(3,
985 location_new(nd_code_loc(node)),
986 location_new(&RNODE_MODULE(node)->module_keyword_loc),
987 location_new(&RNODE_MODULE(node)->end_keyword_loc));
989 return rb_ary_new_from_args(2,
990 location_new(nd_code_loc(node)),
991 location_new(&RNODE_NEXT(node)->keyword_loc));
993 return rb_ary_new_from_args(2,
994 location_new(nd_code_loc(node)),
995 location_new(&RNODE_OR(node)->operator_loc));
997 return rb_ary_new_from_args(5,
998 location_new(nd_code_loc(node)),
999 location_new(&RNODE_OP_ASGN1(node)->call_operator_loc),
1000 location_new(&RNODE_OP_ASGN1(node)->opening_loc),
1001 location_new(&RNODE_OP_ASGN1(node)->closing_loc),
1002 location_new(&RNODE_OP_ASGN1(node)->binary_operator_loc));
1004 return rb_ary_new_from_args(4,
1005 location_new(nd_code_loc(node)),
1006 location_new(&RNODE_OP_ASGN2(node)->call_operator_loc),
1007 location_new(&RNODE_OP_ASGN2(node)->message_loc),
1008 location_new(&RNODE_OP_ASGN2(node)->binary_operator_loc));
1010 return rb_ary_new_from_args(4,
1011 location_new(nd_code_loc(node)),
1012 location_new(&RNODE_POSTEXE(node)->keyword_loc),
1013 location_new(&RNODE_POSTEXE(node)->opening_loc),
1014 location_new(&RNODE_POSTEXE(node)->closing_loc));
1016 return rb_ary_new_from_args(2,
1017 location_new(nd_code_loc(node)),
1018 location_new(&RNODE_REDO(node)->keyword_loc));
1020 return rb_ary_new_from_args(4,
1021 location_new(nd_code_loc(node)),
1022 location_new(&RNODE_REGX(node)->opening_loc),
1023 location_new(&RNODE_REGX(node)->content_loc),
1024 location_new(&RNODE_REGX(node)->closing_loc));
1026 return rb_ary_new_from_args(2,
1027 location_new(nd_code_loc(node)),
1028 location_new(&RNODE_RETURN(node)->keyword_loc));
1031 return rb_ary_new_from_args(4,
1032 location_new(nd_code_loc(node)),
1033 location_new(&RNODE_SCLASS(node)->class_keyword_loc),
1034 location_new(&RNODE_SCLASS(node)->operator_loc),
1035 location_new(&RNODE_SCLASS(node)->end_keyword_loc));
1038 return rb_ary_new_from_args(2,
1039 location_new(nd_code_loc(node)),
1040 location_new(&RNODE_SPLAT(node)->operator_loc));
1042 return rb_ary_new_from_args(4,
1043 location_new(nd_code_loc(node)),
1044 location_new(&RNODE_SUPER(node)->keyword_loc),
1045 location_new(&RNODE_SUPER(node)->lparen_loc),
1046 location_new(&RNODE_SUPER(node)->rparen_loc));
1048 return rb_ary_new_from_args(2,
1049 location_new(nd_code_loc(node)),
1050 location_new(&RNODE_UNDEF(node)->keyword_loc));
1052 return rb_ary_new_from_args(4,
1053 location_new(nd_code_loc(node)),
1054 location_new(&RNODE_UNLESS(node)->keyword_loc),
1055 location_new(&RNODE_UNLESS(node)->then_keyword_loc),
1056 location_new(&RNODE_UNLESS(node)->end_keyword_loc));
1058 return rb_ary_new_from_args(2,
1059 location_new(nd_code_loc(node)),
1060 location_new(&RNODE_VALIAS(node)->keyword_loc));
1062 return rb_ary_new_from_args(3,
1063 location_new(nd_code_loc(node)),
1064 location_new(&RNODE_WHEN(node)->keyword_loc),
1065 location_new(&RNODE_WHEN(node)->then_keyword_loc));
1067 return rb_ary_new_from_args(3,
1068 location_new(nd_code_loc(node)),
1069 location_new(&RNODE_WHILE(node)->keyword_loc),
1070 location_new(&RNODE_WHILE(node)->closing_loc));
1072 return rb_ary_new_from_args(3,
1073 location_new(nd_code_loc(node)),
1074 location_new(&RNODE_UNTIL(node)->keyword_loc),
1075 location_new(&RNODE_UNTIL(node)->closing_loc));
1077 return rb_ary_new_from_args(4,
1078 location_new(nd_code_loc(node)),
1079 location_new(&RNODE_YIELD(node)->keyword_loc),
1080 location_new(&RNODE_YIELD(node)->lparen_loc),
1081 location_new(&RNODE_YIELD(node)->rparen_loc));
1086 return rb_ary_new_from_args(1, location_new(nd_code_loc(node)));
1089 rb_bug(
"node_locations: unknown node: %s", ruby_node_name(
type));
1098 return node_locations(data->ast_value, data->node);
1107 return INT2NUM(nd_first_lineno(data->node));
1116 return INT2NUM(nd_first_column(data->node));
1125 return INT2NUM(nd_last_lineno(data->node));
1134 return INT2NUM(nd_last_column(data->node));
1145 VALUE str, loc, token, all_tokens;
1148 ast = rb_ruby_ast_data_get(data->ast_value);
1150 parser_tokens = ast->node_buffer->tokens;
1151 if (parser_tokens == NULL) {
1156 for (i = 0; i < parser_tokens->len; i++) {
1157 parser_token = parser_tokens->data[i];
1158 str =
rb_str_new(parser_token->str->ptr, parser_token->str->len);
1159 loc = rb_ary_new_from_args(4,
1160 INT2FIX(parser_token->loc.beg_pos.lineno),
1161 INT2FIX(parser_token->loc.beg_pos.column),
1162 INT2FIX(parser_token->loc.end_pos.lineno),
1163 INT2FIX(parser_token->loc.end_pos.column)
1165 token = rb_ary_new_from_args(4,
INT2FIX(parser_token->id),
ID2SYM(rb_intern(parser_token->type_name)), str, loc);
1185 rb_str_catf(str,
":%s@%d:%d-%d:%d>",
1186 node_type_to_str(data->node),
1187 nd_first_lineno(data->node), nd_first_column(data->node),
1188 nd_last_lineno(data->node), nd_last_column(data->node));
1199 ast = rb_ruby_ast_data_get(data->ast_value);
1201 return rb_parser_build_script_lines_from(ret);
1210 return INT2NUM(data->first_lineno);
1219 return INT2NUM(data->first_column);
1228 return INT2NUM(data->last_lineno);
1237 return INT2NUM(data->last_column);
1252 rb_str_catf(str,
":@%d:%d-%d:%d>",
1253 data->first_lineno, data->first_column,
1254 data->last_lineno, data->last_column);
1264 rb_mAST = rb_define_module_under(rb_cRubyVM,
"AbstractSyntaxTree");
1265 rb_cNode = rb_define_class_under(rb_mAST,
"Node",
rb_cObject);
1266 rb_cLocation = rb_define_class_under(rb_mAST,
"Location",
rb_cObject);
#define rb_str_new2
Old name of rb_str_new_cstr.
#define INT2FIX
Old name of RB_INT2FIX.
#define ID2SYM
Old name of RB_ID2SYM.
#define CLASS_OF
Old name of rb_class_of.
#define ULL2NUM
Old name of RB_ULL2NUM.
#define NUM2INT
Old name of RB_NUM2INT.
#define INT2NUM
Old name of RB_INT2NUM.
#define Qnil
Old name of RUBY_Qnil.
#define Qfalse
Old name of RUBY_Qfalse.
#define NIL_P
Old name of RB_NIL_P.
#define CONST_ID
Old name of RUBY_CONST_ID.
#define rb_ary_new2
Old name of rb_ary_new_capa.
void rb_exc_raise(VALUE mesg)
Raises an exception in the current thread.
VALUE rb_eTypeError
TypeError exception.
VALUE rb_eRuntimeError
RuntimeError exception.
VALUE rb_cObject
Object class.
VALUE rb_obj_class(VALUE obj)
Queries the class of an object.
VALUE rb_funcall(VALUE recv, ID mid, int n,...)
Calls a method.
Defines RBIMPL_HAS_BUILTIN.
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_check_array_type(VALUE obj)
Try converting an object to its array representation using its to_ary method, if any.
VALUE rb_ary_new(void)
Allocates a new, empty array.
VALUE rb_ary_push(VALUE ary, VALUE elem)
Special case of rb_ary_cat() that it adds only one element.
VALUE rb_ary_freeze(VALUE obj)
Freeze an array, preventing further modifications.
VALUE rb_file_open_str(VALUE fname, const char *fmode)
Identical to rb_file_open(), except it takes the pathname as a Ruby's string instead of C's.
VALUE rb_io_close(VALUE io)
Closes the IO.
VALUE rb_obj_is_proc(VALUE recv)
Queries if the given object is a proc.
VALUE rb_str_append(VALUE dst, VALUE src)
Identical to rb_str_buf_append(), except it converts the right hand side before concatenating.
#define rb_str_new(str, len)
Allocates an instance of rb_cString.
#define rb_strlen_lit(str)
Length of a string literal.
#define rb_str_new_cstr(str)
Identical to rb_str_new, except it assumes the passed pointer is a pointer to a C string.
VALUE rb_class_path(VALUE mod)
Identical to rb_mod_name(), except it returns #<Class: ...> style inspection for anonymous modules.
void rb_undef_alloc_func(VALUE klass)
Deletes the allocator function of a class.
#define DECIMAL_SIZE_OF(expr)
An approximation of decimal representation size.
VALUE type(ANYARGS)
ANYARGS-ed function type.
Functions related to nodes in the AST.
#define RARRAY_LEN
Just another name of rb_array_len.
#define RARRAY_AREF(a, i)
References an object in an array.
#define StringValue(v)
Ensures that the parameter object is a String.
#define RUBY_TYPED_DEFAULT_FREE
This is a value you can set to rb_data_type_struct::dfree.
#define TypedData_Get_Struct(obj, type, data_type, sval)
Obtains a C struct from inside of a wrapper Ruby object.
#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...
#define RTEST
This is an old name of RB_TEST.
This is the struct that holds necessary info for a struct.
long rb_len_t
A signed integer type for lengths and indices of objects such as String and Array.
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
uintptr_t VALUE
Type that represents a Ruby object.