kc3-lang/automake/t/pm/DisjConditions-t.pl

Branch - branch -masterv1.18- tag -v1.18.1v1.17.92v1.17.90v1.17v1.16iv1.16.92v1.16.90v1.16.5v1.16.4v1.16.3v1.16.2v1.16.1v1.16v1.15.1v1.15v1.14.1v1.14v1.13bv1.13.4v1.13.3v1.13.2bv1.13.2v1.13.1dv1.13.1bv1.13.1v1.13v1.12bv1.12.6v1.12.5v1.12.4v1.12.3v1.12.2v1.12.1v1.12.0bv1.12v1.11dv1.11bv1.11v1.10buser-dep-gen-branchpointpre-ian-conditionalspre-depend-changeng-0.5amerging-into-user-dep-genlast-merge-into-user-dep-gen-branchhandle-languagesbranchpoint-real-1-5branchpoint-1-9branchpoint-1-8branchpoint-1-7branchpoint-1-6branchpoint-1-5branchpoint-1-10Release-1-9bRelease-1-9Release-1-8dRelease-1-8bRelease-1-8Release-1-7hRelease-1-7fRelease-1-7dRelease-1-7bRelease-1-7-3bRelease-1-7-2bRelease-1-7Release-1-6fRelease-1-6dRelease-1-6bRelease-1-6-1bRelease-1-6Release-1-5dRelease-1-5bRelease-1-4jRelease-1-4hRelease-1-4fRelease-1-4dRelease-1-4bRelease-1-4Release-1-3dRelease-1-3bRelease-1-3Release-1-2hRelease-1-2gRelease-1-2eRelease-1-2dRelease-1-2cRelease-1-2bRelease-1-2Release-1-1pRelease-1-1oRelease-1-1mRelease-1-1lRelease-1-1kRelease-1-1iRelease-1-1hRelease-1-1gRelease-1-1fRelease-1-1eRelease-1-1dRelease-1-1cRelease-1-1bRelease-1-1aRelease-1-10Release-1-0Release-0-33Release-0-32Release-0-31Release-0-30Release-0-29Release-0-28Release-0-27Release-0-26Release-0-25

• Show log

  Commit

• Hash : 61075eab
  Author :
  Date : 2025-01-01T14:31:02
  

  maint: make update-copyright
  

Download

• t/pm/DisjConditions-t.pl

