public static final class GlobExtractor.GlobWithDirectory extends Object
Constructor and Description |
---|
GlobWithDirectory(Optional<String> directory,
String glob) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
Optional<String> |
getDirectory()
The directory part of the string, or null if it doesn't exist
|
String |
getGlob()
A glob with Java's getPathMatcher
syntax.
|
int |
hashCode() |
String |
toString() |
public Optional<String> getDirectory()
public String getGlob()
Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.