kc3-lang/automake/t/pm/Condition-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/Condition-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/;
  
  sub test_basics ()
  {
    my @tests = (# [[Conditions], is_true?, is_false?, string, subst-string, human]
  	       [[], 1, 0, 'TRUE', '', 'TRUE'],
  	       [['TRUE'], 1, 0, 'TRUE', '', 'TRUE'],
  	       [['FALSE'], 0, 1, 'FALSE', '#', 'FALSE'],
  	       [['A_TRUE'], 0, 0, 'A_TRUE', '@A_TRUE@', 'A'],
  	       [['A_TRUE', 'B_FALSE'],
  		0, 0, 'A_TRUE B_FALSE', '@A_TRUE@@B_FALSE@', 'A and !B'],
  	       [['B_TRUE', 'FALSE'], 0, 1, 'FALSE', '#', 'FALSE'],
  	       [['B_TRUE', 'B_FALSE'], 0, 1, 'FALSE', '#', 'FALSE']);
  
    for (@tests)
      {
        my $a = new Automake::Condition @{$_->[0]};
        return 1
          if threads->new(sub {
  	  return 1 if $_->[1] != $a->true;
  	  return 1 if $_->[1] != ($a == TRUE);
  	  return 1 if $_->[2] != $a->false;
  	  return 1 if $_->[2] != ($a == FALSE);
  	  return 1 if $_->[3] ne $a->string;
  	  return 1 if $_->[4] ne $a->subst_string;
  	  return 1 if $_->[5] ne $a->human;
  	})->join;
      }
    return 0;
  }
  
  sub test_true_when ()
  {
    my $failed = 0;
  
    my @tests = (# [When,
  	       #  [Implied-Conditions],
  	       #  [Not-Implied-Conditions]]
  	       [['TRUE'],
  		[['TRUE']],
  		[['A_TRUE'], ['A_TRUE', 'B_FALSE'], ['FALSE']]],
  	       [['A_TRUE'],
  		[['TRUE'], ['A_TRUE']],
  		[['A_TRUE', 'B_FALSE'], ['FALSE']]],
  	       [['A_TRUE', 'B_FALSE'],
  		[['TRUE'], ['A_TRUE'], ['B_FALSE'], ['A_TRUE', 'B_FALSE']],
  		[['FALSE'], ['C_FALSE'], ['C_FALSE', 'A_TRUE']]]);
  
    for my $t (@tests)
      {
        my $a = new Automake::Condition @{$t->[0]};
        return 1
          if threads->new(sub {
  	  for my $u (@{$t->[1]})
  	    {
  	      my $b = new Automake::Condition @$u;
  	      return threads->new(sub {
  		if (! $b->true_when ($a))
  		  {
  		    print "`" . $b->string .
  		      "' not implied by `" . $a->string . "'?\n";
  		    $failed = 1;
  		  }
  	      })->join;
  	    }
  	  for my $u (@{$t->[2]})
  	    {
  	      my $b = new Automake::Condition @$u;
  	      return threads->new(sub {
  		if ($b->true_when ($a))
  		  {
  		    print "`" . $b->string .
  		      "' implied by `" . $a->string . "'?\n";
  		    $failed = 1;
  		  }
  
  		return threads->new(sub {
  		  return 1 if $b->true_when ($a);
  		})->join;
  	      })->join;
  	    }
  	 })->join;
      }
    return $failed;
  }
  
  sub test_reduce_and ()
  {
    my @tests = (# If no conditions are given, TRUE should be returned
  	       [[], ["TRUE"]],
  	       # An empty condition is TRUE
  	       [[""], ["TRUE"]],
  	       # A single condition should be passed through unchanged
  	       [["FOO"], ["FOO"]],
  	       [["FALSE"], ["FALSE"]],
  	       [["TRUE"], ["TRUE"]],
  	       # TRUE and false should be discarded and overwhelm
  	       # the result, respectively
  	       [["FOO", "TRUE"], ["FOO"]],
  	       [["FOO", "FALSE"], ["FALSE"]],
  	       # Repetitions should be removed
  	       [["FOO", "FOO"], ["FOO"]],
  	       [["TRUE", "FOO", "FOO"], ["FOO"]],
  	       [["FOO", "TRUE", "FOO"], ["FOO"]],
  	       [["FOO", "FOO", "TRUE"], ["FOO"]],
  	       # Two different conditions should be preserved,
  	       # but TRUEs should be removed
  	       [["FOO", "BAR"], ["BAR,FOO"]],
  	       [["TRUE", "FOO", "BAR"], ["BAR,FOO"]],
  	       [["FOO", "TRUE", "BAR"], ["BAR,FOO"]],
  	       [["FOO", "BAR", "TRUE"], ["BAR,FOO"]],
  	       # A condition implied by another condition should be removed.
  	       [["FOO BAR", "BAR"], ["FOO BAR"]],
  	       [["BAR", "FOO BAR"], ["FOO BAR"]],
  	       [["TRUE", "FOO BAR", "BAR"], ["FOO BAR"]],
  	       [["FOO BAR", "TRUE", "BAR"], ["FOO BAR"]],
  	       [["FOO BAR", "BAR", "TRUE"], ["FOO BAR"]],
  
  	       [["BAR FOO", "BAR"], ["BAR FOO"]],
  	       [["BAR", "BAR FOO"], ["BAR FOO"]],
  	       [["TRUE", "BAR FOO", "BAR"], ["BAR FOO"]],
  	       [["BAR FOO", "TRUE", "BAR"], ["BAR FOO"]],
  	       [["BAR FOO", "BAR", "TRUE"], ["BAR FOO"]],
  
  	       # Check that reduction happens even when there are
  	       # two conditions to remove.
  	       [["FOO", "FOO BAR", "BAR"], ["FOO BAR"]],
  	       [["FOO", "FOO BAR", "BAZ", "FOO BAZ"], ["FOO BAR", "FOO BAZ"]],
  	       [["FOO", "FOO BAR", "BAZ", "FOO BAZ", "FOO BAZ BAR"],
  		["FOO BAZ BAR"]],
  
  	       # Duplicated conditionals should be removed.
  	       [["FOO", "BAR", "BAR"], ["BAR,FOO"]],
  
  	       # Equivalent conditions in different forms should be
  	       # reduced: which one is left is unfortunately order
  	       # dependent.
  	       [["BAR FOO", "FOO BAR"], ["FOO BAR"]],
  	       [["FOO BAR", "BAR FOO"], ["BAR FOO"]]);
  
    my $failed = 0;
    foreach (@tests)
      {
        my ($inref, $outref) = @$_;
        my @inconds = map { new Automake::Condition $_ } @$inref;
        return 1
          if threads->new(sub {
  	  my @outconds = map { (new Automake::Condition $_)->string } @$outref;
  	  return threads->new(sub {
  	    my @res =
  	      map { $_->string } (Automake::Condition::reduce_and (@inconds));
  	    return threads->new(sub {
  	      my $result = join (",", sort @res);
  	      my $exresult = join (",", @outconds);
  
  	      if ($result ne $exresult)
  		{
  		  print '"' . join(",", @$inref) . '" => "' .
  		    $result . '" expected "' .
  		      $exresult . '"' . "\n";
  		  $failed = 1;
  		}
  	      return $failed;
  	    })->join;
  	  })->join;
  	})->join;
      }
    return $failed;
  }
  
  sub test_reduce_or ()
  {
    my @tests = (# If no conditions are given, FALSE should be returned
  	       [[], ["FALSE"]],
  	       # An empty condition is TRUE
  	       [[""], ["TRUE"]],
  	       # A single condition should be passed through unchanged
  	       [["FOO"], ["FOO"]],
  	       [["FALSE"], ["FALSE"]],
  	       [["TRUE"], ["TRUE"]],
  	       # FALSE and TRUE should be discarded and overwhelm
  	       # the result, respectively
  	       [["FOO", "TRUE"], ["TRUE"]],
  	       [["FOO", "FALSE"], ["FOO"]],
  	       # Repetitions should be removed
  	       [["FOO", "FOO"], ["FOO"]],
  	       [["FALSE", "FOO", "FOO"], ["FOO"]],
  	       [["FOO", "FALSE", "FOO"], ["FOO"]],
  	       [["FOO", "FOO", "FALSE"], ["FOO"]],
  	       # Two different conditions should be preserved,
  	       # but FALSEs should be removed
  	       [["FOO", "BAR"], ["BAR,FOO"]],
  	       [["FALSE", "FOO", "BAR"], ["BAR,FOO"]],
  	       [["FOO", "FALSE", "BAR"], ["BAR,FOO"]],
  	       [["FOO", "BAR", "FALSE"], ["BAR,FOO"]],
  	       # A condition implying another condition should be removed.
  	       [["FOO BAR", "BAR"], ["BAR"]],
  	       [["BAR", "FOO BAR"], ["BAR"]],
  	       [["FALSE", "FOO BAR", "BAR"], ["BAR"]],
  	       [["FOO BAR", "FALSE", "BAR"], ["BAR"]],
  	       [["FOO BAR", "BAR", "FALSE"], ["BAR"]],
  
  	       [["BAR FOO", "BAR"], ["BAR"]],
  	       [["BAR", "BAR FOO"], ["BAR"]],
  	       [["FALSE", "BAR FOO", "BAR"], ["BAR"]],
  	       [["BAR FOO", "FALSE", "BAR"], ["BAR"]],
  	       [["BAR FOO", "BAR", "FALSE"], ["BAR"]],
  
  	       # Check that reduction happens even when there are
  	       # two conditions to remove.
  	       [["FOO", "FOO BAR", "BAR"], ["BAR,FOO"]],
  	       [["FOO", "FOO BAR", "BAZ", "FOO BAZ"], ["BAZ,FOO"]],
  	       [["FOO", "FOO BAR", "BAZ", "FOO BAZ", "FOO BAZ BAR"],
  		["BAZ,FOO"]],
  
  	       # Duplicated conditionals should be removed.
  	       [["FOO", "BAR", "BAR"], ["BAR,FOO"]],
  
  	       # Equivalent conditions in different forms should be
  	       # reduced: which one is left is unfortunately order
  	       # dependent.
  	       [["BAR FOO", "FOO BAR"], ["FOO BAR"]],
  	       [["FOO BAR", "BAR FOO"], ["BAR FOO"]]);
  
    my $failed = 0;
    foreach (@tests)
      {
        my ($inref, $outref) = @$_;
        my @inconds = map { new Automake::Condition $_ } @$inref;
        return 1
          if threads->new(sub {
  	  my @outconds = map { (new Automake::Condition $_)->string } @$outref;
  	  return threads->new(sub {
  	    my @res =
  	      map { $_->string } (Automake::Condition::reduce_or (@inconds));
  	    return threads->new(sub {
  	      my $result = join (",", sort @res);
  	      my $exresult = join (",", @outconds);
  
  	      if ($result ne $exresult)
  		{
  		  print '"' . join(",", @$inref) . '" => "' .
  		    $result . '" expected "' .
  		      $exresult . '"' . "\n";
  		  $failed = 1;
  		}
  	      return $failed;
  	    })->join;
  	  })->join;
  	})->join;
      }
    return $failed;
  }
  
  sub test_merge ()
  {
    my $cond = new Automake::Condition "COND1_TRUE", "COND2_FALSE";
    return threads->new(sub {
        my $other = new Automake::Condition "COND3_FALSE";
        return threads->new(sub {
  	my $both = $cond->merge ($other);
  	return threads->new(sub {
  	  my $both2 = $cond->merge_conds ("COND3_FALSE");
  	  return threads->new(sub {
  	    $cond = $both->strip ($other);
  	    my @conds = $cond->conds;
  	    return 1 if $both->string ne "COND1_TRUE COND2_FALSE COND3_FALSE";
  	    return 1 if $cond->string ne "COND1_TRUE COND2_FALSE";
  	    return 1 if $both != $both2;
  	  })->join;
  	})->join;
        })->join;
      })->join;
    return 0;
  }
  
  exit (test_basics
        || test_true_when
        || test_reduce_and
        || test_reduce_or
        || test_merge);
  

Download