xs-src/Mouse.xs

   1 #define  NEED_newSVpvn_flags_GLOBAL
   2 #include "mouse.h"
   3
   4 /* keywords for methods/keys */
   5 SV* mouse_package;
   6 SV* mouse_namespace;
   7 SV* mouse_methods;
   8 SV* mouse_name;
   9 SV* mouse_get_attribute;
  10 SV* mouse_get_attribute_list;
  11 SV* mouse_coerce;
  12
  13 #define MOUSE_xc_flags(a)       SvUVX(MOUSE_av_at((a), MOUSE_XC_FLAGS))
  14 #define MOUSE_xc_gen(a)         MOUSE_av_at((a), MOUSE_XC_GEN)
  15 #define MOUSE_xc_stash(a)       ( (HV*)MOUSE_av_at((a), MOUSE_XC_STASH) )
  16 #define MOUSE_xc_attrall(a)     ( (AV*)MOUSE_av_at((a), MOUSE_XC_ATTRALL) )
  17 #define MOUSE_xc_buildall(a)    ( (AV*)MOUSE_av_at((a), MOUSE_XC_BUILDALL) )
  18 #define MOUSE_xc_demolishall(a) ( (AV*)MOUSE_av_at((a), MOUSE_XC_DEMOLISHALL) )
  19
  20 enum mouse_xc_flags_t {
  21     MOUSEf_XC_IS_IMMUTABLE   = 0x0001,
  22     MOUSEf_XC_IS_ANON        = 0x0002,
  23     MOUSEf_XC_HAS_BUILDARGS  = 0x0004,
  24     MOUSEf_XC_CONSTRUCTOR_IS_STRICT
  25                              = 0x0008,
  26
  27     MOUSEf_XC_mask           = 0xFFFF /* not used */
  28 };
  29
  30 /* Mouse XS Metaclass object */
  31 enum mouse_xc_ix_t{
  32     MOUSE_XC_FLAGS,
  33
  34     MOUSE_XC_GEN,          /* class generation */
  35     MOUSE_XC_STASH,        /* symbol table hash */
  36
  37     MOUSE_XC_ATTRALL,      /* all the attributes */
  38     MOUSE_XC_BUILDALL,     /* all the BUILD methods */
  39     MOUSE_XC_DEMOLISHALL,  /* all the DEMOLISH methods */
  40
  41     MOUSE_XC_last
  42 };
  43
  44 enum mouse_modifier_t {
  45     MOUSE_M_BEFORE,
  46     MOUSE_M_AROUND,
  47     MOUSE_M_AFTER,
  48 };
  49
  50 static MGVTBL mouse_xc_vtbl; /* for identity */
  51
  52 HV*
  53 mouse_get_namespace(pTHX_ SV* const meta) {
  54     SV* const package = get_slot(meta, mouse_package);
  55     if(!(package && SvOK(package))){
  56         croak("No package name defined for metaclass");
  57     }
  58     return gv_stashsv(package, GV_ADDMULTI);
  59 }
  60
  61 static AV*
  62 mouse_calculate_all_attributes(pTHX_ SV* const metaclass) {
  63     SV* const avref = mcall0s(metaclass, "_calculate_all_attributes");
  64     if(!(SvROK(avref) && SvTYPE(SvRV(avref)) == SVt_PVAV)) {
  65         croak("$meta->_calculate_all_attributes did not return an ARRAY reference");
  66     }
  67     return (AV*)SvRV(avref);
  68 }
  69
  70 XS(XS_Mouse__Object_BUILDARGS); /* prototype */
  71
  72 static int
  73 mouse_class_has_custom_buildargs(pTHX_ HV* const stash) {
  74     GV* const buildargs = gv_fetchmeth_autoload(stash, "BUILDARGS", sizeof("BUILDARGS")-1, 0);
  75
  76     return buildargs && CvXSUB(GvCV(buildargs)) != XS_Mouse__Object_BUILDARGS;
  77 }
  78
  79 static void
  80 mouse_class_update_xc(pTHX_ SV* const metaclass PERL_UNUSED_DECL, HV* const stash, AV* const xc) {
  81     AV* const linearized_isa = mro_get_linear_isa(stash);
  82     I32 const len            = AvFILLp(linearized_isa) + 1;
  83     I32 i;
  84     U32 flags             = 0x00;
  85     AV* const buildall    = newAV();
  86     AV* const demolishall = newAV();
  87     AV* attrall;
  88
  89     ENTER;
  90     SAVETMPS;
  91
  92      /* old data will be delete at the end of the perl scope */
  93     av_delete(xc, MOUSE_XC_DEMOLISHALL, 0x00);
  94     av_delete(xc, MOUSE_XC_BUILDALL,    0x00);
  95     av_delete(xc, MOUSE_XC_ATTRALL,     0x00);
  96
  97     SvREFCNT_inc_simple_void_NN(linearized_isa);
  98     sv_2mortal((SV*)linearized_isa);
  99
 100     /* update */
 101
 102     av_store(xc, MOUSE_XC_BUILDALL,    (SV*)buildall);
 103     av_store(xc, MOUSE_XC_DEMOLISHALL, (SV*)demolishall);
 104
 105     attrall = mouse_calculate_all_attributes(aTHX_ metaclass);
 106     SvREFCNT_inc_simple_void_NN(attrall);
 107     av_store(xc, MOUSE_XC_ATTRALL,     (SV*)attrall);
 108
 109     if(predicate_calls(metaclass, "is_immutable")){
 110         flags |= MOUSEf_XC_IS_IMMUTABLE;
 111     }
 112
 113     if(predicate_calls(metaclass, "is_anon_class")){
 114         flags |= MOUSEf_XC_IS_ANON;
 115     }
 116
 117     if(mouse_class_has_custom_buildargs(aTHX_ stash)){
 118         flags |= MOUSEf_XC_HAS_BUILDARGS;
 119     }
 120
 121     if(predicate_calls(metaclass, "strict_constructor")){
 122         flags |= MOUSEf_XC_CONSTRUCTOR_IS_STRICT;
 123     }
 124
 125     av_store(xc, MOUSE_XC_FLAGS,       newSVuv(flags));
 126
 127     for(i = 0; i < len; i++){
 128         SV* const klass = MOUSE_av_at(linearized_isa, i);
 129         HV* const st    = gv_stashsv(klass, TRUE);
 130         GV* gv;
 131
 132         gv = stash_fetchs(st, "BUILD", FALSE);
 133         if(gv && GvCVu(gv)){
 134             av_unshift(buildall, 1);
 135             av_store(buildall, 0, newRV_inc((SV*)GvCV(gv)));
 136         }
 137
 138         gv = stash_fetchs(st, "DEMOLISH", FALSE);
 139         if(gv && GvCVu(gv)){
 140             av_push(demolishall, newRV_inc((SV*)GvCV(gv)));
 141         }
 142     }
 143
 144     FREETMPS;
 145     LEAVE;
 146
 147     sv_setuv(MOUSE_xc_gen(xc), mro_get_pkg_gen(stash));
 148 }
 149
 150 static AV*
 151 mouse_get_xc(pTHX_ SV* const metaclass) {
 152     AV* xc;
 153     SV* gen;
 154     HV* stash;
 155     MAGIC* mg;
 156
 157     if(!IsObject(metaclass)){
 158         croak("Not a Mouse metaclass");
 159     }
 160
 161     mg = mouse_mg_find(aTHX_ SvRV(metaclass), &mouse_xc_vtbl, 0x00);
 162     if(!mg){
 163         /* cache stash for performance */
 164         stash = mouse_get_namespace(aTHX_ metaclass);
 165         xc    = newAV();
 166
 167         mg = sv_magicext(SvRV(metaclass), (SV*)xc, PERL_MAGIC_ext,
 168             &mouse_xc_vtbl, NULL, 0);
 169         SvREFCNT_dec(xc); /* refcnt++ in sv_magicext */
 170
 171         av_extend(xc, MOUSE_XC_last - 1);
 172
 173         av_store(xc, MOUSE_XC_GEN, newSVuv(0U));
 174         av_store(xc, MOUSE_XC_STASH, (SV*)stash);
 175         SvREFCNT_inc_simple_void_NN(stash);
 176     }
 177     else{
 178         xc    = (AV*)MOUSE_mg_obj(mg);
 179
 180         assert(xc);
 181         assert(SvTYPE(xc) == SVt_PVAV);
 182     }
 183
 184     gen   = MOUSE_xc_gen(xc);
 185
 186     if(SvUVX(gen) != 0U && MOUSE_xc_flags(xc) & MOUSEf_XC_IS_IMMUTABLE){
 187         return xc;
 188     }
 189
 190     stash = MOUSE_xc_stash(xc);
 191
 192     if(SvUVX(gen) != mro_get_pkg_gen(stash)){
 193         mouse_class_update_xc(aTHX_ metaclass, stash, xc);
 194     }
 195
 196     return xc;
 197 }
 198
 199 static HV*
 200 mouse_buildargs(pTHX_ SV* metaclass, SV* const klass, I32 ax, I32 items) {
 201     HV* args;
 202
 203     /* shift @_ */
 204     ax++;
 205     items--;
 206
 207     if(items == 1){
 208         SV* const args_ref = ST(0);
 209         if(!IsHashRef(args_ref)){
 210             if(!metaclass){ metaclass = get_metaclass(klass); }
 211             mouse_throw_error(metaclass, NULL, "Single parameters to new() must be a HASH ref");
 212         }
 213         args = newHVhv((HV*)SvRV(args_ref));
 214         sv_2mortal((SV*)args);
 215     }
 216     else{
 217         I32 i;
 218
 219         if( (items % 2) != 0 ){
 220             if(!metaclass){ metaclass = get_metaclass(klass); }
 221             mouse_throw_error(metaclass, NULL, "Odd number of parameters to new()");
 222         }
 223
 224         args = newHV_mortal();
 225         for(i = 0; i < items; i += 2){
 226             (void)hv_store_ent(args, ST(i), newSVsv(ST(i+1)), 0U);
 227         }
 228
 229     }
 230     return args;
 231 }
 232
 233 static void
 234 mouse_report_unknown_args(pTHX_ SV* const meta, AV* const attrs, HV* const args) {
 235     HV* const attr_map = newHV_mortal();
 236     SV* const unknown  = newSVpvs_flags("", SVs_TEMP);
 237     I32 const len      = AvFILLp(attrs) + 1;
 238     I32 i;
 239     HE* he;
 240
 241     for(i = 0; i < len; i++){
 242         SV* const attr = MOUSE_av_at(attrs, i);
 243         AV* const xa   = mouse_get_xa(aTHX_ attr);
 244         SV* const init_arg = MOUSE_xa_init_arg(xa);
 245         if(SvOK(init_arg)){
 246             (void)hv_store_ent(attr_map, init_arg, &PL_sv_undef, 0U);
 247         }
 248     }
 249
 250     hv_iterinit(args);
 251     while((he = hv_iternext(args))){
 252         SV* const key = hv_iterkeysv(he);
 253         if(!hv_exists_ent(attr_map, key, 0U)){
 254             sv_catpvf(unknown, "%"SVf", ", key);
 255         }
 256     }
 257
 258     if(SvCUR(unknown) > 0){
 259         SvCUR(unknown) -= 2; /* chop "," */
 260     }
 261     else{
 262         sv_setpvs(unknown, "(unknown)");
 263     }
 264
 265     mouse_throw_error(meta, NULL,
 266         "Unknown attribute passed to the constructor of %"SVf": %"SVf,
 267         mcall0(meta, mouse_name), unknown);
 268 }
 269
 270
 271
 272 static void
 273 mouse_class_initialize_object(pTHX_ SV* const meta, SV* const object, HV* const args, bool const is_cloning) {
 274     AV* const xc    = mouse_get_xc(aTHX_ meta);
 275     AV* const attrs = MOUSE_xc_attrall(xc);
 276     I32 const len   = AvFILLp(attrs) + 1;
 277     I32 i;
 278     AV* triggers_queue = NULL;
 279     I32 used = 0;
 280
 281     assert(meta || object);
 282     assert(args);
 283     assert(SvTYPE(args) == SVt_PVHV);
 284
 285     if(mg_find((SV*)args, PERL_MAGIC_tied)){
 286         croak("You cannot use tied HASH reference as initializing arguments");
 287     }
 288
 289     /* for each attribute */
 290     for(i = 0; i < len; i++){
 291         SV* const attr = MOUSE_av_at(attrs, i);
 292         AV* const xa   = mouse_get_xa(aTHX_ attr);
 293
 294         SV* const slot     = MOUSE_xa_slot(xa);
 295         U16 const flags    = (U16)MOUSE_xa_flags(xa);
 296         SV* const init_arg = MOUSE_xa_init_arg(xa);
 297         HE* he;
 298
 299         if(SvOK(init_arg) && ( he = hv_fetch_ent(args, init_arg, FALSE, 0U) ) ){
 300             SV* value = HeVAL(he);
 301             if(flags & MOUSEf_ATTR_HAS_TC){
 302                 value = mouse_xa_apply_type_constraint(aTHX_ xa, value, flags);
 303             }
 304             value = set_slot(object, slot, value);
 305             if(SvROK(value) && flags & MOUSEf_ATTR_IS_WEAK_REF){
 306                 weaken_slot(object, slot);
 307             }
 308             if(flags & MOUSEf_ATTR_HAS_TRIGGER){
 309                 AV* const pair = newAV();
 310                 av_push(pair, newSVsv( mcall0s(attr, "trigger") ));
 311                 av_push(pair, newSVsv(value));
 312
 313                 if(!triggers_queue) {
 314                     triggers_queue = newAV_mortal();
 315                 }
 316                 av_push(triggers_queue, (SV*)pair);
 317             }
 318             used++;
 319         }
 320         else { /* no init arg */
 321             if(flags & (MOUSEf_ATTR_HAS_DEFAULT | MOUSEf_ATTR_HAS_BUILDER)){
 322                 /* skip if the object has the slot (it occurs on cloning/reblessing) */
 323                 if(!(flags & MOUSEf_ATTR_IS_LAZY) && !has_slot(object, slot)){
 324                     mouse_xa_set_default(aTHX_ xa, object);
 325                 }
 326             }
 327             /* don't check while cloning (or reblesseing) */
 328             else if(!is_cloning && flags & MOUSEf_ATTR_IS_REQUIRED) {
 329                 mouse_throw_error(attr, NULL, "Attribute (%"SVf") is required", slot);
 330             }
 331         }
 332     } /* for each attribute */
 333
 334     if(MOUSE_xc_flags(xc) & MOUSEf_XC_CONSTRUCTOR_IS_STRICT
 335             && used < (I32)HvUSEDKEYS(args)){
 336         mouse_report_unknown_args(aTHX_ meta, attrs, args);
 337     }
 338
 339     if(triggers_queue){
 340         I32 const len = AvFILLp(triggers_queue) + 1;
 341         for(i = 0; i < len; i++){
 342             AV* const pair    = (AV*)AvARRAY(triggers_queue)[i];
 343             SV* const trigger = AvARRAY(pair)[0];
 344             SV* const value   = AvARRAY(pair)[1];
 345
 346             mcall1(object, trigger, value);
 347         }
 348     }
 349
 350     if(MOUSE_xc_flags(xc) & MOUSEf_XC_IS_ANON){
 351         (void)set_slot(object, newSVpvs_flags("__METACLASS__", SVs_TEMP), meta);
 352     }
 353 }
 354
 355 STATIC_INLINE SV*
 356 mouse_initialize_metaclass(pTHX_ SV* const klass) {
 357     SV* const meta = get_metaclass(klass);
 358     if(LIKELY(SvOK(meta))){
 359         return meta;
 360     }
 361     return mcall1s(newSVpvs_flags("Mouse::Meta::Class", SVs_TEMP),
 362             "initialize", klass);
 363 }
 364
 365 static void
 366 mouse_buildall(pTHX_ AV* const xc, SV* const object, SV* const args) {
 367     AV* const buildall = MOUSE_xc_buildall(xc);
 368     I32 const len      = AvFILLp(buildall) + 1;
 369     I32 i;
 370     for(i = 0; i < len; i++){
 371         dSP;
 372
 373         PUSHMARK(SP);
 374         EXTEND(SP, 2);
 375         PUSHs(object);
 376         PUSHs(args);
 377         PUTBACK;
 378
 379         call_sv_safe(AvARRAY(buildall)[i], G_VOID);
 380
 381         /* discard a scalar which G_VOID returns */
 382         SPAGAIN;
 383         (void)POPs;
 384         PUTBACK;
 385     }
 386 }
 387
 388 static AV*
 389 mouse_get_modifier_storage(pTHX_
 390         SV* const meta,
 391         enum mouse_modifier_t const m, SV* const name) {
 392     static const char* const keys[] = {
 393         "before",
 394         "around",
 395         "after",
 396     };
 397     SV* const key = sv_2mortal(Perl_newSVpvf(aTHX_ "%s_method_modifiers", keys[m]));
 398     SV* table;
 399     SV* storage_ref;
 400
 401     must_defined(name, "a method name");
 402
 403     table = get_slot(meta, key);
 404
 405     if(!table){
 406         /* $meta->{$key} = {} */
 407         table = sv_2mortal(newRV_noinc((SV*)newHV()));
 408         set_slot(meta, key, table);
 409     }
 410
 411     storage_ref = get_slot(table, name);
 412
 413     if(!storage_ref){
 414         storage_ref = sv_2mortal(newRV_noinc((SV*)newAV()));
 415         set_slot(table, name, storage_ref);
 416     }
 417     else{
 418         if(!IsArrayRef(storage_ref)){
 419             croak("Modifier strorage for '%s' is not an ARRAY reference", keys[m]);
 420         }
 421     }
 422
 423     return (AV*)SvRV(storage_ref);
 424 }
 425
 426 static void
 427 XS_Mouse_value_holder(pTHX_ CV* const cv PERL_UNUSED_DECL) {
 428     dVAR; dXSARGS;
 429     SV* const value = (SV*)XSANY.any_ptr;
 430     assert(value);
 431     PERL_UNUSED_VAR(items);
 432     ST(0) = value;
 433     XSRETURN(1);
 434 }
 435
 436 DECL_BOOT(Mouse__Util);
 437 DECL_BOOT(Mouse__Util__TypeConstraints);
 438 DECL_BOOT(Mouse__Meta__Method__Accessor__XS);
 439 DECL_BOOT(Mouse__Meta__Attribute);
 440
 441 MODULE = Mouse  PACKAGE = Mouse
 442
 443 PROTOTYPES: DISABLE
 444
 445 BOOT:
 446 {
 447     mouse_package   = newSVpvs_share("package");
 448     mouse_namespace = newSVpvs_share("namespace");
 449     mouse_methods   = newSVpvs_share("methods");
 450     mouse_name      = newSVpvs_share("name");
 451     mouse_coerce    = newSVpvs_share("coerce");
 452
 453     mouse_get_attribute      = newSVpvs_share("get_attribute");
 454     mouse_get_attribute_list = newSVpvs_share("get_attribute_list");
 455
 456     CALL_BOOT(Mouse__Util);
 457     CALL_BOOT(Mouse__Util__TypeConstraints);
 458     CALL_BOOT(Mouse__Meta__Method__Accessor__XS);
 459     CALL_BOOT(Mouse__Meta__Attribute);
 460 }
 461
 462 MODULE = Mouse  PACKAGE = Mouse::Meta::Module
 463
 464 BOOT:
 465     INSTALL_SIMPLE_READER_WITH_KEY(Module, name, package);
 466     INSTALL_SIMPLE_READER_WITH_KEY(Module, _method_map, methods);
 467     INSTALL_SIMPLE_READER_WITH_KEY(Module, _attribute_map, attributes);
 468
 469 HV*
 470 namespace(SV* self)
 471 CODE:
 472 {
 473     RETVAL = mouse_get_namespace(aTHX_ self);
 474 }
 475 OUTPUT:
 476     RETVAL
 477
 478 # ignore extra arguments for extensibility
 479 void
 480 add_method(SV* self, SV* name, SV* code, ...)
 481 CODE:
 482 {
 483     SV* const package = get_slot(self, mouse_package); /* $self->{package} */
 484     SV* const methods = get_slot(self, mouse_methods); /* $self->{methods} */
 485     GV* gv;
 486     SV* code_ref;
 487
 488     if(!(package && SvOK(package))){
 489         croak("No package name defined");
 490     }
 491
 492     must_defined(name, "a method name");
 493     must_ref    (code, "a CODE reference", SVt_NULL); /* any reftype is OK */
 494
 495     code_ref = code;
 496     if(SvTYPE(SvRV(code_ref)) != SVt_PVCV){
 497         SV*  sv = code_ref;  /* used in tryAMAGICunDEREF */
 498         SV** sp = &sv;       /* used in tryAMAGICunDEREF */
 499         tryAMAGICunDEREF(to_cv); /* try \&{$code} */
 500         must_ref(code, "a CODE reference", SVt_PVCV);
 501         code_ref = sv;
 502     }
 503
 504     /*  *{$package . '::' . $name} -> *gv */
 505     gv = gv_fetchpv(form("%"SVf"::%"SVf, package, name), GV_ADDMULTI, SVt_PVCV);
 506     mouse_install_sub(aTHX_ gv, code_ref);
 507     //CvMETHOD_on((CV*)SvRV(code_ref));
 508     (void)set_slot(methods, name, code); /* $self->{methods}{$name} = $code */
 509 }
 510
 511 MODULE = Mouse  PACKAGE = Mouse::Meta::Class
 512
 513 BOOT:
 514 {
 515     CV* xsub;
 516
 517     INSTALL_SIMPLE_READER(Class, roles);
 518     INSTALL_SIMPLE_PREDICATE_WITH_KEY(Class, is_anon_class, anon_serial_id);
 519     INSTALL_SIMPLE_READER(Class, is_immutable);
 520
 521     INSTALL_INHERITABLE_CLASS_ACCESSOR(strict_constructor);
 522
 523     INSTALL_CLASS_HOLDER(Class, method_metaclass,     "Mouse::Meta::Method");
 524     INSTALL_CLASS_HOLDER(Class, attribute_metaclass,  "Mouse::Meta::Attribute");
 525     INSTALL_CLASS_HOLDER(Class, constructor_class,    "Mouse::Meta::Method::Constructor::XS");
 526     INSTALL_CLASS_HOLDER(Class, destructor_class,     "Mouse::Meta::Method::Destructor::XS");
 527
 528     xsub = newXS("Mouse::Meta::Method::Constructor::XS::_generate_constructor",
 529         XS_Mouse_value_holder, file);
 530     CvXSUBANY(xsub).any_ptr
 531         = newRV_inc((SV*)get_cvs("Mouse::Object::new", GV_ADD));
 532
 533     xsub = newXS("Mouse::Meta::Method::Destructor::XS::_generate_destructor",
 534         XS_Mouse_value_holder, file);
 535     CvXSUBANY(xsub).any_ptr
 536         = newRV_inc((SV*)get_cvs("Mouse::Object::DESTROY", GV_ADD));
 537 }
 538
 539
 540 void
 541 linearized_isa(SV* self)
 542 PPCODE:
 543 {
 544     /* MOUSE_xc_stash() is not available because the xc system depends on
 545        linearized_isa() */
 546     HV* const stash          = mouse_get_namespace(aTHX_ self);
 547     AV* const linearized_isa = mro_get_linear_isa(stash);
 548     I32 len;
 549     I32 i;
 550     len = AvFILLp(linearized_isa) + 1;
 551     EXTEND(SP, len);
 552     for(i = 0; i < len; i++){
 553         PUSHs(AvARRAY(linearized_isa)[i]);
 554     }
 555 }
 556
 557 void
 558 get_all_attributes(SV* self)
 559 PPCODE:
 560 {
 561     AV* const xc        = mouse_get_xc(aTHX_ self);
 562     AV* const all_attrs = MOUSE_xc_attrall(xc);
 563     I32 const len       = AvFILLp(all_attrs) + 1;
 564     I32 i;
 565
 566     EXTEND(SP, len);
 567     for(i = 0; i < len; i++){
 568         PUSHs( MOUSE_av_at(all_attrs, i) );
 569     }
 570 }
 571
 572 void
 573 new_object(SV* meta, ...)
 574 CODE:
 575 {
 576     AV* const xc   = mouse_get_xc(aTHX_ meta);
 577     HV* const args = mouse_buildargs(aTHX_ meta, NULL, ax, items);
 578     SV* object;
 579
 580     object = mouse_instance_create(aTHX_ MOUSE_xc_stash(xc));
 581     mouse_class_initialize_object(aTHX_ meta, object, args, FALSE);
 582     mouse_buildall(aTHX_ xc, object, sv_2mortal(newRV_inc((SV*)args))); /* BUILDALL */
 583     ST(0) = object; /* because object is mortal, we should return it as is */
 584     XSRETURN(1);
 585 }
 586
 587 void
 588 clone_object(SV* meta, SV* object, ...)
 589 CODE:
 590 {
 591     AV* const xc   = mouse_get_xc(aTHX_ meta);
 592     HV* const args = mouse_buildargs(aTHX_ meta, NULL, ax + 1, items - 1);
 593     SV* proto;
 594
 595     if(!mouse_is_an_instance_of(aTHX_ MOUSE_xc_stash(xc), object)) {
 596         mouse_throw_error(meta, object,
 597             "You must pass an instance of the metaclass (%"SVf"), not (%"SVf")",
 598             mcall0(meta, mouse_name), object);
 599     }
 600
 601     proto = mouse_instance_clone(aTHX_ object);
 602     mouse_class_initialize_object(aTHX_ meta, proto, args, TRUE);
 603     ST(0) = proto; /* because object is mortal, we should return it as is */
 604     XSRETURN(1);
 605 }
 606
 607 void
 608 _initialize_object(SV* meta, SV* object, HV* args, bool is_cloning = FALSE)
 609 CODE:
 610 {
 611     mouse_class_initialize_object(aTHX_ meta, object, args, is_cloning);
 612 }
 613
 614 MODULE = Mouse  PACKAGE = Mouse::Meta::Role
 615
 616 BOOT:
 617     INSTALL_SIMPLE_READER_WITH_KEY(Role, get_roles, roles);
 618     INSTALL_SIMPLE_PREDICATE_WITH_KEY(Role, is_anon_role, anon_serial_id);
 619
 620     INSTALL_CLASS_HOLDER(Role, method_metaclass,  "Mouse::Meta::Role::Method");
 621
 622 void
 623 add_before_modifier(SV* self, SV* name, SV* modifier)
 624 CODE:
 625 {
 626     av_push(mouse_get_modifier_storage(aTHX_ self, (enum mouse_modifier_t)ix, name), newSVsv(modifier));
 627 }
 628 ALIAS:
 629     add_before_method_modifier = MOUSE_M_BEFORE
 630     add_around_method_modifier = MOUSE_M_AROUND
 631     add_after_method_modifier  = MOUSE_M_AFTER
 632
 633 void
 634 get_before_modifiers(SV* self, SV* name)
 635 ALIAS:
 636     get_before_method_modifiers = MOUSE_M_BEFORE
 637     get_around_method_modifiers = MOUSE_M_AROUND
 638     get_after_method_modifiers  = MOUSE_M_AFTER
 639 PPCODE:
 640 {
 641     AV* const storage = mouse_get_modifier_storage(aTHX_ self, (enum mouse_modifier_t)ix, name);
 642     I32 const len     = av_len(storage) + 1;
 643     if(GIMME_V == G_ARRAY) {
 644         I32 i;
 645         EXTEND(SP, len);
 646         for(i = 0; i < len; i++){
 647             PUSHs(*av_fetch(storage, i, TRUE));
 648         }
 649     }
 650     else{
 651         mPUSHi(len);
 652     }
 653 }
 654
 655 void
 656 add_metaclass_accessor(SV* self, SV* name)
 657 CODE:
 658 {
 659     SV* const klass = mcall0(self, mouse_name);
 660     const char* fq_name = form("%"SVf"::%"SVf, klass, name);
 661     STRLEN keylen;
 662     const char* const key = SvPV_const(name, keylen);
 663     mouse_simple_accessor_generate(aTHX_ fq_name, key, keylen,
 664         XS_Mouse_inheritable_class_accessor, NULL, 0);
 665 }
 666
 667 MODULE = Mouse  PACKAGE = Mouse::Object
 668
 669 void
 670 new(SV* klass, ...)
 671 CODE:
 672 {
 673     SV* const meta = mouse_initialize_metaclass(aTHX_ klass);
 674     AV* const xc   = mouse_get_xc(aTHX_ meta);
 675     UV const flags = MOUSE_xc_flags(xc);
 676     SV* args;
 677     SV* object;
 678
 679     /* BUILDARGS */
 680     if(flags & MOUSEf_XC_HAS_BUILDARGS){
 681         I32 i;
 682         SPAGAIN;
 683
 684         PUSHMARK(SP);
 685         EXTEND(SP, items);
 686         for(i = 0; i < items; i++){
 687             PUSHs(ST(i));
 688         }
 689
 690         PUTBACK;
 691         call_method_safes("BUILDARGS", G_SCALAR);
 692
 693         SPAGAIN;
 694         args = POPs;
 695         PUTBACK;
 696
 697         if(!IsHashRef(args)){
 698             croak("BUILDARGS did not return a HASH reference");
 699         }
 700     }
 701     else{
 702         args = newRV_inc((SV*)mouse_buildargs(aTHX_ meta, klass, ax, items));
 703         sv_2mortal(args);
 704     }
 705
 706     /* new_object */
 707     object = mouse_instance_create(aTHX_ MOUSE_xc_stash(xc));
 708     mouse_class_initialize_object(aTHX_ meta, object, (HV*)SvRV(args), FALSE);
 709     mouse_buildall(aTHX_ xc, object, args); /* BUILDALL */
 710     ST(0) = object; /* because object is mortal, we should return it as is */
 711     XSRETURN(1);
 712 }
 713
 714 void
 715 DESTROY(SV* object)
 716 ALIAS:
 717     DESTROY     = 0
 718     DEMOLISHALL = 1
 719 CODE:
 720 {
 721     SV* const meta = get_metaclass(object);
 722     AV* demolishall;
 723     I32 len, i;
 724
 725     if(!IsObject(object)){
 726         croak("You must not call %s as a class method",
 727             ix == 0 ? "DESTROY" : "DEMOLISHALL");
 728     }
 729
 730     if(SvOK(meta)){
 731         AV* const xc = mouse_get_xc(aTHX_ meta);
 732
 733         demolishall = MOUSE_xc_demolishall(xc);
 734     }
 735     else { /* The metaclass is already destroyed */
 736         AV* const linearized_isa = mro_get_linear_isa(SvSTASH(SvRV(object)));
 737
 738         len = AvFILLp(linearized_isa) + 1;
 739
 740         demolishall = newAV_mortal();
 741         for(i = 0; i < len; i++){
 742             SV* const klass = MOUSE_av_at(linearized_isa, i);
 743             HV* const st    = gv_stashsv(klass, TRUE);
 744             GV* const gv    = stash_fetchs(st, "DEMOLISH", FALSE);
 745             if(gv && GvCVu(gv)){
 746                 av_push(demolishall, newRV_inc((SV*)GvCV(gv)));
 747             }
 748         }
 749     }
 750
 751     len      = AvFILLp(demolishall) + 1;
 752     if(len > 0){
 753         SV* const in_global_destruction = boolSV(PL_dirty);
 754         SAVEI32(PL_statusvalue); /* local $? */
 755         PL_statusvalue = 0;
 756
 757         SAVESPTR(ERRSV); /* local $@ */
 758         ERRSV = sv_newmortal();
 759
 760         EXTEND(SP, 2);
 761
 762         for(i = 0; i < len; i++){
 763             SPAGAIN;
 764
 765             PUSHMARK(SP);
 766             PUSHs(object);
 767             PUSHs(in_global_destruction);
 768             PUTBACK;
 769
 770             call_sv(AvARRAY(demolishall)[i], G_VOID | G_EVAL);
 771
 772             /* discard a scalar which G_VOID returns */
 773             SPAGAIN;
 774             (void)POPs;
 775             PUTBACK;
 776
 777             if(sv_true(ERRSV)){
 778                 SV* const e = newSVsv(ERRSV);
 779
 780                 FREETMPS;
 781                 LEAVE;
 782
 783                 sv_setsv(ERRSV, e);
 784                 SvREFCNT_dec(e);
 785                 croak(NULL); /* rethrow */
 786             }
 787         }
 788     }
 789 }
 790
 791 HV*
 792 BUILDARGS(SV* klass, ...)
 793 CODE:
 794 {
 795     RETVAL = mouse_buildargs(aTHX_ NULL, klass, ax, items);
 796 }
 797 OUTPUT:
 798     RETVAL
 799
 800
 801 void
 802 BUILDALL(SV* self, SV* args)
 803 CODE:
 804 {
 805     SV* const meta = get_metaclass(self);
 806     AV* const xc   = mouse_get_xc(aTHX_ meta);
 807
 808     must_ref(args, "a HASH reference to BUILDALL", SVt_PVHV);
 809     mouse_buildall(aTHX_ xc, self, args);
 810 }