Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!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: @Regex, the catch
Date: Sun, 27 Apr 2014 20:47:47 -0400
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <ljk8hj$rji$1@dont-email.me>
References: <lr3rl9hqdcecjaqia5mldm9e97t4vn5a3i@4ax.com> <u15rl9hasprj92hi370lcout6c2sa1ji5p@4ax.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 28 Apr 2014 00:48:51 +0000 (UTC)
Injection-Info: mx05.eternal-september.org; posting-host="6b9e92482af47766954d85fb77d372f5"; logging-data="28274"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+gJ2D7DGEdlUEfV6oZSsyGnV5AKfVj8Iw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.4.0
In-Reply-To: <u15rl9hasprj92hi370lcout6c2sa1ji5p@4ax.com>
Cancel-Lock: sha1:5dlGnFwqQKpxWj2oaQQHs1RHGdE=
Xref: csiph.com comp.lang.java.programmer:28289

On 04/27/2014 07:35 PM, Roedy Green wrote:
> On Sun, 27 Apr 2014 16:17:34 -0700, Roedy Green
> <see_website@mindprod.com.invalid> wrote, quoted or indirectly quoted
> someone who said :
>
>> What you have to do to make @Regex work to validate your regex
>> strings
>
> I tried adding an import org.checkerframework.checker.regex.qual;
>

Maybe have a look at "The Checker Framework Manual".
<http://types.cs.washington.edu/checker-framework/current/checkers-manual.html>

Chapter 24  Integration with external tools
<http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#external-tools>