[gitmo/Mouse.git] / xs-src / MouseAttribute.xs

#include "mouse.h"


AV*
mouse_get_xa(pTHX_ SV* const attr) {
    static MGVTBL mouse_xa_vtbl; /* identity */

    AV* xa;
    MAGIC* mg;

    if(!IsObject(attr)){
        croak("Not a Mouse meta attribute");
    }

    mg = mouse_mg_find(aTHX_ SvRV(attr), &mouse_xa_vtbl, 0x00);
    if(!mg){
        SV* slot;
        STRLEN len;
        const char* pv;
        U16 flags = 0x00;

        ENTER;
        SAVETMPS;

        xa    = newAV();

        mg = sv_magicext(SvRV(attr), (SV*)xa, PERL_MAGIC_ext, &mouse_xa_vtbl,NULL, 0);
        SvREFCNT_dec(xa); /* refcnt++ in sv_magicext */

        av_extend(xa, MOUSE_XA_last - 1);

        slot = mcall0(attr, mouse_name);
        pv = SvPV_const(slot, len);
        av_store(xa, MOUSE_XA_SLOT, newSVpvn_share(pv, len, 0U));

        av_store(xa, MOUSE_XA_ATTRIBUTE, newSVsv(attr));

        av_store(xa, MOUSE_XA_INIT_ARG, newSVsv(mcall0s(attr, "init_arg")));

        if(predicate_calls(attr, "has_type_constraint")){
            SV* tc;
            flags |= MOUSEf_ATTR_HAS_TC;

            tc = mcall0s(attr, "type_constraint");
            av_store(xa, MOUSE_XA_TC, newSVsv(tc));

            if(predicate_calls(attr, "should_auto_deref")){
                SV* const is_a_type_of = sv_2mortal(newSVpvs_share("is_a_type_of"));

                flags |= MOUSEf_ATTR_SHOULD_AUTO_DEREF;
                if( SvTRUEx(mcall1(tc, is_a_type_of, newSVpvs_flags("ArrayRef", SVs_TEMP))) ){
                    flags |= MOUSEf_TC_IS_ARRAYREF;
                }
                else if( SvTRUEx(mcall1(tc, is_a_type_of, newSVpvs_flags("HashRef", SVs_TEMP))) ){
                    flags |= MOUSEf_TC_IS_HASHREF;
                }
                else{
                    mouse_throw_error(attr, tc,
                        "Can not auto de-reference the type constraint '%"SVf"'",
                            mcall0(tc, mouse_name));
                }
            }

            if(predicate_calls(attr, "should_coerce")){
                flags |= MOUSEf_ATTR_SHOULD_COERCE;
            }

        }

        if(predicate_calls(attr, "has_trigger")){
            flags |= MOUSEf_ATTR_HAS_TRIGGER;
        }

        if(predicate_calls(attr, "is_lazy")){
            flags |= MOUSEf_ATTR_IS_LAZY;
        }
        if(predicate_calls(attr, "has_builder")){
            flags |= MOUSEf_ATTR_HAS_BUILDER;
        }
        else if(predicate_calls(attr, "has_default")){
            flags |= MOUSEf_ATTR_HAS_DEFAULT;
        }

        if(predicate_calls(attr, "is_weak_ref")){
            flags |= MOUSEf_ATTR_IS_WEAK_REF;
        }

        if(predicate_calls(attr, "is_required")){
            flags |= MOUSEf_ATTR_IS_REQUIRED;
        }

        av_store(xa, MOUSE_XA_FLAGS, newSVuv(flags));
        MOUSE_mg_flags(mg) = flags;

        FREETMPS;
        LEAVE;
    }
    else{
        xa    = (AV*)MOUSE_mg_obj(mg);

        assert(xa);
        assert(SvTYPE(xa) == SVt_PVAV);
    }

    return xa;
}

SV*
mouse_xa_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;
}