• # Copyright (C) 2001-2025 Free Software Foundation, Inc.
  #
  # This program is free software; you can redistribute it and/or modify
  # it under the terms of the GNU General Public License as published by
  # the Free Software Foundation; either version 2, or (at your option)
  # any later version.
  #
  # This program is distributed in the hope that it will be useful,
  # but WITHOUT ANY WARRANTY; without even the implied warranty of
  # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  # GNU General Public License for more details.
  #
  # You should have received a copy of the GNU General Public License
  # along with this program.  If not, see <https://www.gnu.org/licenses/>.
  
  BEGIN {
    use Config;
    if (eval { require 5.007_002; }	# for CLONE support
        && $Config{useithreads}
        && !$ENV{WANT_NO_THREADS})
      {
        require threads;
        import threads;
      }
    else
      {
        exit 77;
      }
  }
  use Automake::Condition qw/TRUE FALSE/;
  use Automake::DisjConditions;
  
  sub test_basics ()
  {
    my $true = new Automake::DisjConditions TRUE;
    my $false = new Automake::DisjConditions FALSE;
    my $cond = new Automake::Condition "COND1_TRUE", "COND2_FALSE";
    return threads->new (sub {
      my $other = new Automake::Condition "COND3_FALSE";
      my $another = new Automake::Condition "COND3_TRUE", "COND4_FALSE";
      return threads->new (sub {
        my $set1 = new Automake::DisjConditions $cond, $other;
        return threads->new (sub {
  	my $set2 = new Automake::DisjConditions $other, $cond;
  	my $set3 = new Automake::DisjConditions FALSE, $another;
  	return 1 unless $set1 == $set2;
  	return 1 if $set1->false;
  	return 1 if $set1->true;
  	return 1 unless (new Automake::DisjConditions)->false;
  	return 1 if (new Automake::DisjConditions)->true;
  	return 1 unless $true->human eq 'TRUE';
  	return 1 unless $false->human eq 'FALSE';
  	return 1 unless $set1->human eq "(COND1 and !COND2) or (!COND3)";
  	return 1 unless $set2->human eq "(COND1 and !COND2) or (!COND3)";
  	my $one_cond_human = $set1->one_cond->human;
  	return 1 unless $one_cond_human eq "!COND3"
  	                || $one_cond_human eq "COND1 and !COND2";
  	return 1 unless $set1->string eq "COND1_TRUE COND2_FALSE | COND3_FALSE";
  
  	my $merged1 = $set1->merge ($set2);
  	my $merged2 = $set1->merge ($cond);
  	my $mult1 = $set1->multiply ($set3);
  	return threads->new (sub {
  	  my $mult2 = $set1->multiply ($another);
  	  return threads->new (sub {
  	    return 1 unless $merged1->simplify->string eq "COND1_TRUE COND2_FALSE | COND3_FALSE";
  	    return 1 unless $merged2->simplify->string eq "COND1_TRUE COND2_FALSE | COND3_FALSE";
  	    return 1 unless $mult1->string eq "COND1_TRUE COND2_FALSE COND3_TRUE COND4_FALSE";
  	    return 1 unless $mult1 == $mult2;
  	    return 0;
  	  })->join;
  	})->join;
        })->join;
      })->join;
    })->join;
  }
  
  sub build_set (@)
  {
    my @conds = @_;
    my @set = ();
    for my $cond (@conds)
      {
        push @set, new Automake::Condition @$cond;
      }
    return new Automake::DisjConditions @set;
  }
  
  sub test_invert ()
  {
    my @tests = ([[["FALSE"]],
  	        [["TRUE"]]],
  
  	       [[["TRUE"]],
  	        [["FALSE"]]],
  
  	       [[["COND1_TRUE", "COND2_TRUE"],
  		 ["COND3_FALSE", "COND2_TRUE"]],
  		[["COND2_FALSE"],
  		 ["COND1_FALSE", "COND3_TRUE"]]],
  
  	       [[["COND1_TRUE", "COND2_TRUE"],
  		 ["TRUE"]],
  		[["FALSE"]]],
  
  	       [[["COND1_TRUE", "COND2_TRUE"],
  		 ["FALSE"]],
  		[["COND1_FALSE"],
  		 ["COND2_FALSE"]]],
  
  	       [[["COND1_TRUE"],
  		 ["COND2_FALSE"]],
  		[["COND1_FALSE", "COND2_TRUE"]]]
  	       );
  
    for my $t (@tests)
      {
        my $set = build_set @{$t->[0]};
        return 1
          if threads->new(sub {
  	  my $res = build_set @{$t->[1]};
  	  my $inv = $set->invert;
  	  if ($inv != $res)
  	    {
  	      print " (I) " . $set->string . "\n\t"
  		. $inv->string . ' != ' . $res->string . "\n";
  	      return 1;
  	    }
  	  return 0
  	})-> join;
      }
    return 0;
  }
  
  sub test_simplify ()
  {
    my @tests = ([[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"]],
  		[["FOO_TRUE", "BAR_FALSE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_TRUE", "BAR_TRUE"]],
  		[["FOO_TRUE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_TRUE", "BAR_TRUE"],
  		 ["FOO_FALSE"]],
  		[["TRUE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		             ["BAR_TRUE",  "BAZ_TRUE"],
  		             ["BAR_FALSE", "BAZ_TRUE"]],
  		[["BAZ_TRUE"], ["FOO_TRUE", "BAR_FALSE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		             ["BAR_TRUE",  "BAZ_TRUE"],
  		             ["BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_FALSE"]],
  		[["FOO_FALSE"], ["BAZ_TRUE"], ["BAR_FALSE"]]],
  
  	       [[["B_TRUE"],
  		 ["A_FALSE", "B_TRUE"]],
  		[["B_TRUE"]]],
  
  	       [[["B_TRUE"],
  		 ["A_FALSE", "B_FALSE", "C_TRUE"],
  		 ["A_FALSE", "B_FALSE", "C_FALSE"]],
  		[["A_FALSE"], ["B_TRUE"]]],
  
  	       [[["B_TRUE"],
  		 ["A_FALSE", "B_FALSE", "C_TRUE"],
  		 ["A_FALSE", "B_FALSE", "C_FALSE"],
  		 ["A_TRUE", "B_FALSE"]],
  		[["TRUE"]]],
  
  	       [[["A_TRUE", "B_TRUE"],
  		 ["A_TRUE", "B_FALSE"],
  		 ["A_TRUE", "C_FALSE", "D_FALSE"]],
  		[["A_TRUE"]]],
  
  	       [[["A_FALSE", "B_FALSE", "C_FALSE", "D_TRUE",  "E_FALSE"],
  		 ["A_FALSE", "B_FALSE", "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_FALSE", "D_FALSE", "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_FALSE", "D_FALSE", "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_FALSE", "D_TRUE",  "E_FALSE"]],
  		[           ["B_FALSE", "C_FALSE", "D_TRUE",  "E_FALSE"],
  		            ["B_FALSE", "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		            ["B_TRUE",  "C_TRUE",  "D_FALSE", "E_TRUE"],
  		            ["B_TRUE",  "C_FALSE", "D_FALSE", "E_FALSE"]]],
  
  	       [[["A_FALSE", "B_FALSE", "C_FALSE", "D_TRUE",  "E_FALSE"],
  		 ["A_FALSE", "B_FALSE", "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_FALSE", "D_FALSE", "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_FALSE", "D_FALSE", "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_FALSE", "D_TRUE",  "E_FALSE"],
  		 ["A_FALSE", "B_FALSE", "C_FALSE", "D_FALSE", "E_FALSE"],
  		 ["A_FALSE", "B_FALSE", "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_FALSE", "B_TRUE",  "C_FALSE", "D_TRUE",  "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_FALSE", "D_TRUE",  "E_FALSE"],
  		 ["A_TRUE",  "B_TRUE",  "C_TRUE",  "D_TRUE",  "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_TRUE",  "D_FALSE", "E_TRUE"],
  		 ["A_TRUE",  "B_FALSE", "C_FALSE", "D_FALSE", "E_FALSE"]],
  		[["C_FALSE", "E_FALSE"],
  		 ["C_TRUE", "E_TRUE"]]],
  
  	       [[["A_FALSE"],
  		 ["A_TRUE", "B_FALSE"],
  		 ["A_TRUE", "B_TRUE", "C_FALSE"],
  		 ["A_TRUE", "B_TRUE", "C_TRUE", "D_FALSE"],
  		 ["A_TRUE", "B_TRUE", "C_TRUE", "D_TRUE", "E_FALSE"],
  		 ["A_TRUE", "B_TRUE", "C_TRUE", "D_TRUE", "E_TRUE", "F_FALSE"],
  		 ["A_TRUE", "B_TRUE", "C_TRUE", "D_TRUE", "E_TRUE"]],
  		[["TRUE"]]],
  
  	       # Simplify should work with up to 31 variables.
  	       [[["V01_TRUE", "V02_TRUE", "V03_TRUE", "V04_TRUE", "V05_TRUE",
  		  "V06_TRUE", "V07_TRUE", "V08_TRUE", "V09_TRUE", "V10_TRUE",
  		  "V11_TRUE", "V12_TRUE", "V13_TRUE", "V14_TRUE", "V15_TRUE",
  		  "V16_TRUE", "V17_TRUE", "V18_TRUE", "V19_TRUE", "V20_TRUE",
  		  "V21_TRUE", "V22_TRUE", "V23_TRUE", "V24_TRUE", "V25_TRUE",
  		  "V26_TRUE", "V27_TRUE", "V28_TRUE", "V29_TRUE", "V30_TRUE",
  		  "V31_TRUE"],
  		 ["V01_TRUE", "V02_TRUE", "V03_TRUE", "V04_TRUE", "V05_TRUE",
  		  "V06_TRUE", "V07_TRUE", "V08_TRUE", "V09_TRUE", "V10_TRUE",
  		  "V11_TRUE", "V12_TRUE", "V13_TRUE", "V14_TRUE", "V15_TRUE",
  		  "V16_TRUE", "V17_TRUE", "V18_TRUE", "V19_TRUE", "V20_TRUE",
  		  "V21_TRUE", "V22_TRUE", "V23_TRUE", "V24_TRUE", "V25_TRUE",
  		  "V26_TRUE", "V27_TRUE", "V28_TRUE", "V29_TRUE", "V30_TRUE",
  		  "V31_FALSE"],
  		 ["V01_FALSE","V02_TRUE", "V03_TRUE", "V04_TRUE", "V05_TRUE",
  		  "V06_TRUE", "V07_TRUE", "V08_TRUE", "V09_TRUE", "V10_TRUE",
  		  "V11_TRUE", "V12_TRUE", "V13_TRUE", "V14_TRUE", "V15_TRUE",
  		  "V16_TRUE", "V17_TRUE", "V18_TRUE", "V19_TRUE", "V20_TRUE",
  		  "V21_TRUE", "V22_TRUE", "V23_TRUE", "V24_TRUE", "V25_TRUE",
  		  "V26_TRUE", "V27_TRUE", "V28_TRUE", "V29_TRUE", "V30_TRUE",
  		  "V31_TRUE"],
  		 ["V01_FALSE","V02_TRUE", "V03_TRUE", "V04_TRUE", "V05_TRUE",
  		  "V06_TRUE", "V07_TRUE", "V08_TRUE", "V09_TRUE", "V10_TRUE",
  		  "V11_TRUE", "V12_TRUE", "V13_TRUE", "V14_TRUE", "V15_TRUE",
  		  "V16_TRUE", "V17_TRUE", "V18_TRUE", "V19_TRUE", "V20_TRUE",
  		  "V21_TRUE", "V22_TRUE", "V23_TRUE", "V24_TRUE", "V25_TRUE",
  		  "V26_TRUE", "V27_TRUE", "V28_TRUE", "V29_TRUE", "V30_TRUE",
  		  "V31_FALSE"]],
  		[[            "V02_TRUE", "V03_TRUE", "V04_TRUE", "V05_TRUE",
  		  "V06_TRUE", "V07_TRUE", "V08_TRUE", "V09_TRUE", "V10_TRUE",
  		  "V11_TRUE", "V12_TRUE", "V13_TRUE", "V14_TRUE", "V15_TRUE",
  		  "V16_TRUE", "V17_TRUE", "V18_TRUE", "V19_TRUE", "V20_TRUE",
  		  "V21_TRUE", "V22_TRUE", "V23_TRUE", "V24_TRUE", "V25_TRUE",
  		  "V26_TRUE", "V27_TRUE", "V28_TRUE", "V29_TRUE", "V30_TRUE"
  		  ]]]);
  
    for my $t (@tests)
      {
        my $set = build_set @{$t->[0]};
        return 1
  	if threads->new(sub {
  	  my $res = build_set @{$t->[1]};
  	  return threads->new(sub {
  
  	    # Make sure simplify() yields the expected result.
  	    my $sim = $set->simplify;
  	    return threads->new(sub {
  	      if ($sim != $res)
  		{
  		  print " (S1) " . $set->string . "\n\t"
  		    . $sim->string . ' != ' . $res->string . "\n";
  		  return 1;
  		}
  
  	      # Make sure simplify() is idempotent.
  	      my $sim2 = $sim->simplify;
  	      return threads->new(sub {
  		if ($sim2 != $sim)
  		  {
  		    print " (S2) " . $sim->string . "\n\t"
  		      . $sim2->string . ' != ' . $sim->string . "\n";
  		    return 1;
  		  }
  
  		# Also exercise invert() while we are at it.
  
  		my $inv1 = $set->invert->simplify;
  		return threads->new(sub {
  		  my $inv2 = $sim->invert->simplify;
  		  return threads->new(sub {
  		    if ($inv1 != $inv2)
  		      {
  			print " (S3) " . $set->string . ", " . $sim->string . "\n\t"
  			  . $inv1->string . ' -= ' . $inv2->string . "\n";
  			return 1;
  		      }
  		  })->join;
  		})->join;
  	      })->join;
  	    })->join;
  	  })->join;
  	})->join;
      }
  
    return 0;
  }
  
  sub test_sub_conditions ()
  {
    my @tests = ([[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_FALSE"]],
  		["FOO_TRUE"],
  		[["BAR_FALSE", "BAZ_FALSE"],
  		 ["BAR_FALSE", "BAZ_TRUE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_FALSE"]],
  		["FOO_TRUE", "BAR_FALSE"],
  		[["BAZ_FALSE"],
  		 ["BAZ_TRUE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAR_FALSE", "BAZ_TRUE"],
  		 ["FOO_FALSE"]],
  		["FOO_TRUE", "BAR_TRUE"],
  		[["FALSE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE", "BAZ_FALSE"],
  		 ["FOO_TRUE", "BAZ_TRUE"],
  		 ["FOO_FALSE"]],
  		["FOO_TRUE", "BAR_TRUE"],
  		[["BAZ_TRUE"]]],
  
  	       [[["FOO_TRUE", "BAR_FALSE"],
  		 ["FOO_TRUE", "BAR_TRUE"]],
  		["FOO_TRUE", "BAR_TRUE"],
  		[["TRUE"]]],
  
  	       [[["TRUE"]],
  		["TRUE"],
  		[["TRUE"]]],
  
  	       [[["FALSE"]],
  		["TRUE"],
  		[["FALSE"]]],
  
  	       [[["FALSE"]],
  		["FALSE"],
  		[["FALSE"]]]);
  
    for my $t (@tests)
      {
        my $t1 = build_set @{$t->[0]};
        return 1
          if threads->new(sub {
  	  my $t2 = new Automake::Condition @{$t->[1]};
  	  return threads->new(sub {
  	    my $t3 = build_set @{$t->[2]};
  	    return threads->new(sub {
  
  	      # Make sure sub_conditions() yields the expected result.
  	      my $s = $t1->sub_conditions ($t2);
  	      threads->new(sub {
  		if ($s != $t3)
  		  {
  		    print " (SC) " . $t1->string . "\n\t"
  		      . $s->string . ' != ' . $t3->string . "\n";
  		    return 1;
  		  }
  	      })->join;
  	    })->join;
  	  })->join;
  	})->join;
      }
  }
  
  sub test_ambig ()
  {
    my @tests = ([[["TRUE"]],
  		["TRUE"],
  		"multiply defined"],
  	       [[["C1_TRUE"]],
  		["C1_TRUE"],
  		"multiply defined"],
  	       [[["TRUE"]],
                  ["C1_FALSE"],
  		"which includes"],
  	       [[["C1_TRUE"]],
  		["C1_TRUE", "C2_TRUE"],
  		"which includes"],
  	       [[["C1_TRUE", "C2_TRUE"]],
  		["C2_TRUE"],
  		"which is included in"],
  	       [[["C1_TRUE"]],
  		["C2_TRUE"],
  		''],
  	       [[["C1_TRUE"],
  		 ["C2_FALSE"]],
  		["C1_FALSE", "C2_TRUE"],
  		'']);
  
    my $failed = 0;
    for my $t (@tests)
      {
        my $t1 = build_set @{$t->[0]};
        $failed = 1
          if threads->new(sub {
  	  my $t2 = new Automake::Condition @{$t->[1]};
  	  my $t3 = $t->[2];
  	  return threads->new(sub {
  	    my ($ans, $cond) = $t1->ambiguous_p ("FOO", $t2);
  	    return threads->new(sub {
  	      if ($t3 && $ans !~ /FOO.*$t3/)
  		{
  		  print " (A1) " . $t1->string . " vs. " . $t2->string . "\n\t"
  		    . "Error message '$ans' does not match '$t3'\n";
  		  return 1;
  		}
  	      if (!$t3 && $ans ne '')
  		{
  		  print " (A2) " . $t1->string . " vs. " . $t2->string . "\n\t"
  		    . "Unexpected error message: $ans\n";
  		  return 1;
  		}
  	    })->join;
  	  })->join;
  	})->join;
      }
    return $failed;
  }
  
  exit (test_basics
        || test_invert
        || test_simplify
        || test_sub_conditions
        || test_ambig);
  

Download