built-in type constraints in XS

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

diff --git a/xs-src/Mouse.xs b/xs-src/Mouse.xs
index 4a00765..12bcf89 100644 (file)
--- a/xs-src/Mouse.xs
+++ b/xs-src/Mouse.xs
@@ -1,9 +1,17 @@
 #include "mouse.h"
 
+SV* mouse_package;
+SV* mouse_namespace;
+
 MODULE = Mouse  PACKAGE = Mouse::Util
 
 PROTOTYPES: DISABLE
 
+BOOT:
+    mouse_package   = newSVpvs_share("package");
+    mouse_namespace = newSVpvs_share("namespace");
+
+
 bool
 is_class_loaded(SV* sv = &PL_sv_undef)
 
@@ -33,6 +41,77 @@ CODE:
 OUTPUT:
     RETVAL
 
+CV*
+get_code_ref(SV* package, SV* name)
+CODE:
+{
+    HV* stash;
+    HE* he;
+
+    if(!SvOK(package)){
+        croak("You must define a package name");
+    }
+    if(!SvOK(name)){
+        croak("You must define a subroutine name");
+    }
+
+    stash = gv_stashsv(package, FALSE);
+    if(!stash){
+        XSRETURN_UNDEF;
+    }
+    he = hv_fetch_ent(stash, name, FALSE, 0U);
+    if(he){
+        GV* const gv = (GV*)hv_iterval(stash, he);
+        if(!isGV(gv)){ /* special constant or stub */
+            STRLEN len;
+            const char* const pv = SvPV_const(name, len);
+            gv_init(gv, stash, pv, len, GV_ADDMULTI);
+        }
+        RETVAL = GvCVu(gv);
+    }
+    else{
+        RETVAL = NULL;
+    }
+
+    if(!RETVAL){
+        XSRETURN_UNDEF;
+    }
+}
+OUTPUT:
+    RETVAL
+
+
+MODULE = Mouse  PACKAGE = Mouse::Util::TypeConstraints
+
+void
+Item(SV* sv = &PL_sv_undef)
+ALIAS:
+    Any        = MOUSE_TC_ANY
+    Item       = MOUSE_TC_ITEM
+    Undef      = MOUSE_TC_UNDEF
+    Defined    = MOUSE_TC_DEFINED
+    Bool       = MOUSE_TC_BOOL
+    Value      = MOUSE_TC_VALUE
+    Ref        = MOUSE_TC_REF
+    Str        = MOUSE_TC_STR
+    Num        = MOUSE_TC_NUM
+    Int        = MOUSE_TC_INT
+    ScalarRef  = MOUSE_TC_SCALAR_REF
+    ArrayRef   = MOUSE_TC_ARRAY_REF
+    HashRef    = MOUSE_TC_HASH_REF
+    CodeRef    = MOUSE_TC_CODE_REF
+    GlobRef    = MOUSE_TC_GLOB_REF
+    FileHandle = MOUSE_TC_FILEHANDLE
+    RegexpRef  = MOUSE_TC_REGEXP_REF
+    Object     = MOUSE_TC_OBJECT
+    ClassName  = MOUSE_TC_CLASS_NAME
+    RoleName   = MOUSE_TC_ROLE_NAME
+CODE:
+    SvGETMAGIC(sv);
+    ST(0) = boolSV( mouse_tc_check(aTHX_ ix, sv) );
+    XSRETURN(1);
+
+
 MODULE = Mouse  PACKAGE = Mouse::Meta::Module
 
 BOOT:
@@ -41,14 +120,14 @@ BOOT:
     INSTALL_SIMPLE_READER_WITH_KEY(Module, _attribute_map, attributes);
 
 HV*
-namespace(HV* self)
+namespace(SV* self)
 CODE:
 {
-    SV** svp = hv_fetchs(self, "package", FALSE);
-    if(!(svp && SvOK(*svp))){
+    SV* const package = mouse_instance_get_slot(self, mouse_package);
+    if(!(package && SvOK(package))){
         croak("No package name");
     }
-    RETVAL = gv_stashsv(*svp, GV_ADDMULTI);
+    RETVAL = gv_stashsv(package, GV_ADDMULTI);
 }
 OUTPUT:
     RETVAL
@@ -59,13 +138,31 @@ BOOT:
     INSTALL_SIMPLE_READER(Class, roles);
     INSTALL_SIMPLE_PREDICATE_WITH_KEY(Class, is_anon_class, anon_serial_id);
 
+void
+linearized_isa(SV* self)
+PPCODE:
+{
+    SV* const stash_ref = mcall0(self, mouse_namespace); /* $self->namespace */
+    AV* linearized_isa;
+    I32 len;
+    I32 i;
+    if(!(SvROK(stash_ref) && SvTYPE(SvRV(stash_ref)) == SVt_PVHV)){
+        croak("namespace() didn't return a HASH reference");
+    }
+    linearized_isa = mro_get_linear_isa((HV*)SvRV(stash_ref));
+    len = AvFILLp(linearized_isa) + 1;
+    EXTEND(SP, len);
+    for(i = 0; i < len; i++){
+        PUSHs(AvARRAY(linearized_isa)[i]);
+    }
+}
+
 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);
 
-
 MODULE = Mouse  PACKAGE = Mouse::Meta::Attribute
 
 BOOT:
@@ -118,4 +215,3 @@ BOOT:
     INSTALL_SIMPLE_READER(TypeConstraint, _compiled_type_coercion); /* Mouse specific */
 
     INSTALL_SIMPLE_PREDICATE_WITH_KEY(TypeConstraint, has_coercion, _compiled_type_coercion);
-