kc3-lang/automake/lib/Automake/tests/DisjConditions.pl

Tag - 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 : 1183efd3
  Author :
  Date : 2005-05-14T20:28:56
  

  * COPYING, ChangeLog, ChangeLog.00, ChangeLog.01, ChangeLog.02,
  ChangeLog.03, ChangeLog.96, ChangeLog.98, HACKING, Makefile.am,
  NEWS, README, TODO, aclocal.in, automake.in, bootstrap, configure,
  configure.ac, doc/Makefile.am, doc/fdl.texi, lib/COPYING,
  lib/Makefile.am, lib/acinstall, lib/compile, lib/config-ml.in,
  lib/config.guess, lib/config.sub, lib/depcomp, lib/elisp-comp,
  lib/gnupload, lib/mdate-sh, lib/missing, lib/py-compile,
  lib/symlink-tree, lib/texinfo.tex, lib/ylwrap,
  lib/Automake/ChannelDefs.pm, lib/Automake/Channels.pm,
  lib/Automake/Condition.pm, lib/Automake/Config.in,
  lib/Automake/Configure_ac.pm, lib/Automake/DisjConditions.pm,
  lib/Automake/FileUtils.pm, lib/Automake/General.pm,
  lib/Automake/Item.pm, lib/Automake/ItemDef.pm,
  lib/Automake/Location.pm, lib/Automake/Makefile.am,
  lib/Automake/Options.pm, lib/Automake/Rule.pm,
  lib/Automake/RuleDef.pm, lib/Automake/Struct.pm,
  lib/Automake/VarDef.pm, lib/Automake/Variable.pm,
  lib/Automake/Version.pm, lib/Automake/Wrap.pm,
  lib/Automake/XFile.pm, lib/Automake/tests/Condition.pl,
  lib/Automake/tests/DisjConditions.pl,
  lib/Automake/tests/Makefile.am, lib/Automake/tests/Version.pl,
  lib/Automake/tests/Wrap.pl, lib/am/Makefile.am,
  lib/am/ansi2knr.am, lib/am/check.am, lib/am/clean-hdr.am,
  lib/am/clean.am, lib/am/compile.am, lib/am/configure.am,
  lib/am/data.am, lib/am/dejagnu.am, lib/am/depend.am,
  lib/am/depend2.am, lib/am/distdir.am, lib/am/footer.am,
  lib/am/header-vars.am, lib/am/header.am, lib/am/inst-vars.am,
  lib/am/install.am, lib/am/java.am, lib/am/lang-compile.am,
  lib/am/lex.am, lib/am/library.am, lib/am/libs.am,
  lib/am/libtool.am, lib/am/lisp.am, lib/am/ltlib.am,
  lib/am/ltlibrary.am, lib/am/mans-vars.am, lib/am/mans.am,
  lib/am/multilib.am, lib/am/program.am, lib/am/progs.am,
  lib/am/python.am, lib/am/remake-hdr.am, lib/am/scripts.am,
  lib/am/subdirs.am, lib/am/tags.am, lib/am/texi-vers.am,
  lib/am/texibuild.am, lib/am/texinfos.am, lib/am/yacc.am,
  m4/Makefile.am, tests/aclibobj.test, tests/acloca10.test,
  tests/acloca11.test, tests/acloca12.test, tests/acloca13.test,
  tests/acloca14.test, tests/acloca15.test, tests/acloca16.test,
  tests/acloca17.test, tests/acloca18.test, tests/acloca19.test,
  tests/aclocal.test, tests/aclocal3.test, tests/aclocal4.test,
  tests/aclocal5.test, tests/aclocal6.test, tests/aclocal7.test,
  tests/aclocal8.test, tests/aclocal9.test, tests/acoutbs.test,
  tests/acoutbs2.test, tests/acoutnoq.test, tests/acoutpt.test,
  tests/acoutpt2.test, tests/acoutqnl.test, tests/acsilent.test,
  tests/acsubst.test, tests/acsubst2.test, tests/all.test,
  tests/alloca.test, tests/alloca2.test, tests/alpha.test,
  tests/alpha2.test, tests/amassign.test, tests/ammissing.test,
  tests/ansi.test, tests/ansi10.test, tests/ansi2.test,
  tests/ansi3.test, tests/ansi3b.test, tests/ansi4.test,
  tests/ansi5.test, tests/ansi6.test, tests/ansi7.test,
  tests/ansi8.test, tests/ansi9.test, tests/ar.test, tests/ar2.test,
  tests/asm.test, tests/autohdr.test, tests/autohdr2.test,
  tests/autohdr3.test, tests/autohdr4.test, tests/automake.test,
  tests/auxdir.test, tests/auxdir2.test, tests/auxdir3.test,
  tests/auxdir4.test, tests/backsl.test, tests/backsl2.test,
  tests/backsl3.test, tests/backsl4.test, tests/badline.test,
  tests/badopt.test, tests/badprog.test, tests/block.test,
  tests/bsource.test, tests/canon.test, tests/canon2.test,
  tests/canon3.test, tests/canon4.test, tests/canon5.test,
  tests/ccnoco.test, tests/check.test, tests/check2.test,
  tests/check3.test, tests/check4.test, tests/checkall.test,
  tests/clean.test, tests/clean2.test, tests/colneq.test,
  tests/colneq2.test, tests/colon.test, tests/colon2.test,
  tests/colon3.test, tests/colon4.test, tests/colon5.test,
  tests/colon6.test, tests/colon7.test, tests/comment.test,
  tests/comment2.test, tests/comment3.test, tests/comment4.test,
  tests/comment5.test, tests/comment6.test, tests/comment7.test,
  tests/comment8.test, tests/comment9.test, tests/compile.test,
  tests/compile_f90_c_cxx.test, tests/compile_f_c_cxx.test,
  tests/cond.test, tests/cond10.test, tests/cond11.test,
  tests/cond13.test, tests/cond14.test, tests/cond15.test,
  tests/cond16.test, tests/cond17.test, tests/cond18.test,
  tests/cond19.test, tests/cond2.test, tests/cond20.test,
  tests/cond21.test, tests/cond22.test, tests/cond23.test,
  tests/cond24.test, tests/cond25.test, tests/cond26.test,
  tests/cond27.test, tests/cond28.test, tests/cond29.test,
  tests/cond3.test, tests/cond30.test, tests/cond31.test,
  tests/cond32.test, tests/cond33.test, tests/cond34.test,
  tests/cond35.test, tests/cond36.test, tests/cond37.test,
  tests/cond4.test, tests/cond5.test, tests/cond6.test,
  tests/cond7.test, tests/cond8.test, tests/cond9.test,
  tests/condd.test, tests/condhook.test, tests/condinc.test,
  tests/condinc2.test, tests/condlib.test, tests/condman.test,
  tests/condman2.test, tests/conf2.test, tests/confdeps.test,
  tests/conff.test, tests/conff2.test, tests/confh.test,
  tests/confh4.test, tests/confh5.test, tests/config.test,
  tests/confincl.test, tests/conflnk.test, tests/conflnk2.test,
  tests/conflnk3.test, tests/confsub.test, tests/confvar.test,
  tests/confvar2.test, tests/copy.test, tests/ctarget1.test,
  tests/cxx.test, tests/cxx2.test, tests/cxxansi.test,
  tests/cxxcpp.test, tests/cxxlibobj.test, tests/cxxlink.test,
  tests/cxxnoc.test, tests/cxxo.test, tests/cygwin32.test,
  tests/dash.test, tests/defs.in, tests/defun.test,
  tests/defun2.test, tests/dejagnu.test, tests/dejagnu2.test,
  tests/dejagnu3.test, tests/dejagnu4.test, tests/dejagnu5.test,
  tests/dejagnu6.test, tests/dejagnu7.test, tests/depacl2.test,
  tests/depcomp.test, tests/depcomp2.test, tests/depcomp3.test,
  tests/depcomp4.test, tests/depcomp5.test, tests/depdist.test,
  tests/depend.test, tests/depend2.test, tests/depend3.test,
  tests/depend4.test, tests/destdir.test, tests/dirforbid.test,
  tests/dirlist.test, tests/discover.test, tests/distcom2.test,
  tests/distcom3.test, tests/distcom4.test, tests/distcom5.test,
  tests/distcom6.test, tests/distcom7.test, tests/distdir.test,
  tests/distname.test, tests/dollar.test, tests/double.test,
  tests/dup2.test, tests/else.test, tests/empty.test,
  tests/empty2.test, tests/empty3.test, tests/empty4.test,
  tests/exdir.test, tests/exdir2.test, tests/exeext.test,
  tests/exeext2.test, tests/exeext3.test, tests/exeext4.test,
  tests/exsource.test, tests/ext.test, tests/ext2.test,
  tests/extra.test, tests/extra2.test, tests/extra3.test,
  tests/extra4.test, tests/extra5.test, tests/extra6.test,
  tests/extra7.test, tests/f90only.test, tests/flibs.test,
  tests/fn99.test, tests/fnoc.test, tests/fo.test, tests/fonly.test,
  tests/fortdep.test, tests/fpinst2.test, tests/fpinstall.test,
  tests/gcj.test, tests/gcj2.test, tests/gcj3.test, tests/gcj4.test,
  tests/gcj5.test, tests/getopt.test, tests/gettext.test,
  tests/gettext2.test, tests/gnits.test, tests/gnits2.test,
  tests/gnits3.test, tests/gnumake.test, tests/gnuwarn.test,
  tests/gnuwarn2.test, tests/header.test, tests/help.test,
  tests/hfs.test, tests/hosts.test, tests/implicit.test,
  tests/include.test, tests/include2.test, tests/info.test,
  tests/insh2.test, tests/install2.test, tests/installdir.test,
  tests/instdat.test, tests/instdat2.test, tests/instexec.test,
  tests/insthook.test, tests/instman.test, tests/instman2.test,
  tests/instsh.test, tests/instsh2.test, tests/instspc.test,
  tests/interp.test, tests/interp2.test, tests/java.test,
  tests/java2.test, tests/java3.test, tests/javaprim.test,
  tests/javasubst.test, tests/ldadd.test, tests/ldflags.test,
  tests/lex.test, tests/lex2.test, tests/lex3.test, tests/lex4.test,
  tests/lex5.test, tests/libobj10.test, tests/libobj11.test,
  tests/libobj12.test, tests/libobj13.test, tests/libobj14.test,
  tests/libobj2.test, tests/libobj3.test, tests/libobj4.test,
  tests/libobj5.test, tests/libobj7.test, tests/libobj8.test,
  tests/library.test, tests/library2.test, tests/library3.test,
  tests/libtool.test, tests/libtool2.test, tests/libtool3.test,
  tests/libtool4.test, tests/libtool5.test, tests/libtool6.test,
  tests/libtool7.test, tests/libtool8.test, tests/libtool9.test,
  tests/license.test, tests/link_c_cxx.test, tests/link_dist.test,
  tests/link_f90_only.test, tests/link_f_only.test,
  tests/link_fc.test, tests/link_fccxx.test, tests/link_fcxx.test,
  tests/lisp2.test, tests/lisp3.test, tests/lisp4.test,
  tests/lisp5.test, tests/lisp6.test, tests/lisp7.test,
  tests/lisp8.test, tests/listval.test, tests/location.test,
  tests/longlin2.test, tests/longline.test, tests/ltcond.test,
  tests/ltcond2.test, tests/ltconv.test, tests/ltdeps.test,
  tests/ltlibobjs.test, tests/ltlibsrc.test, tests/maintclean.test,
  tests/make.test, tests/makej.test, tests/makevars.test,
  tests/man.test, tests/man2.test, tests/mclean.test,
  tests/mdate.test, tests/mdate2.test, tests/mdate3.test,
  tests/mdate4.test, tests/missing.test, tests/missing2.test,
  tests/missing3.test, tests/mkinst2.test, tests/mkinstall.test,
  tests/mmodely.test, tests/multlib.test, tests/nobase.test,
  tests/nodef.test, tests/nodef2.test, tests/nodep.test,
  tests/nodepcomp.test, tests/nodist.test, tests/nodist2.test,
  tests/nodist3.test, tests/nogzip.test, tests/nogzip2.test,
  tests/noinst.test, tests/noinstdir.test, tests/nolink.test,
  tests/nostdinc.test, tests/number.test, tests/obsolete.test,
  tests/order.test, tests/outdir.test, tests/output.test,
  tests/output10.test, tests/output11.test, tests/output12.test,
  tests/output2.test, tests/output3.test, tests/output4.test,
  tests/output5.test, tests/output6.test, tests/output7.test,
  tests/output8.test, tests/output9.test, tests/overrid.test,
  tests/parse.test, tests/percent.test, tests/percent2.test,
  tests/phony.test, tests/pluseq.test, tests/pluseq10.test,
  tests/pluseq2.test, tests/pluseq3.test, tests/pluseq4.test,
  tests/pluseq5.test, tests/pluseq6.test, tests/pluseq7.test,
  tests/pluseq8.test, tests/pluseq9.test, tests/postproc.test,
  tests/ppf77.test, tests/pr2.test, tests/pr204.test,
  tests/pr211.test, tests/pr220.test, tests/pr224.test,
  tests/pr229.test, tests/pr243.test, tests/pr266.test,
  tests/pr279-2.test, tests/pr279.test, tests/pr287.test,
  tests/pr300-lib.test, tests/pr300-ltlib.test,
  tests/pr300-prog.test, tests/pr307.test, tests/pr401.test,
  tests/pr401b.test, tests/pr401c.test, tests/pr72.test,
  tests/pr87.test, tests/pr9.test, tests/prefix.test,
  tests/primary.test, tests/primary2.test, tests/primary3.test,
  tests/proginst.test, tests/python.test, tests/python10.test,
  tests/python11.test, tests/python12.test, tests/python2.test,
  tests/python3.test, tests/python4.test, tests/python5.test,
  tests/python6.test, tests/python7.test, tests/python8.test,
  tests/python9.test, tests/recurs.test, tests/recurs2.test,
  tests/regex.test, tests/remake.test, tests/remake2.test,
  tests/remake3.test, tests/remake4.test, tests/remake5.test,
  tests/req.test, tests/reqd.test, tests/reqd2.test,
  tests/rulepat.test, tests/scripts.test, tests/seenc.test,
  tests/sinclude.test, tests/space.test, tests/specflg.test,
  tests/specflg2.test, tests/specflg3.test, tests/specflg6.test,
  tests/specflg7.test, tests/specflg8.test, tests/specflg9.test,
  tests/spell.test, tests/spell2.test, tests/spell3.test,
  tests/spelling.test, tests/spy.test, tests/srcsub.test,
  tests/srcsub2.test, tests/stamph2.test, tests/stdlib.test,
  tests/stdlib2.test, tests/strip.test, tests/subcond.test,
  tests/subcond2.test, tests/subcond3.test, tests/subdir.test,
  tests/subdir2.test, tests/subdir3.test, tests/subdir4.test,
  tests/subdir5.test, tests/subdir6.test, tests/subdir7.test,
  tests/subdir8.test, tests/subdir9.test,
  tests/subdirbuiltsources.test, tests/subobj.test,
  tests/subobj2.test, tests/subobj3.test, tests/subobj4.test,
  tests/subobj5.test, tests/subobj6.test, tests/subobj7.test,
  tests/subobj8.test, tests/subobj9.test, tests/subobjname.test,
  tests/subpkg.test, tests/subpkg2.test, tests/subst.test,
  tests/subst2.test, tests/substre2.test, tests/substref.test,
  tests/substtarg.test, tests/suffix.test, tests/suffix10.test,
  tests/suffix11.test, tests/suffix2.test, tests/suffix3.test,
  tests/suffix4.test, tests/suffix5.test, tests/suffix6.test,
  tests/suffix7.test, tests/suffix8.test, tests/suffix9.test,
  tests/symlink.test, tests/symlink2.test, tests/symlink3.test,
  tests/syntax.test, tests/tags.test, tests/tagsub.test,
  tests/tar.test, tests/tar2.test, tests/tar3.test,
  tests/target-cflags.test, tests/targetclash.test,
  tests/transform.test, tests/txinfo.test, tests/txinfo10.test,
  tests/txinfo13.test, tests/txinfo16.test, tests/txinfo17.test,
  tests/txinfo18.test, tests/txinfo19.test, tests/txinfo2.test,
  tests/txinfo20.test, tests/txinfo21.test, tests/txinfo22.test,
  tests/txinfo23.test, tests/txinfo24.test, tests/txinfo25.test,
  tests/txinfo26.test, tests/txinfo27.test, tests/txinfo28.test,
  tests/txinfo29.test, tests/txinfo3.test, tests/txinfo4.test,
  tests/txinfo5.test, tests/txinfo6.test, tests/txinfo7.test,
  tests/txinfo8.test, tests/txinfo9.test, tests/unused.test,
  tests/vars.test, tests/vars3.test, tests/vartar.test,
  tests/version.test, tests/version2.test, tests/version3.test,
  tests/version4.test, tests/version6.test, tests/version7.test,
  tests/version8.test, tests/vpath.test, tests/vtexi.test,
  tests/vtexi2.test, tests/warnopts.test, tests/werror.test,
  tests/werror2.test, tests/whoami.test, tests/xsource.test,
  tests/yacc.test, tests/yacc2.test, tests/yacc3.test,
  tests/yacc4.test, tests/yacc5.test, tests/yacc6.test,
  tests/yacc7.test, tests/yacc8.test, tests/yaccpp.test,
  tests/yaccvpath.test: Update FSF postal mail address.
  

