Groups > comp.lang.java.programmer > #3908

Re: About using assertion

Path	csiph.com!x330-a1.tempe.blueboxinc.net!aioe.org!news.glorb.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe01.iad.POSTED!8ad76e89!not-for-mail
From	Arved Sandstrom <asandstrom3minus1@eastlink.ca>
User-Agent	Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.17) Gecko/20110424 Lightning/1.0b2 Thunderbird/3.1.10
MIME-Version	1.0
Newsgroups	comp.lang.java.programmer
Subject	Re: About using assertion
References	<f1e4cc83-8596-4e53-bed7-34a5209fe8c4@k3g2000prl.googlegroups.com> <09cb7d90-9b79-473e-9869-4476c5a0191a@w24g2000yqb.googlegroups.com> <hp3gs6dun3691h96q13jsb6sb4pu0rrvrp@4ax.com> <iq93mt$7ob$1@news.albasani.net> <92r0e9F6lvU1@mid.individual.net> <iq9r2h$tlh$1@news.albasani.net>
In-Reply-To	<iq9r2h$tlh$1@news.albasani.net>
Content-Type	text/plain; charset=UTF-8
Content-Transfer-Encoding	7bit
Lines	31
Message-ID	<lP7yp.31027$vC5.15267@newsfe01.iad> (permalink)
X-Complaints-To	abuse@newsgroups-download.com
NNTP-Posting-Date	Tue, 10 May 2011 09:45:53 UTC
Organization	Public Usenet Newsgroup Access
Date	Tue, 10 May 2011 06:45:53 -0300
Xref	x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:3908

Show key headers only | View raw

On 11-05-09 07:49 PM, Lew wrote:
[ SNIP ]

> There is art in the decision of which invariants to document.  I like to
> document all of them.  Why not?  Others only document a few.  Why?  I've
> been on the ops end of production code quite a few times, so I find
> assertions valuable.  I studied math way back when, and I appreciate
> their formal value.  Pragmatically there is no reason to avoid them, and
> good reasons to use them liberally, if strategically.
> 
> There is no real art to deciding where assertions go if you do use
> them.  They go at the algorithmic invariant points.  I assert that you
> should use them wherever they support operations, and in the largest
> proportion of invariant points consistent with that goal.  That is a
> matter of your strategy and style.

I agree with your take on it. On a related note, when I run into
objections about use of assertions, let alone copious use of them, the
most frequent objection is that they'll "break" the program. I am just
passing that phrasing along - I didn't make it up. It seems to be a
fairly prevalent belief, not least because most Java programmers don't
use them and don't understand them.

I usually just silently wail in anguish when I hear this tired old
complaint. I feel like saying - and sometimes do - that it's not the
$#@&*% assertion that "broke" the program, it's the %%$#$@#@* program
that actually broke the program. And for good measure, why exactly did
you want to proceed with execution after a point where you know that the
program is wrong, anyway? ;-)

AHS

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

About using assertion byhesed <byhesed@gmail.com> - 2011-05-09 07:36 -0700
  Re: About using assertion Robert Klemme <shortcutter@googlemail.com> - 2011-05-09 08:24 -0700
    Re: About using assertion Roedy Green <see_website@mindprod.com.invalid> - 2011-05-09 09:01 -0700
      Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-09 12:11 -0400
        Re: About using assertion Robert Klemme <shortcutter@googlemail.com> - 2011-05-09 22:17 +0200
          Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-09 18:49 -0400
            Re: About using assertion Robert Klemme <shortcutter@googlemail.com> - 2011-05-10 07:23 +0200
            Re: About using assertion Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-05-10 06:45 -0300
              Re: About using assertion Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-05-10 13:29 +0000
                Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-10 11:21 -0400
                Re: About using assertion Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-05-10 16:01 +0000
                Re: About using assertion RedGrittyBrick <RedGrittyBrick@spamweary.invalid> - 2011-05-10 17:26 +0100
                Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-10 13:25 -0400
                Re: About using assertion Daniele Futtorovic <da.futt.news@laposte-dot-net.invalid> - 2011-05-10 21:15 +0200
          Re: About using assertion tmcd@tmcd-p4-linux.austin.tx.us (Tim McDaniel) - 2011-05-19 00:32 -0500
            Re: About using assertion Michal Kleczek <kleku75@gmail.com> - 2011-05-19 08:34 +0200
              Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-19 08:46 -0400
                Re: About using assertion Michal Kleczek <kleku75@gmail.com> - 2011-05-19 15:16 +0200
                Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-19 09:38 -0400
                Re: About using assertion Robert Klemme <shortcutter@googlemail.com> - 2011-05-19 07:41 -0700
                Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-19 11:00 -0400
            Re: About using assertion Patricia Shanahan <pats@acm.org> - 2011-05-19 05:52 -0700
              Re: About using assertion tmcd@tmcd-p4-linux.austin.tx.us (Tim McDaniel) - 2011-05-21 18:37 -0500
                Re: About using assertion Patricia Shanahan <pats@acm.org> - 2011-05-21 19:00 -0700
                Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-22 01:19 -0400
  Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-09 11:35 -0400
  Re: About using assertion markspace <-@.> - 2011-05-09 11:40 -0700
    Re: About using assertion Lew <noone@lewscanon.com> - 2011-05-09 14:53 -0400

csiph-web