2 * full definition of built-in type constraints (ware in Moose::Util::TypeConstraints::OptimizedConstraints)
7 #if PERL_BCDVERSION >= 0x5008005
8 #define LooksLikeNumber(sv) looks_like_number(sv)
10 #define LooksLikeNumber(sv) ( SvPOKp(sv) ? looks_like_number(sv) : SvNIOKp(sv) )
14 #define SvRXOK(sv) (SvROK(sv) && SvMAGICAL(SvRV(sv)) && mg_find(SvRV(sv), PERL_MAGIC_qr))
19 mouse_tc_check(pTHX_ mouse_tc const tc, SV* const sv) {
21 case MOUSE_TC_ANY: return mouse_tc_Any(aTHX_ sv);
22 case MOUSE_TC_ITEM: return mouse_tc_Any(aTHX_ sv);
23 case MOUSE_TC_UNDEF: return mouse_tc_Undef(aTHX_ sv);
24 case MOUSE_TC_DEFINED: return mouse_tc_Defined(aTHX_ sv);
25 case MOUSE_TC_BOOL: return mouse_tc_Bool(aTHX_ sv);
26 case MOUSE_TC_VALUE: return mouse_tc_Value(aTHX_ sv);
27 case MOUSE_TC_REF: return mouse_tc_Ref(aTHX_ sv);
28 case MOUSE_TC_STR: return mouse_tc_Str(aTHX_ sv);
29 case MOUSE_TC_NUM: return mouse_tc_Num(aTHX_ sv);
30 case MOUSE_TC_INT: return mouse_tc_Int(aTHX_ sv);
31 case MOUSE_TC_SCALAR_REF: return mouse_tc_ScalarRef(aTHX_ sv);
32 case MOUSE_TC_ARRAY_REF: return mouse_tc_ArrayRef(aTHX_ sv);
33 case MOUSE_TC_HASH_REF: return mouse_tc_HashRef(aTHX_ sv);
34 case MOUSE_TC_CODE_REF: return mouse_tc_CodeRef(aTHX_ sv);
35 case MOUSE_TC_GLOB_REF: return mouse_tc_GlobRef(aTHX_ sv);
36 case MOUSE_TC_FILEHANDLE: return mouse_tc_FileHandle(aTHX_ sv);
37 case MOUSE_TC_REGEXP_REF: return mouse_tc_RegexpRef(aTHX_ sv);
38 case MOUSE_TC_OBJECT: return mouse_tc_Object(aTHX_ sv);
39 case MOUSE_TC_CLASS_NAME: return mouse_tc_ClassName(aTHX_ sv);
40 case MOUSE_TC_ROLE_NAME: return mouse_tc_RoleName(aTHX_ sv);
42 /* custom type constraints */
46 croak("Custom type constraint is not yet implemented");
47 return FALSE; /* not reached */
52 The following type check functions return an integer, not a bool, to keep them simple,
53 so if you assign these return value to bool variable, you must use "expr ? TRUE : FALSE".
57 mouse_tc_Any(pTHX_ SV* const sv PERL_UNUSED_DECL) {
63 mouse_tc_Bool(pTHX_ SV* const sv) {
67 return SvIVX(sv) == 1 || SvIVX(sv) == 0;
70 return SvNVX(sv) == 1.0 || SvNVX(sv) == 0.0;
72 else if(SvPOKp(sv)){ /* "" or "1" or "0" */
74 || ( SvCUR(sv) == 1 && ( SvPVX(sv)[0] == '1' || SvPVX(sv)[0] == '0' ) );
86 mouse_tc_Undef(pTHX_ SV* const sv) {
92 mouse_tc_Defined(pTHX_ SV* const sv) {
98 mouse_tc_Value(pTHX_ SV* const sv) {
100 return SvOK(sv) && !SvROK(sv);
104 mouse_tc_Num(pTHX_ SV* const sv) {
106 return LooksLikeNumber(sv);
110 mouse_tc_Int(pTHX_ SV* const sv) {
116 NV const nv = SvNVX(sv);
117 return nv > 0 ? (nv == (NV)(UV)nv) : (nv == (NV)(IV)nv);
120 int const num_type = grok_number(SvPVX(sv), SvCUR(sv), NULL);
122 return !(num_type & IS_NUMBER_NOT_INT);
129 mouse_tc_Str(pTHX_ SV* const sv) {
131 return SvOK(sv) && !SvROK(sv) && !isGV(sv);
135 mouse_tc_ClassName(pTHX_ SV* const sv){
137 return is_class_loaded(sv);
141 mouse_tc_RoleName(pTHX_ SV* const sv) {
143 if(is_class_loaded(sv)){
154 call_pv("Mouse::Util::get_metaclass_by_name", G_SCALAR);
159 ok = is_instance_of(meta, newSVpvs_flags("Mouse::Meta::Role", SVs_TEMP));
170 mouse_tc_Ref(pTHX_ SV* const sv) {
176 mouse_tc_ScalarRef(pTHX_ SV* const sv) {
178 return SvROK(sv) && !SvOBJECT(SvRV(sv)) && (SvTYPE(SvRV(sv)) <= SVt_PVLV && !isGV(SvRV(sv)));
182 mouse_tc_ArrayRef(pTHX_ SV* const sv) {
184 return SvROK(sv) && !SvOBJECT(SvRV(sv)) && SvTYPE(SvRV(sv)) == SVt_PVAV;
188 mouse_tc_HashRef(pTHX_ SV* const sv) {
190 return SvROK(sv) && !SvOBJECT(SvRV(sv)) && SvTYPE(SvRV(sv)) == SVt_PVHV;
194 mouse_tc_CodeRef(pTHX_ SV* const sv) {
196 return SvROK(sv) && !SvOBJECT(SvRV(sv))&& SvTYPE(SvRV(sv)) == SVt_PVCV;
200 mouse_tc_RegexpRef(pTHX_ SV* const sv) {
206 mouse_tc_GlobRef(pTHX_ SV* const sv) {
208 return SvROK(sv) && !SvOBJECT(SvRV(sv)) && isGV(SvRV(sv));
212 mouse_tc_FileHandle(pTHX_ SV* const sv) {
216 /* see pp_fileno() in pp_sys.c and Scalar::Util::openhandle() */
218 gv = (GV*)(SvROK(sv) ? SvRV(sv) : sv);
219 if(isGV(gv) || SvTYPE(gv) == SVt_PVIO){
220 IO* const io = isGV(gv) ? GvIO(gv) : (IO*)gv;
222 if(io && ( IoIFP(io) || SvTIED_mg((SV*)io, PERL_MAGIC_tiedscalar) )){
227 return is_instance_of(sv, newSVpvs_flags("IO::Handle", SVs_TEMP));
231 mouse_tc_Object(pTHX_ SV* const sv) {
233 return SvROK(sv) && SvOBJECT(SvRV(sv)) && !SvRXOK(sv);