#define NEED_newSVpvn_flags_GLOBAL
#include "mouse.h"
+/* keywords for methods/keys */
SV* mouse_package;
SV* mouse_namespace;
SV* mouse_methods;
SV* mouse_name;
SV* mouse_get_attribute;
SV* mouse_get_attribute_list;
+SV* mouse_coerce;
#define MOUSE_xc_flags(a) SvUVX(MOUSE_av_at((a), MOUSE_XC_FLAGS))
#define MOUSE_xc_gen(a) MOUSE_av_at((a), MOUSE_XC_GEN)
MOUSEf_XC_IS_IMMUTABLE = 0x0001,
MOUSEf_XC_IS_ANON = 0x0002,
MOUSEf_XC_HAS_BUILDARGS = 0x0004,
+ MOUSEf_XC_CONSTRUCTOR_IS_STRICT
+ = 0x0008,
MOUSEf_XC_mask = 0xFFFF /* not used */
};
MOUSE_XC_last
};
+enum mouse_modifier_t {
+ MOUSE_M_BEFORE,
+ MOUSE_M_AROUND,
+ MOUSE_M_AFTER,
+};
+
static MGVTBL mouse_xc_vtbl; /* for identity */
static void
flags |= MOUSEf_XC_HAS_BUILDARGS;
}
+ if(predicate_calls(metaclass, "__strict_constructor")){
+ flags |= MOUSEf_XC_CONSTRUCTOR_IS_STRICT;
+ }
+
av_store(xc, MOUSE_XC_FLAGS, newSVuv(flags));
av_store(xc, MOUSE_XC_ATTRALL, (SV*)attrall);
av_store(xc, MOUSE_XC_BUILDALL, (SV*)buildall);
sv_setuv(MOUSE_xc_gen(xc), mro_get_pkg_gen(stash));
}
-AV*
+static AV*
mouse_get_xc(pTHX_ SV* const metaclass) {
AV* xc;
SV* gen;
av_extend(xc, MOUSE_XC_last - 1);
- av_store(xc, MOUSE_XC_GEN, newSViv(0));
+ av_store(xc, MOUSE_XC_GEN, newSVuv(0U));
av_store(xc, MOUSE_XC_STASH, (SV*)stash);
SvREFCNT_inc_simple_void_NN(stash);
}
gen = MOUSE_xc_gen(xc);
+
+ if(SvUVX(gen) != 0U && MOUSE_xc_flags(xc) & MOUSEf_XC_IS_IMMUTABLE){
+ return xc;
+ }
+
stash = MOUSE_xc_stash(xc);
- if(SvUV(gen) != mro_get_pkg_gen(stash)){
+ if(SvUVX(gen) != mro_get_pkg_gen(stash)){
mouse_class_update_xc(aTHX_ metaclass, stash, xc);
}
return xc;
}
-HV*
+static HV*
mouse_buildargs(pTHX_ SV* metaclass, SV* const klass, I32 ax, I32 items) {
HV* args;
return args;
}
-void
+static void
+mouse_report_unknown_args(pTHX_ SV* const meta, AV* const attrs, HV* const args) {
+ HV* const attr_map = newHV_mortal();
+ SV* const unknown = newSVpvs_flags("", SVs_TEMP);
+ I32 const len = AvFILLp(attrs) + 1;
+ I32 i;
+ HE* he;
+
+ for(i = 0; i < len; i++){
+ SV* const attr = MOUSE_av_at(attrs, i);
+ AV* const xa = mouse_get_xa(aTHX_ attr);
+ SV* const init_arg = MOUSE_xa_init_arg(xa);
+ if(SvOK(init_arg)){
+ (void)hv_store_ent(attr_map, init_arg, &PL_sv_undef, 0U);
+ }
+ }
+
+ hv_iterinit(args);
+ while((he = hv_iternext(args))){
+ SV* const key = hv_iterkeysv(he);
+ if(!hv_exists_ent(attr_map, key, 0U)){
+ sv_catpvf(unknown, "%"SVf", ", key);
+ }
+ }
+
+ if(SvCUR(unknown) > 0){
+ SvCUR(unknown) -= 2; /* chop "," */
+ }
+ else{
+ sv_setpvs(unknown, "(unknown)");
+ }
+
+ mouse_throw_error(meta, NULL,
+ "Unknown attribute passed to the constructor of %"SVf": %"SVf,
+ mcall0(meta, mouse_name), unknown);
+}
+
+
+
+static void
mouse_class_initialize_object(pTHX_ SV* const meta, SV* const object, HV* const args, bool const ignore_triggers) {
AV* const xc = mouse_get_xc(aTHX_ meta);
AV* const attrs = MOUSE_xc_attrall(xc);
I32 len = AvFILLp(attrs) + 1;
I32 i;
AV* triggers_queue = NULL;
+ I32 used = 0;
assert(meta || object);
assert(args);
assert(SvTYPE(args) == SVt_PVHV);
- ENTER;
- SAVETMPS;
+ if(mg_find((SV*)args, PERL_MAGIC_tied)){
+ croak("You cannot use tied HASH reference as initializing arguments");
+ }
if(!ignore_triggers){
triggers_queue = newAV_mortal();
}
+ /* for each attribute */
for(i = 0; i < len; i++){
- SV* const attr = AvARRAY(attrs)[i];
- AV* const xa = mouse_get_xa(aTHX_ AvARRAY(attrs)[i]);
+ SV* const attr = MOUSE_av_at(attrs, i);
+ AV* const xa = mouse_get_xa(aTHX_ attr);
SV* const slot = MOUSE_xa_slot(xa);
U16 const flags = (U16)MOUSE_xa_flags(xa);
if(flags & MOUSEf_ATTR_HAS_TC){
value = mouse_xa_apply_type_constraint(aTHX_ xa, value, flags);
}
- set_slot(object, slot, value);
+ value = set_slot(object, slot, value);
if(SvROK(value) && flags & MOUSEf_ATTR_IS_WEAK_REF){
weaken_slot(object, slot);
}
av_push(triggers_queue, (SV*)pair);
}
+ used++;
}
else { /* no init arg */
if(flags & (MOUSEf_ATTR_HAS_DEFAULT | MOUSEf_ATTR_HAS_BUILDER)){
mouse_throw_error(attr, NULL, "Attribute (%"SVf") is required", slot);
}
}
- } /* for each attributes */
+ } /* for each attribute */
+
+ if(MOUSE_xc_flags(xc) & MOUSEf_XC_CONSTRUCTOR_IS_STRICT && used < HvUSEDKEYS(args)){
+ mouse_report_unknown_args(aTHX_ meta, attrs, args);
+ }
if(triggers_queue){
len = AvFILLp(triggers_queue) + 1;
}
if(MOUSE_xc_flags(xc) & MOUSEf_XC_IS_ANON){
- set_slot(object, newSVpvs_flags("__ANON__", SVs_TEMP), meta);
+ (void)set_slot(object, newSVpvs_flags("__METACLASS__", SVs_TEMP), meta);
}
- FREETMPS;
- LEAVE;
+}
+
+static SV*
+mouse_initialize_metaclass(pTHX_ SV* const klass) {
+ SV* meta = get_metaclass(klass);
+
+ if(!SvOK(meta)){
+ meta = mcall1s(newSVpvs_flags("Mouse::Meta::Class", SVs_TEMP), "initialize", klass);
+ }
+
+ return meta;
+}
+
+static void
+mouse_buildall(pTHX_ AV* const xc, SV* const object, SV* const args) {
+ AV* const buildall = MOUSE_xc_buildall(xc);
+ I32 const len = AvFILLp(buildall) + 1;
+ I32 i;
+ for(i = 0; i < len; i++){
+ dSP;
+
+ PUSHMARK(SP);
+ EXTEND(SP, 2);
+ PUSHs(object);
+ PUSHs(args);
+ PUTBACK;
+
+ call_sv_safe(AvARRAY(buildall)[i], G_VOID);
+
+ /* discard a scalar which G_VOID returns */
+ SPAGAIN;
+ (void)POPs;
+ PUTBACK;
+ }
+}
+
+static AV*
+mouse_get_modifier_storage(pTHX_
+ SV* const meta,
+ enum mouse_modifier_t const m, SV* const name) {
+ static const char* const keys[] = {
+ "before",
+ "around",
+ "after",
+ };
+ SV* const key = sv_2mortal(Perl_newSVpvf(aTHX_ "%s_method_modifiers", keys[m]));
+ SV* table;
+ SV* storage_ref;
+
+ must_defined(name, "a method name");
+
+ table = get_slot(meta, key);
+
+ if(!table){
+ /* $meta->{$key} = {} */
+ table = sv_2mortal(newRV_noinc((SV*)newHV()));
+ set_slot(meta, key, table);
+ }
+
+ storage_ref = get_slot(table, name);
+
+ if(!storage_ref){
+ storage_ref = sv_2mortal(newRV_noinc((SV*)newAV()));
+ set_slot(table, name, storage_ref);
+ }
+ else{
+ if(!IsArrayRef(storage_ref)){
+ croak("Modifier strorage for '%s' is not an ARRAY reference", keys[m]);
+ }
+ }
+
+ return (AV*)SvRV(storage_ref);
}
MODULE = Mouse PACKAGE = Mouse
mouse_namespace = newSVpvs_share("namespace");
mouse_methods = newSVpvs_share("methods");
mouse_name = newSVpvs_share("name");
+ mouse_coerce = newSVpvs_share("coerce");
mouse_get_attribute = newSVpvs_share("get_attribute");
mouse_get_attribute_list = newSVpvs_share("get_attribute_list");
croak("No package name defined");
}
- SvGETMAGIC(name);
- SvGETMAGIC(code);
-
- if(!SvOK(name)){
- mouse_throw_error(self, NULL, "You must define a method name");
- }
- if(!SvROK(code)){
- mouse_throw_error(self, NULL, "You must define a CODE reference");
- }
+ must_defined(name, "a method name");
+ must_ref (code, "a CODE reference", SVt_NULL); /* any reftype is OK */
code_ref = code;
if(SvTYPE(SvRV(code_ref)) != SVt_PVCV){
SV* sv = code_ref; /* used in tryAMAGICunDEREF */
SV** sp = &sv; /* used in tryAMAGICunDEREF */
tryAMAGICunDEREF(to_cv); /* try \&{$code} */
- if(SvROK(sv) && SvTYPE(SvRV(sv)) == SVt_PVCV){
- mouse_throw_error(self, NULL, "Not a CODE reference");
- }
+ must_ref(code, "a CODE reference", SVt_PVCV);
code_ref = sv;
}
/* *{$package . '::' . $name} -> *gv */
gv = gv_fetchpv(form("%"SVf"::%"SVf, package, name), GV_ADDMULTI, SVt_PVCV);
- if(GvCVu(gv)){ /* delete *slot{gv} to work around "redefine" warning */
- SvREFCNT_dec(GvCV(gv));
- GvCV(gv) = NULL;
- }
- sv_setsv_mg((SV*)gv, code_ref); /* *gv = $code_ref */
-
- set_slot(methods, name, code); /* $self->{methods}{$name} = $code */
-
- /* TODO: name the CODE ref if it's anonymous */
- //code_entity = (CV*)SvRV(code_ref);
- //if(CvANON(code_entity)
- // && CvGV(code_entity) /* a cv under construction has no gv */ ){
-
- // CvGV(code_entity) = gv;
- // CvANON_off(code_entity);
- //}
+ mouse_install_sub(aTHX_ gv, code_ref);
+ //CvMETHOD_on((CV*)SvRV(code_ref));
+ (void)set_slot(methods, name, code); /* $self->{methods}{$name} = $code */
}
MODULE = Mouse PACKAGE = Mouse::Meta::Class
BOOT:
INSTALL_SIMPLE_READER(Class, roles);
INSTALL_SIMPLE_PREDICATE_WITH_KEY(Class, is_anon_class, anon_serial_id);
- newCONSTSUB(gv_stashpvs("Mouse::Meta::Class", TRUE), "constructor_class",
- newSVpvs("Mouse::Meta::Method::Constructor::XS"));
+ INSTALL_SIMPLE_READER(Class, is_immutable);
+ INSTALL_SIMPLE_READER_WITH_KEY(Class, __strict_constructor, strict_constructor);
+
+ INSTALL_CLASS_HOLDER(Class, method_metaclass, "Mouse::Meta::Method");
+ INSTALL_CLASS_HOLDER(Class, attribute_metaclass, "Mouse::Meta::Attribute");
+ INSTALL_CLASS_HOLDER(Class, constructor_class, "Mouse::Meta::Method::Constructor::XS");
+ INSTALL_CLASS_HOLDER(Class, destructor_class, "Mouse::Meta::Method::Destructor::XS");
+
+ newCONSTSUB(gv_stashpvs("Mouse::Meta::Method::Constructor::XS", TRUE), "_generate_constructor",
+ newRV_inc((SV*)get_cvs("Mouse::Object::new", TRUE)));
+ newCONSTSUB(gv_stashpvs("Mouse::Meta::Method::Destructor::XS", TRUE), "_generate_destructor",
+ newRV_inc((SV*)get_cvs("Mouse::Object::DESTROY", TRUE)));
+
void
linearized_isa(SV* self)
PPCODE:
{
AV* const xc = mouse_get_xc(aTHX_ self);
- AV* const all_attrs = MOUSE_xc_attrall(xc);
+ AV* const all_attrs = MOUSE_xc_attrall(xc);
I32 const len = AvFILLp(all_attrs) + 1;
I32 i;
}
SV*
-new_object_(SV* meta, ...)
+new_object(SV* meta, ...)
CODE:
{
AV* const xc = mouse_get_xc(aTHX_ meta);
RETVAL = mouse_instance_create(aTHX_ MOUSE_xc_stash(xc));
mouse_class_initialize_object(aTHX_ meta, RETVAL, args, FALSE);
}
-
+OUTPUT:
+ RETVAL
void
_initialize_object(SV* meta, SV* object, HV* args, bool ignore_triggers = FALSE)
mouse_class_initialize_object(aTHX_ meta, object, args, ignore_triggers);
}
-void
-__xc(SV* meta)
-PPCODE:
-{
- AV* const xc = mouse_get_xc(aTHX_ meta);
- mXPUSHu(MOUSE_xc_flags(xc));
- mXPUSHs(newRV_inc((SV*)MOUSE_xc_buildall(xc)));
- mXPUSHs(newRV_inc((SV*)MOUSE_xc_demolishall(xc)));
-}
-
MODULE = Mouse PACKAGE = Mouse::Meta::Role
BOOT:
INSTALL_SIMPLE_READER_WITH_KEY(Role, get_roles, roles);
INSTALL_SIMPLE_PREDICATE_WITH_KEY(Role, is_anon_role, anon_serial_id);
+ INSTALL_CLASS_HOLDER(Role, method_metaclass, "Mouse::Meta::Role::Method");
+
+void
+add_before_modifier(SV* self, SV* name, SV* modifier)
+CODE:
+{
+ av_push(mouse_get_modifier_storage(aTHX_ self, ix, name), newSVsv(modifier));
+}
+ALIAS:
+ add_before_method_modifier = MOUSE_M_BEFORE
+ add_around_method_modifier = MOUSE_M_AROUND
+ add_after_method_modifier = MOUSE_M_AFTER
+
+void
+get_before_modifiers(SV* self, SV* name)
+ALIAS:
+ get_before_method_modifiers = MOUSE_M_BEFORE
+ get_around_method_modifiers = MOUSE_M_AROUND
+ get_after_method_modifiers = MOUSE_M_AFTER
+PPCODE:
+{
+ AV* const storage = mouse_get_modifier_storage(aTHX_ self, ix, name);
+ I32 const len = av_len(storage) + 1;
+ if(GIMME_V == G_ARRAY) {
+ I32 i;
+ EXTEND(SP, len);
+ for(i = 0; i < len; i++){
+ PUSHs(*av_fetch(storage, i, TRUE));
+ }
+ }
+ else{
+ mPUSHi(len);
+ }
+}
+
MODULE = Mouse PACKAGE = Mouse::Object
SV*
new(SV* klass, ...)
CODE:
{
- SV* const meta = get_metaclass(klass);
+ SV* const meta = mouse_initialize_metaclass(aTHX_ klass);
AV* const xc = mouse_get_xc(aTHX_ meta);
UV const flags = MOUSE_xc_flags(xc);
SV* args;
- AV* av;
- I32 len, i;
/* BUILDARGS */
if(flags & MOUSEf_XC_HAS_BUILDARGS){
+ I32 i;
SPAGAIN;
PUSHMARK(SP);
for(i = 0; i < items; i++){
PUSHs(ST(i));
}
- //SP += items;
+
PUTBACK;
- call_method("BUILDARGS", G_SCALAR);
+ call_method_safes("BUILDARGS", G_SCALAR);
+
SPAGAIN;
args = POPs;
PUTBACK;
RETVAL = mouse_instance_create(aTHX_ MOUSE_xc_stash(xc));
mouse_class_initialize_object(aTHX_ meta, RETVAL, (HV*)SvRV(args), FALSE);
- /* BUILDALL */
- av = MOUSE_xc_buildall(xc);
- len = AvFILLp(av) + 1;
- for(i = 0; i < len; i++){
- dSP;
+ mouse_buildall(aTHX_ xc, RETVAL, args);
+}
+OUTPUT:
+ RETVAL
+
+void
+DESTROY(SV* object)
+ALIAS:
+ DESTROY = 0
+ DEMOLISHALL = 1
+CODE:
+{
+ SV* const meta = get_metaclass(object);
+ AV* demolishall;
+ I32 len, i;
+
+ if(!IsObject(object)){
+ croak("You must not call %s as a class method",
+ ix == 0 ? "DESTROY" : "DEMOLISHALL");
+ }
+
+ if(SvOK(meta)){
+ AV* const xc = mouse_get_xc(aTHX_ meta);
+
+ demolishall = MOUSE_xc_demolishall(xc);
+ }
+ else { /* The metaclass is already destroyed */
+ AV* const linearized_isa = mro_get_linear_isa(SvSTASH(SvRV(object)));
+
+ len = AvFILLp(linearized_isa) + 1;
+
+ demolishall = newAV_mortal();
+ for(i = 0; i < len; i++){
+ SV* const klass = MOUSE_av_at(linearized_isa, i);
+ HV* const st = gv_stashsv(klass, TRUE);
+ GV* const gv = stash_fetchs(st, "DEMOLISH", FALSE);
+ if(gv && GvCVu(gv)){
+ av_push(demolishall, newRV_inc((SV*)GvCV(gv)));
+ }
+ }
+ }
+
+ len = AvFILLp(demolishall) + 1;
+ if(len > 0){
+ SV* const in_global_destruction = boolSV(PL_dirty);
+ SAVEI32(PL_statusvalue); /* local $? */
+ PL_statusvalue = 0;
+
+ SAVESPTR(ERRSV); /* local $@ */
+ ERRSV = sv_newmortal();
- PUSHMARK(SP);
EXTEND(SP, 2);
- PUSHs(RETVAL);
- PUSHs(args);
- PUTBACK;
- call_sv(AvARRAY(av)[i], G_VOID | G_DISCARD);
+ for(i = 0; i < len; i++){
+ SPAGAIN;
+
+ PUSHMARK(SP);
+ PUSHs(object);
+ PUSHs(in_global_destruction);
+ PUTBACK;
+
+ call_sv(AvARRAY(demolishall)[i], G_VOID | G_EVAL);
+
+ /* discard a scalar which G_VOID returns */
+ SPAGAIN;
+ (void)POPs;
+ PUTBACK;
+
+ if(sv_true(ERRSV)){
+ SV* const e = newSVsv(ERRSV);
+
+ FREETMPS;
+ LEAVE;
+
+ sv_setsv(ERRSV, e);
+ SvREFCNT_dec(e);
+ croak(NULL); /* rethrow */
+ }
+ }
}
}
-OUTPUT:
- RETVAL
HV*
BUILDARGS(SV* klass, ...)
OUTPUT:
RETVAL
-MODULE = Mouse PACKAGE = Mouse::Meta::Method::Constructor::XS
-CV*
-_generate_constructor(...)
+void
+BUILDALL(SV* self, SV* args)
CODE:
{
- RETVAL = get_cvs("Mouse::Object::new", TRUE);
- SvREFCNT_inc_simple_void_NN(RETVAL);
-}
-OUTPUT:
- RETVAL
+ SV* const meta = get_metaclass(self);
+ AV* const xc = mouse_get_xc(aTHX_ meta);
+ must_ref(args, "a HASH reference to BUILDALL", SVt_PVHV);
+ mouse_buildall(aTHX_ xc, self, args);
+}