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