#include "mouse.h"
-#define CHECK_INSTANCE(instance) STMT_START{ \
- if(!(SvROK(instance) && SvTYPE(SvRV(instance)) == SVt_PVHV)){ \
- croak("Invalid object instance"); \
- } \
+#define CHECK_INSTANCE(instance) STMT_START{ \
+ assert(instance); \
+ if(!(SvROK(instance) && SvTYPE(SvRV(instance)) == SVt_PVHV)){ \
+ croak("Invalid object instance: '%"SVf"'", instance); \
+ } \
} STMT_END
static MGVTBL mouse_accessor_vtbl; /* MAGIC identity */
+#define dMOUSE_self SV* const self = mouse_accessor_get_self(aTHX_ ax, items, cv)
-SV*
+STATIC_INLINE SV*
mouse_accessor_get_self(pTHX_ I32 const ax, I32 const items, CV* const cv) {
if(items < 1){
croak("Too few arguments for %s", GvNAME(CvGV(cv)));
CV*
-mouse_instantiate_xs_accessor(pTHX_ SV* const attr, XSUBADDR_t const accessor_impl){
+mouse_accessor_generate(pTHX_ SV* const attr, XSUBADDR_t const accessor_impl){
AV* const xa = mouse_get_xa(aTHX_ attr);
CV* xsub;
MAGIC* mg;
mg = sv_magicext((SV*)xsub, MOUSE_xa_slot(xa), PERL_MAGIC_ext, &mouse_accessor_vtbl, (char*)xa, HEf_SVKEY);
- MOUSE_mg_flags(mg) = (U16)SvUV(MOUSE_xa_flags(xa));
+ MOUSE_mg_flags(mg) = (U16)MOUSE_xa_flags(xa);
/* NOTE:
* although we use MAGIC for gc, we also store mg to CvXSUBANY for efficiency (gfx)
return xsub;
}
-static SV*
-mouse_apply_type_constraint(pTHX_ AV* const xa, SV* value, U16 const flags){
- SV* const tc = MOUSE_xa_tc(xa);
- SV* tc_code;
-
- if(flags & MOUSEf_ATTR_SHOULD_COERCE){
- value = mcall1s(tc, "coerce", value);
- }
-
- if(!SvOK(MOUSE_xa_tc_code(xa))){
- tc_code = mcall0s(tc, "_compiled_type_constraint");
- av_store(xa, MOUSE_XA_TC_CODE, newSVsv(tc_code));
-
- if(!IsCodeRef(tc_code)){
- mouse_throw_error(MOUSE_xa_attribute(xa), tc, "Not a CODE reference");
- }
- }
- else{
- tc_code = MOUSE_xa_tc_code(xa);
- }
-
- if(!mouse_tc_check(aTHX_ tc_code, value)){
- mouse_throw_error(MOUSE_xa_attribute(xa), value,
- "Attribute (%"SVf") does not pass the type constraint because: %"SVf,
- mcall0(MOUSE_xa_attribute(xa), mouse_name),
- mcall1s(tc, "get_message", value));
- }
-
- return value;
-}
#define PUSH_VALUE(value, flags) STMT_START { \
if((flags) & MOUSEf_ATTR_SHOULD_AUTO_DEREF && GIMME_V == G_ARRAY){ \
PUSHs(svp ? *svp : &PL_sv_undef);
}
}
- else if(flags & MOUSEf_TC_IS_HASHREF){
+ else{
HV* hv;
HE* he;
+ assert(flags & MOUSEf_TC_IS_HASHREF);
+
if(!IsHashRef(value)){
croak("Mouse-panic: Not a HASH reference");
}
static void
mouse_attr_get(pTHX_ SV* const self, MAGIC* const mg){
U16 const flags = MOUSE_mg_flags(mg);
- SV* const slot = MOUSE_mg_slot(mg);
SV* value;
- value = get_slot(self, slot);
+ value = get_slot(self, MOUSE_mg_slot(mg));
/* check_lazy */
if( !value && flags & MOUSEf_ATTR_IS_LAZY ){
- AV* const xa = MOUSE_mg_xa(mg);
- SV* const attr = MOUSE_xa_attribute(xa);
-
- /* get default value by $attr->builder or $attr->default */
- if(flags & MOUSEf_ATTR_HAS_BUILDER){
- SV* const builder = mcall0s(attr, "builder");
- value = mcall0(self, builder);
- }
- else {
- value = mcall0s(attr, "default");
-
- if(IsCodeRef(value)){
- value = mcall0(self, value);
- }
- }
-
- /* apply coerce and type constraint */
- if(flags & MOUSEf_ATTR_HAS_TC){
- value = mouse_apply_type_constraint(aTHX_ xa, value, flags);
- }
-
- /* store value to slot */
- value = set_slot(self, slot, value);
+ value = mouse_xa_set_default(aTHX_ MOUSE_mg_xa(mg), self);
}
PUSH_VALUE(value, flags);
SV* const slot = MOUSE_mg_slot(mg);
if(flags & MOUSEf_ATTR_HAS_TC){
- value = mouse_apply_type_constraint(aTHX_ MOUSE_mg_xa(mg), value, flags);
+ value = mouse_xa_apply_type_constraint(aTHX_ MOUSE_mg_xa(mg), value, flags);
}
- set_slot(self, slot, value);
+ value = set_slot(self, slot, value);
if(flags & MOUSEf_ATTR_IS_WEAK_REF){
weaken_slot(self, slot);
SV* const trigger = mcall0s(MOUSE_mg_attribute(mg), "trigger");
dSP;
+ /* NOTE: triggers can remove value, so
+ value must be copied here,
+ revealed by Net::Google::DataAPI (DANJOU).
+ */
+ value = sv_mortalcopy(value);
+
PUSHMARK(SP);
EXTEND(SP, 2);
PUSHs(self);
PUSHs(value);
PUTBACK;
- call_sv(trigger, G_VOID | G_DISCARD);
+ call_sv_safe(trigger, G_VOID | G_DISCARD);
/* need not SPAGAIN */
+
+ assert(SvTYPE(value) != SVTYPEMASK);
}
PUSH_VALUE(value, flags);
}
else{
mouse_throw_error(MOUSE_mg_attribute(mg), NULL,
- "Expected exactly one or two argument for an accessor");
+ "Expected exactly one or two argument for an accessor of %"SVf,
+ MOUSE_mg_slot(mg));
}
}
if (items != 1) {
mouse_throw_error(MOUSE_mg_attribute(mg), NULL,
- "Cannot assign a value to a read-only accessor");
+ "Cannot assign a value to a read-only accessor of %"SVf,
+ MOUSE_mg_slot(mg));
}
SP -= items; /* PPCODE */
if (items != 2) {
mouse_throw_error(MOUSE_mg_attribute(mg), NULL,
- "Too few arguments for a write-only accessor");
+ "Too few arguments for a write-only accessor of %"SVf,
+ MOUSE_mg_slot(mg));
}
SP -= items; /* PPCODE */
*/
CV*
-mouse_install_simple_accessor(pTHX_ const char* const fq_name, const char* const key, I32 const keylen, XSUBADDR_t const accessor_impl){
+mouse_simple_accessor_generate(pTHX_
+ const char* const fq_name, const char* const key, I32 const keylen,
+ XSUBADDR_t const accessor_impl, void* const dptr, I32 const dlen) {
CV* const xsub = newXS((char*)fq_name, accessor_impl, __FILE__);
SV* const slot = newSVpvn_share(key, keylen, 0U);
MAGIC* mg;
sv_2mortal((SV*)xsub);
}
- mg = sv_magicext((SV*)xsub, slot, PERL_MAGIC_ext, &mouse_accessor_vtbl, NULL, 0);
+ mg = sv_magicext((SV*)xsub, slot, PERL_MAGIC_ext, &mouse_accessor_vtbl, (char*)dptr, dlen);
SvREFCNT_dec(slot); /* sv_magicext() increases refcnt in mg_obj */
+ if(dlen == HEf_SVKEY){
+ SvREFCNT_dec(dptr);
+ }
/* NOTE:
* although we use MAGIC for gc, we also store mg to CvXSUBANY for efficiency (gfx)
{
dVAR; dXSARGS;
dMOUSE_self;
- SV* const slot = MOUSE_mg_slot((MAGIC*)XSANY.any_ptr);
+ MAGIC* const mg = (MAGIC*)XSANY.any_ptr;
SV* value;
if (items != 1) {
- croak("Expected exactly one argument for a reader for '%"SVf"'", slot);
+ croak("Expected exactly one argument for a reader of %"SVf,
+ MOUSE_mg_slot(mg));
}
- value = get_slot(self, slot);
- ST(0) = value ? value : &PL_sv_undef;
+ value = get_slot(self, MOUSE_mg_slot(mg));
+ if(!value) {
+ if(MOUSE_mg_ptr(mg)){
+ /* the default value must be a SV */
+ assert(MOUSE_mg_len(mg) == HEf_SVKEY);
+ value = (SV*)MOUSE_mg_ptr(mg);
+ }
+ else{
+ value = &PL_sv_undef;
+ }
+ }
+
+ ST(0) = value;
XSRETURN(1);
}
SV* const slot = MOUSE_mg_slot((MAGIC*)XSANY.any_ptr);
if (items != 2) {
- croak("Expected exactly two argument for a writer for '%"SVf"'", slot);
+ croak("Expected exactly two argument for a writer of %"SVf,
+ slot);
}
ST(0) = set_slot(self, slot, ST(1));
SV* value;
if (items != 1) {
- croak("Expected exactly one argument for a clearer for '%"SVf"'", slot);
+ croak("Expected exactly one argument for a clearer of %"SVf,
+ slot);
}
value = delete_slot(self, slot);
SV* const slot = MOUSE_mg_slot((MAGIC*)XSANY.any_ptr);
if (items != 1) {
- croak("Expected exactly one argument for a predicate for '%"SVf"'", slot);
+ croak("Expected exactly one argument for a predicate of %"SVf, slot);
}
ST(0) = boolSV( has_slot(self, slot) );
XSRETURN(1);
}
+/* Class::Data::Inheritable-like class accessor */
+XS(XS_Mouse_inheritable_class_accessor) {
+ dVAR; dXSARGS;
+ dMOUSE_self;
+ SV* const slot = MOUSE_mg_slot((MAGIC*)XSANY.any_ptr);
+ SV* value;
+ HV* stash;
+
+ if(items == 1){ /* reader */
+ value = NULL;
+ }
+ else if (items == 2){ /* writer */
+ value = ST(1);
+ }
+ else{
+ croak("Expected exactly one or two argument for a class data accessor"
+ "of %"SVf, slot);
+ value = NULL; /* -Wuninitialized */
+ }
+
+ stash = mouse_get_namespace(aTHX_ self);
+
+ if(!value) { /* reader */
+ value = get_slot(self, slot);
+ if(!value) {
+ AV* const isa = mro_get_linear_isa(stash);
+ I32 const len = av_len(isa) + 1;
+ I32 i;
+ for(i = 1; i < len; i++) {
+ SV* const klass = MOUSE_av_at(isa, i);
+ SV* const meta = get_metaclass(klass);
+ if(!SvOK(meta)){
+ continue; /* skip non-Mouse classes */
+ }
+ value = get_slot(meta, slot);
+ if(value) {
+ break;
+ }
+ }
+ if(!value) {
+ value = &PL_sv_undef;
+ }
+ }
+ }
+ else { /* writer */
+ set_slot(self, slot, value);
+ mro_method_changed_in(stash);
+ }
+
+ ST(0) = value;
+ XSRETURN(1);
+}
+
/* simple instance slot accessor (or Mouse::Meta::Instance) */
SV*
mouse_instance_create(pTHX_ HV* const stash) {
+ SV* instance;
assert(stash);
assert(SvTYPE(stash) == SVt_PVHV);
- return sv_bless( newRV_noinc((SV*)newHV()), stash );
+ instance = sv_bless( newRV_noinc((SV*)newHV()), stash );
+ return sv_2mortal(instance);
}
SV*
mouse_instance_clone(pTHX_ SV* const instance) {
- HV* proto;
- assert(instance);
-
+ SV* proto;
CHECK_INSTANCE(instance);
- proto = newHVhv((HV*)SvRV(instance));
- return sv_bless( newRV_noinc((SV*)proto), SvSTASH(SvRV(instance)) );
+ assert(SvOBJECT(SvRV(instance)));
+
+ proto = newRV_noinc((SV*)newHVhv((HV*)SvRV(instance)));
+ sv_bless(proto, SvSTASH(SvRV(instance)));
+ return sv_2mortal(proto);
}
bool
mouse_instance_has_slot(pTHX_ SV* const instance, SV* const slot) {
- assert(instance);
assert(slot);
CHECK_INSTANCE(instance);
return hv_exists_ent((HV*)SvRV(instance), slot, 0U);
SV*
mouse_instance_get_slot(pTHX_ SV* const instance, SV* const slot) {
HE* he;
- assert(instance);
assert(slot);
CHECK_INSTANCE(instance);
he = hv_fetch_ent((HV*)SvRV(instance), slot, FALSE, 0U);
mouse_instance_set_slot(pTHX_ SV* const instance, SV* const slot, SV* const value) {
HE* he;
SV* sv;
- assert(instance);
assert(slot);
assert(value);
CHECK_INSTANCE(instance);
he = hv_fetch_ent((HV*)SvRV(instance), slot, TRUE, 0U);
sv = HeVAL(he);
- sv_setsv_mg(sv, value);
+ sv_setsv(sv, value);
+ SvSETMAGIC(sv);
return sv;
}
void
mouse_instance_weaken_slot(pTHX_ SV* const instance, SV* const slot) {
HE* he;
- assert(instance);
assert(slot);
CHECK_INSTANCE(instance);
he = hv_fetch_ent((HV*)SvRV(instance), slot, FALSE, 0U);
sv_rvweaken(HeVAL(he));
}
}
-\r
+
MODULE = Mouse::Meta::Method::Accessor::XS PACKAGE = Mouse::Meta::Method::Accessor::XS
PROTOTYPES: DISABLE
_generate_accessor(klass, SV* attr, metaclass)
CODE:
{
- RETVAL = mouse_instantiate_xs_accessor(aTHX_ attr, XS_Mouse_accessor);
+ RETVAL = mouse_accessor_generate(aTHX_ attr, XS_Mouse_accessor);
}
OUTPUT:
RETVAL
_generate_reader(klass, SV* attr, metaclass)
CODE:
{
- RETVAL = mouse_instantiate_xs_accessor(aTHX_ attr, XS_Mouse_reader);
+ RETVAL = mouse_accessor_generate(aTHX_ attr, XS_Mouse_reader);
}
OUTPUT:
RETVAL
_generate_writer(klass, SV* attr, metaclass)
CODE:
{
- RETVAL = mouse_instantiate_xs_accessor(aTHX_ attr, XS_Mouse_writer);
+ RETVAL = mouse_accessor_generate(aTHX_ attr, XS_Mouse_writer);
}
OUTPUT:
RETVAL
_generate_clearer(klass, SV* attr, metaclass)
CODE:
{
- SV* const slot = mcall0s(attr, "name");
+ SV* const slot = mcall0(attr, mouse_name);
STRLEN len;
const char* const pv = SvPV_const(slot, len);
- RETVAL = mouse_install_simple_accessor(aTHX_ NULL, pv, len, XS_Mouse_simple_clearer);
+ RETVAL = mouse_simple_accessor_generate(aTHX_ NULL, pv, len, XS_Mouse_simple_clearer, NULL, 0);
}
OUTPUT:
RETVAL
_generate_predicate(klass, SV* attr, metaclass)
CODE:
{
- SV* const slot = mcall0s(attr, "name");
+ SV* const slot = mcall0(attr, mouse_name);
STRLEN len;
const char* const pv = SvPV_const(slot, len);
- RETVAL = mouse_install_simple_accessor(aTHX_ NULL, pv, len, XS_Mouse_simple_predicate);
+ RETVAL = mouse_simple_accessor_generate(aTHX_ NULL, pv, len, XS_Mouse_simple_predicate, NULL, 0);
}
OUTPUT:
RETVAL
projects / gitmo/Mouse.git / blobdiff