* scribo/core/document.hh: Relax some preconditions. * scribo/primitive/extract/alignments.hh: New precondition. --- scribo/ChangeLog | 8 ++++++++ scribo/scribo/core/document.hh | 6 +++--- scribo/scribo/primitive/extract/alignments.hh | 1 + 3 files changed, 12 insertions(+), 3 deletions(-) diff --git a/scribo/ChangeLog b/scribo/ChangeLog index f73238c..5cb86af 100644 --- a/scribo/ChangeLog +++ b/scribo/ChangeLog @@ -1,5 +1,13 @@ 2013-03-25 Guillaume Lazzara <z@lrde.epita.fr> + Fix some preconditions. + + * scribo/core/document.hh: Relax some preconditions. + + * scribo/primitive/extract/alignments.hh: New precondition. + +2013-03-25 Guillaume Lazzara <z@lrde.epita.fr> + * scribo/binarization/sauvola_ms.hh: Add overloads. 2013-03-25 Guillaume Lazzara <z@lrde.epita.fr> diff --git a/scribo/scribo/core/document.hh b/scribo/scribo/core/document.hh index 7ca7a23..1250dcb 100644 --- a/scribo/scribo/core/document.hh +++ b/scribo/scribo/core/document.hh @@ -221,7 +221,7 @@ namespace scribo const char * document<L>::filename() const { - mln_precondition(is_valid()); + mln_precondition(data_ != 0); return data_->filename_.c_str(); } @@ -239,7 +239,7 @@ namespace scribo void document<L>::open() { - mln_precondition(is_valid()); + mln_precondition(data_ != 0); mln::io::magick::load(data_->image_, data_->filename_); } @@ -248,7 +248,7 @@ namespace scribo bool document<L>::is_open() const { - mln_precondition(is_valid()); + mln_precondition(data_ != 0); return data_->image_.is_valid(); } diff --git a/scribo/scribo/primitive/extract/alignments.hh b/scribo/scribo/primitive/extract/alignments.hh index 27e2ad6..7bd9b94 100644 --- a/scribo/scribo/primitive/extract/alignments.hh +++ b/scribo/scribo/primitive/extract/alignments.hh @@ -575,6 +575,7 @@ namespace scribo mln_precondition(doc.is_valid()); mln_precondition(doc.has_text()); const mln_ch_value(L,bool)& input = doc.binary_image(); + mln_assertion(input.is_valid()); unsigned min_card = 3; unsigned delta = 5; -- 1.7.2.5