Download

• lib/Automake/tests/DisjConditions.pl

• # Copyright (C) 2001, 2002, 2003  Free Software Foundation, Inc.
  #
  # This file is part of GNU Automake.
  #
  # GNU Automake 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.
  #
  # GNU Automake 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 autoconf; see the file COPYING.  If not, write to
  # the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
  # Boston, MA 02110-1301, USA.
  
  use Automake::Condition qw/TRUE FALSE/;
  use Automake::DisjConditions;
  
  sub test_basics ()
  {
    my $cond = new Automake::Condition "COND1_TRUE", "COND2_FALSE";
    my $other = new Automake::Condition "COND3_FALSE";
    my $set1 = new Automake::DisjConditions $cond, $other;
    my $set2 = new Automake::DisjConditions $other, $cond;
    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;
  }
  
  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]};
        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;
  }
  
  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]};
        my $res = build_set @{$t->[1]};
  
        # Make sure simplify() yields the expected result.
        my $sim = $set->simplify;
        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;
        if ($sim2 != $sim)
  	{
  	  print " (S2) " . $sim->string . "\n\t"
  	    . $sim2->string . ' != ' . $sim->string . "\n";
  	  return 1;
  	}
  
        # Also exercize invert() while we are at it.
  
        my $inv1 = $set->invert->simplify;
        my $inv2 = $sim->invert->simplify;
        if ($inv1 != $inv2)
  	{
  	  print " (S3) " . $set->string . ", " . $sim->string . "\n\t"
  	    . $inv1->string . ' != ' . $inv2->string . "\n";
  	  return 1;
  	}
      }
  
    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]};
        my $t2 = new Automake::Condition @{$t->[1]};
        my $t3 = build_set @{$t->[2]};
  
        # Make sure sub_conditions() yields the expected result.
        my $s = $t1->sub_conditions ($t2);
        if ($s != $t3)
  	{
  	  print " (SC) " . $t1->string . "\n\t"
  	    . $s->string . ' != ' . $t3->string . "\n";
  	  return 1;
  	}
      }
  }
  
  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"],
  		'']);
  
    for my $t (@tests)
      {
        my $t1 = build_set @{$t->[0]};
        my $t2 = new Automake::Condition @{$t->[1]};
        my $t3 = $t->[2];
        my ($ans, $cond) = $t1->ambiguous_p ("FOO", $t2);
        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;
  	}
      }
    return 0;
  }
  
  exit (test_basics
        || test_invert
        || test_simplify
        || test_sub_conditions
        || test_ambig);
  
  ### Setup "GNU" style for perl-mode and cperl-mode.
  ## Local Variables:
  ## perl-indent-level: 2
  ## perl-continued-statement-offset: 2
  ## perl-continued-brace-offset: 0
  ## perl-brace-offset: 0
  ## perl-brace-imaginary-offset: 0
  ## perl-label-offset: -2
  ## cperl-indent-level: 2
  ## cperl-brace-offset: 0
  ## cperl-continued-brace-offset: 0
  ## cperl-label-offset: -2
  ## cperl-extra-newline-before-brace: t
  ## cperl-merge-trailing-else: nil
  ## cperl-continued-statement-offset: 2
  ## End:
  

Download