SV*
mouse_xa_set_default(pTHX_ AV* const xa, SV* const object) {
    U16 const flags = (U16)MOUSE_xa_flags(xa);
    SV* value;

    ENTER;
    SAVETMPS;

    /* get default value by $attr->builder or $attr->default */
    if(flags & MOUSEf_ATTR_HAS_BUILDER){
        SV* const builder = mcall0s(MOUSE_xa_attribute(xa), "builder");
        value = mcall0(object, builder); /* $object->$builder() */
    }
    else {
        value = mcall0s(MOUSE_xa_attribute(xa), "default");

        if(IsCodeRef(value)){
            value = mcall0(object, value);
        }
    }

    /* apply coerce and type constraint */
    if(flags & MOUSEf_ATTR_HAS_TC){
        value = mouse_xa_apply_type_constraint(aTHX_ xa, value, flags);
    }

    /* store value to slot */
    value = set_slot(object, MOUSE_xa_slot(xa), value);
    if(flags & MOUSEf_ATTR_IS_WEAK_REF && SvROK(value)){
        weaken_slot(object, MOUSE_xa_slot(xa));
    }

    FREETMPS;
    LEAVE;

    return value;
}

MODULE = Mouse::Meta::Attribute  PACKAGE = Mouse::Meta::Attribute

PROTOTYPES: DISABLE

BOOT:
    /* readers */
    INSTALL_SIMPLE_READER(Attribute, name);
    INSTALL_SIMPLE_READER(Attribute, associated_class);
    INSTALL_SIMPLE_READER(Attribute, accessor);
    INSTALL_SIMPLE_READER(Attribute, reader);
    INSTALL_SIMPLE_READER(Attribute, writer);
    INSTALL_SIMPLE_READER(Attribute, predicate);
    INSTALL_SIMPLE_READER(Attribute, clearer);
    INSTALL_SIMPLE_READER(Attribute, handles);

    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, _is_metadata, is);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_required, required);
    INSTALL_SIMPLE_READER(Attribute, default);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_lazy, lazy);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_lazy_build, lazy_build);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_weak_ref, weak_ref);
    INSTALL_SIMPLE_READER(Attribute, init_arg);
    INSTALL_SIMPLE_READER(Attribute, type_constraint);
    INSTALL_SIMPLE_READER(Attribute, trigger);
    INSTALL_SIMPLE_READER(Attribute, builder);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, should_auto_deref, auto_deref);
    INSTALL_SIMPLE_READER_WITH_KEY(Attribute, should_coerce, coerce);
    INSTALL_SIMPLE_READER(Attribute, documentation);

    /* predicates */
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_accessor, accessor);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_reader, reader);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_writer, writer);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_predicate, predicate);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_clearer, clearer);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_handles, handles);

    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_default, default);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_type_constraint, type_constraint);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_trigger, trigger);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_builder, builder);
    INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_documentation, documentation);

    INSTALL_SIMPLE_READER_WITH_DEFAULTS(Attribute, accessor_metaclass, "Mouse::Meta::Method::Accessor::XS");
