X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=ext%2FB%2Ft%2Fconcise.t;h=ac502ff1ca358dc86ba09863afa701366b4a9122;hb=2d3cf3ee0325fce8b6dc25a062192e5963aa7940;hp=a567a73202cd99c639ac9fa1255f6b018b363698;hpb=c33fe6136db08002c23477124823657a548fce45;p=p5sagit%2Fp5-mst-13.2.git

diff --git a/ext/B/t/concise.t b/ext/B/t/concise.t
index a567a73..ac502ff 100644
--- a/ext/B/t/concise.t
+++ b/ext/B/t/concise.t
@@ -6,7 +6,7 @@ BEGIN {
     require './test.pl';
 }
 
-plan tests => 4;
+plan tests => 142;
 
 require_ok("B::Concise");
 
@@ -19,8 +19,298 @@ $out = runperl(switches => ["-MO=Concise"], prog => '$a', stderr => 1);
 
 is($op_base, 1, "Smallest OP sequence number");
 
-($op_base_p1, $cop_base) = ($out =~ /^(\d+)\s*<;>\s*nextstate\(main (\d+) /m);
+($op_base_p1, $cop_base)
+  = ($out =~ /^(\d+)\s*<;>\s*nextstate\(main (-?\d+) /m);
 
 is($op_base_p1, 2, "Second-smallest OP sequence number");
 
 is($cop_base, 1, "Smallest COP sequence number");
+
+# test that with -exec B::Concise navigates past logops (bug #18175)
+
+$out = runperl(
+    switches => ["-MO=Concise,-exec"],
+    prog => q{$a=$b && print q/foo/},
+    stderr => 1,
+);
+
+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 reset_sequence ));
+
+## walk_output argument checking
+
+# test that walk_output rejects non-HANDLE args
+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;
+    sub new { my $foo = bless {} };
+    sub print { CORE::print @_ }
+}
+my $foo = new Hugo;	# suggested this API fix
+eval {  walk_output($foo) };
+is ($@, '', "walk_output() accepts obj that can print");
+
+# test that walk_output accepts a HANDLE arg
+SKIP: {
+    skip("no perlio in this build", 4)
+        unless $Config::Config{useperlio};
+
+    foreach my $foo (\*STDOUT, \*STDERR) {
+	eval {  walk_output($foo) };
+	is ($@, '', "walk_output() accepts STD* " . ref $foo);
+    }
+
+    # now test a ref to scalar
+    eval {  walk_output(\my $junk) };
+    is ($@, '', "walk_output() accepts ref-to-sprintf target");
+
+    $junk = "non-empty";
+    eval {  walk_output(\$junk) };
+    is ($@, '', "walk_output() accepts ref-to-non-empty-scalar");
+}
+
+## add_style
+my @stylespec;
+$@='';
+eval { add_style ('junk_B' => @stylespec) };
+like ($@, 'expecting 3 style-format args',
+    "add_style rejects insufficient args");
+
+@stylespec = (0,0,0); # right length, invalid values
+$@='';
+eval { add_style ('junk' => @stylespec) };
+is ($@, '', "add_style accepts: stylename => 3-arg-array");
+
+$@='';
+eval { add_style (junk => @stylespec) };
+like ($@, qr/style 'junk' already exists, choose a new name/,
+    "add_style correctly disallows re-adding same style-name" );
+
+# test new arg-checks on set_style
+$@='';
+eval { set_style (@stylespec) };
+is ($@, '', "set_style accepts 3 style-format args");
+
+@stylespec = (); # bad style
+
+eval { set_style (@stylespec) };
+like ($@, qr/expecting 3 style-format args/,
+    "set_style rejects bad style-format args");
+
+#### for content with doc'd options
+
+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
+		  -base10 -bigendian -littleendian
+		  );
+    foreach $opt (@options) {
+	walk_output(\my $out);
+	my $treegen = B::Concise::compile($opt, $func);
+	$treegen->();
+	#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);
+	$treegen->();
+	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
+    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)->()  };
+    like ($@, qr/^err: coderef has no START/,
+	  "compile detects CODE-ref w/o actual code");
+
+    foreach my $opt (qw( -concise -exec )) {
+	eval { B::Concise::compile($opt,'non_existent_function')->() };
+	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__
+