InputPath.FilePath, InputPath.PipePath| Constructor and Description |
|---|
FilePath(java.nio.file.Path path,
ArchiveFormat format,
java.nio.file.OpenOption... opts) |
| Modifier and Type | Method and Description |
|---|---|
ArchiveFormat |
getFormat()
Gets the ArchiveFormat of this input.
|
java.lang.String |
getName()
Gets the name for this input.
|
boolean |
isFile()
Gets if this input should be treated as a singular file,
opposed to a folder.
|
java.io.InputStream |
open()
Creates a stream representing this input.
|
java.util.List<java.lang.String> |
readAllLines()
Reads all available lines of the input into a List of strings.
|
java.nio.file.Path |
toPath()
Gets the underlying path representing this input.
|
public FilePath(java.nio.file.Path path,
ArchiveFormat format,
java.nio.file.OpenOption... opts)
public boolean isFile()
InputPathAlways true for PipePath inputs.
public java.nio.file.Path toPath()
InputPathPathType.PIPEpublic java.io.InputStream open()
throws java.io.IOException
InputPathpublic java.util.List<java.lang.String> readAllLines()
throws java.io.IOException
InputPathreadAllLines in class InputPathjava.io.IOExceptionpublic java.lang.String getName()
InputPathPathType.PIPEpublic ArchiveFormat getFormat()
InputPath