public interface Source
Modifier and Type | Method and Description |
---|---|
Source |
append(Source child)
Returns a source whose path concatenates this with a child.
|
java.io.File |
file() |
java.io.InputStream |
openStream() |
java.lang.String |
path() |
java.lang.String |
protocol() |
java.io.Reader |
reader() |
Source |
relative(Source source)
Returns a relative source, if this source is a child of a given base.
|
Source |
trim(java.lang.String suffix)
Looks for a suffix on a path and returns
either the path with the suffix removed
or the original path.
|
Source |
trimOrNull(java.lang.String suffix)
Looks for a suffix on a path and returns
either the path with the suffix removed
or null.
|
java.net.URL |
url() |
java.net.URL url()
java.io.File file()
java.lang.String path()
java.io.Reader reader() throws java.io.IOException
java.io.IOException
java.io.InputStream openStream() throws java.io.IOException
java.io.IOException
java.lang.String protocol()
Source trim(java.lang.String suffix)
Source trimOrNull(java.lang.String suffix)
Source append(Source child)
For example,
Copyright © 2012–2019 The Apache Software Foundation. All rights reserved.