Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


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

Re: @Regex, the catch

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> (permalink)
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

Show key headers only | View raw


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>

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


Thread

@Regex, the catch Roedy Green <see_website@mindprod.com.invalid> - 2014-04-27 16:17 -0700
  Re: @Regex, the catch Roedy Green <see_website@mindprod.com.invalid> - 2014-04-27 16:35 -0700
    Re: @Regex, the catch Jeff Higgins <jeff@invalid.invalid> - 2014-04-27 20:47 -0400
  Re: @Regex, the catch Roedy Green <see_website@mindprod.com.invalid> - 2014-05-01 05:32 -0700

csiph-web