Path: csiph.com!x330-a1.tempe.blueboxinc.net!aioe.org!gegeweb.org!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!feeder.erje.net!newsfeed.utanet.at!newscore.univie.ac.at!aconews-feed.univie.ac.at!aconews.univie.ac.at!not-for-mail
Newsgroups: comp.lang.java.programmer
From: Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at>
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> <lP7yp.31027$vC5.15267@newsfe01.iad> <slrnisifel.phi.avl@gamma.logic.tuwien.ac.at> <iqbl6g$1q3$1@news.albasani.net>
Reply-To: avl@logic.at
User-Agent: slrn/pre0.9.9-111 (Linux)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <slrnisio9r.phi.avl@gamma.logic.tuwien.ac.at>
Date: 10 May 2011 16:01:00 GMT
Lines: 8
NNTP-Posting-Host: gamma.logic.tuwien.ac.at
X-Trace: 1305043260 tunews.univie.ac.at 60386 128.130.175.3
X-Complaints-To: abuse@tuwien.ac.at
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:3918

Lew <noone@lewscanon.com> wrote:
> Your argument boils down to, "If you use 'assert' contrary to the instructions 
> for its use, you'll have trouble."

If human programmers were so good to never do anything contrary to
instructions, specifications or even plain logic, then they wouldn't
need assertions in the first place ;-)