March 2002 - PPL-devel - BUGSENG Mailman

ppl/src PolyBase.defs.hh
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:30:16 Modified files: src : PolyBase.defs.hh Log message: In doxygen comments, added specification for exceptions that should be thrown when identifying a topology-incompatibility. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:27:34 Modified files: src : GenSys.cc Log message: Using Matrix::swap_columns. Corrected a bug in GenSys::insert(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.defs.hh ConSys.cc
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:24:46 Modified files: src : ConSys.defs.hh ConSys.cc Log message: Method contains_strict_inequalities() renamed as has_strict_inequalities(). Using Matrix::swap_columns(i, j) whene swapping the \epsilon coefficients after dimension changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.defs.hh Matrix.cc
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:22:53 Modified files: src : Matrix.defs.hh Matrix.cc Log message: Added method Matrix::swap_columns(size_t i, size_t j) to factorize the several places where we swap the column of \epsilon coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Generator.defs.hh Generator.inlines.hh ...
by Enea Zaffanella 18 Mar '02

18 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-18 11:16:48 Modified files: src : Generator.defs.hh Generator.inlines.hh Generator.cc Log message: Implemented friend function closure_point(...) returning a closure point. Added static method zero_dim_closure_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

Devref documentation.
by Enea Zaffanella 17 Mar '02

17 Mar '02

I just started having a look at the various warnings issued by doxygen when we compile the devref manual, in order to see if they are due to doxygen bugs or to our rather shallow understanding of this documentation tool: I strongly believe that we have a mix of the two situations. I will try and produce a few bug reports to be sent to the doxygen mailing list ... but here I would like point out a few (possible) problems taht are our fault. 1) Upgrading the doxygen configuration files. Whenever we move to a newer doxygen release, we should upgrade ALL of our doxygen configuration files by issuing commands like: # doxygen -u <config-file> This will save the old config file in <config-file>.bak and produce a new configuration file, including all the settings of the old one and the default values for those config variables that were not used in the previous release. Now, I am (we are?) using doxygen 1.2.14, but the configuration files in the repository have been produced by using doxygen 1.2.6, which is an old release. The annoying problems when using doxygen -u are: - our comments in the config. files will be stripped out and replaced by the standard comments (minor problem); - by making a diff, I noted that the automatically generated new config files have a lot of trailing white spaces (as well as a few lines that are too long). 2) Multiple detailed description blocks. As far as I can see, doxygen is not able to collect and merge togheter multiple description blocks. It will consider just one of them (th elast one, I guess). Usually, we have been careful to avoid such a situation, except when we wanted to include a particular (non-friend) function in the documentation of a class by using the special command \relates <class>. Since this command seems not to work properly with brief description, we were writing two detail description blocks, one just after the brief description (which was including the \relates command and nothing else) and one before the actual function definition (without the \relates command). The net result was the doxygen warning: Warning: no matching file member found for ... Because (when processing the second comment block) doxygen was not able to find a matching declaration (he had no \relates and it was therefore looking in the wrong place). The solution is to place the \relates command in the (one and only) detailed description block that goes before the function _definition_. 3) The use of the flag PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS We were using this flag without any need a couple of times (in Row.cc and SatRow.cc). Basically, this flag should never be used in *.inlines.hh and *.cc files, since all the member functions (and the functions labelled by \related) of an undocumented class will NOT appear in the user manual. Now going on checking if there are other kinds of doxygen warnings. I will also start to implement some of the above changes. Enea.

2 2

ppl/src GenSys.defs.hh GenSys.cc
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 14:49:05 Modified files: src : GenSys.defs.hh GenSys.cc Log message: Added methods adjust_topology_and_dimensions(), has_closure_points() and has_points() to help checking for legality and automatically adjusting generator systems when building polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-17 14:45:55 Modified files: src : ConSys.cc Log message: Optimized the method contains_strict_inequalities() by factoring out the topology tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog/YAP Makefile.am ppl_yap. ...
by Roberto Bagnara 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-17 11:30:37 Modified files: interfaces/Prolog/YAP: Makefile.am ppl_yap.cc ppl_yap.pl Log message: Slow and difficult progress on the YAP interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/doc definitions.dox ppl.sty
by Roberto Bagnara 17 Mar '02

17 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-17 11:05:53 Modified files: doc : definitions.dox ppl.sty Log message: Introcude the macro \cone. Fix the macro \linspace. Define commands using the \{new,renew,provide}command* form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0