/usr/lib/perl5/Moose/Meta/TypeConstraint/Union.pm is in libmoose-perl 2.0401-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 | package Moose::Meta::TypeConstraint::Union;
BEGIN {
$Moose::Meta::TypeConstraint::Union::AUTHORITY = 'cpan:STEVAN';
}
{
$Moose::Meta::TypeConstraint::Union::VERSION = '2.0401';
}
use strict;
use warnings;
use metaclass;
use Moose::Meta::TypeCoercion::Union;
use List::MoreUtils qw(all);
use List::Util qw(first);
use base 'Moose::Meta::TypeConstraint';
__PACKAGE__->meta->add_attribute('type_constraints' => (
accessor => 'type_constraints',
default => sub { [] },
Class::MOP::_definition_context(),
));
sub new {
my ($class, %options) = @_;
my $name = join '|' => sort { $a cmp $b }
map { $_->name } @{ $options{type_constraints} };
my $self = $class->SUPER::new(
name => $name,
%options,
);
$self->_set_constraint(sub { $self->check($_[0]) });
return $self;
}
# XXX - this is a rather gross implementation of laziness for the benefit of
# MX::Types. If we try to call ->has_coercion on the objects during object
# construction, this does not work when defining a recursive constraint with
# MX::Types.
sub coercion {
my $self = shift;
return $self->{coercion} if exists $self->{coercion};
# Using any instead of grep here causes a weird error with some corner
# cases when MX::Types is in use. See RT #61001.
if ( grep { $_->has_coercion } @{ $self->type_constraints } ) {
return $self->{coercion} = Moose::Meta::TypeCoercion::Union->new(
type_constraint => $self );
}
else {
return $self->{coercion} = undef;
}
}
sub has_coercion {
return defined $_[0]->coercion;
}
sub _actually_compile_type_constraint {
my $self = shift;
my @constraints = @{ $self->type_constraints };
return sub {
my $value = shift;
foreach my $type (@constraints) {
return 1 if $type->check($value);
}
return undef;
};
}
sub can_be_inlined {
my $self = shift;
# This was originally done with all() from List::MoreUtils, but that
# caused some sort of bizarro parsing failure under 5.10.
for my $tc ( @{ $self->type_constraints } ) {
return 0 unless $tc->can_be_inlined;
}
return 1;
}
sub _inline_check {
my $self = shift;
my $val = shift;
return '('
. (
join ' || ', map { '(' . $_->_inline_check($val) . ')' }
@{ $self->type_constraints }
)
. ')';
}
sub inline_environment {
my $self = shift;
return { map { %{ $_->inline_environment } }
@{ $self->type_constraints } };
}
sub equals {
my ( $self, $type_or_name ) = @_;
my $other = Moose::Util::TypeConstraints::find_type_constraint($type_or_name);
return unless $other->isa(__PACKAGE__);
my @self_constraints = @{ $self->type_constraints };
my @other_constraints = @{ $other->type_constraints };
return unless @self_constraints == @other_constraints;
# FIXME presort type constraints for efficiency?
constraint: foreach my $constraint ( @self_constraints ) {
for ( my $i = 0; $i < @other_constraints; $i++ ) {
if ( $constraint->equals($other_constraints[$i]) ) {
splice @other_constraints, $i, 1;
next constraint;
}
}
}
return @other_constraints == 0;
}
sub parent {
my $self = shift;
my ($first, @rest) = @{ $self->type_constraints };
for my $parent ( $first->_collect_all_parents ) {
return $parent if all { $_->is_a_type_of($parent) } @rest;
}
return;
}
sub validate {
my ($self, $value) = @_;
my $message;
foreach my $type (@{$self->type_constraints}) {
my $err = $type->validate($value);
return unless defined $err;
$message .= ($message ? ' and ' : '') . $err
if defined $err;
}
return ($message . ' in (' . $self->name . ')') ;
}
sub find_type_for {
my ($self, $value) = @_;
return first { $_->check($value) } @{ $self->type_constraints };
}
sub is_a_type_of {
my ($self, $type_name) = @_;
return all { $_->is_a_type_of($type_name) } @{ $self->type_constraints };
}
sub is_subtype_of {
my ($self, $type_name) = @_;
return all { $_->is_subtype_of($type_name) } @{ $self->type_constraints };
}
sub create_child_type {
my ( $self, %opts ) = @_;
my $constraint
= Moose::Meta::TypeConstraint->new( %opts, parent => $self );
# if we have a type constraint union, and no
# type check, this means we are just aliasing
# the union constraint, which means we need to
# handle this differently.
# - SL
if ( not( defined $opts{constraint} )
&& $self->has_coercion ) {
$constraint->coercion(
Moose::Meta::TypeCoercion::Union->new(
type_constraint => $self,
)
);
}
return $constraint;
}
1;
# ABSTRACT: A union of Moose type constraints
=pod
=head1 NAME
Moose::Meta::TypeConstraint::Union - A union of Moose type constraints
=head1 VERSION
version 2.0401
=head1 DESCRIPTION
This metaclass represents a union of type constraints. A union takes
multiple type constraints, and is true if any one of its member
constraints is true.
=head1 INHERITANCE
C<Moose::Meta::TypeConstraint::Union> is a subclass of
L<Moose::Meta::TypeConstraint>.
=over 4
=item B<< Moose::Meta::TypeConstraint::Union->new(%options) >>
This creates a new class type constraint based on the given
C<%options>.
It takes the same options as its parent. It also requires an
additional option, C<type_constraints>. This is an array reference
containing the L<Moose::Meta::TypeConstraint> objects that are the
members of the union type. The C<name> option defaults to the names
all of these member types sorted and then joined by a pipe (|).
The constructor sets the implementation of the constraint so that is
simply calls C<check> on the newly created object.
Finally, the constructor also makes sure that the object's C<coercion>
attribute is a L<Moose::Meta::TypeCoercion::Union> object.
=item B<< $constraint->type_constraints >>
This returns the array reference of C<type_constraints> provided to
the constructor.
=item B<< $constraint->parent >>
This returns the nearest common ancestor of all the components of the union.
=item B<< $constraint->check($value) >>
=item B<< $constraint->validate($value) >>
These two methods simply call the relevant method on each of the
member type constraints in the union. If any type accepts the value,
the value is valid.
With C<validate> the error message returned includes all of the error
messages returned by the member type constraints.
=item B<< $constraint->equals($type_name_or_object) >>
A type is considered equal if it is also a union type, and the two
unions have the same member types.
=item B<< $constraint->find_type_for($value) >>
This returns the first member type constraint for which C<check($value)> is
true, allowing you to determine which of the Union's member type constraints
a given value matches.
=item B<< $constraint->is_a_type_of($type_name_or_object) >>
This returns true if all of the member type constraints return true
for the C<is_a_type_of> method.
=item B<< $constraint->is_subtype_of >>
This returns true if all of the member type constraints return true
for the C<is_a_subtype_of> method.
=item B<< $constraint->create_child_type(%options) >>
This returns a new L<Moose::Meta::TypeConstraint> object with the type
as its parent.
=back
=head1 BUGS
See L<Moose/BUGS> for details on reporting bugs.
=head1 AUTHOR
Moose is maintained by the Moose Cabal, along with the help of many contributors. See L<Moose/CABAL> and L<Moose/CONTRIBUTORS> for details.
=head1 COPYRIGHT AND LICENSE
This software is copyright (c) 2011 by Infinity Interactive, Inc..
This is free software; you can redistribute it and/or modify it under
the same terms as the Perl 5 programming language system itself.
=cut
__END__
|