mirror of
				https://github.com/ruby/ruby.git
				synced 2022-11-09 12:17:21 -05:00 
			
		
		
		
	 e07cb859cc
			
		
	
	
		e07cb859cc
		
	
	
	
	
		
			
			git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@24195 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
		
			
				
	
	
		
			1094 lines
		
	
	
	
		
			25 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			1094 lines
		
	
	
	
		
			25 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| /**********************************************************************
 | |
| 
 | |
|   class.c -
 | |
| 
 | |
|   $Author$
 | |
|   created at: Tue Aug 10 15:05:44 JST 1993
 | |
| 
 | |
|   Copyright (C) 1993-2007 Yukihiro Matsumoto
 | |
| 
 | |
| **********************************************************************/
 | |
| 
 | |
| /*!
 | |
|  * \defgroup class Classes and their hierarchy.
 | |
|  * \par Terminology
 | |
|  * - class: same as in Ruby.
 | |
|  * - singleton class: class for a particular object
 | |
|  * - eigenclass: = singleton class
 | |
|  * - metaclass: class of a class. metaclass is a kind of singleton class.
 | |
|  * - metametaclass: class of a metaclass.
 | |
|  * - meta^(n)-class: class of a meta^(n-1)-class.
 | |
|  * - attached object: A singleton class knows its unique instance.
 | |
|  *   The instance is called the attached object for the singleton class.
 | |
|  * \{
 | |
|  */
 | |
| 
 | |
| #include "ruby/ruby.h"
 | |
| #include "ruby/st.h"
 | |
| #include "method.h"
 | |
| #include "vm_core.h"
 | |
| #include <ctype.h>
 | |
| 
 | |
| extern st_table *rb_class_tbl;
 | |
| 
 | |
| /**
 | |
|  * Allocates a struct RClass for a new class.
 | |
|  *
 | |
|  * \param flags     initial value for basic.flags of the returned class.
 | |
|  * \param klass     the class of the returned class.
 | |
|  * \return          an uninitialized Class object.
 | |
|  * \pre  \p klass must refer \c Class class or an ancestor of Class.
 | |
|  * \pre  \code (flags | T_CLASS) != 0  \endcode
 | |
|  * \post the returned class can safely be \c #initialize 'd.
 | |
|  *
 | |
|  * \note this function is not Class#allocate.
 | |
|  */
 | |
| static VALUE
 | |
| class_alloc(VALUE flags, VALUE klass)
 | |
| {
 | |
|     rb_classext_t *ext = ALLOC(rb_classext_t);
 | |
|     NEWOBJ(obj, struct RClass);
 | |
|     OBJSETUP(obj, klass, flags);
 | |
|     obj->ptr = ext;
 | |
|     RCLASS_IV_TBL(obj) = 0;
 | |
|     RCLASS_M_TBL(obj) = 0;
 | |
|     RCLASS_SUPER(obj) = 0;
 | |
|     RCLASS_IV_INDEX_TBL(obj) = 0;
 | |
|     return (VALUE)obj;
 | |
| }
 | |
| 
 | |
| 
 | |
| /*!
 | |
|  * A utility function that wraps class_alloc.
 | |
|  *
 | |
|  * allocates a class and initializes safely.
 | |
|  * \param super     a class from which the new class derives.
 | |
|  * \return          a class object.
 | |
|  * \pre  \a super must be a class.
 | |
|  * \post the metaclass of the new class is Class.
 | |
|  */
 | |
| VALUE
 | |
| rb_class_boot(VALUE super)
 | |
| {
 | |
|     VALUE klass = class_alloc(T_CLASS, rb_cClass);
 | |
| 
 | |
|     RCLASS_SUPER(klass) = super;
 | |
|     RCLASS_M_TBL(klass) = st_init_numtable();
 | |
| 
 | |
|     OBJ_INFECT(klass, super);
 | |
|     return (VALUE)klass;
 | |
| }
 | |
| 
 | |
| 
 | |
| /*!
 | |
|  * Ensures a class can be derived from super.
 | |
|  *
 | |
|  * \param super a reference to an object.
 | |
|  * \exception TypeError if \a super is not a Class or \a super is a singleton class.
 | |
|  */
 | |
| void
 | |
| rb_check_inheritable(VALUE super)
 | |
| {
 | |
|     if (TYPE(super) != T_CLASS) {
 | |
| 	rb_raise(rb_eTypeError, "superclass must be a Class (%s given)",
 | |
| 		 rb_obj_classname(super));
 | |
|     }
 | |
|     if (RBASIC(super)->flags & FL_SINGLETON) {
 | |
| 	rb_raise(rb_eTypeError, "can't make subclass of singleton class");
 | |
|     }
 | |
| }
 | |
| 
 | |
| 
 | |
| /*!
 | |
|  * Creates a new class.
 | |
|  * \param super     a class from which the new class derives.
 | |
|  * \exception TypeError \a super is not inheritable.
 | |
|  * \exception TypeError \a super is the Class class.
 | |
|  */
 | |
| VALUE
 | |
| rb_class_new(VALUE super)
 | |
| {
 | |
|     Check_Type(super, T_CLASS);
 | |
|     rb_check_inheritable(super);
 | |
|     if (super == rb_cClass) {
 | |
| 	rb_raise(rb_eTypeError, "can't make subclass of Class");
 | |
|     }
 | |
|     return rb_class_boot(super);
 | |
| }
 | |
| 
 | |
| struct clone_method_data {
 | |
|     st_table *tbl;
 | |
|     VALUE klass;
 | |
| };
 | |
| 
 | |
