Package | Description |
---|---|
gov.nasa.jpf.util | |
java.util.regex |
Modifier and Type | Method and Description |
---|---|
protected Pattern |
StringMatcher.createPattern(String s) |
protected Pattern |
PathnameExpander.getPattern(String s) |
Modifier and Type | Method and Description |
---|---|
static Pattern |
Pattern.compile(String regex) |
static Pattern |
Pattern.compile(String regex,
int flags) |
Pattern |
Matcher.pattern() |