Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!us.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jeff Higgins <jeff@invalid.invalid>
Newsgroups: comp.lang.java.programmer
Subject: Re: telling the javac that a method doesn't return at all...
Date: Sat, 01 Mar 2014 08:44:24 -0500
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <leso89$3jf$1@dont-email.me>
References: <slrnlh1gp1.g8j.avl@login.logic.tuwien.ac.at> <0u83h9hf47hrlhveqfmliik096366p7n89@4ax.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 1 Mar 2014 13:44:41 +0000 (UTC)
Injection-Info: mx05.eternal-september.org; posting-host="6b9e92482af47766954d85fb77d372f5"; logging-data="3695"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+oc+kevZdloJsPB4sT86RkZ0iB3zoG+jQ="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10
In-Reply-To: <0u83h9hf47hrlhveqfmliik096366p7n89@4ax.com>
Cancel-Lock: sha1:MVzVmiMgvamfv9GvDLr/nUrp7RE=
Xref: csiph.com comp.lang.java.programmer:27639

On 03/01/2014 04:10 AM, Roedy Green wrote:
> On Fri, 28 Feb 2014 17:10:57 +0000 (UTC), Andreas Leitgeb
> <avl@auth.logic.tuwien.ac.at> wrote, quoted or indirectly quoted
> someone who said :
>
>> Did I miss some annotation that already does this?
>> Is there anything like this already in the queue for
>>   future Java versions?
>
> It does not even notice that System.exit does not return, so I would
> not hold your breath for it being there already.

Huh. I've never had a look. Thanks.

<http://hg.openjdk.java.net/jdk7u/jdk7u60/jdk/file/3cd7a0321a83/src/share/classes/java/lang/Shutdown.java>
<http://hg.openjdk.java.net/jdk7u/jdk7u60/jdk/file/3cd7a0321a83/src/share/classes/java/lang/ref/Finalizer.java>

and associated.

>
> Perhaps the way to look at is to find a way to suppress the error
> message.
>