Commit	Line	Data
aa2d2e2c	1	#include "mouse.h"
aa2d2e2c	2
0aad0266	3
	4	AV*
	5	mouse_get_xa(pTHX_ SV* const attr) {
	6	static MGVTBL mouse_xa_vtbl; /* identity */
	7
	8	AV* xa;
	9	MAGIC* mg;
	10
	11	if(!IsObject(attr)){
	12	croak("Not a Mouse meta attribute");
	13	}
	14
	15	mg = mouse_mg_find(aTHX_ SvRV(attr), &mouse_xa_vtbl, 0x00);
	16	if(!mg){
	17	SV* slot;
	18	STRLEN len;
	19	const char* pv;
	20	U16 flags = 0x00;
	21
	22	ENTER;
	23	SAVETMPS;
	24
	25	xa = newAV();
	26
	27	mg = sv_magicext(SvRV(attr), (SV*)xa, PERL_MAGIC_ext, &mouse_xa_vtbl,NULL, 0);
	28	SvREFCNT_dec(xa); /* refcnt++ in sv_magicext */
	29
	30	av_extend(xa, MOUSE_XA_last - 1);
	31
	32	slot = mcall0(attr, mouse_name);
	33	pv = SvPV_const(slot, len);
	34	av_store(xa, MOUSE_XA_SLOT, newSVpvn_share(pv, len, 0U));
	35
	36	av_store(xa, MOUSE_XA_ATTRIBUTE, newSVsv(attr));
	37
4e7e3250	38	av_store(xa, MOUSE_XA_INIT_ARG, newSVsv(mcall0s(attr, "init_arg")));
4e7e3250	39
0aad0266	40	if(predicate_calls(attr, "has_type_constraint")){
	41	SV* tc;
	42	flags \|= MOUSEf_ATTR_HAS_TC;
	43
	44	tc = mcall0s(attr, "type_constraint");
	45	av_store(xa, MOUSE_XA_TC, newSVsv(tc));
	46
	47	if(predicate_calls(attr, "should_auto_deref")){
	48	SV* const is_a_type_of = sv_2mortal(newSVpvs_share("is_a_type_of"));
	49
	50	flags \|= MOUSEf_ATTR_SHOULD_AUTO_DEREF;
	51	if( SvTRUEx(mcall1(tc, is_a_type_of, newSVpvs_flags("ArrayRef", SVs_TEMP))) ){
	52	flags \|= MOUSEf_TC_IS_ARRAYREF;
	53	}
	54	else if( SvTRUEx(mcall1(tc, is_a_type_of, newSVpvs_flags("HashRef", SVs_TEMP))) ){
	55	flags \|= MOUSEf_TC_IS_HASHREF;
	56	}
	57	else{
	58	mouse_throw_error(attr, tc,
	59	"Can not auto de-reference the type constraint '%"SVf"'",
	60	mcall0(tc, mouse_name));
	61	}
	62	}
	63
	64	if(predicate_calls(attr, "should_coerce")){
	65	flags \|= MOUSEf_ATTR_SHOULD_COERCE;
	66	}
	67
	68	}
	69
	70	if(predicate_calls(attr, "has_trigger")){
	71	flags \|= MOUSEf_ATTR_HAS_TRIGGER;
	72	}
	73
	74	if(predicate_calls(attr, "is_lazy")){
	75	flags \|= MOUSEf_ATTR_IS_LAZY;
4e7e3250	76	}
	77	if(predicate_calls(attr, "has_builder")){
	78	flags \|= MOUSEf_ATTR_HAS_BUILDER;
	79	}
	80	else if(predicate_calls(attr, "has_default")){
	81	flags \|= MOUSEf_ATTR_HAS_DEFAULT;
0aad0266	82	}
	83
	84	if(predicate_calls(attr, "is_weak_ref")){
	85	flags \|= MOUSEf_ATTR_IS_WEAK_REF;
	86	}
	87
	88	if(predicate_calls(attr, "is_required")){
	89	flags \|= MOUSEf_ATTR_IS_REQUIRED;
	90	}
	91
	92	av_store(xa, MOUSE_XA_FLAGS, newSVuv(flags));
	93	MOUSE_mg_flags(mg) = flags;
	94
	95	FREETMPS;
	96	LEAVE;
	97	}
	98	else{
	99	xa = (AV*)MOUSE_mg_obj(mg);
	100
	101	assert(xa);
	102	assert(SvTYPE(xa) == SVt_PVAV);
	103	}
	104
	105	return xa;
	106	}
	107