| VALUE rb_iseq_clone(VALUE iseqval, VALUE newcbase);
 | |
| 
 | |
| static int
 | |
| clone_method(ID mid, const rb_method_entry_t *me, struct clone_method_data *data)
 | |
| {
 | |
|     switch (me->type) {
 | |
|       case VM_METHOD_TYPE_ISEQ: {
 | |
| 	  VALUE newiseqval = rb_iseq_clone(me->body.iseq->self, data->klass);
 | |
| 	  rb_iseq_t *iseq;
 | |
| 	  GetISeqPtr(newiseqval, iseq);
 | |
| 	  rb_add_method(data->klass, mid, VM_METHOD_TYPE_ISEQ, iseq, me->flag);
 | |
| 	  break;
 | |
|       }
 | |
|       default:
 | |
| 	rb_add_method_me(data->klass, mid, me, me->flag);
 | |
| 	break;
 | |
|     }
 | |
|     return ST_CONTINUE;
 | |
| }
 | |
| 
 | |
| /* :nodoc: */
 | |
| VALUE
 | |
| rb_mod_init_copy(VALUE clone, VALUE orig)
 | |
| {
 | |
|     rb_obj_init_copy(clone, orig);
 | |
|     if (!FL_TEST(CLASS_OF(clone), FL_SINGLETON)) {
 | |
| 	RBASIC(clone)->klass = rb_singleton_class_clone(orig);
 | |
|     }
 | |
|     RCLASS_SUPER(clone) = RCLASS_SUPER(orig);
 | |
|     if (RCLASS_IV_TBL(orig)) {
 | |
| 	ID id;
 | |
| 
 | |
| 	RCLASS_IV_TBL(clone) = st_copy(RCLASS_IV_TBL(orig));
 | |
| 	CONST_ID(id, "__classpath__");
 | |
| 	st_delete(RCLASS_IV_TBL(clone), (st_data_t*)&id, 0);
 | |
| 	CONST_ID(id, "__classid__");
 | |
| 	st_delete(RCLASS_IV_TBL(clone), (st_data_t*)&id, 0);
 | |
|     }
 | |
|     if (RCLASS_M_TBL(orig)) {
 | |
| 	struct clone_method_data data;
 | |
| 	data.tbl = RCLASS_M_TBL(clone) = st_init_numtable();
 | |
| 	data.klass = clone;
 | |
| 	st_foreach(RCLASS_M_TBL(orig), clone_method,
 | |
| 		   (st_data_t)&data);
 | |
|     }
 | |
| 
 | |
|     return clone;
 | |
| }
 | |
| 
 | |
| /* :nodoc: */
 | |
| VALUE
 | |
| rb_class_init_copy(VALUE clone, VALUE orig)
 | |
