checker.src.org.checkerframework.checker.regex.jdk.astub Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation

The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

There is a newer version: 3.42.0

Show newest version

import org.checkerframework.checker.regex.qual.*;

package java.util.regex;

class Pattern {
    @Regex Pattern compile(@Regex String regex);
    Pattern compile(@Regex String regex, int flags);
    boolean matches(@Regex String regex, CharSequence input);
    @PolyRegex Matcher matcher(CharSequence input) @PolyRegex;
    public static @Regex String quote(String s);
}

package java.lang;

class String {
    public @PolyRegex String intern() @PolyRegex;
    public boolean matches(@Regex String regex);
    public String replaceFirst(@Regex String regex, String replacement);
    public String replaceAll(@Regex String regex, String replacement);
    public String[] split(@Regex String regex, int limit);
    public String[] split(@Regex String regex);
    public @PolyRegex String toString() @PolyRegex;
}

package javax.swing.plaf.synth;

class DefaultSynthStyleFactory extends SynthStyleFactory {
    public synchronized void addStyle(DefaultSynthStyle style,
                         @Regex String path, int type) throws PatternSyntaxException;
}

package javax.swing;

public abstract class RowFilter {
    public static  RowFilter regexFilter(@Regex String regex,
                                                       int... indices);
}