Simplistic implementation of type intersections, modeled after the implementation...

[gitmo/Moose.git] / t / type_constraints / type_notation_parser.t

diff --git a/t/type_constraints/type_notation_parser.t b/t/type_constraints/type_notation_parser.t
index a62e24a..8ceb167 100644 (file)
--- a/t/type_constraints/type_notation_parser.t
+++ b/t/type_constraints/type_notation_parser.t
@@ -104,4 +104,54 @@ ok(!Moose::Util::TypeConstraints::_detect_type_constraint_union($_),
     ) for keys %split_tests;
 }
 
+## now for the intersections
+
+ok(Moose::Util::TypeConstraints::_detect_type_constraint_intersection($_), 
+   '... this correctly detected intersection (' . $_ . ')')
+    for (
+    'Int & Str',
+    'Int&Str',    
+    'ArrayRef[Foo] & Int',
+    'ArrayRef[Foo]&Int',    
+    'Int & ArrayRef[Foo]',
+    'Int&ArrayRef[Foo]',    
+    'ArrayRef[Foo | Int] & Str',
+    'ArrayRef[Foo|Int]&Str',    
+    'Str & ArrayRef[Foo | Int]', 
+    'Str&ArrayRef[Foo|Int]',     
+    'Some&Silly&Name&With&Pipes & Int',   
+    'Some&Silly&Name&With&Pipes&Int',       
+);
+
+ok(!Moose::Util::TypeConstraints::_detect_type_constraint_intersection($_), 
+   '... this correctly detected a non-intersection (' . $_ . ')')
+    for (
+    'Int',
+    'ArrayRef[Foo | Int]',
+    'ArrayRef[Foo|Int]',    
+);
+
+{
+    my %split_tests = (
+        'Int & Str'                        => [ 'Int', 'Str' ],
+        'Int&Str'                          => [ 'Int', 'Str' ],        
+        'ArrayRef[Foo] & Int'              => [ 'ArrayRef[Foo]', 'Int' ],
+        'ArrayRef[Foo]&Int'                => [ 'ArrayRef[Foo]', 'Int' ],        
+        'Int & ArrayRef[Foo]'              => [ 'Int', 'ArrayRef[Foo]' ],
+        'Int&ArrayRef[Foo]'                => [ 'Int', 'ArrayRef[Foo]' ],        
+        'ArrayRef[Foo | Int] & Str'        => [ 'ArrayRef[Foo | Int]', 'Str' ],
+        'ArrayRef[Foo|Int]&Str'            => [ 'ArrayRef[Foo|Int]', 'Str' ],        
+        'Str & ArrayRef[Foo | Int]'        => [ 'Str', 'ArrayRef[Foo | Int]' ],  
+        'Str&ArrayRef[Foo|Int]'            => [ 'Str', 'ArrayRef[Foo|Int]' ],          
+        'Some&Silly&Name&With&Pipes & Int' => [ 'Some', 'Silly', 'Name', 'With', 'Pipes', 'Int' ],  
+        'Some&Silly&Name&With&Pipes&Int'   => [ 'Some', 'Silly', 'Name', 'With', 'Pipes', 'Int' ],         
+    );
+
+    is_deeply(
+        [ Moose::Util::TypeConstraints::_parse_type_constraint_intersection($_) ],
+        $split_tests{$_},
+        '... this correctly split the intersection (' . $_ . ')'
+    ) for keys %split_tests;
+}
+
 done_testing;