4e7e3250	108	SV*
	109	mouse_xa_apply_type_constraint(pTHX_ AV* const xa, SV* value, U16 const flags){
	110	SV* const tc = MOUSE_xa_tc(xa);
	111	SV* tc_code;
	112
	113	if(flags & MOUSEf_ATTR_SHOULD_COERCE){
	114	value = mcall1s(tc, "coerce", value);
	115	}
	116
	117	if(!SvOK(MOUSE_xa_tc_code(xa))){
	118	tc_code = mcall0s(tc, "_compiled_type_constraint");
	119	av_store(xa, MOUSE_XA_TC_CODE, newSVsv(tc_code));
	120
	121	if(!IsCodeRef(tc_code)){
	122	mouse_throw_error(MOUSE_xa_attribute(xa), tc, "Not a CODE reference");
	123	}
	124	}
	125	else{
	126	tc_code = MOUSE_xa_tc_code(xa);
	127	}
	128
	129	if(!mouse_tc_check(aTHX_ tc_code, value)){
	130	mouse_throw_error(MOUSE_xa_attribute(xa), value,
	131	"Attribute (%"SVf") does not pass the type constraint because: %"SVf,
	132	mcall0(MOUSE_xa_attribute(xa), mouse_name),
	133	mcall1s(tc, "get_message", value));
	134	}
	135
	136	return value;
	137	}
	138
	139
	140	SV*
	141	mouse_xa_set_default(pTHX_ AV* const xa, SV* const object) {
	142	U16 const flags = (U16)MOUSE_xa_flags(xa);
	143	SV* value;
	144
3f2c3dc7	145	ENTER;
	146	SAVETMPS;
	147
4e7e3250	148	/* get default value by $attr->builder or $attr->default */
	149	if(flags & MOUSEf_ATTR_HAS_BUILDER){
	150	SV* const builder = mcall0s(MOUSE_xa_attribute(xa), "builder");
	151	value = mcall0(object, builder); /* $object->$builder() */
	152	}
	153	else {
	154	value = mcall0s(MOUSE_xa_attribute(xa), "default");
	155
	156	if(IsCodeRef(value)){
	157	value = mcall0(object, value);
	158	}
	159	}
	160
	161	/* apply coerce and type constraint */
	162	if(flags & MOUSEf_ATTR_HAS_TC){
	163	value = mouse_xa_apply_type_constraint(aTHX_ xa, value, flags);
	164	}
	165
	166	/* store value to slot */
	167	value = set_slot(object, MOUSE_xa_slot(xa), value);
4e7e3250	168	if(flags & MOUSEf_ATTR_IS_WEAK_REF && SvROK(value)){
	169	weaken_slot(object, MOUSE_xa_slot(xa));
	170	}
	171
3f2c3dc7	172	FREETMPS;
	173	LEAVE;
	174
4e7e3250	175	return value;
4e7e3250	176	}
0aad0266	177
aa2d2e2c	178	MODULE = Mouse::Meta::Attribute PACKAGE = Mouse::Meta::Attribute
	179
	180	PROTOTYPES: DISABLE
	181
	182	BOOT:
	183	/* readers */
	184	INSTALL_SIMPLE_READER(Attribute, name);
	185	INSTALL_SIMPLE_READER(Attribute, associated_class);
	186	INSTALL_SIMPLE_READER(Attribute, accessor);
	187	INSTALL_SIMPLE_READER(Attribute, reader);
	188	INSTALL_SIMPLE_READER(Attribute, writer);
	189	INSTALL_SIMPLE_READER(Attribute, predicate);
	190	INSTALL_SIMPLE_READER(Attribute, clearer);
	191	INSTALL_SIMPLE_READER(Attribute, handles);
	192
	193	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, _is_metadata, is);
	194	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_required, required);
	195	INSTALL_SIMPLE_READER(Attribute, default);
	196	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_lazy, lazy);
	197	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_lazy_build, lazy_build);
	198	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, is_weak_ref, weak_ref);
	199	INSTALL_SIMPLE_READER(Attribute, init_arg);
	200	INSTALL_SIMPLE_READER(Attribute, type_constraint);
	201	INSTALL_SIMPLE_READER(Attribute, trigger);
	202	INSTALL_SIMPLE_READER(Attribute, builder);
	203	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, should_auto_deref, auto_deref);
	204	INSTALL_SIMPLE_READER_WITH_KEY(Attribute, should_coerce, coerce);
	205	INSTALL_SIMPLE_READER(Attribute, documentation);
	206
	207	/* predicates */
	208	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_accessor, accessor);
	209	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_reader, reader);
	210	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_writer, writer);
	211	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_predicate, predicate);
	212	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_clearer, clearer);
	213	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_handles, handles);
	214
	215	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_default, default);
	216	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_type_constraint, type_constraint);
	217	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_trigger, trigger);
	218	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_builder, builder);
	219	INSTALL_SIMPLE_PREDICATE_WITH_KEY(Attribute, has_documentation, documentation);
	220
2468f1d7	221	INSTALL_SIMPLE_READER_WITH_DEFAULTS(Attribute, accessor_metaclass, "Mouse::Meta::Method::Accessor::XS");
aa2d2e2c	222