12#include "eval_intern.h"
14#include "internal/class.h"
15#include "internal/error.h"
16#include "internal/eval.h"
17#include "internal/gc.h"
18#include "internal/hash.h"
19#include "internal/object.h"
20#include "internal/proc.h"
21#include "internal/symbol.h"
47static int method_arity(
VALUE);
48static int method_min_max_arity(
VALUE,
int *max);
53#define IS_METHOD_PROC_IFUNC(ifunc) ((ifunc)->func == bmcall)
56block_mark_and_move(
struct rb_block *block)
58 switch (block->type) {
60 case block_type_ifunc:
63 rb_gc_mark_and_move(&captured->self);
64 rb_gc_mark_and_move(&captured->code.val);
66 rb_gc_mark_and_move((
VALUE *)&captured->ep[VM_ENV_DATA_INDEX_ENV]);
70 case block_type_symbol:
71 rb_gc_mark_and_move(&block->as.symbol);
74 rb_gc_mark_and_move(&block->as.proc);
80proc_mark_and_move(
void *ptr)
83 block_mark_and_move((
struct rb_block *)&proc->block);
88 VALUE env[VM_ENV_DATA_SIZE + 1];
92proc_memsize(
const void *ptr)
95 if (proc->block.as.captured.ep == ((
const cfunc_proc_t *)ptr)->env+1)
108 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED
112rb_proc_alloc(
VALUE klass)
126proc_clone(
VALUE self)
128 VALUE procval = rb_proc_dup(self);
129 return rb_obj_clone_setup(self, procval,
Qnil);
136 VALUE procval = rb_proc_dup(self);
137 return rb_obj_dup_setup(self, procval);
247 GetProcPtr(procval, proc);
249 return RBOOL(proc->is_lambda);
255binding_free(
void *ptr)
257 RUBY_FREE_ENTER(
"binding");
259 RUBY_FREE_LEAVE(
"binding");
263binding_mark_and_move(
void *ptr)
267 block_mark_and_move((
struct rb_block *)&bind->block);
268 rb_gc_mark_and_move((
VALUE *)&bind->pathobj);
272binding_memsize(
const void *ptr)
280 binding_mark_and_move,
283 binding_mark_and_move,
285 0, 0, RUBY_TYPED_WB_PROTECTED | RUBY_TYPED_FREE_IMMEDIATELY
289rb_binding_alloc(
VALUE klass)
295 rb_yjit_collect_binding_alloc();
303binding_dup(
VALUE self)
307 GetBindingPtr(self, src);
308 GetBindingPtr(bindval, dst);
309 rb_vm_block_copy(bindval, &dst->block, &src->block);
311 dst->first_lineno = src->first_lineno;
312 return rb_obj_dup_setup(self, bindval);
317binding_clone(
VALUE self)
319 VALUE bindval = binding_dup(self);
320 return rb_obj_clone_setup(self, bindval,
Qnil);
327 return rb_vm_make_binding(ec, ec->cfp);
375rb_f_binding(
VALUE self)
397bind_eval(
int argc,
VALUE *argv,
VALUE bindval)
401 rb_scan_args(argc, argv,
"12", &args[0], &args[2], &args[3]);
403 return rb_f_eval(argc+1, args,
Qnil );
407get_local_variable_ptr(
const rb_env_t **envp,
ID lid)
411 if (!VM_ENV_FLAGS(env->ep, VM_FRAME_FLAG_CFRAME)) {
412 if (VM_ENV_FLAGS(env->ep, VM_ENV_FLAG_ISOLATED)) {
418 VM_ASSERT(rb_obj_is_iseq((
VALUE)iseq));
420 const unsigned int local_table_size = ISEQ_BODY(iseq)->local_table_size;
421 for (
unsigned int i=0; i<local_table_size; i++) {
422 if (ISEQ_BODY(iseq)->local_table[i] == lid) {
423 if (ISEQ_BODY(iseq)->local_iseq == iseq &&
424 ISEQ_BODY(iseq)->param.flags.has_block &&
425 (
unsigned int)ISEQ_BODY(iseq)->param.block_start == i) {
426 const VALUE *ep = env->ep;
427 if (!VM_ENV_FLAGS(ep, VM_FRAME_FLAG_MODIFIED_BLOCK_PARAM)) {
428 RB_OBJ_WRITE(env, &env->env[i], rb_vm_bh_to_procval(GET_EC(), VM_ENV_BLOCK_HANDLER(ep)));
429 VM_ENV_FLAGS_SET(ep, VM_FRAME_FLAG_MODIFIED_BLOCK_PARAM);
434 unsigned int last_lvar = env->env_size+VM_ENV_INDEX_LAST_LVAR
436 return &env->env[last_lvar - (local_table_size - i)];
444 }
while ((env = rb_vm_env_prev_env(env)) != NULL);
456check_local_id(
VALUE bindval,
volatile VALUE *pname)
463 rb_name_err_raise(
"wrong local variable name '%1$s' for %2$s",
468 if (!rb_is_local_name(name)) {
469 rb_name_err_raise(
"wrong local variable name '%1$s' for %2$s",
496bind_local_variables(
VALUE bindval)
501 GetBindingPtr(bindval, bind);
502 env = VM_ENV_ENVVAL_PTR(vm_block_ep(&bind->block));
503 return rb_vm_env_local_variables(env);
507rb_numparam_id_p(
ID id)
509 return (tNUMPARAM_1 << ID_SCOPE_SHIFT) <=
id &&
id < ((tNUMPARAM_1 + 10) << ID_SCOPE_SHIFT);
530bind_local_variable_get(
VALUE bindval,
VALUE sym)
532 ID lid = check_local_id(bindval, &sym);
537 if (!lid)
goto undefined;
538 if (rb_numparam_id_p(lid)) {
539 rb_name_err_raise(
"numbered parameter '%1$s' is not a local variable",
543 GetBindingPtr(bindval, bind);
545 env = VM_ENV_ENVVAL_PTR(vm_block_ep(&bind->block));
546 if ((ptr = get_local_variable_ptr(&env, lid)) != NULL) {
552 rb_name_err_raise(
"local variable '%1$s' is not defined for %2$s",
585 ID lid = check_local_id(bindval, &sym);
590 if (!lid) lid = rb_intern_str(sym);
591 if (rb_numparam_id_p(lid)) {
592 rb_name_err_raise(
"numbered parameter '%1$s' is not a local variable",
596 GetBindingPtr(bindval, bind);
597 env = VM_ENV_ENVVAL_PTR(vm_block_ep(&bind->block));
598 if ((ptr = get_local_variable_ptr(&env, lid)) == NULL) {
600 ptr = rb_binding_add_dynavars(bindval, bind, 1, &lid);
601 env = VM_ENV_ENVVAL_PTR(vm_block_ep(&bind->block));
605 rb_yjit_collect_binding_set();
631bind_local_variable_defined_p(
VALUE bindval,
VALUE sym)
633 ID lid = check_local_id(bindval, &sym);
639 GetBindingPtr(bindval, bind);
640 env = VM_ENV_ENVVAL_PTR(vm_block_ep(&bind->block));
641 return RBOOL(get_local_variable_ptr(&env, lid));
651bind_receiver(
VALUE bindval)
654 GetBindingPtr(bindval, bind);
655 return vm_block_self(&bind->block);
665bind_location(
VALUE bindval)
669 GetBindingPtr(bindval, bind);
670 loc[0] = pathobj_path(bind->pathobj);
671 loc[1] =
INT2FIX(bind->first_lineno);
684 proc = &sproc->basic;
685 vm_block_type_set(&proc->block, block_type_ifunc);
687 *(
VALUE **)&proc->block.as.captured.ep = ep = sproc->env + VM_ENV_DATA_SIZE-1;
688 ep[VM_ENV_DATA_INDEX_FLAGS] = VM_FRAME_MAGIC_IFUNC | VM_FRAME_FLAG_CFRAME | VM_ENV_FLAG_LOCAL | VM_ENV_FLAG_ESCAPED;
689 ep[VM_ENV_DATA_INDEX_ME_CREF] =
Qfalse;
690 ep[VM_ENV_DATA_INDEX_SPECVAL] = VM_BLOCK_HANDLER_NONE;
691 ep[VM_ENV_DATA_INDEX_ENV] =
Qundef;
694 RB_OBJ_WRITE(procval, &proc->block.as.captured.code.ifunc, ifunc);
695 proc->is_lambda = TRUE;
700rb_func_proc_dup(
VALUE src_obj)
702 RUBY_ASSERT(rb_typeddata_is_instance_of(src_obj, &proc_data_type));
705 GetProcPtr(src_obj, src_proc);
706 RUBY_ASSERT(vm_block_type(&src_proc->block) == block_type_ifunc);
711 memcpy(&proc->basic, src_proc,
sizeof(
rb_proc_t));
713 VALUE *ep = *(
VALUE **)&proc->basic.block.as.captured.ep = proc->env + VM_ENV_DATA_SIZE - 1;
714 ep[VM_ENV_DATA_INDEX_FLAGS] = src_proc->block.as.captured.ep[VM_ENV_DATA_INDEX_FLAGS];
715 ep[VM_ENV_DATA_INDEX_ME_CREF] = src_proc->block.as.captured.ep[VM_ENV_DATA_INDEX_ME_CREF];
716 ep[VM_ENV_DATA_INDEX_SPECVAL] = src_proc->block.as.captured.ep[VM_ENV_DATA_INDEX_SPECVAL];
717 ep[VM_ENV_DATA_INDEX_ENV] = src_proc->block.as.captured.ep[VM_ENV_DATA_INDEX_ENV];
725 VALUE procval = rb_proc_alloc(klass);
727 GetProcPtr(procval, proc);
729 vm_block_type_set(&proc->block, block_type_symbol);
730 proc->is_lambda = TRUE;
740 min_argc >= (
int)(1U << (
SIZEOF_VALUE * CHAR_BIT) / 2) ||
743 rb_raise(
rb_eRangeError,
"minimum argument number out of range: %d",
748 max_argc >= (
int)(1U << (
SIZEOF_VALUE * CHAR_BIT) / 2) ||
751 rb_raise(
rb_eRangeError,
"maximum argument number out of range: %d",
756 struct vm_ifunc *ifunc = IMEMO_NEW(
struct vm_ifunc, imemo_ifunc, (
VALUE)rb_vm_svar_lep(ec, ec->cfp));
759 ifunc->argc.min = min_argc;
760 ifunc->argc.max = max_argc;
768 struct vm_ifunc *ifunc = rb_vm_ifunc_new(func, (
void *)val, min_argc, max_argc);
772static const char proc_without_block[] =
"tried to create Proc object without a block";
775proc_new(
VALUE klass, int8_t is_lambda)
782 if ((block_handler = rb_vm_frame_block_handler(cfp)) == VM_BLOCK_HANDLER_NONE) {
783 rb_raise(rb_eArgError, proc_without_block);
787 switch (vm_block_handler_type(block_handler)) {
788 case block_handler_type_proc:
789 procval = VM_BH_TO_PROC(block_handler);
795 VALUE newprocval = rb_proc_dup(procval);
796 RBASIC_SET_CLASS(newprocval, klass);
801 case block_handler_type_symbol:
803 sym_proc_new(klass, VM_BH_TO_SYMBOL(block_handler)) :
804 rb_sym_to_proc(VM_BH_TO_SYMBOL(block_handler));
807 case block_handler_type_ifunc:
808 case block_handler_type_iseq:
809 return rb_vm_make_proc_lambda(ec, VM_BH_TO_CAPT_BLOCK(block_handler), klass, is_lambda);
811 VM_UNREACHABLE(proc_new);
830rb_proc_s_new(
int argc,
VALUE *argv,
VALUE klass)
832 VALUE block = proc_new(klass, FALSE);
864f_lambda_filter_non_literal(
void)
867 VALUE block_handler = rb_vm_frame_block_handler(cfp);
869 if (block_handler == VM_BLOCK_HANDLER_NONE) {
874 switch (vm_block_handler_type(block_handler)) {
875 case block_handler_type_iseq:
876 if (RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp)->ep == VM_BH_TO_ISEQ_BLOCK(block_handler)->ep) {
880 case block_handler_type_symbol:
882 case block_handler_type_proc:
887 case block_handler_type_ifunc:
891 rb_raise(rb_eArgError,
"the lambda method requires a literal block");
905 f_lambda_filter_non_literal();
961proc_call(
int argc,
VALUE *argv,
VALUE procval)
967#if SIZEOF_LONG > SIZEOF_INT
971 if (argc > INT_MAX || argc < 0) {
972 rb_raise(rb_eArgError,
"too many arguments (%lu)",
973 (
unsigned long)argc);
978#define check_argc(argc) (argc)
988 GetProcPtr(self, proc);
989 vret = rb_vm_invoke_proc(GET_EC(), proc, argc, argv,
990 kw_splat, VM_BLOCK_HANDLER_NONE);
1003proc_to_block_handler(
VALUE procval)
1005 return NIL_P(procval) ? VM_BLOCK_HANDLER_NONE : procval;
1014 GetProcPtr(self, proc);
1015 vret = rb_vm_invoke_proc(ec, proc, argc, argv, kw_splat, proc_to_block_handler(passed_procval));
1069proc_arity(
VALUE self)
1076rb_iseq_min_max_arity(
const rb_iseq_t *iseq,
int *max)
1078 *max = ISEQ_BODY(iseq)->param.flags.has_rest == FALSE ?
1079 ISEQ_BODY(iseq)->param.lead_num + ISEQ_BODY(iseq)->param.opt_num + ISEQ_BODY(iseq)->param.post_num +
1080 (ISEQ_BODY(iseq)->param.flags.has_kw == TRUE || ISEQ_BODY(iseq)->param.flags.has_kwrest == TRUE || ISEQ_BODY(iseq)->param.flags.forwardable == TRUE)
1082 return ISEQ_BODY(iseq)->param.lead_num + ISEQ_BODY(iseq)->param.post_num + (ISEQ_BODY(iseq)->param.flags.has_kw && ISEQ_BODY(iseq)->param.keyword->required_num > 0);
1086rb_vm_block_min_max_arity(
const struct rb_block *block,
int *max)
1089 switch (vm_block_type(block)) {
1090 case block_type_iseq:
1091 return rb_iseq_min_max_arity(rb_iseq_check(block->as.captured.code.iseq), max);
1092 case block_type_proc:
1093 block = vm_proc_block(block->as.proc);
1095 case block_type_ifunc:
1097 const struct vm_ifunc *ifunc = block->as.captured.code.ifunc;
1098 if (IS_METHOD_PROC_IFUNC(ifunc)) {
1100 return method_min_max_arity((
VALUE)ifunc->data, max);
1102 *max = ifunc->argc.max;
1103 return ifunc->argc.min;
1105 case block_type_symbol:
1120rb_proc_min_max_arity(
VALUE self,
int *max)
1123 GetProcPtr(self, proc);
1124 return rb_vm_block_min_max_arity(&proc->block, max);
1132 GetProcPtr(self, proc);
1133 min = rb_vm_block_min_max_arity(&proc->block, &max);
1140 switch (vm_block_handler_type(block_handler)) {
1141 case block_handler_type_iseq:
1142 block->type = block_type_iseq;
1143 block->as.captured = *VM_BH_TO_ISEQ_BLOCK(block_handler);
1145 case block_handler_type_ifunc:
1146 block->type = block_type_ifunc;
1147 block->as.captured = *VM_BH_TO_IFUNC_BLOCK(block_handler);
1149 case block_handler_type_symbol:
1150 block->type = block_type_symbol;
1151 block->as.symbol = VM_BH_TO_SYMBOL(block_handler);
1153 case block_handler_type_proc:
1154 block->type = block_type_proc;
1155 block->as.proc = VM_BH_TO_PROC(block_handler);
1160rb_block_pair_yield_optimizable(
void)
1165 VALUE block_handler = rb_vm_frame_block_handler(cfp);
1168 if (block_handler == VM_BLOCK_HANDLER_NONE) {
1169 rb_raise(rb_eArgError,
"no block given");
1172 block_setup(&block, block_handler);
1173 min = rb_vm_block_min_max_arity(&block, &max);
1175 switch (vm_block_type(&block)) {
1176 case block_type_symbol:
1179 case block_type_proc:
1181 VALUE procval = block_handler;
1183 GetProcPtr(procval, proc);
1184 if (proc->is_lambda)
return 0;
1185 if (min != max)
return 0;
1189 case block_type_ifunc:
1191 const struct vm_ifunc *ifunc = block.as.captured.code.ifunc;
1192 if (ifunc->flags & IFUNC_YIELD_OPTIMIZABLE)
return 1;
1206 VALUE block_handler = rb_vm_frame_block_handler(cfp);
1209 if (block_handler == VM_BLOCK_HANDLER_NONE) {
1210 rb_raise(rb_eArgError,
"no block given");
1213 block_setup(&block, block_handler);
1215 switch (vm_block_type(&block)) {
1216 case block_type_symbol:
1219 case block_type_proc:
1223 min = rb_vm_block_min_max_arity(&block, &max);
1229rb_block_min_max_arity(
int *max)
1233 VALUE block_handler = rb_vm_frame_block_handler(cfp);
1236 if (block_handler == VM_BLOCK_HANDLER_NONE) {
1237 rb_raise(rb_eArgError,
"no block given");
1240 block_setup(&block, block_handler);
1241 return rb_vm_block_min_max_arity(&block, max);
1245rb_proc_get_iseq(
VALUE self,
int *is_proc)
1250 GetProcPtr(self, proc);
1251 block = &proc->block;
1252 if (is_proc) *is_proc = !proc->is_lambda;
1254 switch (vm_block_type(block)) {
1255 case block_type_iseq:
1256 return rb_iseq_check(block->as.captured.code.iseq);
1257 case block_type_proc:
1258 return rb_proc_get_iseq(block->as.proc, is_proc);
1259 case block_type_ifunc:
1261 const struct vm_ifunc *ifunc = block->as.captured.code.ifunc;
1262 if (IS_METHOD_PROC_IFUNC(ifunc)) {
1264 if (is_proc) *is_proc = 0;
1265 return rb_method_iseq((
VALUE)ifunc->data);
1271 case block_type_symbol:
1275 VM_UNREACHABLE(rb_proc_get_iseq);
1308 const rb_proc_t *self_proc, *other_proc;
1309 const struct rb_block *self_block, *other_block;
1315 GetProcPtr(self, self_proc);
1316 GetProcPtr(other, other_proc);
1318 if (self_proc->is_from_method != other_proc->is_from_method ||
1319 self_proc->is_lambda != other_proc->is_lambda) {
1323 self_block = &self_proc->block;
1324 other_block = &other_proc->block;
1326 if (vm_block_type(self_block) != vm_block_type(other_block)) {
1330 switch (vm_block_type(self_block)) {
1331 case block_type_iseq:
1332 if (self_block->as.captured.ep != \
1333 other_block->as.captured.ep ||
1334 self_block->as.captured.code.iseq != \
1335 other_block->as.captured.code.iseq) {
1339 case block_type_ifunc:
1340 if (self_block->as.captured.code.ifunc != \
1341 other_block->as.captured.code.ifunc) {
1352 case block_type_proc:
1353 if (self_block->as.proc != other_block->as.proc) {
1357 case block_type_symbol:
1358 if (self_block->as.symbol != other_block->as.symbol) {
1373 if (!iseq)
return Qnil;
1374 rb_iseq_check(iseq);
1375 loc[i++] = rb_iseq_path(iseq);
1383 return rb_ary_new_from_values(i, loc);
1389 return iseq_location(iseq);
1401rb_proc_location(
VALUE self)
1403 return iseq_location(rb_proc_get_iseq(self, 0));
1407rb_unnamed_parameters(
int arity)
1410 int n = (arity < 0) ? ~arity : arity;
1416 rb_ary_push(param, a);
1444rb_proc_parameters(
int argc,
VALUE *argv,
VALUE self)
1446 static ID keyword_ids[1];
1452 iseq = rb_proc_get_iseq(self, &is_proc);
1454 if (!keyword_ids[0]) {
1455 CONST_ID(keyword_ids[0],
"lambda");
1462 if (!
NIL_P(lambda)) {
1463 is_proc = !
RTEST(lambda);
1470 return rb_iseq_parameters(iseq, is_proc);
1474rb_hash_proc(st_index_t hash,
VALUE prc)
1477 GetProcPtr(prc, proc);
1479 switch (vm_block_type(&proc->block)) {
1480 case block_type_iseq:
1481 hash = rb_st_hash_uint(hash, (st_index_t)proc->block.as.captured.code.iseq->body);
1483 case block_type_ifunc:
1484 hash = rb_st_hash_uint(hash, (st_index_t)proc->block.as.captured.code.ifunc->func);
1485 hash = rb_st_hash_uint(hash, (st_index_t)proc->block.as.captured.code.ifunc->data);
1487 case block_type_symbol:
1488 hash = rb_st_hash_uint(hash, rb_any_hash(proc->block.as.symbol));
1490 case block_type_proc:
1491 hash = rb_st_hash_uint(hash, rb_any_hash(proc->block.as.proc));
1494 rb_bug(
"rb_hash_proc: unknown block type %d", vm_block_type(&proc->block));
1500 if (vm_block_type(&proc->block) != block_type_ifunc) {
1501 hash =
rb_hash_uint(hash, (st_index_t)proc->block.as.captured.ep);
1523rb_sym_to_proc(
VALUE sym)
1526 enum {SYM_PROC_CACHE_SIZE = 67};
1531 if (!sym_proc_cache) {
1532 sym_proc_cache = rb_ary_hidden_new(SYM_PROC_CACHE_SIZE * 2);
1533 rb_vm_register_global_object(sym_proc_cache);
1534 rb_ary_store(sym_proc_cache, SYM_PROC_CACHE_SIZE*2 - 1,
Qnil);
1538 index = (
id % SYM_PROC_CACHE_SIZE) << 1;
1561proc_hash(
VALUE self)
1565 hash = rb_hash_proc(hash, self);
1571rb_block_to_s(
VALUE self,
const struct rb_block *block,
const char *additional_info)
1574 VALUE str = rb_sprintf(
"#<%"PRIsVALUE
":", cname);
1577 switch (vm_block_type(block)) {
1578 case block_type_proc:
1579 block = vm_proc_block(block->as.proc);
1581 case block_type_iseq:
1583 const rb_iseq_t *iseq = rb_iseq_check(block->as.captured.code.iseq);
1584 rb_str_catf(str,
"%p %"PRIsVALUE
":%d", (
void *)self,
1586 ISEQ_BODY(iseq)->location.first_lineno);
1589 case block_type_symbol:
1590 rb_str_catf(str,
"%p(&%+"PRIsVALUE
")", (
void *)self, block->as.symbol);
1592 case block_type_ifunc:
1593 rb_str_catf(str,
"%p", (
void *)block->as.captured.code.ifunc);
1611proc_to_s(
VALUE self)
1614 GetProcPtr(self, proc);
1615 return rb_block_to_s(self, &proc->block, proc->is_lambda ?
" (lambda)" : NULL);
1627proc_to_proc(
VALUE self)
1633bm_mark_and_move(
void *ptr)
1635 struct METHOD *data = ptr;
1636 rb_gc_mark_and_move((
VALUE *)&data->recv);
1637 rb_gc_mark_and_move((
VALUE *)&data->klass);
1638 rb_gc_mark_and_move((
VALUE *)&data->iclass);
1639 rb_gc_mark_and_move((
VALUE *)&data->owner);
1651 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED | RUBY_TYPED_EMBEDDABLE
1664 ID rmiss = idRespond_to_missing;
1666 if (UNDEF_P(obj))
return 0;
1667 if (rb_method_basic_definition_p(klass, rmiss))
return 0;
1685 def->type = VM_METHOD_TYPE_MISSING;
1686 def->original_id = id;
1688 me = rb_method_entry_create(
id, klass, METHOD_VISI_UNDEF, def);
1700 if (!respond_to_missing_p(klass, obj, vid, scope))
return Qfalse;
1701 return mnew_missing(klass, obj,
SYM2ID(vid), mclass);
1711 rb_method_visibility_t visi = METHOD_VISI_UNDEF;
1714 if (UNDEFINED_METHOD_ENTRY_P(me)) {
1715 if (respond_to_missing_p(klass, obj,
ID2SYM(
id), scope)) {
1716 return mnew_missing(klass, obj,
id, mclass);
1718 if (!error)
return Qnil;
1719 rb_print_undef(klass,
id, METHOD_VISI_UNDEF);
1721 if (visi == METHOD_VISI_UNDEF) {
1722 visi = METHOD_ENTRY_VISI(me);
1724 if (scope && (visi != METHOD_VISI_PUBLIC)) {
1725 if (!error)
return Qnil;
1726 rb_print_inaccessible(klass,
id, visi);
1729 if (me->def->type == VM_METHOD_TYPE_ZSUPER) {
1730 if (me->defined_class) {
1732 id = me->def->original_id;
1733 me = (
rb_method_entry_t *)rb_callable_method_entry_with_refinements(klass,
id, &iclass);
1737 id = me->def->original_id;
1738 me = rb_method_entry_without_refinements(klass,
id, &iclass);
1754 RB_OBJ_WRITE(method, &data->owner, original_me->owner);
1764 return mnew_internal(me, klass, iclass, obj,
id, mclass, scope, TRUE);
1774 me = (
rb_method_entry_t *)rb_callable_method_entry_with_refinements(klass,
id, &iclass);
1775 return mnew_from_me(me, klass, iclass, obj,
id, mclass, scope);
1779mnew_unbound(
VALUE klass,
ID id,
VALUE mclass,
int scope)
1784 me = rb_method_entry_with_refinements(klass,
id, &iclass);
1785 return mnew_from_me(me, klass, iclass,
Qundef,
id, mclass, scope);
1791 VALUE defined_class = me->defined_class;
1792 return defined_class ? defined_class : me->owner;
1837 VALUE klass1, klass2;
1845 m1 = (
struct METHOD *)RTYPEDDATA_GET_DATA(method);
1846 m2 = (
struct METHOD *)RTYPEDDATA_GET_DATA(other);
1848 klass1 = method_entry_defined_class(m1->me);
1849 klass2 = method_entry_defined_class(m2->me);
1851 if (!rb_method_entry_eq(m1->me, m2->me) ||
1853 m1->klass != m2->klass ||
1854 m1->recv != m2->recv) {
1875#define unbound_method_eq method_eq
1887method_hash(
VALUE method)
1894 hash = rb_hash_method_entry(hash, m->me);
1910method_unbind(
VALUE obj)
1913 struct METHOD *orig, *data;
1917 &method_data_type, data);
1922 RB_OBJ_WRITE(method, &data->me, rb_method_entry_clone(orig->me));
1937method_receiver(
VALUE obj)
1953method_name(
VALUE obj)
1958 return ID2SYM(data->me->called_id);
1975method_original_name(
VALUE obj)
1980 return ID2SYM(data->me->def->original_id);
2002method_owner(
VALUE obj)
2012#define MSG(s) rb_fstring_lit("undefined method '%1$s' for"s" '%2$s'")
2016 if (RCLASS_SINGLETON_P(c)) {
2017 VALUE obj = RCLASS_ATTACHED_OBJECT(klass);
2034 rb_name_err_raise_str(s, c, str);
2046 VALUE m = mnew_missing_by_name(klass, obj, &vid, scope, mclass);
2048 rb_method_name_error(klass, vid);
2050 return mnew_callable(klass, obj,
id, mclass, scope);
2095 return obj_method(obj, vid, FALSE);
2108 return obj_method(obj, vid, TRUE);
2112rb_obj_singleton_method_lookup(
VALUE arg)
2119rb_obj_singleton_method_lookup_fail(
VALUE arg1,
VALUE arg2)
2156 NIL_P(klass = RCLASS_ORIGIN(sc)) ||
2157 !
NIL_P(rb_special_singleton_class(obj))) {
2166 VALUE args[2] = {obj, vid};
2167 VALUE ruby_method =
rb_rescue(rb_obj_singleton_method_lookup, (
VALUE)args, rb_obj_singleton_method_lookup_fail,
Qfalse);
2169 struct METHOD *method = (
struct METHOD *)RTYPEDDATA_GET_DATA(ruby_method);
2172 VALUE method_class = method->iclass;
2176 if (lookup_class == method_class) {
2180 }
while (lookup_class && lookup_class != stop_class);
2186 rb_name_err_raise(
"undefined singleton method '%1$s' for '%2$s'",
2227 rb_method_name_error(mod, vid);
2240rb_mod_public_instance_method(
VALUE mod,
VALUE vid)
2244 rb_method_name_error(mod, vid);
2255 int is_method = FALSE;
2274 "wrong argument type %s (expected Proc/Method/UnboundMethod)",
2281 struct METHOD *method = (
struct METHOD *)RTYPEDDATA_GET_DATA(body);
2284 if (RCLASS_SINGLETON_P(method->me->owner)) {
2286 "can't bind singleton method to a different class");
2290 "bind argument must be a subclass of % "PRIsVALUE,
2294 rb_method_entry_set(mod,
id, method->me, scope_visi->method_visi);
2295 if (scope_visi->module_func) {
2301 VALUE procval = rb_proc_dup(body);
2302 if (vm_proc_iseq(procval) != NULL) {
2304 GetProcPtr(procval, proc);
2305 proc->is_lambda = TRUE;
2306 proc->is_from_method = TRUE;
2308 rb_add_method(mod,
id, VM_METHOD_TYPE_BMETHOD, (
void *)procval, scope_visi->method_visi);
2309 if (scope_visi->module_func) {
2310 rb_add_method(
rb_singleton_class(mod),
id, VM_METHOD_TYPE_BMETHOD, (
void *)body, METHOD_VISI_PUBLIC);
2358rb_mod_define_method(
int argc,
VALUE *argv,
VALUE mod)
2360 const rb_cref_t *cref = rb_vm_cref_in_context(mod, mod);
2365 scope_visi = CREF_SCOPE_VISI(cref);
2368 return rb_mod_define_method_with_visibility(argc, argv, mod, scope_visi);
2403rb_obj_define_method(
int argc,
VALUE *argv,
VALUE obj)
2408 return rb_mod_define_method_with_visibility(argc, argv, klass, &scope_visi);
2419top_define_method(
int argc,
VALUE *argv,
VALUE obj)
2421 return rb_mod_define_method(argc, argv, rb_top_main_class(
"define_method"));
2442method_clone(
VALUE self)
2445 struct METHOD *orig, *data;
2449 rb_obj_clone_setup(self, clone,
Qnil);
2454 RB_OBJ_WRITE(clone, &data->me, rb_method_entry_clone(orig->me));
2460method_dup(
VALUE self)
2463 struct METHOD *orig, *data;
2467 rb_obj_dup_setup(self, clone);
2472 RB_OBJ_WRITE(clone, &data->me, rb_method_entry_clone(orig->me));
2520rb_method_call_pass_called_kw(
int argc,
const VALUE *argv,
VALUE method)
2540method_callable_method_entry(
const struct METHOD *data)
2542 if (data->me->defined_class == 0) rb_bug(
"method_callable_method_entry: not callable.");
2548 int argc,
const VALUE *argv,
VALUE passed_procval,
int kw_splat)
2550 vm_passed_block_handler_set(ec, proc_to_block_handler(passed_procval));
2551 return rb_vm_call_kw(ec, data->recv, data->me->called_id, argc, argv,
2552 method_callable_method_entry(data), kw_splat);
2558 const struct METHOD *data;
2562 if (UNDEF_P(data->recv)) {
2563 rb_raise(
rb_eTypeError,
"can't call unbound method; bind first");
2565 return call_method_data(ec, data, argc, argv, passed_procval, kw_splat);
2632 VALUE methclass = data->owner;
2633 VALUE iclass = data->me->defined_class;
2637 VALUE refined_class = rb_refinement_module_get_refined_class(methclass);
2638 if (!
NIL_P(refined_class)) methclass = refined_class;
2641 if (RCLASS_SINGLETON_P(methclass)) {
2643 "singleton method called for a different object");
2646 rb_raise(
rb_eTypeError,
"bind argument must be an instance of % "PRIsVALUE,
2653 me = rb_method_entry_clone(data->me);
2663 me = rb_method_entry_clone(me);
2665 VALUE ic = rb_class_search_ancestor(klass, me->owner);
2671 klass = rb_include_class_new(methclass, klass);
2673 me = (
const rb_method_entry_t *) rb_method_entry_complement_defined_class(me, me->called_id, klass);
2676 *methclass_out = methclass;
2678 *iclass_out = iclass;
2720 VALUE methclass, klass, iclass;
2722 const struct METHOD *data;
2724 convert_umethod_to_method_components(data, recv, &methclass, &klass, &iclass, &me,
true);
2746umethod_bind_call(
int argc,
VALUE *argv,
VALUE method)
2749 VALUE recv = argv[0];
2756 const struct METHOD *data;
2761 vm_passed_block_handler_set(ec, proc_to_block_handler(passed_procval));
2765 VALUE methclass, klass, iclass;
2767 convert_umethod_to_method_components(data, recv, &methclass, &klass, &iclass, &me,
false);
2768 struct METHOD bound = { recv, klass, 0, methclass, me };
2783 if (!def)
return *max = 0;
2784 switch (def->type) {
2785 case VM_METHOD_TYPE_CFUNC:
2786 if (def->body.cfunc.argc < 0) {
2790 return *max = check_argc(def->body.cfunc.argc);
2791 case VM_METHOD_TYPE_ZSUPER:
2794 case VM_METHOD_TYPE_ATTRSET:
2796 case VM_METHOD_TYPE_IVAR:
2798 case VM_METHOD_TYPE_ALIAS:
2799 def = def->body.alias.original_me->def;
2801 case VM_METHOD_TYPE_BMETHOD:
2802 return rb_proc_min_max_arity(def->body.bmethod.proc, max);
2803 case VM_METHOD_TYPE_ISEQ:
2804 return rb_iseq_min_max_arity(rb_iseq_check(def->body.iseq.
iseqptr), max);
2805 case VM_METHOD_TYPE_UNDEF:
2806 case VM_METHOD_TYPE_NOTIMPLEMENTED:
2808 case VM_METHOD_TYPE_MISSING:
2811 case VM_METHOD_TYPE_OPTIMIZED: {
2812 switch (def->body.optimized.type) {
2813 case OPTIMIZED_METHOD_TYPE_SEND:
2816 case OPTIMIZED_METHOD_TYPE_CALL:
2819 case OPTIMIZED_METHOD_TYPE_BLOCK_CALL:
2822 case OPTIMIZED_METHOD_TYPE_STRUCT_AREF:
2825 case OPTIMIZED_METHOD_TYPE_STRUCT_ASET:
2833 case VM_METHOD_TYPE_REFINED:
2837 rb_bug(
"method_def_min_max_arity: invalid method entry type (%d)", def->type);
2844 int max, min = method_def_min_max_arity(def, &max);
2845 return min == max ? min : -min-1;
2851 return method_def_arity(me->def);
2898method_arity_m(
VALUE method)
2900 int n = method_arity(method);
2905method_arity(
VALUE method)
2910 return rb_method_entry_arity(data->me);
2914original_method_entry(
VALUE mod,
ID id)
2918 while ((me = rb_method_entry(mod,
id)) != 0) {
2920 if (def->type != VM_METHOD_TYPE_ZSUPER)
break;
2922 id = def->original_id;
2928method_min_max_arity(
VALUE method,
int *max)
2930 const struct METHOD *data;
2933 return method_def_min_max_arity(data->me->def, max);
2941 return rb_method_entry_arity(me);
2951rb_callable_receiver(
VALUE callable)
2954 VALUE binding = proc_binding(callable);
2955 return rb_funcall(binding, rb_intern(
"receiver"), 0);
2958 return method_receiver(callable);
2966rb_method_def(
VALUE method)
2968 const struct METHOD *data;
2971 return data->me->def;
2977 switch (def->type) {
2978 case VM_METHOD_TYPE_ISEQ:
2979 return rb_iseq_check(def->body.iseq.
iseqptr);
2980 case VM_METHOD_TYPE_BMETHOD:
2981 return rb_proc_get_iseq(def->body.bmethod.proc, 0);
2982 case VM_METHOD_TYPE_ALIAS:
2983 return method_def_iseq(def->body.alias.original_me->def);
2984 case VM_METHOD_TYPE_CFUNC:
2985 case VM_METHOD_TYPE_ATTRSET:
2986 case VM_METHOD_TYPE_IVAR:
2987 case VM_METHOD_TYPE_ZSUPER:
2988 case VM_METHOD_TYPE_UNDEF:
2989 case VM_METHOD_TYPE_NOTIMPLEMENTED:
2990 case VM_METHOD_TYPE_OPTIMIZED:
2991 case VM_METHOD_TYPE_MISSING:
2992 case VM_METHOD_TYPE_REFINED:
2999rb_method_iseq(
VALUE method)
3001 return method_def_iseq(rb_method_def(method));
3005method_cref(
VALUE method)
3010 switch (def->type) {
3011 case VM_METHOD_TYPE_ISEQ:
3012 return def->body.iseq.
cref;
3013 case VM_METHOD_TYPE_ALIAS:
3014 def = def->body.alias.original_me->def;
3024 if (def->type == VM_METHOD_TYPE_ATTRSET || def->type == VM_METHOD_TYPE_IVAR) {
3025 if (!def->body.attr.location)
3027 return rb_ary_dup(def->body.attr.location);
3029 return iseq_location(method_def_iseq(def));
3035 if (!me)
return Qnil;
3036 return method_def_location(me->def);
3048rb_method_location(
VALUE method)
3050 return method_def_location(rb_method_def(method));
3054vm_proc_method_def(
VALUE procval)
3060 GetProcPtr(procval, proc);
3061 block = &proc->block;
3063 if (vm_block_type(block) == block_type_ifunc &&
3064 IS_METHOD_PROC_IFUNC(ifunc = block->as.captured.code.ifunc)) {
3065 return rb_method_def((
VALUE)ifunc->data);
3078 switch (def->type) {
3079 case VM_METHOD_TYPE_ISEQ:
3080 iseq = method_def_iseq(def);
3081 return rb_iseq_parameters(iseq, 0);
3082 case VM_METHOD_TYPE_BMETHOD:
3083 if ((iseq = method_def_iseq(def)) != NULL) {
3084 return rb_iseq_parameters(iseq, 0);
3086 else if ((bmethod_def = vm_proc_method_def(def->body.bmethod.proc)) != NULL) {
3087 return method_def_parameters(bmethod_def);
3091 case VM_METHOD_TYPE_ALIAS:
3092 return method_def_parameters(def->body.alias.original_me->def);
3094 case VM_METHOD_TYPE_OPTIMIZED:
3095 if (def->body.optimized.type == OPTIMIZED_METHOD_TYPE_STRUCT_ASET) {
3096 VALUE param = rb_ary_new_from_args(2,
ID2SYM(rb_intern(
"req")),
ID2SYM(rb_intern(
"_")));
3097 return rb_ary_new_from_args(1, param);
3101 case VM_METHOD_TYPE_CFUNC:
3102 case VM_METHOD_TYPE_ATTRSET:
3103 case VM_METHOD_TYPE_IVAR:
3104 case VM_METHOD_TYPE_ZSUPER:
3105 case VM_METHOD_TYPE_UNDEF:
3106 case VM_METHOD_TYPE_NOTIMPLEMENTED:
3107 case VM_METHOD_TYPE_MISSING:
3108 case VM_METHOD_TYPE_REFINED:
3112 return rb_unnamed_parameters(method_def_arity(def));
3136rb_method_parameters(
VALUE method)
3138 return method_def_parameters(rb_method_def(method));
3175method_inspect(
VALUE method)
3179 const char *sharp =
"#";
3181 VALUE defined_class;
3184 str = rb_sprintf(
"#<% "PRIsVALUE
": ",
rb_obj_class(method));
3186 mklass = data->iclass;
3187 if (!mklass) mklass = data->klass;
3197 if (data->me->def->type == VM_METHOD_TYPE_ALIAS) {
3198 defined_class = data->me->def->body.alias.original_me->owner;
3201 defined_class = method_entry_defined_class(data->me);
3208 if (UNDEF_P(data->recv)) {
3212 else if (RCLASS_SINGLETON_P(mklass)) {
3213 VALUE v = RCLASS_ATTACHED_OBJECT(mklass);
3215 if (UNDEF_P(data->recv)) {
3218 else if (data->recv == v) {
3231 mklass = data->klass;
3232 if (RCLASS_SINGLETON_P(mklass)) {
3233 VALUE v = RCLASS_ATTACHED_OBJECT(mklass);
3241 if (defined_class != mklass) {
3242 rb_str_catf(str,
"(% "PRIsVALUE
")", defined_class);
3247 if (data->me->called_id != data->me->def->original_id) {
3248 rb_str_catf(str,
"(%"PRIsVALUE
")",
3249 rb_id2str(data->me->def->original_id));
3251 if (data->me->def->type == VM_METHOD_TYPE_NOTIMPLEMENTED) {
3257 VALUE params = rb_method_parameters(method);
3258 VALUE pair, name, kind;
3264 const VALUE keyrest =
ID2SYM(rb_intern(
"keyrest"));
3281 for (
int i = 0; i <
RARRAY_LEN(params); i++) {
3288 if (kind == req || kind == opt) {
3291 else if (kind == rest || kind == keyrest) {
3294 else if (kind == block) {
3297 else if (kind == nokey) {
3303 rb_str_catf(str,
"%"PRIsVALUE, name);
3305 else if (kind == opt) {
3306 rb_str_catf(str,
"%"PRIsVALUE
"=...", name);
3308 else if (kind == keyreq) {
3309 rb_str_catf(str,
"%"PRIsVALUE
":", name);
3311 else if (kind == key) {
3312 rb_str_catf(str,
"%"PRIsVALUE
": ...", name);
3314 else if (kind == rest) {
3315 if (name ==
ID2SYM(
'*')) {
3319 rb_str_catf(str,
"*%"PRIsVALUE, name);
3322 else if (kind == keyrest) {
3323 if (name !=
ID2SYM(idPow)) {
3324 rb_str_catf(str,
"**%"PRIsVALUE, name);
3333 else if (kind == block) {
3334 if (name ==
ID2SYM(
'&')) {
3343 rb_str_catf(str,
"&%"PRIsVALUE, name);
3346 else if (kind == nokey) {
3358 VALUE loc = rb_method_location(method);
3360 rb_str_catf(str,
" %"PRIsVALUE
":%"PRIsVALUE,
3393method_to_proc(
VALUE method)
3407 procval =
rb_block_call(rb_mRubyVMFrozenCore, idLambda, 0, 0, bmcall, method);
3408 GetProcPtr(procval, proc);
3409 proc->is_from_method = 1;
3413extern VALUE rb_find_defined_class_by_owner(
VALUE current_class,
VALUE target_owner);
3424method_super_method(
VALUE method)
3426 const struct METHOD *data;
3427 VALUE super_class, iclass;
3432 iclass = data->iclass;
3433 if (!iclass)
return Qnil;
3434 if (data->me->def->type == VM_METHOD_TYPE_ALIAS && data->me->defined_class) {
3435 super_class =
RCLASS_SUPER(rb_find_defined_class_by_owner(data->me->defined_class,
3436 data->me->def->body.alias.original_me->owner));
3437 mid = data->me->def->body.alias.original_me->def->original_id;
3441 mid = data->me->def->original_id;
3443 if (!super_class)
return Qnil;
3444 me = (
rb_method_entry_t *)rb_callable_method_entry_with_refinements(super_class, mid, &iclass);
3445 if (!me)
return Qnil;
3446 return mnew_internal(me, me->owner, iclass, data->recv, mid,
rb_obj_class(method), FALSE, FALSE);
3456localjump_xvalue(
VALUE exc)
3470localjump_reason(
VALUE exc)
3475rb_cref_t *rb_vm_cref_new_toplevel(
void);
3484 VM_ASSERT(env->ep > env->env);
3485 VM_ASSERT(VM_ENV_ESCAPED_P(env->ep));
3488 cref = rb_vm_cref_new_toplevel();
3492 new_ep = &new_body[env->ep - env->env];
3493 new_env = vm_env_new(new_ep, new_body, env->env_size, env->iseq);
3500 new_ep[VM_ENV_DATA_INDEX_ENV] = (
VALUE)new_env;
3502 VM_ASSERT(VM_ENV_ESCAPED_P(new_ep));
3520proc_binding(
VALUE self)
3529 GetProcPtr(self, proc);
3530 block = &proc->block;
3532 if (proc->is_isolated) rb_raise(rb_eArgError,
"Can't create Binding from isolated Proc");
3535 switch (vm_block_type(block)) {
3536 case block_type_iseq:
3537 iseq = block->as.captured.code.iseq;
3538 binding_self = block->as.captured.self;
3539 env = VM_ENV_ENVVAL_PTR(block->as.captured.ep);
3541 case block_type_proc:
3542 GetProcPtr(block->as.proc, proc);
3543 block = &proc->block;
3545 case block_type_ifunc:
3547 const struct vm_ifunc *ifunc = block->as.captured.code.ifunc;
3548 if (IS_METHOD_PROC_IFUNC(ifunc)) {
3550 VALUE name = rb_fstring_lit(
"<empty_iseq>");
3552 binding_self = method_receiver(method);
3553 iseq = rb_method_iseq(method);
3554 env = VM_ENV_ENVVAL_PTR(block->as.captured.ep);
3555 env = env_clone(env, method_cref(method));
3557 empty = rb_iseq_new(
Qnil, name, name,
Qnil, 0, ISEQ_TYPE_TOP);
3563 case block_type_symbol:
3564 rb_raise(rb_eArgError,
"Can't create Binding from C level Proc");
3569 GetBindingPtr(bindval, bind);
3570 RB_OBJ_WRITE(bindval, &bind->block.as.captured.self, binding_self);
3571 RB_OBJ_WRITE(bindval, &bind->block.as.captured.code.iseq, env->iseq);
3572 rb_vm_block_ep_update(bindval, &bind->block, env->ep);
3576 rb_iseq_check(iseq);
3577 RB_OBJ_WRITE(bindval, &bind->pathobj, ISEQ_BODY(iseq)->location.pathobj);
3578 bind->first_lineno = ISEQ_BODY(iseq)->location.first_lineno;
3582 rb_iseq_pathobj_new(rb_fstring_lit(
"(binding)"),
Qnil));
3583 bind->first_lineno = 1;
3598 GetProcPtr(proc, procp);
3599 is_lambda = procp->is_lambda;
3600 rb_ary_freeze(passed);
3601 rb_ary_freeze(args);
3603 GetProcPtr(proc, procp);
3604 procp->is_lambda = is_lambda;
3611 VALUE proc, passed, arity;
3616 passed = rb_ary_plus(passed,
rb_ary_new4(argc, argv));
3617 rb_ary_freeze(passed);
3620 if (!
NIL_P(blockarg)) {
3621 rb_warn(
"given block not used");
3623 arity = make_curry_proc(proc, passed, arity);
3678proc_curry(
int argc,
const VALUE *argv,
VALUE self)
3680 int sarity, max_arity, min_arity = rb_proc_min_max_arity(self, &max_arity);
3693 return make_curry_proc(self, rb_ary_new(), arity);
3729rb_method_curry(
int argc,
const VALUE *argv,
VALUE self)
3731 VALUE proc = method_to_proc(self);
3732 return proc_curry(argc, argv, proc);
3750 return rb_funcallv(f, idCall, 1, &fargs);
3761 mesg = rb_fstring_lit(
"callable object is expected");
3785 return rb_proc_compose_to_left(self, to_callable(g));
3791 VALUE proc, args, procs[2];
3797 args = rb_ary_tmp_new_from_values(0, 2, procs);
3800 GetProcPtr(g, procp);
3801 is_lambda = procp->is_lambda;
3809 GetProcPtr(proc, procp);
3810 procp->is_lambda = is_lambda;
3844 return rb_proc_compose_to_right(self, to_callable(g));
3850 VALUE proc, args, procs[2];
3856 args = rb_ary_tmp_new_from_values(0, 2, procs);
3858 GetProcPtr(self, procp);
3859 is_lambda = procp->is_lambda;
3862 GetProcPtr(proc, procp);
3863 procp->is_lambda = is_lambda;
3885rb_method_compose_to_left(
VALUE self,
VALUE g)
3888 self = method_to_proc(self);
3889 return proc_compose_to_left(self, g);
3909rb_method_compose_to_right(
VALUE self,
VALUE g)
3912 self = method_to_proc(self);
3913 return proc_compose_to_right(self, g);
3949proc_ruby2_keywords(
VALUE procval)
3952 GetProcPtr(procval, proc);
3954 rb_check_frozen(procval);
3956 if (proc->is_from_method) {
3957 rb_warn(
"Skipping set of ruby2_keywords flag for proc (proc created from method)");
3961 switch (proc->block.type) {
3962 case block_type_iseq:
3963 if (ISEQ_BODY(proc->block.as.captured.code.iseq)->param.flags.has_rest &&
3964 !ISEQ_BODY(proc->block.as.captured.code.iseq)->param.flags.has_kw &&
3965 !ISEQ_BODY(proc->block.as.captured.code.iseq)->param.flags.has_kwrest) {
3966 ISEQ_BODY(proc->block.as.captured.code.iseq)->param.flags.ruby2_keywords = 1;
3969 rb_warn(
"Skipping set of ruby2_keywords flag for proc (proc accepts keywords or proc does not accept argument splat)");
3973 rb_warn(
"Skipping set of ruby2_keywords flag for proc (proc not defined in Ruby)");
4395 rb_add_method_optimized(
rb_cProc, idCall, OPTIMIZED_METHOD_TYPE_CALL, 0, METHOD_VISI_PUBLIC);
4396 rb_add_method_optimized(
rb_cProc, rb_intern(
"[]"), OPTIMIZED_METHOD_TYPE_CALL, 0, METHOD_VISI_PUBLIC);
4397 rb_add_method_optimized(
rb_cProc, rb_intern(
"==="), OPTIMIZED_METHOD_TYPE_CALL, 0, METHOD_VISI_PUBLIC);
4398 rb_add_method_optimized(
rb_cProc, rb_intern(
"yield"), OPTIMIZED_METHOD_TYPE_CALL, 0, METHOD_VISI_PUBLIC);
4432 rb_vm_register_special_exception(ruby_error_sysstack,
rb_eSysStackError,
"stack level too deep");
4499 "define_method", top_define_method, -1);
#define RUBY_ASSERT_ALWAYS(expr,...)
A variant of RUBY_ASSERT that does not interface with RUBY_DEBUG.
#define RUBY_ASSERT(...)
Asserts that the given expression is truthy if and only if RUBY_DEBUG is truthy.
#define rb_define_method(klass, mid, func, arity)
Defines klass#mid.
#define rb_define_singleton_method(klass, mid, func, arity)
Defines klass.mid.
#define rb_define_private_method(klass, mid, func, arity)
Defines klass#mid and makes it private.
#define rb_define_global_function(mid, func, arity)
Defines rb_mKernel #mid.
VALUE rb_define_class(const char *name, VALUE super)
Defines a top-level class.
VALUE rb_singleton_class(VALUE obj)
Finds or creates the singleton class of the passed object.
VALUE rb_singleton_class_get(VALUE obj)
Returns the singleton class of obj, or nil if obj is not a singleton object.
void rb_define_alias(VALUE klass, const char *name1, const char *name2)
Defines an alias of a method.
void rb_undef_method(VALUE klass, const char *name)
Defines an undef of a method.
int rb_scan_args(int argc, const VALUE *argv, const char *fmt,...)
Retrieves argument from argc and argv to given VALUE references according to the format string.
int rb_block_given_p(void)
Determines if the current method is given a block.
int rb_get_kwargs(VALUE keyword_hash, const ID *table, int required, int optional, VALUE *values)
Keyword argument deconstructor.
#define rb_str_new2
Old name of rb_str_new_cstr.
#define rb_str_buf_cat2
Old name of rb_usascii_str_new_cstr.
#define Qundef
Old name of RUBY_Qundef.
#define INT2FIX
Old name of RB_INT2FIX.
#define ID2SYM
Old name of RB_ID2SYM.
#define OBJ_FREEZE
Old name of RB_OBJ_FREEZE.
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
#define SYM2ID
Old name of RB_SYM2ID.
#define ZALLOC
Old name of RB_ZALLOC.
#define CLASS_OF
Old name of rb_class_of.
#define rb_ary_new4
Old name of rb_ary_new_from_values.
#define FIX2INT
Old name of RB_FIX2INT.
#define T_MODULE
Old name of RUBY_T_MODULE.
#define ASSUME
Old name of RBIMPL_ASSUME.
#define T_ICLASS
Old name of RUBY_T_ICLASS.
#define ALLOC_N
Old name of RB_ALLOC_N.
#define rb_ary_new3
Old name of rb_ary_new_from_args.
#define Qtrue
Old name of RUBY_Qtrue.
#define ST2FIX
Old name of RB_ST2FIX.
#define Qnil
Old name of RUBY_Qnil.
#define Qfalse
Old name of RUBY_Qfalse.
#define NIL_P
Old name of RB_NIL_P.
#define T_CLASS
Old name of RUBY_T_CLASS.
#define BUILTIN_TYPE
Old name of RB_BUILTIN_TYPE.
#define Check_TypedStruct(v, t)
Old name of rb_check_typeddata.
#define CONST_ID
Old name of RUBY_CONST_ID.
#define rb_ary_new2
Old name of rb_ary_new_capa.
VALUE rb_eLocalJumpError
LocalJumpError exception.
void rb_exc_raise(VALUE mesg)
Raises an exception in the current thread.
int rb_typeddata_is_kind_of(VALUE obj, const rb_data_type_t *data_type)
Checks if the given object is of given kind.
VALUE rb_eStandardError
StandardError exception.
VALUE rb_eRangeError
RangeError exception.
VALUE rb_eTypeError
TypeError exception.
void rb_warn(const char *fmt,...)
Identical to rb_warning(), except it reports unless $VERBOSE is nil.
VALUE rb_exc_new_str(VALUE etype, VALUE str)
Identical to rb_exc_new_cstr(), except it takes a Ruby's string instead of C's.
VALUE rb_eException
Mother of all exceptions.
VALUE rb_eSysStackError
SystemStackError exception.
VALUE rb_class_superclass(VALUE klass)
Queries the parent of the given class.
VALUE rb_cUnboundMethod
UnboundMethod class.
VALUE rb_mKernel
Kernel module.
VALUE rb_cBinding
Binding class.
VALUE rb_obj_class(VALUE obj)
Queries the class of an object.
VALUE rb_inspect(VALUE obj)
Generates a human-readable textual representation of the given object.
VALUE rb_cModule
Module class.
VALUE rb_class_inherited_p(VALUE scion, VALUE ascendant)
Determines if the given two modules are relatives.
VALUE rb_obj_is_kind_of(VALUE obj, VALUE klass)
Queries if the given object is an instance (of possibly descendants) of the given class.
VALUE rb_cProc
Proc class.
VALUE rb_cMethod
Method class.
#define RB_OBJ_WRITTEN(old, oldv, young)
Identical to RB_OBJ_WRITE(), except it doesn't write any values, but only a WB declaration.
#define RB_OBJ_WRITE(old, slot, young)
Declaration of a "back" pointer.
VALUE rb_funcall(VALUE recv, ID mid, int n,...)
Calls a method.
VALUE rb_funcall_with_block_kw(VALUE recv, ID mid, int argc, const VALUE *argv, VALUE procval, int kw_splat)
Identical to rb_funcallv_with_block(), except you can specify how to handle the last element of the g...
#define UNLIMITED_ARGUMENTS
This macro is used in conjunction with rb_check_arity().
static int rb_check_arity(int argc, int min, int max)
Ensures that the passed integer is in the passed range.
int rb_is_local_id(ID id)
Classifies the given ID, then sees if it is a local variable.
VALUE rb_method_call_with_block(int argc, const VALUE *argv, VALUE recv, VALUE proc)
Identical to rb_proc_call(), except you can additionally pass a proc as a block.
int rb_obj_method_arity(VALUE obj, ID mid)
Identical to rb_mod_method_arity(), except it searches for singleton methods rather than instance met...
VALUE rb_proc_call(VALUE recv, VALUE args)
Evaluates the passed proc with the passed arguments.
VALUE rb_proc_call_with_block_kw(VALUE recv, int argc, const VALUE *argv, VALUE proc, int kw_splat)
Identical to rb_proc_call_with_block(), except you can specify how to handle the last element of the ...
VALUE rb_method_call_kw(int argc, const VALUE *argv, VALUE recv, int kw_splat)
Identical to rb_method_call(), except you can specify how to handle the last element of the given arr...
VALUE rb_obj_method(VALUE recv, VALUE mid)
Creates a method object.
VALUE rb_proc_lambda_p(VALUE recv)
Queries if the given object is a lambda.
VALUE rb_block_proc(void)
Constructs a Proc object from implicitly passed components.
VALUE rb_proc_call_with_block(VALUE recv, int argc, const VALUE *argv, VALUE proc)
Identical to rb_proc_call(), except you can additionally pass another proc object,...
int rb_mod_method_arity(VALUE mod, ID mid)
Queries the number of mandatory arguments of the method defined in the given module.
VALUE rb_method_call_with_block_kw(int argc, const VALUE *argv, VALUE recv, VALUE proc, int kw_splat)
Identical to rb_method_call_with_block(), except you can specify how to handle the last element of th...
VALUE rb_obj_is_method(VALUE recv)
Queries if the given object is a method.
VALUE rb_block_lambda(void)
Identical to rb_proc_new(), except it returns a lambda.
VALUE rb_proc_call_kw(VALUE recv, VALUE args, int kw_splat)
Identical to rb_proc_call(), except you can specify how to handle the last element of the given array...
VALUE rb_binding_new(void)
Snapshots the current execution context and turn it into an instance of rb_cBinding.
int rb_proc_arity(VALUE recv)
Queries the number of mandatory arguments of the given Proc.
VALUE rb_method_call(int argc, const VALUE *argv, VALUE recv)
Evaluates the passed method with the passed arguments.
VALUE rb_obj_is_proc(VALUE recv)
Queries if the given object is a proc.
#define rb_hash_uint(h, i)
Just another name of st_hash_uint.
#define rb_hash_end(h)
Just another name of st_hash_end.
VALUE rb_str_append(VALUE dst, VALUE src)
Identical to rb_str_buf_append(), except it converts the right hand side before concatenating.
VALUE rb_str_buf_append(VALUE dst, VALUE src)
Identical to rb_str_cat_cstr(), except it takes Ruby's string instead of C's.
void rb_str_set_len(VALUE str, long len)
Overwrites the length of the string.
st_index_t rb_hash_start(st_index_t i)
Starts a series of hashing.
#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.
VALUE rb_str_intern(VALUE str)
Identical to rb_to_symbol(), except it assumes the receiver being an instance of RString.
void rb_undef_alloc_func(VALUE klass)
Deletes the allocator function of a class.
int rb_obj_respond_to(VALUE obj, ID mid, int private_p)
Identical to rb_respond_to(), except it additionally takes the visibility parameter.
ID rb_check_id(volatile VALUE *namep)
Detects if the given name is already interned or not.
VALUE rb_iv_get(VALUE obj, const char *name)
Obtains an instance variable.
#define RB_INT2NUM
Just another name of rb_int2num_inline.
#define RB_BLOCK_CALL_FUNC_ARGLIST(yielded_arg, callback_arg)
Shim for block function parameters.
rb_block_call_func * rb_block_call_func_t
Shorthand type that represents an iterator-written-in-C function pointer.
VALUE rb_block_call_func(RB_BLOCK_CALL_FUNC_ARGLIST(yielded_arg, callback_arg))
This is the type of a function that the interpreter expect for C-backended blocks.
#define MEMCPY(p1, p2, type, n)
Handy macro to call memcpy.
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
VALUE rb_block_call(VALUE q, ID w, int e, const VALUE *r, type *t, VALUE y)
Call a method with a block.
VALUE rb_proc_new(type *q, VALUE w)
Creates a rb_cProc instance.
VALUE rb_rescue(type *q, VALUE w, type *e, VALUE r)
An equivalent of rescue clause.
#define RARRAY_LEN
Just another name of rb_array_len.
static void RARRAY_ASET(VALUE ary, long i, VALUE v)
Assigns an object in an array.
#define RARRAY_AREF(a, i)
#define RARRAY_CONST_PTR
Just another name of rb_array_const_ptr.
static VALUE RBASIC_CLASS(VALUE obj)
Queries the class of an object.
#define RCLASS_SUPER
Just another name of rb_class_get_superclass.
#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...
const char * rb_obj_classname(VALUE obj)
Queries the name of the class of the passed object.
#define RB_PASS_CALLED_KEYWORDS
Pass keywords if current method is called with keywords, useful for argument delegation.
#define RB_NO_KEYWORDS
Do not pass keywords.
#define RTEST
This is an old name of RB_TEST.
#define _(args)
This was a transition path from K&R to ANSI.
This is the struct that holds necessary info for a struct.
rb_cref_t * cref
class reference, should be marked
const rb_iseq_t * iseqptr
iseq pointer, should be separated from iseqval
IFUNC (Internal FUNCtion)
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
#define SIZEOF_VALUE
Identical to sizeof(VALUE), except it is a macro that can also be used inside of preprocessor directi...
uintptr_t VALUE
Type that represents a Ruby object.
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.