Uses of Class
java.util.regex.Pattern

Packages that use Pattern

java.util.regex	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of Pattern in java.util.regex

Methods in java.util.regex that return Pattern

static Pattern	Pattern.compile(String regex)
static Pattern	Pattern.compile(String regex, int flags)
Pattern	Matcher.pattern()

Uses of Pattern in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as Pattern

private Pattern

AndNotPatternFilenameFilter.excludePat The pattern we are excluding

Uses of Pattern in org.multijava.util.testing

Fields in org.multijava.util.testing declared as Pattern

private Pattern	Diff.regExpr
private Pattern	Diff.equivChars

Constructors in org.multijava.util.testing with parameters of type Pattern

Diff(String oldTextLabel, String oldText, String newTextLabel, String newText, Pattern regExpr)
Calculate a difference between the given strings ignoring the portions of each line that match the given regular expression pattern.

Diff(String oldTextLabel, String oldText, String newTextLabel, String newText, Pattern regExpr, String equivChars)
Calculate a difference between the given strings ignoring the portions of each line that match the given regular expression pattern, and treating any character from the equivChars String as equal.