move repository to http://github.com/moose/MooseX-Types

[gitmo/MooseX-Types.git] / lib / MooseX / Types / UndefinedType.pm

diff --git a/lib/MooseX/Types/UndefinedType.pm b/lib/MooseX/Types/UndefinedType.pm
index b35d340..9db7461 100644 (file)
--- a/lib/MooseX/Types/UndefinedType.pm
+++ b/lib/MooseX/Types/UndefinedType.pm
@@ -1,24 +1,24 @@
 package MooseX::Types::UndefinedType;
 
-=head1 NAME
-
-MooseX::Types::UndefinedType - Represents a not yet defined type
-
-=cut
-
 use warnings;
 use strict;
 
+use Moose::Util::TypeConstraints ();
+use Carp::Clan qw( ^MooseX::Types );
+
 use overload '""'     => sub { shift->name },
              fallback => 1;
 
 =head1 DESCRIPTION
 
-Whenever a type handle function (e.g. C<Int()> can't find a type 
+Whenever a type handle function (e.g. C<Int()> can't find a type
 constraint under it's full name, it assumes it has not yet been defined.
-It will then return an instance of this class, handling only 
+It will then return an instance of this class, handling only
 stringification, name and possible identification of undefined types.
 
+Later, when you try to use the Undefined Type Constraint, autovivification will
+be attempted.
+
 =head1 METHODS
 
 =head2 new
@@ -28,7 +28,9 @@ class.
 
 =cut
 
-sub new { bless { name => $_[1] }, $_[0] }
+sub new {
+    return bless { name => $_[1] }, $_[0];
+}
 
 =head2 name
 
@@ -36,18 +38,78 @@ Returns the stored type name.
 
 =cut
 
-sub name { $_[0]->{name} }
+sub name {
+    return $_[0]->{name};
+}
 
-=head1 SEE ALSO
+=head2 __autovivify
 
-L<MooseX::Types::Moose>,
-L<Moose::Util::TypeConstraints>, 
-L<Moose::Meta::TypeConstraint>
+Try to see if the type constraint has yet been defined and if so create it.
+
+=cut
+
+sub __autovivify {
+    my ($self) = @_;
+    if(my $tc = $self->{instance}) {
+        return $tc;
+    } elsif( my $new_tc = Moose::Util::TypeConstraints::find_type_constraint($self->name)) {
+        $self->{instance} = $new_tc;
+        return $new_tc;
+    } else {
+        return;
+    }
+}
+
+=head2 can_be_inlined
+
+Make sure that if a type hasn't been defined yet when Moose wants to inline it,
+we don't allow inlining.
+
+=cut
 
-=head1 AUTHOR AND COPYRIGHT
+sub can_be_inlined {
+    my $self = shift;
+    if(my $type_constraint = $self->__autovivify) {
+        return $type_constraint->can_be_inlined;
+    } else {
+        return;
+    }
+}
 
-Robert 'phaylon' Sedlacek C<E<lt>rs@474.atE<gt>>, with many thanks to
-the C<#moose> cabal on C<irc.perl.org>.
+=head2 AUTOLOAD
+
+Try to autovivify and delegate
+
+=cut
+
+sub AUTOLOAD {
+    my ($self, @args)  = @_;
+    my ($method) = our $AUTOLOAD =~ /([^:]+)$/;
+
+    if(my $type_constraint = $self->__autovivify) {
+        return $type_constraint->$method(@args);
+    } else {
+        croak "Method '$method' is not supported for " . $self->name;
+    }
+}
+
+=head2 DESTROY
+
+Moose::Meta::TypeConstraint::Parameterizable complains if this isn't here. TODO
+to find out why.
+
+=cut
+
+sub DESTROY {
+    return;
+}
+
+=head1 SEE ALSO
+
+L<MooseX::Types::Moose>,
+L<Moose::Util::TypeConstraints>,
+L<Moose::Meta::TypeConstraint>,
+L<Carp::Clan>
 
 =head1 LICENSE