Re: more B::Concise stuff (PATCH - updated)
[p5sagit/p5-mst-13.2.git] / ext / B / t / concise.t
index ec4795b..ac502ff 100644 (file)
@@ -6,7 +6,7 @@ BEGIN {
     require './test.pl';
 }
 
-plan tests => 38;
+plan tests => 142;
 
 require_ok("B::Concise");
 
@@ -30,7 +30,7 @@ is($cop_base, 1, "Smallest COP sequence number");
 
 $out = runperl(
     switches => ["-MO=Concise,-exec"],
-    prog => q{$a//=$b && print q/foo/},
+    prog => q{$a=$b && print q/foo/},
     stderr => 1,
 );
 
@@ -39,17 +39,22 @@ like($out, qr/print/, "'-exec' option output has print opcode");
 ######## API tests v.60 
 
 use Config;    # used for perlio check
-B::Concise->import(qw(set_style set_style_standard add_callback 
-                     add_style walk_output));
+B::Concise->import(qw( set_style set_style_standard add_callback 
+                      add_style walk_output reset_sequence ));
 
 ## walk_output argument checking
 
 # test that walk_output rejects non-HANDLE args
-foreach my $foo (undef, 0, "string",[], {}) {
+foreach my $foo ("string", [], {}) {
     eval {  walk_output($foo) };
     isnt ($@, '', "walk_output() rejects arg '$foo'");
     $@=''; # clear the fail for next test
 }
+# test accessor mode when arg undefd or 0
+foreach my $foo (undef, 0) {
+    my $handle = walk_output($foo);
+    is ($handle, \*STDOUT, "walk_output set to STDOUT (default)");
+}
 
 {   # any object that can print should be ok for walk_output
     package Hugo;
@@ -107,18 +112,19 @@ eval { set_style (@stylespec) };
 like ($@, qr/expecting 3 style-format args/,
     "set_style rejects bad style-format args");
 
-
 #### for content with doc'd options
-SKIP: 
-{ # test output to GLOB, using perlio feature directly
-    skip "no perlio on this build", 18
-       unless $Config::Config{useperlio};
 
-    set_style_standard('concise');  # MUST CALL b4 output needed
-    my $func = sub{ $a = $b+42 };
+my $func = sub{ $a = $b+42 };  # canonical example asub
 
+SKIP: {
+    # tests output to GLOB, using perlio feature directly
+    skip "no perlio on this build", 122
+       unless $Config::Config{useperlio};
+    
+    set_style_standard('concise');  # MUST CALL before output needed
+    
     @options = qw(
-                 -basic -exec -tree -compact -loose -vt -ascii -main
+                 -basic -exec -tree -compact -loose -vt -ascii
                  -base10 -bigendian -littleendian
                  );
     foreach $opt (@options) {
@@ -128,11 +134,11 @@ SKIP:
        #print "foo:$out\n";
        isnt($out, '', "got output with option $opt");
     }
-
+    
     ## test output control via walk_output
-
+    
     my $treegen = B::Concise::compile('-basic', $func); # reused
-
+    
     { # test output into a package global string (sprintf-ish)
        our $thing;
        walk_output(\$thing);
@@ -140,30 +146,34 @@ SKIP:
        ok($thing, "walk_output to our SCALAR, output seen");
     }
     
+    # test walkoutput acceptance of a scalar-bound IO handle
     open (my $fh, '>', \my $buf);
     walk_output($fh);
     $treegen->();
     ok($buf, "walk_output to GLOB, output seen");
-
+    
     ## Test B::Concise::compile error checking
-
+    
     # call compile on non-CODE ref items
-    foreach my $ref ([], {}) {
-       my $typ = ref $ref;
-       walk_output(\my $out);
-       eval { B::Concise::compile('-basic', $ref)->() };
-       like ($@, qr/^err: not a coderef: $typ/,
-             "compile detects $typ-ref where expecting subref");
-       # is($out,'', "no output when errd"); # announcement prints
+    if (0) {
+       # pending STASH splaying
+       
+       foreach my $ref ([], {}) {
+           my $typ = ref $ref;
+           walk_output(\my $out);
+           eval { B::Concise::compile('-basic', $ref)->() };
+           like ($@, qr/^err: not a coderef: $typ/,
+                 "compile detects $typ-ref where expecting subref");
+           # is($out,'', "no output when errd"); # announcement prints
+       }
     }
-
-
+    
     # test against a bogus autovivified subref.
     # in debugger, it should look like:
     #  1  CODE(0x84840cc)
     #      -> &CODE(0x84840cc) in ???
     sub nosuchfunc;
-    eval { B::Concise::compile('-basic', \&nosuchfunc)->() };
+    eval {  B::Concise::compile('-basic', \&nosuchfunc)->()  };
     like ($@, qr/^err: coderef has no START/,
          "compile detects CODE-ref w/o actual code");
 
@@ -172,4 +182,135 @@ SKIP:
        like ($@, qr/unknown function \(main::non_existent_function\)/,
              "'$opt' reports non-existent-function properly");
     }
+
+    # v.62 tests
+
+    pass ("TEST POST-COMPILE OPTION-HANDLING IN WALKER SUBROUTINE");
+    
+    my $sample;
+
+    my $walker = B::Concise::compile('-basic', $func);
+    walk_output(\$sample);
+    $walker->('-exec');
+    like($sample, qr/goto/m, "post-compile -exec");
+
+    walk_output(\$sample);
+    $walker->('-basic');
+    unlike($sample, qr/goto/m, "post-compile -basic");
+
+
+    # bang at it combinatorically
+    my %combos;
+    my @modes = qw( -basic -exec );
+    my @styles = qw( -concise -debug -linenoise -terse );
+
+    # prep samples
+    for $style (@styles) {
+       for $mode (@modes) {
+           walk_output(\$sample);
+           reset_sequence();
+           $walker->($style, $mode);
+           $combos{"$style$mode"} = $sample;
+       }
+    }
+    # crosscheck that samples are all text-different
+    @list = sort keys %combos;
+    for $i (0..$#list) {
+       for $j ($i+1..$#list) {
+           isnt ($combos{$list[$i]}, $combos{$list[$j]},
+                 "combos for $list[$i] and $list[$j] are different, as expected");
+       }
+    }
+    
+    # add samples with styles in different order
+    for $mode (@modes) {
+       for $style (@styles) {
+           reset_sequence();
+           walk_output(\$sample);
+           $walker->($mode, $style);
+           $combos{"$mode$style"} = $sample;
+       }
+    }
+    # test commutativity of flags, ie that AB == BA
+    for $mode (@modes) {
+       for $style (@styles) {
+           is ( $combos{"$style$mode"},
+                $combos{"$mode$style"},
+                "results for $style$mode vs $mode$style are the same" );
+       }
+    }
+
+    my %save = %combos;
+    my %combos;        # outputs for $mode=any($order) and any($style)
+
+    # add more samples with switching modes & sticky styles
+    for $style (@styles) {
+       walk_output(\$sample);
+       reset_sequence();
+       $walker->($style);
+       for $mode (@modes) {
+           walk_output(\$sample);
+           reset_sequence();
+           $walker->($mode);
+           $combos{"$style/$mode"} = $sample;
+       }
+    }
+    # crosscheck that samples are all text-different
+    @nm = sort keys %combos;
+    for $i (0..$#nm) {
+       for $j ($i+1..$#nm) {
+           isnt ($combos{$nm[$i]}, $combos{$nm[$j]},
+                 "results for $nm[$i] and $nm[$j] are different, as expected");
+       }
+    }
+    
+    # add samples with switching styles & sticky modes
+    for $mode (@modes) {
+       walk_output(\$sample);
+       reset_sequence();
+       $walker->($mode);
+       for $style (@styles) {
+           walk_output(\$sample);
+           reset_sequence();
+           $walker->($style);
+           $combos{"$mode/$style"} = $sample;
+       }
+    }
+    # test commutativity of flags, ie that AB == BA
+    for $mode (@modes) {
+       for $style (@styles) {
+           is ( $combos{"$style/$mode"},
+                $combos{"$mode/$style"},
+                "results for $style/$mode vs $mode/$style are the same" );
+       }
+    }
+
+
+    #now do double crosschecks: commutativity across stick / nostick
+    my %combos = (%combos, %save);
+
+    # test commutativity of flags, ie that AB == BA
+    for $mode (@modes) {
+       for $style (@styles) {
+
+           is ( $combos{"$style$mode"},
+                $combos{"$style/$mode"},
+                "$style$mode VS $style/$mode are the same" );
+
+           is ( $combos{"$mode$style"},
+                $combos{"$mode/$style"},
+                "$mode$style VS $mode/$style are the same" );
+
+           is ( $combos{"$style$mode"},
+                $combos{"$mode/$style"},
+                "$style$mode VS $mode/$style are the same" );
+
+           is ( $combos{"$mode$style"},
+                $combos{"$style/$mode"},
+                "$mode$style VS $style/$mode are the same" );
+       }
+    }
 }
+
+__END__
+