| {
 | |
|     if (RCLASS_SUPER(clone) != 0) {
 | |
| 	rb_raise(rb_eTypeError, "already initialized class");
 | |
|     }
 | |
|     if (FL_TEST(orig, FL_SINGLETON)) {
 | |
| 	rb_raise(rb_eTypeError, "can't copy singleton class");
 | |
|     }
 | |
|     return rb_mod_init_copy(clone, orig);
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_singleton_class_clone(VALUE obj)
 | |
| {
 | |
|     VALUE klass = RBASIC(obj)->klass;
 | |
| 
 | |
|     if (!FL_TEST(klass, FL_SINGLETON))
 | |
| 	return klass;
 | |
|     else {
 | |
| 	struct clone_method_data data;
 | |
| 	/* copy singleton(unnamed) class */
 | |
|         VALUE clone = class_alloc(RBASIC(klass)->flags, 0);
 | |
| 
 | |
| 	if (BUILTIN_TYPE(obj) == T_CLASS) {
 | |
| 	    RBASIC(clone)->klass = (VALUE)clone;
 | |
| 	}
 | |
| 	else {
 | |
| 	    RBASIC(clone)->klass = rb_singleton_class_clone(klass);
 | |
| 	}
 | |
| 
 | |
| 	RCLASS_SUPER(clone) = RCLASS_SUPER(klass);
 | |
| 	if (RCLASS_IV_TBL(klass)) {
 | |
| 	    RCLASS_IV_TBL(clone) = st_copy(RCLASS_IV_TBL(klass));
 | |
| 	}
 | |
| 	RCLASS_M_TBL(clone) = st_init_numtable();
 | |
| 	data.tbl = RCLASS_M_TBL(clone);
 | |
| 	data.klass = (VALUE)clone;
 | |
| 	st_foreach(RCLASS_M_TBL(klass), clone_method,
 | |
| 		   (st_data_t)&data);
 | |
| 	rb_singleton_class_attached(RBASIC(clone)->klass, (VALUE)clone);
 | |
| 	FL_SET(clone, FL_SINGLETON);
 | |
| 	return (VALUE)clone;
 | |
|     }
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_singleton_class_attached(VALUE klass, VALUE obj)
 | |
| {
 | |
|     if (FL_TEST(klass, FL_SINGLETON)) {
 | |
| 	ID attached;
 | |
| 	if (!RCLASS_IV_TBL(klass)) {
 | |
| 	    RCLASS_IV_TBL(klass) = st_init_numtable();
 | |
| 	}
 | |
| 	CONST_ID(attached, "__attached__");
 | |
| 	st_insert(RCLASS_IV_TBL(klass), attached, obj);
 | |
|     }
 | |
| }
 | |
| 
 | |
| 
 | |
| /*!
 | |
|  * Creates a meta^(n+1)-class for a meta^(n)-class.
 | |
|  * \param metaclass     a class of a class
 | |
|  * \return              the created meta^(n+1)-class.
 | |
|  * \pre \a metaclass is a metaclass
 | |
|  * \post the class of \a metaclass is the returned class.
 | |
|  */
 | |
| static VALUE
 | |
| make_metametaclass(VALUE metaclass)
 | |
| {
 | |
|     VALUE metametaclass, super_of_metaclass;
 | |
| 
 | |
|     if (RBASIC(metaclass)->klass == metaclass) { /* for meta^(n)-class of Class */
 | |
|         metametaclass = rb_class_boot(Qnil);
 | |
|         RBASIC(metametaclass)->klass = metametaclass;
 | |
|     }
 | |
|     else {
 | |
|         metametaclass = rb_class_boot(Qnil);
 | |
|         RBASIC(metametaclass)->klass =
 | |
|             (RBASIC(RBASIC(metaclass)->klass)->klass == RBASIC(metaclass)->klass)
 | |
|             ? make_metametaclass(RBASIC(metaclass)->klass)
 | |
|             : RBASIC(RBASIC(metaclass)->klass)->klass;
 | |
|     }
 | |
| 
 | |
|     FL_SET(metametaclass, FL_SINGLETON);
 | |
|     rb_singleton_class_attached(metametaclass, metaclass);
 | |
|     RBASIC(metaclass)->klass = metametaclass;
 | |
| 
 | |
|     super_of_metaclass = RCLASS_SUPER(metaclass);
 | |
|     while (FL_TEST(super_of_metaclass, T_ICLASS)) {
 | |
|         super_of_metaclass = RCLASS_SUPER(super_of_metaclass);
 | |
|     }
 | |
|     RCLASS_SUPER(metametaclass) =
 | |
|         rb_iv_get(RBASIC(super_of_metaclass)->klass, "__attached__") == super_of_metaclass
 | |
|         ? RBASIC(super_of_metaclass)->klass
 | |
|         : make_metametaclass(super_of_metaclass);
 | |
|     OBJ_INFECT(metametaclass, RCLASS_SUPER(metametaclass));
 | |
| 
 | |
|     return metametaclass;
 | |
| }
 | |
| 
 | |
| 
 | |
| /*!
 | |
|  * \internal
 | |
|  * Creates a singleton class for an object.
 | |
|  *
 | |
|  * \note DO NOT USE the function in an extension libraries. Use rb_singleton_class.
 | |
|  * \param obj    An object.
 | |
|  * \param super  A class from which the singleton class derives.
 | |
|  *        \note \a super is ignored if \a obj is a metaclass.
 | |
|  * \return       The singleton class of the object.
 | |
|  */
 | |
| VALUE
 | |
| rb_make_metaclass(VALUE obj, VALUE super)
 | |
| {
 | |
|     if (BUILTIN_TYPE(obj) == T_CLASS && FL_TEST(obj, FL_SINGLETON)) { /* obj is a metaclass */
 | |
|         return make_metametaclass(obj);
 | |
|     }
 | |
|     else {
 | |
| 	VALUE metasuper;
 | |
| 	VALUE klass = rb_class_boot(super);
 | |
| 
 | |
| 	FL_SET(klass, FL_SINGLETON);
 | |
| 	RBASIC(obj)->klass = klass;
 | |
| 	rb_singleton_class_attached(klass, obj);
 | |
| 
 | |
| 	metasuper = RBASIC(rb_class_real(super))->klass;
 | |
| 	/* metaclass of a superclass may be NULL at boot time */
 | |
| 	if (metasuper) {
 | |
| 	    RBASIC(klass)->klass = metasuper;
 | |
| 	}
 | |
| 	return klass;
 | |
|     }
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_class_id(ID id, VALUE super)
 | |
| {
 | |
|     VALUE klass;
 | |
| 
 | |
|     if (!super) super = rb_cObject;
 | |
|     klass = rb_class_new(super);
 | |
|     rb_make_metaclass(klass, RBASIC(super)->klass);
 | |
| 
 | |
|     return klass;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_class_inherited(VALUE super, VALUE klass)
 | |
| {
 | |
|     ID inherited;
 | |
|     if (!super) super = rb_cObject;
 | |
|     CONST_ID(inherited, "inherited");
 | |
|     return rb_funcall(super, inherited, 1, klass);
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_class(const char *name, VALUE super)
 | |
| {
 | |
|     VALUE klass;
 | |
|     ID id;
 | |
| 
 | |
|     id = rb_intern(name);
 | |
|     if (rb_const_defined(rb_cObject, id)) {
 | |
| 	klass = rb_const_get(rb_cObject, id);
 | |
| 	if (TYPE(klass) != T_CLASS) {
 | |
| 	    rb_raise(rb_eTypeError, "%s is not a class", name);
 | |
| 	}
 | |
| 	if (rb_class_real(RCLASS_SUPER(klass)) != super) {
 | |
| 	    rb_name_error(id, "%s is already defined", name);
 | |
| 	}
 | |
| 	return klass;
 | |
|     }
 | |
|     if (!super) {
 | |
| 	rb_warn("no super class for `%s', Object assumed", name);
 | |
|     }
 | |
|     klass = rb_define_class_id(id, super);
 | |
|     st_add_direct(rb_class_tbl, id, klass);
 | |
|     rb_name_class(klass, id);
 | |
|     rb_const_set(rb_cObject, id, klass);
 | |
|     rb_class_inherited(super, klass);
 | |
| 
 | |
|     return klass;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_class_under(VALUE outer, const char *name, VALUE super)
 | |
| {
 | |
|     VALUE klass;
 | |
|     ID id;
 | |
| 
 | |
|     id = rb_intern(name);
 | |
|     if (rb_const_defined_at(outer, id)) {
 | |
| 	klass = rb_const_get_at(outer, id);
 | |
| 	if (TYPE(klass) != T_CLASS) {
 | |
| 	    rb_raise(rb_eTypeError, "%s is not a class", name);
 | |
| 	}
 | |
| 	if (rb_class_real(RCLASS_SUPER(klass)) != super) {
 | |
| 	    rb_name_error(id, "%s is already defined", name);
 | |
| 	}
 | |
| 	return klass;
 | |
|     }
 | |
|     if (!super) {
 | |
| 	rb_warn("no super class for `%s::%s', Object assumed",
 | |
| 		rb_class2name(outer), name);
 | |
|     }
 | |
|     klass = rb_define_class_id(id, super);
 | |
|     rb_set_class_path(klass, outer, name);
 | |
|     rb_const_set(outer, id, klass);
 | |
|     rb_class_inherited(super, klass);
 | |
| 
 | |
|     return klass;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_module_new(void)
 | |
| {
 | |
|     VALUE mdl = class_alloc(T_MODULE, rb_cModule);
 | |
| 
 | |
|     RCLASS_M_TBL(mdl) = st_init_numtable();
 | |
| 
 | |
|     return (VALUE)mdl;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_module_id(ID id)
 | |
| {
 | |
|     VALUE mdl;
 | |
| 
 | |
|     mdl = rb_module_new();
 | |
|     rb_name_class(mdl, id);
 | |
| 
 | |
|     return mdl;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_module(const char *name)
 | |
| {
 | |
|     VALUE module;
 | |
|     ID id;
 | |
| 
 | |
|     id = rb_intern(name);
 | |
|     if (rb_const_defined(rb_cObject, id)) {
 | |
| 	module = rb_const_get(rb_cObject, id);
 | |
| 	if (TYPE(module) == T_MODULE)
 | |
| 	    return module;
 | |
| 	rb_raise(rb_eTypeError, "%s is not a module", rb_obj_classname(module));
 | |
|     }
 | |
|     module = rb_define_module_id(id);
 | |
|     st_add_direct(rb_class_tbl, id, module);
 | |
|     rb_const_set(rb_cObject, id, module);
 | |
| 
 | |
|     return module;
 | |
| }
 | |
| 
 | |
| VALUE
 | |
| rb_define_module_under(VALUE outer, const char *name)
 | |
| {
 | |
|     VALUE module;
 | |
|     ID id;
 | |
| 
 | |
|     id = rb_intern(name);
 | |
|     if (rb_const_defined_at(outer, id)) {
 | |
| 	module = rb_const_get_at(outer, id);
 | |
| 	if (TYPE(module) == T_MODULE)
 | |
| 	    return module;
 | |
| 	rb_raise(rb_eTypeError, "%s::%s is not a module",
 | |
| 		 rb_class2name(outer), rb_obj_classname(module));
 | |
|     }
 | |
|     module = rb_define_module_id(id);
 | |
|     rb_const_set(outer, id, module);
 | |
|     rb_set_class_path(module, outer, name);
 | |
| 
 | |
|     return module;
 | |
| }
 | |
| 
 | |
| static VALUE
 | |
| include_class_new(VALUE module, VALUE super)
 | |
| {
 | |
|     VALUE klass = class_alloc(T_ICLASS, rb_cClass);
 | |
| 
 | |
|     if (BUILTIN_TYPE(module) == T_ICLASS) {
 | |
| 	module = RBASIC(module)->klass;
 | |
|     }
 | |
|     if (!RCLASS_IV_TBL(module)) {
 | |
| 	RCLASS_IV_TBL(module) = st_init_numtable();
 | |
|     }
 | |
|     RCLASS_IV_TBL(klass) = RCLASS_IV_TBL(module);
 | |
|     RCLASS_M_TBL(klass) = RCLASS_M_TBL(module);
 | |
|     RCLASS_SUPER(klass) = super;
 | |
|     if (TYPE(module) == T_ICLASS) {
 | |
| 	RBASIC(klass)->klass = RBASIC(module)->klass;
 | |
|     }
 | |
|     else {
 | |
| 	RBASIC(klass)->klass = module;
 | |
|     }
 | |
|     OBJ_INFECT(klass, module);
 | |
|     OBJ_INFECT(klass, super);
 | |
| 
 | |
|     return (VALUE)klass;
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_include_module(VALUE klass, VALUE module)
 | |
| {
 | |
|     VALUE p, c;
 | |
|     int changed = 0;
 | |
| 
 | |
|     rb_frozen_class_p(klass);
 | |
|     if (!OBJ_UNTRUSTED(klass)) {
 | |
| 	rb_secure(4);
 | |
|     }
 | |
| 
 | |
|     if (TYPE(module) != T_MODULE) {
 | |
| 	Check_Type(module, T_MODULE);
 | |
|     }
 | |
| 
 | |
|     OBJ_INFECT(klass, module);
 | |
|     c = klass;
 | |
|     while (module) {
 | |
| 	int superclass_seen = FALSE;
 | |
| 
 | |
| 	if (RCLASS_M_TBL(klass) == RCLASS_M_TBL(module))
 | |
| 	    rb_raise(rb_eArgError, "cyclic include detected");
 | |
| 	/* ignore if the module included already in superclasses */
 | |
| 	for (p = RCLASS_SUPER(klass); p; p = RCLASS_SUPER(p)) {
 | |
| 	    switch (BUILTIN_TYPE(p)) {
 | |
| 	      case T_ICLASS:
 | |
| 		if (RCLASS_M_TBL(p) == RCLASS_M_TBL(module)) {
 | |
| 		    if (!superclass_seen) {
 | |
| 			c = p;  /* move insertion point */
 | |
| 		    }
 | |
| 		    goto skip;
 | |
| 		}
 | |
| 		break;
 | |
| 	      case T_CLASS:
 | |
| 		superclass_seen = TRUE;
 | |
| 		break;
 | |
| 	    }
 | |
| 	}
 | |
| 	c = RCLASS_SUPER(c) = include_class_new(module, RCLASS_SUPER(c));
 | |
| 	changed = 1;
 | |
|       skip:
 | |
| 	module = RCLASS_SUPER(module);
 | |
|     }
 | |
|     if (changed) rb_clear_cache();
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.included_modules -> array
 | |
|  *
 | |
|  *  Returns the list of modules included in <i>mod</i>.
 | |
|  *
 | |
|  *     module Mixin
 | |
|  *     end
 | |
|  *
 | |
|  *     module Outer
 | |
|  *       include Mixin
 | |
|  *     end
 | |
|  *
 | |
|  *     Mixin.included_modules   #=> []
 | |
|  *     Outer.included_modules   #=> [Mixin]
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_mod_included_modules(VALUE mod)
 | |
| {
 | |
|     VALUE ary = rb_ary_new();
 | |
|     VALUE p;
 | |
| 
 | |
|     for (p = RCLASS_SUPER(mod); p; p = RCLASS_SUPER(p)) {
 | |
| 	if (BUILTIN_TYPE(p) == T_ICLASS) {
 | |
| 	    rb_ary_push(ary, RBASIC(p)->klass);
 | |
| 	}
 | |
|     }
 | |
|     return ary;
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.include?(module)    => true or false
 | |
|  *
 | |
|  *  Returns <code>true</code> if <i>module</i> is included in
 | |
|  *  <i>mod</i> or one of <i>mod</i>'s ancestors.
 | |
|  *
 | |
|  *     module A
 | |
|  *     end
 | |
|  *     class B
 | |
|  *       include A
 | |
|  *     end
 | |
|  *     class C < B
 | |
|  *     end
 | |
|  *     B.include?(A)   #=> true
 | |
|  *     C.include?(A)   #=> true
 | |
|  *     A.include?(A)   #=> false
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_mod_include_p(VALUE mod, VALUE mod2)
 | |
| {
 | |
|     VALUE p;
 | |
| 
 | |
|     Check_Type(mod2, T_MODULE);
 | |
|     for (p = RCLASS_SUPER(mod); p; p = RCLASS_SUPER(p)) {
 | |
| 	if (BUILTIN_TYPE(p) == T_ICLASS) {
 | |
| 	    if (RBASIC(p)->klass == mod2) return Qtrue;
 | |
| 	}
 | |
|     }
 | |
|     return Qfalse;
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.ancestors -> array
 | |
|  *
 | |
|  *  Returns a list of modules included in <i>mod</i> (including
 | |
|  *  <i>mod</i> itself).
 | |
|  *
 | |
|  *     module Mod
 | |
|  *       include Math
 | |
|  *       include Comparable
 | |
|  *     end
 | |
|  *
 | |
|  *     Mod.ancestors    #=> [Mod, Comparable, Math]
 | |
|  *     Math.ancestors   #=> [Math]
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_mod_ancestors(VALUE mod)
 | |
| {
 | |
|     VALUE p, ary = rb_ary_new();
 | |
| 
 | |
|     for (p = mod; p; p = RCLASS_SUPER(p)) {
 | |
| 	if (FL_TEST(p, FL_SINGLETON))
 | |
| 	    continue;
 | |
| 	if (BUILTIN_TYPE(p) == T_ICLASS) {
 | |
| 	    rb_ary_push(ary, RBASIC(p)->klass);
 | |
| 	}
 | |
| 	else {
 | |
| 	    rb_ary_push(ary, p);
 | |
| 	}
 | |
|     }
 | |
|     return ary;
 | |
| }
 | |
| 
 | |
| #define VISI(x) ((x)&NOEX_MASK)
 | |
| #define VISI_CHECK(x,f) (VISI(x) == (f))
 | |
| 
 | |
| static int
 | |
| ins_methods_push(ID name, long type, VALUE ary, long visi)
 | |
| {
 | |
|     if (type == -1) return ST_CONTINUE;
 | |
| 
 | |
|     switch (visi) {
 | |
|       case NOEX_PRIVATE:
 | |
|       case NOEX_PROTECTED:
 | |
|       case NOEX_PUBLIC:
 | |
| 	visi = (type == visi);
 | |
| 	break;
 | |
|       default:
 | |
| 	visi = (type != NOEX_PRIVATE);
 | |
| 	break;
 | |
|     }
 | |
|     if (visi) {
 | |
| 	rb_ary_push(ary, ID2SYM(name));
 | |
|     }
 | |
|     return ST_CONTINUE;
 | |
| }
 | |
| 
 | |
| static int
 | |
| ins_methods_i(ID name, long type, VALUE ary)
 | |
| {
 | |
|     return ins_methods_push(name, type, ary, -1); /* everything but private */
 | |
| }
 | |
| 
 | |
| static int
 | |
| ins_methods_prot_i(ID name, long type, VALUE ary)
 | |
| {
 | |
|     return ins_methods_push(name, type, ary, NOEX_PROTECTED);
 | |
| }
 | |
| 
 | |
| static int
 | |
| ins_methods_priv_i(ID name, long type, VALUE ary)
 | |
| {
 | |
|     return ins_methods_push(name, type, ary, NOEX_PRIVATE);
 | |
| }
 | |
| 
 | |
| static int
 | |
| ins_methods_pub_i(ID name, long type, VALUE ary)
 | |
| {
 | |
|     return ins_methods_push(name, type, ary, NOEX_PUBLIC);
 | |
| }
 | |
| 
 | |
| static int
 | |
| method_entry(ID key, const rb_method_entry_t *me, st_table *list)
 | |
| {
 | |
|     long type;
 | |
| 
 | |
|     if (key == ID_ALLOCATOR) {
 | |
| 	return ST_CONTINUE;
 | |
|     }
 | |
| 
 | |
|     if (!st_lookup(list, key, 0)) {
 | |
| 	if (!me || me->type == VM_METHOD_TYPE_UNDEF) {
 | |
| 	    type = -1; /* none */
 | |
| 	}
 | |
| 	else {
 | |
| 	    type = VISI(me->flag);
 | |
| 	}
 | |
| 	st_add_direct(list, key, type);
 | |
|     }
 | |
|     return ST_CONTINUE;
 | |
| }
 | |
| 
 | |
| static VALUE
 | |
| class_instance_method_list(int argc, VALUE *argv, VALUE mod, int (*func) (ID, long, VALUE))
 | |
| {
 | |
|     VALUE ary;
 | |
|     int recur;
 | |
|     st_table *list;
 | |
| 
 | |
|     if (argc == 0) {
 | |
| 	recur = TRUE;
 | |
|     }
 | |
|     else {
 | |
| 	VALUE r;
 | |
| 	rb_scan_args(argc, argv, "01", &r);
 | |
| 	recur = RTEST(r);
 | |
|     }
 | |
| 
 | |
|     list = st_init_numtable();
 | |
|     for (; mod; mod = RCLASS_SUPER(mod)) {
 | |
| 	st_foreach(RCLASS_M_TBL(mod), method_entry, (st_data_t)list);
 | |
| 	if (BUILTIN_TYPE(mod) == T_ICLASS) continue;
 | |
| 	if (FL_TEST(mod, FL_SINGLETON)) continue;
 | |
| 	if (!recur) break;
 | |
|     }
 | |
|     ary = rb_ary_new();
 | |
|     st_foreach(list, func, ary);
 | |
|     st_free_table(list);
 | |
| 
 | |
|     return ary;
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.instance_methods(include_super=true)   => array
 | |
|  *
 | |
|  *  Returns an array containing the names of instance methods that is callable
 | |
|  *  from outside in the receiver. For a module, these are the public methods;
 | |
|  *  for a class, they are the instance (not singleton) methods. With no
 | |
|  *  argument, or with an argument that is <code>false</code>, the
 | |
|  *  instance methods in <i>mod</i> are returned, otherwise the methods
 | |
|  *  in <i>mod</i> and <i>mod</i>'s superclasses are returned.
 | |
|  *
 | |
|  *     module A
 | |
|  *       def method1()  end
 | |
|  *     end
 | |
|  *     class B
 | |
|  *       def method2()  end
 | |
|  *     end
 | |
|  *     class C < B
 | |
|  *       def method3()  end
 | |
|  *     end
 | |
|  *
 | |
|  *     A.instance_methods                #=> [:method1]
 | |
|  *     B.instance_methods(false)         #=> [:method2]
 | |
|  *     C.instance_methods(false)         #=> [:method3]
 | |
|  *     C.instance_methods(true).length   #=> 43
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_class_instance_methods(int argc, VALUE *argv, VALUE mod)
 | |
| {
 | |
|     return class_instance_method_list(argc, argv, mod, ins_methods_i);
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.protected_instance_methods(include_super=true)   => array
 | |
|  *
 | |
|  *  Returns a list of the protected instance methods defined in
 | |
|  *  <i>mod</i>. If the optional parameter is not <code>false</code>, the
 | |
|  *  methods of any ancestors are included.
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_class_protected_instance_methods(int argc, VALUE *argv, VALUE mod)
 | |
| {
 | |
|     return class_instance_method_list(argc, argv, mod, ins_methods_prot_i);
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.private_instance_methods(include_super=true)    => array
 | |
|  *
 | |
|  *  Returns a list of the private instance methods defined in
 | |
|  *  <i>mod</i>. If the optional parameter is not <code>false</code>, the
 | |
|  *  methods of any ancestors are included.
 | |
|  *
 | |
|  *     module Mod
 | |
|  *       def method1()  end
 | |
|  *       private :method1
 | |
|  *       def method2()  end
 | |
|  *     end
 | |
|  *     Mod.instance_methods           #=> [:method2]
 | |
|  *     Mod.private_instance_methods   #=> [:method1]
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_class_private_instance_methods(int argc, VALUE *argv, VALUE mod)
 | |
| {
 | |
|     return class_instance_method_list(argc, argv, mod, ins_methods_priv_i);
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     mod.public_instance_methods(include_super=true)   => array
 | |
|  *
 | |
|  *  Returns a list of the public instance methods defined in <i>mod</i>.
 | |
|  *  If the optional parameter is not <code>false</code>, the methods of
 | |
|  *  any ancestors are included.
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_class_public_instance_methods(int argc, VALUE *argv, VALUE mod)
 | |
| {
 | |
|     return class_instance_method_list(argc, argv, mod, ins_methods_pub_i);
 | |
| }
 | |
| 
 | |
| /*
 | |
|  *  call-seq:
 | |
|  *     obj.singleton_methods(all=true)    => array
 | |
|  *
 | |
|  *  Returns an array of the names of singleton methods for <i>obj</i>.
 | |
|  *  If the optional <i>all</i> parameter is true, the list will include
 | |
|  *  methods in modules included in <i>obj</i>.
 | |
|  *
 | |
|  *     module Other
 | |
|  *       def three() end
 | |
|  *     end
 | |
|  *
 | |
|  *     class Single
 | |
|  *       def Single.four() end
 | |
|  *     end
 | |
|  *
 | |
|  *     a = Single.new
 | |
|  *
 | |
|  *     def a.one()
 | |
|  *     end
 | |
|  *
 | |
|  *     class << a
 | |
|  *       include Other
 | |
|  *       def two()
 | |
|  *       end
 | |
|  *     end
 | |
|  *
 | |
|  *     Single.singleton_methods    #=> [:four]
 | |
|  *     a.singleton_methods(false)  #=> [:two, :one]
 | |
|  *     a.singleton_methods         #=> [:two, :one, :three]
 | |
|  */
 | |
| 
 | |
| VALUE
 | |
| rb_obj_singleton_methods(int argc, VALUE *argv, VALUE obj)
 | |
| {
 | |
|     VALUE recur, ary, klass;
 | |
|     st_table *list;
 | |
| 
 | |
|     if (argc == 0) {
 | |
| 	recur = Qtrue;
 | |
|     }
 | |
|     else {
 | |
| 	rb_scan_args(argc, argv, "01", &recur);
 | |
|     }
 | |
|     klass = CLASS_OF(obj);
 | |
|     list = st_init_numtable();
 | |
|     if (klass && FL_TEST(klass, FL_SINGLETON)) {
 | |
| 	st_foreach(RCLASS_M_TBL(klass), method_entry, (st_data_t)list);
 | |
| 	klass = RCLASS_SUPER(klass);
 | |
|     }
 | |
|     if (RTEST(recur)) {
 | |
| 	while (klass && (FL_TEST(klass, FL_SINGLETON) || TYPE(klass) == T_ICLASS)) {
 | |
| 	    st_foreach(RCLASS_M_TBL(klass), method_entry, (st_data_t)list);
 | |
| 	    klass = RCLASS_SUPER(klass);
 | |
| 	}
 | |
|     }
 | |
|     ary = rb_ary_new();
 | |
|     st_foreach(list, ins_methods_i, ary);
 | |
|     st_free_table(list);
 | |
| 
 | |
|     return ary;
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_method_id(VALUE klass, ID mid, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_add_method_cfunc(klass, mid, func, argc, NOEX_PUBLIC);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_method(VALUE klass, const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_add_method_cfunc(klass, rb_intern(name), func, argc, NOEX_PUBLIC);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_protected_method(VALUE klass, const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_add_method_cfunc(klass, rb_intern(name), func, argc, NOEX_PROTECTED);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_private_method(VALUE klass, const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_add_method_cfunc(klass, rb_intern(name), func, argc, NOEX_PRIVATE);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_undef_method(VALUE klass, const char *name)
 | |
| {
 | |
|     rb_add_method(klass, rb_intern(name), VM_METHOD_TYPE_UNDEF, 0, NOEX_UNDEF);
 | |
| }
 | |
| 
 | |
| #define SPECIAL_SINGLETON(x,c) do {\
 | |
|     if (obj == (x)) {\
 | |
| 	return c;\
 | |
|     }\
 | |
| } while (0)
 | |
| 
 | |
| VALUE
 | |
| rb_singleton_class(VALUE obj)
 | |
| {
 | |
|     VALUE klass;
 | |
|     ID attached;
 | |
| 
 | |
|     if (FIXNUM_P(obj) || SYMBOL_P(obj)) {
 | |
| 	rb_raise(rb_eTypeError, "can't define singleton");
 | |
|     }
 | |
|     if (rb_special_const_p(obj)) {
 | |
| 	SPECIAL_SINGLETON(Qnil, rb_cNilClass);
 | |
| 	SPECIAL_SINGLETON(Qfalse, rb_cFalseClass);
 | |
| 	SPECIAL_SINGLETON(Qtrue, rb_cTrueClass);
 | |
| 	rb_bug("unknown immediate %ld", obj);
 | |
|     }
 | |
| 
 | |
|     CONST_ID(attached, "__attached__");
 | |
|     if (FL_TEST(RBASIC(obj)->klass, FL_SINGLETON) &&
 | |
| 	rb_ivar_get(RBASIC(obj)->klass, attached) == obj) {
 | |
| 	klass = RBASIC(obj)->klass;
 | |
|     }
 | |
|     else {
 | |
| 	klass = rb_make_metaclass(obj, RBASIC(obj)->klass);
 | |
|     }
 | |
| 
 | |
|     if (BUILTIN_TYPE(obj) == T_CLASS) {
 | |
| 	if (rb_iv_get(RBASIC(klass)->klass, "__attached__") != klass)
 | |
| 	    make_metametaclass(klass);
 | |
|     }
 | |
|     if (OBJ_TAINTED(obj)) {
 | |
| 	OBJ_TAINT(klass);
 | |
|     }
 | |
|     else {
 | |
| 	FL_UNSET(klass, FL_TAINT);
 | |
|     }
 | |
|     if (OBJ_UNTRUSTED(obj)) {
 | |
| 	OBJ_UNTRUST(klass);
 | |
|     }
 | |
|     else {
 | |
| 	FL_UNSET(klass, FL_UNTRUSTED);
 | |
|     }
 | |
|     if (OBJ_FROZEN(obj)) OBJ_FREEZE(klass);
 | |
| 
 | |
|     return klass;
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_singleton_method(VALUE obj, const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_define_method(rb_singleton_class(obj), name, func, argc);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_module_function(VALUE module, const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_define_private_method(module, name, func, argc);
 | |
|     rb_define_singleton_method(module, name, func, argc);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_global_function(const char *name, VALUE (*func)(ANYARGS), int argc)
 | |
| {
 | |
|     rb_define_module_function(rb_mKernel, name, func, argc);
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_alias(VALUE klass, const char *name1, const char *name2)
 | |
| {
 | |
|     rb_alias(klass, rb_intern(name1), rb_intern(name2));
 | |
| }
 | |
| 
 | |
| void
 | |
| rb_define_attr(VALUE klass, const char *name, int read, int write)
 | |
| {
 | |
|     rb_attr(klass, rb_intern(name), read, write, FALSE);
 | |
| }
 | |
| 
 | |
| #include <stdarg.h>
 | |
| 
 | |
| int
 | |
| rb_scan_args(int argc, const VALUE *argv, const char *fmt, ...)
 | |
| {
 | |
|     int i;
 | |
|     const char *p = fmt;
 | |
|     VALUE *var;
 | |
|     va_list vargs;
 | |
|     int f_var = 0, f_block = 0;
 | |
|     int n_lead = 0, n_opt = 0, n_trail = 0, n_mand;
 | |
|     int argi = 0;
 | |
| 
 | |
|     if (ISDIGIT(*p)) {
 | |
| 	n_lead = *p - '0';
 | |
| 	p++;
 | |
| 	if (ISDIGIT(*p)) {
 | |
| 	    n_opt = *p - '0';
 | |
| 	    p++;
 | |
| 	    if (ISDIGIT(*p)) {
 | |
| 		n_trail = *p - '0';
 | |
| 		p++;
 | |
| 		goto block_arg;
 | |
| 	    }
 | |
| 	}
 | |
|     }
 | |
|     if (*p == '*') {
 | |
| 	f_var = 1;
 | |
| 	p++;
 | |
| 	if (ISDIGIT(*p)) {
 | |
| 	    n_trail = *p - '0';
 | |
| 	    p++;
 | |
| 	}
 | |
|     }
 | |
|   block_arg:
 | |
|     if (*p == '&') {
 | |
| 	f_block = 1;
 | |
| 	p++;
 | |
|     }
 | |
|     if (*p != '\0') {
 | |
| 	rb_fatal("bad scan arg format: %s", fmt);
 | |
|     }
 | |
|     n_mand = n_lead + n_trail;
 | |
| 
 | |
|     if (argc < n_mand)
 | |
| 	goto argc_error;
 | |
| 
 | |
|     va_start(vargs, fmt);
 | |
| 
 | |
|     /* capture leading mandatory arguments */
 | |
|     for (i = n_lead; i-- > 0; ) {
 | |
| 	var = va_arg(vargs, VALUE *);
 | |
| 	if (var) *var = argv[argi];
 | |
| 	argi++;
 | |
|     }
 | |
|     /* capture optional arguments */
 | |
|     for (i = n_opt; i-- > 0; ) {
 | |
| 	var = va_arg(vargs, VALUE *);
 | |
| 	if (argi < argc - n_trail) {
 | |
| 	    if (var) *var = argv[argi];
 | |
| 	    argi++;
 | |
| 	}
 | |
| 	else {
 | |
| 	    if (var) *var = Qnil;
 | |
| 	}
 | |
|     }
 | |
|     /* capture variable length arguments */
 | |
|     if (f_var) {
 | |
| 	int n_var = argc - argi - n_trail;
 | |
| 
 | |
| 	var = va_arg(vargs, VALUE *);
 | |
| 	if (0 < n_var) {
 | |
| 	    if (var) *var = rb_ary_new4(n_var, &argv[argi]);
 | |
| 	    argi += n_var;
 | |
| 	}
 | |
| 	else {
 | |
| 	    if (var) *var = rb_ary_new();
 | |
| 	}
 | |
|     }
 | |
|     /* capture trailing mandatory arguments */
 | |
|     for (i = n_trail; i-- > 0; ) {
 | |
| 	var = va_arg(vargs, VALUE *);
 | |
| 	if (var) *var = argv[argi];
 | |
| 	argi++;
 | |
|     }
 | |
|     /* capture iterator block */
 | |
|     if (f_block) {
 | |
| 	var = va_arg(vargs, VALUE *);
 | |
| 	if (rb_block_given_p()) {
 | |
| 	    *var = rb_block_proc();
 | |
| 	}
 | |
| 	else {
 | |
| 	    *var = Qnil;
 | |
| 	}
 | |
|     }
 | |
|     va_end(vargs);
 | |
| 
 | |
|     if (argi < argc)
 | |
| 	goto argc_error;
 | |
| 
 | |
|     return argc;
 | |
| 
 | |
|   argc_error:
 | |
|     if (0 < n_opt)
 | |
| 	rb_raise(rb_eArgError, "wrong number of arguments (%d for %d..%d%s)",
 | |
| 		 argc, n_mand, n_mand + n_opt, f_var ? "+" : "");
 | |
|     else
 | |
| 	rb_raise(rb_eArgError, "wrong number of arguments (%d for %d%s)",
 | |
| 		 argc, n_mand, f_var ? "+" : "");
 | |
| }
 | |
| 
 | |
| /*!
 | |
|  * \}
 | |
|  */
 |