Implement a class_type generator
[gitmo/Mouse.git] / lib / Mouse / PurePerl.pm
1 package
2     Mouse::Util;
3
4 use strict;
5 use warnings;
6
7 use warnings FATAL => 'redefine'; # to avoid to load Mouse::PurePerl
8
9 use B ();
10
11 sub is_class_loaded {
12     my $class = shift;
13
14     return 0 if ref($class) || !defined($class) || !length($class);
15
16     # walk the symbol table tree to avoid autovififying
17     # \*{${main::}{"Foo::"}} == \*main::Foo::
18
19     my $pack = \%::;
20     foreach my $part (split('::', $class)) {
21         my $entry = \$pack->{$part . '::'};
22         return 0 if ref($entry) ne 'GLOB';
23         $pack = *{$entry}{HASH} or return 0;
24     }
25
26     # check for $VERSION or @ISA
27     return 1 if exists $pack->{VERSION}
28              && defined *{$pack->{VERSION}}{SCALAR} && defined ${ $pack->{VERSION} };
29     return 1 if exists $pack->{ISA}
30              && defined *{$pack->{ISA}}{ARRAY} && @{ $pack->{ISA} } != 0;
31
32     # check for any method
33     foreach my $name( keys %{$pack} ) {
34         my $entry = \$pack->{$name};
35         return 1 if ref($entry) ne 'GLOB' || defined *{$entry}{CODE};
36     }
37
38     # fail
39     return 0;
40 }
41
42
43 # taken from Sub::Identify
44 sub get_code_info {
45     my ($coderef) = @_;
46     ref($coderef) or return;
47
48     my $cv = B::svref_2object($coderef);
49     $cv->isa('B::CV') or return;
50
51     my $gv = $cv->GV;
52     $gv->isa('B::GV') or return;
53
54     return ($gv->STASH->NAME, $gv->NAME);
55 }
56
57 sub get_code_package{
58     my($coderef) = @_;
59
60     my $cv = B::svref_2object($coderef);
61     $cv->isa('B::CV') or return '';
62
63     my $gv = $cv->GV;
64     $gv->isa('B::GV') or return '';
65
66     return $gv->STASH->NAME;
67 }
68
69 sub get_code_ref{
70     my($package, $name) = @_;
71     no strict 'refs';
72     no warnings 'once';
73     use warnings FATAL => 'uninitialized';
74     return *{$package . '::' . $name}{CODE};
75 }
76
77 package
78     Mouse::Util::TypeConstraints;
79
80 sub _generate_class_type_for{
81     my($for_class, $name) = @_;
82
83     my $predicate = sub{ Scalar::Util::blessd($_[0]) && $_[0]->isa($for_class) };
84
85     if(defined $name){
86         no strict 'refs';
87         *{ caller() . '::' . $name } = $predicate;
88         return;
89     }
90
91     return $predicate;
92 }
93
94
95 sub Any        { 1 }
96 sub Item       { 1 }
97
98 sub Bool       { $_[0] ? $_[0] eq '1' : 1 }
99 sub Undef      { !defined($_[0]) }
100 sub Defined    {  defined($_[0])  }
101 sub Value      {  defined($_[0]) && !ref($_[0]) }
102 sub Num        { !ref($_[0]) && looks_like_number($_[0]) }
103 sub Int        {  defined($_[0]) && !ref($_[0]) && $_[0] =~ /^-?[0-9]+$/ }
104 sub Str        {  defined($_[0]) && !ref($_[0]) }
105
106 sub Ref        { ref($_[0]) }
107 sub ScalarRef  { ref($_[0]) eq 'SCALAR' }
108 sub ArrayRef   { ref($_[0]) eq 'ARRAY'  }
109 sub HashRef    { ref($_[0]) eq 'HASH'   }
110 sub CodeRef    { ref($_[0]) eq 'CODE'   }
111 sub RegexpRef  { ref($_[0]) eq 'Regexp' }
112 sub GlobRef    { ref($_[0]) eq 'GLOB'   }
113
114 sub FileHandle {
115     openhandle($_[0])  || (blessed($_[0]) && $_[0]->isa("IO::Handle"))
116 }
117
118 sub Object     { blessed($_[0]) && blessed($_[0]) ne 'Regexp' }
119
120 sub ClassName  { Mouse::Util::is_class_loaded($_[0]) }
121 sub RoleName   { (Mouse::Util::class_of($_[0]) || return 0)->isa('Mouse::Meta::Role') }
122
123
124 package
125     Mouse::Meta::Module;
126
127 sub name { $_[0]->{package} }
128
129 sub namespace{
130     my $name = $_[0]->{package};
131     no strict 'refs';
132     return \%{ $name . '::' };
133 }
134
135 package
136     Mouse::Meta::Class;
137
138 sub is_anon_class{
139     return exists $_[0]->{anon_serial_id};
140 }
141
142 sub roles { $_[0]->{roles} }
143
144 sub linearized_isa { @{ get_linear_isa($_[0]->{package}) } }
145
146 package
147     Mouse::Meta::Role;
148
149 sub is_anon_role{
150     return exists $_[0]->{anon_serial_id};
151 }
152
153 sub get_roles { $_[0]->{roles} }
154
155 package
156     Mouse::Meta::Attribute;
157
158
159 # readers
160
161 sub name                 { $_[0]->{name}                   }
162 sub associated_class     { $_[0]->{associated_class}       }
163
164 sub accessor             { $_[0]->{accessor}               }
165 sub reader               { $_[0]->{reader}                 }
166 sub writer               { $_[0]->{writer}                 }
167 sub predicate            { $_[0]->{predicate}              }
168 sub clearer              { $_[0]->{clearer}                }
169 sub handles              { $_[0]->{handles}                }
170
171 sub _is_metadata         { $_[0]->{is}                     }
172 sub is_required          { $_[0]->{required}               }
173 sub default              { $_[0]->{default}                }
174 sub is_lazy              { $_[0]->{lazy}                   }
175 sub is_lazy_build        { $_[0]->{lazy_build}             }
176 sub is_weak_ref          { $_[0]->{weak_ref}               }
177 sub init_arg             { $_[0]->{init_arg}               }
178 sub type_constraint      { $_[0]->{type_constraint}        }
179
180 sub trigger              { $_[0]->{trigger}                }
181 sub builder              { $_[0]->{builder}                }
182 sub should_auto_deref    { $_[0]->{auto_deref}             }
183 sub should_coerce        { $_[0]->{coerce}                 }
184
185 sub documentation        { $_[0]->{documentation}          }
186
187 # predicates
188
189 sub has_accessor         { exists $_[0]->{accessor}        }
190 sub has_reader           { exists $_[0]->{reader}          }
191 sub has_writer           { exists $_[0]->{writer}          }
192 sub has_predicate        { exists $_[0]->{predicate}       }
193 sub has_clearer          { exists $_[0]->{clearer}         }
194 sub has_handles          { exists $_[0]->{handles}         }
195
196 sub has_default          { exists $_[0]->{default}         }
197 sub has_type_constraint  { exists $_[0]->{type_constraint} }
198 sub has_trigger          { exists $_[0]->{trigger}         }
199 sub has_builder          { exists $_[0]->{builder}         }
200
201 sub has_documentation    { exists $_[0]->{documentation}   }
202
203 sub accessor_metaclass(){ 'Mouse::Meta::Method::Accessor' }
204
205 package
206     Mouse::Meta::TypeConstraint;
207
208 sub name    { $_[0]->{name}    }
209 sub parent  { $_[0]->{parent}  }
210 sub message { $_[0]->{message} }
211
212 sub _compiled_type_constraint{ $_[0]->{compiled_type_constraint} }
213
214 sub _compiled_type_coercion  { $_[0]->{_compiled_type_coercion}  }
215
216
217 sub has_coercion{ exists $_[0]->{_compiled_type_coercion} }
218
219 1;
220 __END__