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


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

Re: @Regex, the catch

From Jeff Higgins <jeff@invalid.invalid>
Newsgroups comp.lang.java.programmer
Subject Re: @Regex, the catch
Date 2014-04-27 20:47 -0400
Organization A noiseless patient Spider
Message-ID <ljk8hj$rji$1@dont-email.me> (permalink)
References <lr3rl9hqdcecjaqia5mldm9e97t4vn5a3i@4ax.com> <u15rl9hasprj92hi370lcout6c2sa1ji5p@4ax.com>

Show all headers | 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