Edit
kc3-lang/automake/lib/Automake/DisjConditions.pm
Branch :
-
Show log
Commit
-
Author :
Alexandre Duret-Lutz
Date : 2005-05-14 20:28:56
Hash : 1183efd3
Message : * 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.
- lib/Automake/DisjConditions.pm
-
# Copyright (C) 1997, 2001, 2002, 2003, 2004 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, write to the Free Software # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA # 02110-1301, USA. package Automake::DisjConditions; use Carp; use strict; use Automake::Condition qw/TRUE FALSE/; =head1 NAME Automake::DisjConditions - record a disjunction of Conditions =head1 SYNOPSIS use Automake::Condition; use Automake::DisjConditions; # Create a Condition to represent "COND1 and not COND2". my $cond = new Automake::Condition "COND1_TRUE", "COND2_FALSE"; # Create a Condition to represent "not COND3". my $other = new Automake::Condition "COND3_FALSE"; # Create a DisjConditions to represent # "(COND1 and not COND2) or (not COND3)" my $set = new Automake::DisjConditions $cond, $other; # Return the list of Conditions involved in $set. my @conds = $set->conds; # Return one of the Condition involved in $set. my $cond = $set->one_cond; # Return true iff $set is always true (i.e. its subconditions # conver all cases). if ($set->true) { ... } # Return false iff $set is always false (i.e. is empty, or contains # only false conditions). if ($set->false) { ... } # Return a string representing the DisjConditions. # "COND1_TRUE COND2_FALSE | COND3_FALSE" my $str = $set->string; # Return a human readable string representing the DisjConditions. # "(COND1 and !COND2) or (!COND3)" my $str = $set->human; # Merge (OR) several DisjConditions. my $all = $set->merge($set2, $set3, ...) # Invert a DisjConditions, i.e., create a new DisjConditions # that complements $set. my $inv = $set->invert; # Multiply two DisjConditions. my $prod = $set1->multiply ($set2); # Return the subconditions of a DisjConditions with respect to # a Condition. See the description for a real example. my $subconds = $set->sub_conditions ($cond); # Check whether a new definition in condition $cond would be # ambiguous w.r.t. existing definitions in $set. ($msg, $ambig_cond) = $set->ambiguous_p ($what, $cond); =head1 DESCRIPTION A C<DisjConditions> is a disjunction of C<Condition>s. In Automake they are used to represent the conditions into which Makefile variables and Makefile rules are defined. If the variable C<VAR> is defined as if COND1 if COND2 VAR = value1 endif endif if !COND3 if COND4 VAR = value2 endif endif then it will be associated a C<DisjConditions> created with the following statement. new Automake::DisjConditions (new Automake::Condition ("COND1_TRUE", "COND2_TRUE"), new Automake::Condition ("COND3_FALSE", "COND4_TRUE")); As you can see, a C<DisjConditions> is made from a list of C<Condition>s. Since C<DisjConditions> is a disjunction, and C<Condition> is a conjunction, the above can be read as follows. (COND1 and COND2) or ((not COND3) and COND4) That's indeed the condition into which C<VAR> has a value. Like C<Condition> objects, a C<DisjConditions> object is unique with respect to its conditions. Two C<DisjConditions> objects created for the same set of conditions will have the same adress. This makes it easy to compare C<DisjConditions>s: just compare the references. =head2 Methods =over 4 =item C<$set = new Automake::DisjConditions [@conds]> Create a C<DisjConditions> object from the list of C<Condition> objects passed in arguments. If the C<@conds> list is empty, the C<DisjConditions> is assumed to be false. As explained previously, the reference (object) returned is unique with respect to C<@conds>. For this purpose, duplicate elements are ignored. =cut # Keys in this hash are DisjConditions strings. Values are the # associated object DisjConditions. This is used by `new' to reuse # DisjConditions objects with identical conditions. use vars '%_disjcondition_singletons'; sub new ($;@) { my ($class, @conds) = @_; my @filtered_conds = (); for my $cond (@conds) { confess "`$cond' isn't a reference" unless ref $cond; confess "`$cond' isn't an Automake::Condition" unless $cond->isa ("Automake::Condition"); # This is a disjunction of conditions, so we drop # false conditions. We'll always treat an "empty" # DisjConditions as false for this reason. next if $cond->false; push @filtered_conds, $cond; } my $string; if (@filtered_conds) { @filtered_conds = sort { $a->string cmp $b->string } @filtered_conds; $string = join (' | ', map { $_->string } @filtered_conds); } else { $string = 'FALSE'; } # Return any existing identical DisjConditions. my $me = $_disjcondition_singletons{$string}; return $me if $me; # Else, create a new DisjConditions. # Store conditions as keys AND as values, because blessed # objects are converted to string when used as keys (so # at least we still have the value when we need to call # a method). my %h = map {$_ => $_} @filtered_conds; my $self = { hash => \%h, string => $string, conds => \@filtered_conds, }; bless $self, $class; $_disjcondition_singletons{$string} = $self; return $self; } =item C<@conds = $set-E<gt>conds> Return the list of C<Condition> objects involved in C<$set>. =cut sub conds ($ ) { my ($self) = @_; return @{$self->{'conds'}}; } =item C<$cond = $set-E<gt>one_cond> Return one C<Condition> object involved in C<$set>. =cut sub one_cond ($) { my ($self) = @_; return (%{$self->{'hash'}},)[1]; } =item C<$et = $set-E<gt>false> Return 1 iff the C<DisjConditions> object is always false (i.e., if it is empty, or if it contains only false C<Condition>s). Return 0 otherwise. =cut sub false ($ ) { my ($self) = @_; return 0 == keys %{$self->{'hash'}}; } =item C<$et = $set-E<gt>true> Return 1 iff the C<DisjConditions> object is always true (i.e. covers all conditions). Return 0 otherwise. =cut sub true ($ ) { my ($self) = @_; return $self->invert->false; } =item C<$str = $set-E<gt>string> Build a string which denotes the C<DisjConditions>. =cut sub string ($ ) { my ($self) = @_; return $self->{'string'}; } =item C<$cond-E<gt>human> Build a human readable string which denotes the C<DisjConditions>. =cut sub human ($ ) { my ($self) = @_; return $self->{'human'} if defined $self->{'human'}; my $res = ''; if ($self->false) { $res = 'FALSE'; } else { my @c = $self->conds; if (1 == @c) { $res = $c[0]->human; } else { $res = '(' . join (') or (', map { $_->human } $self->conds) . ')'; } } $self->{'human'} = $res; return $res; } =item C<$newcond = $cond-E<gt>merge (@otherconds)> Return a new C<DisjConditions> which is the disjunction of C<$cond> and C<@otherconds>. Items in C<@otherconds> can be @C<Condition>s or C<DisjConditions>. =cut sub merge ($@) { my ($self, @otherconds) = @_; new Automake::DisjConditions ( map { $_->isa ("Automake::DisjConditions") ? $_->conds : $_ } ($self, @otherconds)); } =item C<$prod = $set1-E<gt>multiply ($set2)> Multiply two conditional sets. my $set1 = new Automake::DisjConditions (new Automake::Condition ("A_TRUE"), new Automake::Condition ("B_TRUE")); my $set2 = new Automake::DisjConditions (new Automake::Condition ("C_FALSE"), new Automake::Condition ("D_FALSE")); C<$set1-E<gt>multiply ($set2)> will return new Automake::DisjConditions (new Automake::Condition ("A_TRUE", "C_FALSE"), new Automake::Condition ("B_TRUE", "C_FALSE"),; new Automake::Condition ("A_TRUE", "D_FALSE"), new Automake::Condition ("B_TRUE", "D_FALSE")); The argument can also be a C<Condition>. =cut # Same as multiply() but take a list of Conditonals as second argument. # We use this in invert(). sub _multiply ($@) { my ($self, @set) = @_; my @res = map { $_->multiply (@set) } $self->conds; return new Automake::DisjConditions (Automake::Condition::reduce_or @res); } sub multiply ($$) { my ($self, $set) = @_; return $self->_multiply ($set) if $set->isa('Automake::Condition'); return $self->_multiply ($set->conds); } =item C<$inv = $set-E<gt>invert> Invert a C<DisjConditions>. Return a C<DisjConditions> which is true when C<$set> is false, and vice-versa. my $set = new Automake::DisjConditions (new Automake::Condition ("A_TRUE", "B_TRUE"), new Automake::Condition ("A_FALSE", "B_FALSE")); Calling C<$set-E<gt>invert> will return the following C<DisjConditions>. new Automake::DisjConditions (new Automake::Condition ("A_TRUE", "B_FALSE"), new Automake::Condition ("A_FALSE", "B_TRUE")); We implement the inversion by a product-of-sums to sum-of-products conversion using repeated multiplications. Because of the way we implement multiplication, the result of inversion is in canonical prime implicant form. =cut sub invert($ ) { my ($self) = @_; return $self->{'invert'} if defined $self->{'invert'}; # The invert of an empty DisjConditions is TRUE. my $res = new Automake::DisjConditions TRUE; # !((a.b)+(c.d)+(e.f)) # = (!a+!b).(!c+!d).(!e+!f) # We develop this into a sum of product iteratively, starting from TRUE: # 1) TRUE # 2) TRUE.!a + TRUE.!b # 3) TRUE.!a.!c + TRUE.!b.!c + TRUE.!a.!d + TRUE.!b.!d # 4) TRUE.!a.!c.!e + TRUE.!b.!c.!e + TRUE.!a.!d.!e + TRUE.!b.!d.!e # + TRUE.!a.!c.!f + TRUE.!b.!c.!f + TRUE.!a.!d.!f + TRUE.!b.!d.!f foreach my $cond ($self->conds) { $res = $res->_multiply ($cond->not); } # Cache result. $self->{'invert'} = $res; # It's tempting to also set $res->{'invert'} to $self, but that # is a bad idea as $self hasn't been normalized in any way. # (Different inputs can produce the same inverted set.) return $res; } =item C<$self-E<gt>simplify> Return a C<Disjunction> which is a simplified canonical form of C<$self>. This canonical form contains only prime implicants, but it can contain non-essential prime implicants. =cut sub simplify ($) { my ($self) = @_; return $self->invert->invert; } =item C<$self-E<gt>sub_conditions ($cond)> Return the subconditions of C<$self> that contains C<$cond>, with C<$cond> stripped. More formally, return C<$res> such that C<$res-E<gt>multiply ($cond) == $self-E<gt>multiply ($cond)> and C<$res> does not mention any of the variables in C<$cond>. For instance, consider: my $a = new Automake::DisjConditions (new Automake::Condition ("A_TRUE", "B_TRUE"), new Automake::Condition ("A_TRUE", "C_FALSE"), new Automake::Condition ("A_TRUE", "B_FALSE", "C_TRUE"), new Automake::Condition ("A_FALSE")); my $b = new Automake::DisjConditions (new Automake::Condition ("A_TRUE", "B_FALSE")); Calling C<$a-E<gt>sub_conditions ($b)> will return the following C<DisjConditions>. new Automake::DisjConditions (new Automake::Condition ("C_FALSE"), # From A_TRUE C_FALSE new Automake::Condition ("C_TRUE")); # From A_TRUE B_FALSE C_TRUE" =cut sub sub_conditions ($$) { my ($self, $subcond) = @_; # Make $subcond blindingly apparent in the DisjConditions. # For instance `$b->multiply($a->conds)' (from the POD example) is: # (new Automake::Condition ("FALSE"), # new Automake::Condition ("A_TRUE", "B_FALSE", "C_FALSE"), # new Automake::Condition ("A_TRUE", "B_FALSE", "C_TRUE"), # new Automake::Condition ("FALSE")) my @prodconds = $subcond->multiply ($self->conds); # Now, strip $subcond from the remaining (i.e., non-false) Conditions. my @res = map { $_->false ? () : $_->strip ($subcond) } @prodconds; return new Automake::DisjConditions @res; } =item C<($string, $ambig_cond) = $condset-E<gt>ambiguous_p ($what, $cond)> Check for an ambiguous condition. Return an error message and the other condition involved if we have an ambiguity. Return an empty string and FALSE otherwise. C<$what> is the name of the thing being defined, to use in the error message. C<$cond> is the C<Condition> under which it is being defined. C<$condset> is the C<DisjConditions> under which it had already been defined. =cut sub ambiguous_p ($$$) { my ($self, $var, $cond) = @_; # Note that these rules don't consider the following # example as ambiguous. # # if COND1 # FOO = foo # endif # if COND2 # FOO = bar # endif # # It's up to the user to not define COND1 and COND2 # simultaneously. return ("$var multiply defined in condition " . $cond->human, $cond) if exists $self->{'hash'}{$cond}; foreach my $vcond ($self->conds) { return ("$var was already defined in condition " . $vcond->human . ", which includes condition ". $cond->human, $vcond) if $vcond->true_when ($cond); return ("$var was already defined in condition " . $vcond->human . ", which is included in condition " . $cond->human, $vcond) if $cond->true_when ($vcond); } return ('', FALSE); } =head1 SEE ALSO L<Automake::Condition>. =head1 HISTORY C<AM_CONDITIONAL>s and supporting code were added to Automake 1.1o by Ian Lance Taylor <ian@cygnus.org> in 1997. Since then it has been improved by Tom Tromey <tromey@redhat.com>, Richard Boulton <richard@tartarus.org>, Raja R Harinath <harinath@cs.umn.edu>, Akim Demaille <akim@epita.fr>, Pavel Roskin <proski@gnu.org>, and Alexandre Duret-Lutz <adl@gnu.org>. =cut 1; ### 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: