March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Bug fix: ostringstream.str() returns a temporary.
by Abramo Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 0b1464817aa9d7c28687d32705cb4fb157b06efe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b1464817aa9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 19:42:46 2009 +0100 Bug fix: ostringstream.str() returns a temporary. --- src/c_stream.cc | 32 +++++++++++++++++--------------- src/c_stream.h | 2 +- src/c_streambuf_format.cc | 7 +++++-- 3 files changed, 23 insertions(+), 18 deletions(-) diff --git a/src/c_stream.cc b/src/c_stream.cc index ab2d8aa..0c25bbb 100644 --- a/src/c_stream.cc +++ b/src/c_stream.cc @@ -1,4 +1,5 @@ #include <cstdio> +#include <cstring> #include <iostream> #include <sstream> #include "stdiobuf.defs.hh" @@ -33,18 +34,18 @@ ppl_io_format_settings ppl_io_format_default_settings = { 0, // bottom { // length, left, right, alignment, fill_char - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRSTLAST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // NEXT - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LAST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FORCED_FIRST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FORCED_NEXT - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRSTLAST - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_NEXT - { 80, "", "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_LAST - { 80, "", "", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // UNTERMINATED_FIRST - { 80, "", "", PPL_IO_FORMAT_ALIGN_LEFT, 0 } // UNTERMINATED_NEXT + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FIRSTLAST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // NEXT + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LAST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FORCED_FIRST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // FORCED_NEXT + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_FIRSTLAST + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_NEXT + { 80, 0, "\n", PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // LONGER_LAST + { 80, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 }, // UNTERMINATED_FIRST + { 80, 0, 0, PPL_IO_FORMAT_ALIGN_LEFT, 0 } // UNTERMINATED_NEXT } }; @@ -78,10 +79,11 @@ void ppl_io_ostream_format_replace_settings(ppl_io_ostream* stream, ppl_io_forma static_cast<c_streambuf_format*>(stream->sbuf)->replace_settings(settings); } -size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* s, const char **buf) { +size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* s, char **buf) { std::ostringstream* ss = static_cast<std::ostringstream*>(s->stream); - *buf = ss->str().c_str(); - return ss->str().size(); + std::string str = ss->str(); + *buf = strdup(str.c_str()); + return str.size(); } void ppl_io_ostream_buffer_clear(struct ppl_io_ostream* s) { diff --git a/src/c_stream.h b/src/c_stream.h index b0bb5eb..d54d532 100644 --- a/src/c_stream.h +++ b/src/c_stream.h @@ -60,7 +60,7 @@ struct ppl_io_ostream* ppl_io_ostream_format_new(struct ppl_io_ostream* stream, void ppl_io_ostream_format_replace_settings(struct ppl_io_ostream* stream, struct ppl_io_format_settings* settings); void ppl_io_ostream_delete(struct ppl_io_ostream* stream); -size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* stream, const char** buf); +size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* stream, char** buf); void ppl_io_ostream_buffer_clear(struct ppl_io_ostream* stream); int ppl_io_write_endl(struct ppl_io_ostream* s); diff --git a/src/c_streambuf_format.cc b/src/c_streambuf_format.cc index 3325dff..96b9a64 100644 --- a/src/c_streambuf_format.cc +++ b/src/c_streambuf_format.cc @@ -124,6 +124,7 @@ int c_streambuf_format::cb_flush() { if (n > 0) { if (!output_line(str.c_str(), n, first ? PPL_IO_FORMAT_LINE_UNTERMINATED_FIRST : PPL_IO_FORMAT_LINE_UNTERMINATED_NEXT)) return -1; + str.clear(); } return 0; } @@ -142,7 +143,8 @@ bool c_streambuf_format::output_line(const char *s, unsigned int n, ppl_io_forma default: break; } - stream << settings->lines[type].left; + if (settings->lines[type].left) + stream << settings->lines[type].left; if (settings->lines[type].fill_char && n < settings->lines[type].length) { unsigned int left = 0; unsigned int right = 0; @@ -158,7 +160,8 @@ bool c_streambuf_format::output_line(const char *s, unsigned int n, ppl_io_forma } else stream.write(s, n); - stream << settings->lines[type].right; + if (settings->lines[type].right) + stream << settings->lines[type].right; switch (type) { case PPL_IO_FORMAT_LINE_FIRSTLAST: case PPL_IO_FORMAT_LINE_LAST:

1 0

[GIT] ppl/ppl(master): Added a test.
by Enea Zaffanella 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 2a0fee1d5a9a032b67d48392daf597d014827791 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a0fee1d5a9a… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 19:34:06 2009 +0100 Added a test. --- tests/Octagonal_Shape/affineimage1.cc | 25 +++++++++++++++++++++++++ 1 files changed, 25 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/affineimage1.cc b/tests/Octagonal_Shape/affineimage1.cc index fc79bbf..6bdafa3 100644 --- a/tests/Octagonal_Shape/affineimage1.cc +++ b/tests/Octagonal_Shape/affineimage1.cc @@ -437,6 +437,31 @@ test16() { return ok; } +bool +test17() { + Variable x(0); + Variable y(1); + + TOctagonal_Shape oct1(2); + oct1.add_constraint(x >= 0); + oct1.add_constraint(x <= 2); + oct1.add_constraint(y >= 0); + oct1.add_constraint(y <= 2); + + print_constraints(oct1.minimized_constraints(), "*** oct1 ***"); + + TOctagonal_Shape oct2(oct1); + print_constraints(oct2.minimized_constraints(), "*** oct1 ***"); + + oct2.affine_image(x, x + 1); + print_constraints(oct2.minimized_constraints(), "*** oct1 ***"); + + oct2.affine_image(y, y + 6); + print_constraints(oct2.minimized_constraints(), "*** oct2 ***"); + + return !oct2.is_empty(); +} + } // namespace BEGIN_MAIN

1 0

[GIT] ppl/ppl(master): Separated wrap before from wrap after. Bug fixes.
by Abramo Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 1ec4555a8ed04f3fb12a51f315212ffdc579c734 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec4555a8ed0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 18:47:11 2009 +0100 Separated wrap before from wrap after. Bug fixes. --- src/c_stream.cc | 19 ++++-- src/c_stream.h | 13 +++- src/c_streambuf.defs.hh | 2 +- src/c_streambuf.inlines.hh | 1 - src/c_streambuf_format.cc | 127 +++++++++++++++++++++++++--------------- src/c_streambuf_format.defs.hh | 3 + 6 files changed, 105 insertions(+), 60 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1ec4555a…

1 0

Re: [PPL-devel] [GIT] ppl/ppl(master): The C interface now provides functions of the form
by Basile STARYNKEVITCH 23 Mar '09

23 Mar '09

> Roberto Bagnara wrote: >> >> >> Author: Roberto Bagnara <bagnara(a)cs.unipr.it> >> Date: Sat Mar 21 19:58:13 2009 +0100 >> >> The C interface now provides functions of the form >> >> int ppl_io_asprint_Polyhedron(char** strp, P x) Thanks. I'm using this (in the MELT branch of GCC; will probably commit in a couple of hours), but I miss the indent argument (which gave an indentation number, ie the number of spaces after each newline). So I am scanning the resulting string to replace there every newline with newline followed by some number of spaces. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

2 1

[GIT] ppl/ppl(master): Readability improvements.
by Roberto Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 53abf6dadb12d91bbc03c79e52ee1cad0fdd2f3d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53abf6dadb12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:39:21 2009 +0100 Readability improvements. --- src/OR_Matrix.inlines.hh | 4 ++-- src/Octagonal_Shape.inlines.hh | 2 +- src/Octagonal_Shape.templates.hh | 28 ++++++++++++++-------------- 3 files changed, 17 insertions(+), 17 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index d825159..34aecf1 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -188,7 +188,7 @@ inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator++() { ++e; dimension_type increment = e; - if (e % 2) { + if (e % 2 != 0) { ++increment; #if PPL_OR_MATRIX_EXTRA_DEBUG value.size_ += 2; @@ -214,7 +214,7 @@ inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator--() { dimension_type decrement = e + 1; --e; - if (e % 2) { + if (e % 2 != 0) { ++decrement; #if PPL_OR_MATRIX_EXTRA_DEBUG value.size_ -= 2; diff --git a/src/Octagonal_Shape.inlines.hh b/src/Octagonal_Shape.inlines.hh index 13bbc79..e795150 100644 --- a/src/Octagonal_Shape.inlines.hh +++ b/src/Octagonal_Shape.inlines.hh @@ -40,7 +40,7 @@ namespace Parma_Polyhedra_Library { /*! \relates Octagonal_Shape */ inline dimension_type coherent_index(const dimension_type i) { - return (i%2) ? i-1 : i+1; + return (i % 2 != 0) ? i-1 : i+1; } template <typename T> diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 415fdb2..812790a 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -423,7 +423,7 @@ Octagonal_Shape<T>::add_constraint(const Constraint& c) { if (c.is_equality()) { // Select the cell to be modified for the ">=" part of constraint. - if (i%2 == 0) + if (i % 2 == 0) ++i_iter; else --i_iter; @@ -519,7 +519,7 @@ Octagonal_Shape<T>::refine_no_check(const Constraint& c) { if (c.is_equality()) { // Select the cell to be modified for the ">=" part of constraint. - if (i%2 == 0) + if (i % 2 == 0) ++i_iter; else --i_iter; @@ -1403,7 +1403,7 @@ Octagonal_Shape<T>::relation_with(const Constraint& c) const { // Select the cell to be checked for the ">=" part of constraint. // Select the right row of the cell. - if (i%2 == 0) + if (i % 2 == 0) ++i_iter; else --i_iter; @@ -1995,14 +1995,14 @@ Octagonal_Shape<T> const dimension_type ck = coherent_index(k); const dimension_type rs_k = k_iter.row_size(); Row_Reference x_k = *k_iter; - Row_Reference x_ck = (k%2) ? *(k_iter-1) : *(k_iter+1); + Row_Reference x_ck = (k % 2 != 0) ? *(k_iter-1) : *(k_iter+1); for (Row_Iterator i_iter = m_begin; i_iter != m_end; ++i_iter) { const dimension_type i = i_iter.index(); const dimension_type ci = coherent_index(i); const dimension_type rs_i = i_iter.row_size(); Row_Reference x_i = *i_iter; - Row_Reference x_ci = (i%2) ? *(i_iter-1) : *(i_iter+1); + Row_Reference x_ci = (i % 2 != 0) ? *(i_iter-1) : *(i_iter+1); const N& x_i_k = (k < rs_i) ? x_i[k] : x_ck[ci]; if (!is_plus_infinity(x_i_k)) { @@ -2110,8 +2110,8 @@ Octagonal_Shape<T> for (dimension_type i = successor_size; i-- > 0; ) { typename OR_Matrix<N>::const_row_iterator i_iter = matrix.row_begin()+i; typename OR_Matrix<N>::const_row_reference_type m_i = *i_iter; - typename OR_Matrix<N>::const_row_reference_type m_ci = (i%2) ? - *(i_iter-1) : *(i_iter+1); + typename OR_Matrix<N>::const_row_reference_type m_ci + = (i % 2 != 0) ? *(i_iter-1) : *(i_iter+1); for (dimension_type j = 0; j < i; ++j) { //for (dimension_type j = i; j-- > 0; ) { dimension_type cj = coherent_index(j); @@ -2142,8 +2142,8 @@ Octagonal_Shape<T> i_iter != matrix_row_end; ++i_iter) { typename OR_Matrix<N>::const_row_reference_type m_i = *i_iter; dimension_type i = i_iter.index(); - typename OR_Matrix<N>::const_row_reference_type m_ci = - (i%2) ? *(i_iter-1) : *(i_iter+1); + typename OR_Matrix<N>::const_row_reference_type m_ci + = (i % 2 != 0) ? *(i_iter-1) : *(i_iter+1); for (dimension_type j = 0; j < i; ++j) { dimension_type cj = coherent_index(j); if (is_additive_inverse(m_ci[cj], m_i[j])) @@ -2269,7 +2269,7 @@ Octagonal_Shape<T> } } - dimension_type rs_li = (li%2) ? li :li+1; + dimension_type rs_li = (li % 2 != 0) ? li :li+1; // Check if the constraint is redundant. PPL_DIRTY_TEMP(N, tmp); for (dimension_type lj = 0 ; lj <= rs_li; ++lj) { @@ -2826,7 +2826,7 @@ Octagonal_Shape<T> } else { // Select the right row of the cell. - if (i%2 == 0) { + if (i % 2 == 0) { ++i_iter; ++lo_iter; } @@ -5899,7 +5899,7 @@ Octagonal_Shape<T>::expand_space_dimension(Variable var, dimension_type m) { } for (dimension_type j = n_var+2; j < old_num_rows; ++j) { Row_Iterator j_iter = m_begin + j; - Row_Reference m_cj = (j%2) ? *(j_iter-1) : *(j_iter+1); + Row_Reference m_cj = (j % 2 != 0) ? *(j_iter-1) : *(j_iter+1); m_i[j] = m_cj[n_var+1]; m_ci[j] = m_cj[n_var]; } @@ -5972,7 +5972,7 @@ Octagonal_Shape<T>::fold_space_dimensions(const Variables_Set& to_be_folded, const dimension_type cj = coherent_index(j); Row_Iterator j_iter = m_begin + j; Row_Reference m_j = *j_iter; - Row_Reference m_cj = (j%2) ? *(j_iter-1) : *(j_iter+1); + Row_Reference m_cj = (j % 2 != 0) ? *(j_iter-1) : *(j_iter+1); if (n_var == min_id) { max_assign(m_cj[n_var+1], m_tbf[j]); max_assign(m_cj[n_var], m_ctbf[j]); @@ -5989,7 +5989,7 @@ Octagonal_Shape<T>::fold_space_dimensions(const Variables_Set& to_be_folded, for (dimension_type j = max_id+2; j < n_rows; ++j) { Row_Iterator j_iter = m_begin + j; Row_Reference m_j = *j_iter; - Row_Reference m_cj = (j%2) ? *(j_iter-1) : *(j_iter+1); + Row_Reference m_cj = (j % 2 != 0) ? *(j_iter-1) : *(j_iter+1); max_assign(m_cj[n_var+1], m_cj[tbf_var+1]); max_assign(m_cj[n_var], m_cj[tbf_var]); max_assign(m_j[n_var], m_j[tbf_var]);

1 0

[GIT] ppl/ppl(master): Fixed a bug ( that is inconsequential for the current code base).
by Roberto Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 8a076d885da533a2211f32b80b45d932c7412cd5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a076d885da5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:30:42 2009 +0100 Fixed a bug (that is inconsequential for the current code base). We were using `m % 2 == 1' instead of `m % 2 != 0', with `m' a signed number that could be negative. --- src/OR_Matrix.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index cb62cb9..d825159 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -239,7 +239,7 @@ template <typename U> inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator+=(const difference_type m) { difference_type increment = m + m*m/2 + m*e; - if (e%2 == 0 && m%2 == 1) + if (e % 2 == 0 && m % 2 != 0) ++increment; e += m; i += increment;

1 0

[GIT] ppl/ppl(master): Added ppl_io_ostream_buffer_clear function.
by Abramo Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 2930f4ba276a0cd8eb6fd8e4097bd1c345e1b821 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2930f4ba276a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:34:44 2009 +0100 Added ppl_io_ostream_buffer_clear function. --- src/c_stream.cc | 5 +++++ src/c_stream.h | 1 + 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/src/c_stream.cc b/src/c_stream.cc index 57bd13a..2361437 100644 --- a/src/c_stream.cc +++ b/src/c_stream.cc @@ -79,6 +79,11 @@ size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* s, const char **buf) { return ss->str().size(); } +void ppl_io_ostream_buffer_clear(struct ppl_io_ostream* s) { + std::ostringstream* ss = static_cast<std::ostringstream*>(s->stream); + ss->str(""); +} + struct ppl_io_ostream* ppl_io_ostream_buffer_new() { return new ppl_io_ostream(new std::ostringstream()); } diff --git a/src/c_stream.h b/src/c_stream.h index fd33d83..f1d7c57 100644 --- a/src/c_stream.h +++ b/src/c_stream.h @@ -56,6 +56,7 @@ void ppl_io_ostream_format_replace_settings(struct ppl_io_ostream* stream, struc void ppl_io_ostream_delete(struct ppl_io_ostream* stream); size_t ppl_io_ostream_buffer_get(struct ppl_io_ostream* stream, const char** buf); +void ppl_io_ostream_buffer_clear(struct ppl_io_ostream* stream); int ppl_io_write_endl(struct ppl_io_ostream* s);

1 0

[GIT] ppl/ppl(master): Added write functions for native types.
by Abramo Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: dfdb1368ab60442e050667a72cfb1a21e6565a0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfdb1368ab60… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:30:14 2009 +0100 Added write functions for native types. --- src/c_stream.cc | 19 +++++++++++++++---- src/c_stream.h | 11 +++++++++++ 2 files changed, 26 insertions(+), 4 deletions(-) diff --git a/src/c_stream.cc b/src/c_stream.cc index 6d8ae2b..57bd13a 100644 --- a/src/c_stream.cc +++ b/src/c_stream.cc @@ -92,10 +92,21 @@ int ppl_io_write_endl(struct ppl_io_ostream* s) { return *s->stream ? 0 : -1; \ } -DEFINE_WRITE_VAL(char, char) -DEFINE_WRITE_VAL(int, int) -DEFINE_WRITE_VAL(double, double) -DEFINE_WRITE_VAL(string, char*) +DEFINE_WRITE_VAL(char, char); +DEFINE_WRITE_VAL(signed_char, signed char); +DEFINE_WRITE_VAL(unsigned_char, unsigned char); +DEFINE_WRITE_VAL(short, short); +DEFINE_WRITE_VAL(unsigned_short, unsigned short); +DEFINE_WRITE_VAL(int, int); +DEFINE_WRITE_VAL(unsigned_int, unsigned int); +DEFINE_WRITE_VAL(long, long); +DEFINE_WRITE_VAL(unsigned_long, unsigned long); +DEFINE_WRITE_VAL(long_long, long long); +DEFINE_WRITE_VAL(unsigned_long_long, unsigned long long); +DEFINE_WRITE_VAL(float, float); +DEFINE_WRITE_VAL(double, double); +DEFINE_WRITE_VAL(long_double, long double); +DEFINE_WRITE_VAL(string, char*); } diff --git a/src/c_stream.h b/src/c_stream.h index af6ef5a..fd33d83 100644 --- a/src/c_stream.h +++ b/src/c_stream.h @@ -66,6 +66,17 @@ int ppl_io_write_endl(struct ppl_io_ostream* s); #define DECLARE_WRITE_REF(name, type) int ppl_io_write_##name(struct ppl_io_ostream* s, const type* o) DECLARE_WRITE_VAL(char, char); +DECLARE_WRITE_VAL(signed_char, signed char); +DECLARE_WRITE_VAL(unsigned_char, unsigned char); +DECLARE_WRITE_VAL(short, short); +DECLARE_WRITE_VAL(unsigned_short, unsigned short); DECLARE_WRITE_VAL(int, int); +DECLARE_WRITE_VAL(unsigned_int, unsigned int); +DECLARE_WRITE_VAL(long, long); +DECLARE_WRITE_VAL(unsigned_long, unsigned long); +DECLARE_WRITE_VAL(long_long, long long); +DECLARE_WRITE_VAL(unsigned_long_long, unsigned long long); +DECLARE_WRITE_VAL(float, float); DECLARE_WRITE_VAL(double, double); +DECLARE_WRITE_VAL(long_double, long double); DECLARE_WRITE_VAL(string, char*);

1 0

[GIT] ppl/ppl(master): Added filtered streams. Implemented format filter.
by Abramo Bagnara 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: 2689413bfc1a0d13130194b444834a4cd98d0f2e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2689413bfc1a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:07:06 2009 +0100 Added filtered streams. Implemented format filter. --- src/Makefile.am | 6 ++ src/c_stream.cc | 101 ++++++++++++++++++++++++++ src/c_stream.h | 71 ++++++++++++++++++ src/c_streambuf.cc | 18 +++--- src/c_streambuf.defs.hh | 28 ++++---- src/c_streambuf.inlines.hh | 9 ++- src/c_streambuf_format.cc | 144 +++++++++++++++++++++++++++++++++++++ src/c_streambuf_format.defs.hh | 54 ++++++++++++++ src/c_streambuf_format.inlines.hh | 40 ++++++++++ src/c_streambuf_format.types.hh | 21 ++++++ 10 files changed, 468 insertions(+), 24 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2689413b…

1 0

[GIT] ppl/ppl(master): Add dependencies between HTML manuals for parallel builds.
by Enea Zaffanella 23 Mar '09

23 Mar '09

Module: ppl/ppl Branch: master Commit: c0630b87d1f35a79db1bf91bc032a4a25ec5f949 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0630b87d1f3… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 14:42:19 2009 +0100 Add dependencies between HTML manuals for parallel builds. The distributed built HTML manuals logically depend on the built tag file, which is not distributed; hence a direct dependency cannot be added (it would break a `make distcheck' check). As a workaround, they now depend on the core HTML manual, which is built _and_ distributed. --- doc/Makefile.am | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 8b58371..17ae32d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1559,22 +1559,22 @@ $(USER_CORE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_CORE_HTML_DIR) tar c $(USER_CORE_HTML_DIR) | gzip --best --force > $@ -$(USER_C_INTERFACE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) \ +$(USER_C_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_C_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_C_INTERFACE_HTML_DIR) tar c $(USER_C_INTERFACE_HTML_DIR) | gzip --best --force > $@ -$(USER_PROLOG_INTERFACE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) \ +$(USER_PROLOG_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_PROLOG_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_PROLOG_INTERFACE_HTML_DIR) tar c $(USER_PROLOG_INTERFACE_HTML_DIR) | gzip --best --force > $@ -$(USER_OCAML_INTERFACE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) \ +$(USER_OCAML_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_OCAML_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_OCAML_INTERFACE_HTML_DIR) tar c $(USER_OCAML_INTERFACE_HTML_DIR) | gzip --best --force > $@ -$(USER_JAVA_INTERFACE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) \ +$(USER_JAVA_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_JAVA_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_JAVA_INTERFACE_HTML_DIR) tar c $(USER_JAVA_INTERFACE_HTML_DIR) | gzip --best --force > $@

1 0