t/040_type_constraints/008_union_types.t

   1 #!/usr/bin/perl
   2
   3 use strict;
   4 use warnings;
   5
   6 use Test::More;
   7 use Test::Exception;
   8
   9 BEGIN {
  10     use_ok('Moose::Util::TypeConstraints');
  11 }
  12
  13 my $Str = find_type_constraint('Str');
  14 isa_ok($Str, 'Moose::Meta::TypeConstraint');
  15
  16 my $Undef = find_type_constraint('Undef');
  17 isa_ok($Undef, 'Moose::Meta::TypeConstraint');
  18
  19 ok(!$Str->check(undef), '... Str cannot accept an Undef value');
  20 ok($Str->check('String'), '... Str can accept an String value');
  21 ok(!$Undef->check('String'), '... Undef cannot accept an Str value');
  22 ok($Undef->check(undef), '... Undef can accept an Undef value');
  23
  24 my $Str_or_Undef = Moose::Meta::TypeConstraint::Union->new(type_constraints => [$Str, $Undef]);
  25 isa_ok($Str_or_Undef, 'Moose::Meta::TypeConstraint::Union');
  26
  27 ok($Str_or_Undef->check(undef), '... (Str | Undef) can accept an Undef value');
  28 ok($Str_or_Undef->check('String'), '... (Str | Undef) can accept a String value');
  29
  30 ok($Str_or_Undef->is_a_type_of($Str), "subtype of Str");
  31 ok($Str_or_Undef->is_a_type_of($Undef), "subtype of Undef");
  32
  33 cmp_ok($Str_or_Undef->find_type_for('String'), 'eq', 'Str', 'find_type_for Str');
  34 cmp_ok($Str_or_Undef->find_type_for(undef), 'eq', 'Undef', 'find_type_for Undef');
  35 ok(!defined($Str_or_Undef->find_type_for(sub { })), 'no find_type_for CodeRef');
  36
  37 ok( !$Str_or_Undef->equals($Str), "not equal to Str" );
  38 ok( $Str_or_Undef->equals($Str_or_Undef), "equal to self" );
  39 ok( $Str_or_Undef->equals(Moose::Meta::TypeConstraint::Union->new(type_constraints => [ $Str, $Undef ])), "equal to clone" );
  40 ok( $Str_or_Undef->equals(Moose::Meta::TypeConstraint::Union->new(type_constraints => [ $Undef, $Str ])), "equal to reversed clone" );
  41
  42 ok( !$Str_or_Undef->is_a_type_of("ThisTypeDoesNotExist"), "not type of non existant type" );
  43 ok( !$Str_or_Undef->is_subtype_of("ThisTypeDoesNotExist"), "not subtype of non existant type" );
  44
  45 # another ....
  46
  47 my $ArrayRef = find_type_constraint('ArrayRef');
  48 isa_ok($ArrayRef, 'Moose::Meta::TypeConstraint');
  49
  50 my $HashRef = find_type_constraint('HashRef');
  51 isa_ok($HashRef, 'Moose::Meta::TypeConstraint');
  52
  53 ok($ArrayRef->check([]), '... ArrayRef can accept an [] value');
  54 ok(!$ArrayRef->check({}), '... ArrayRef cannot accept an {} value');
  55 ok($HashRef->check({}), '... HashRef can accept an {} value');
  56 ok(!$HashRef->check([]), '... HashRef cannot accept an [] value');
  57
  58 my $HashOrArray = Moose::Meta::TypeConstraint::Union->new(type_constraints => [$ArrayRef, $HashRef]);
  59 isa_ok($HashOrArray, 'Moose::Meta::TypeConstraint::Union');
  60
  61 ok($HashOrArray->check([]), '... (ArrayRef | HashRef) can accept []');
  62 ok($HashOrArray->check({}), '... (ArrayRef | HashRef) can accept {}');
  63
  64 ok(!$HashOrArray->check(\(my $var1)), '... (ArrayRef | HashRef) cannot accept scalar refs');
  65 ok(!$HashOrArray->check(sub {}), '... (ArrayRef | HashRef) cannot accept code refs');
  66 ok(!$HashOrArray->check(50), '... (ArrayRef | HashRef) cannot accept Numbers');
  67
  68 diag $HashOrArray->validate([]);
  69
  70 ok(!defined($HashOrArray->validate([])), '... (ArrayRef | HashRef) can accept []');
  71 ok(!defined($HashOrArray->validate({})), '... (ArrayRef | HashRef) can accept {}');
  72
  73 like($HashOrArray->validate(\(my $var2)),
  74 qr/Validation failed for \'ArrayRef\' failed with value SCALAR\(0x.+?\) and Validation failed for \'HashRef\' failed with value SCALAR\(0x.+?\) in \(ArrayRef\|HashRef\)/,
  75 '... (ArrayRef | HashRef) cannot accept scalar refs');
  76
  77 like($HashOrArray->validate(sub {}),
  78 qr/Validation failed for \'ArrayRef\' failed with value CODE\(0x.+?\) and Validation failed for \'HashRef\' failed with value CODE\(0x.+?\) in \(ArrayRef\|HashRef\)/,
  79 '... (ArrayRef | HashRef) cannot accept code refs');
  80
  81 is($HashOrArray->validate(50),
  82 'Validation failed for \'ArrayRef\' failed with value 50 and Validation failed for \'HashRef\' failed with value 50 in (ArrayRef|HashRef)',
  83 '... (ArrayRef | HashRef) cannot accept Numbers');
  84
  85 done_testing;