FileSystem
Interface for the FileSystem where effects are denoted with the "Operation" type
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait FilePathReaderclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
copy the content of a directory to another.
copy the content of a directory to another.
Value parameters
- dest
-
destination directory path
- src
-
path of the directory to copy
Attributes
copy a file to a destination directory
copy a file to a destination directory
Value parameters
- dest
-
destination directory path
- filePath
-
path of the file to copy
Attributes
create a new file
create a new file
Attributes
delete files or directories
delete files or directories
Attributes
delete a directory
delete a directory
Attributes
delete a file
delete a file
Attributes
create a directory and its parent directories
create a directory and its parent directories
Attributes
create a the directory containing a file and its parent directories
create a the directory containing a file and its parent directories
Attributes
replace a string in a file
replace a string in a file
Attributes
Unjar the jar (or zip file) specified by "path" to the "dest" directory. Filters files which shouldn't be extracted with a regular expression.
Unjar the jar (or zip file) specified by "path" to the "dest" directory. Filters files which shouldn't be extracted with a regular expression.
Value parameters
- dest
-
destination directory path
- jarUrl
-
path of the jar file
- regexFilter
-
regular expression filtering files which shouldn't be extracted; the expression must capture the path of an entry as group 1 which will then be used relative to dirPath as target path for that entry
Attributes
modify the content of a file
modify the content of a file
Attributes
execute an operation with a File, then delete it
execute an operation with a File, then delete it
Attributes
Inherited methods
Attributes
- Returns
-
true if the directory doesn't exist
- Inherited from:
- FilePathReader
Attributes
- Returns
-
true if the file doesn't exist
- Inherited from:
- FilePathReader
Attributes
- Returns
-
true if the directory exists
- Inherited from:
- FilePathReader
Attributes
- Returns
-
true if the file exists
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the list of file paths accessible from dir
- Inherited from:
- FilePathReader
filter files according to a regex pattern
Attributes
- Returns
-
the regular expression equivalent to a glob pattern (see the specs for Fragments)
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the files directly accessible from a directory
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the files directly accessible from a directory
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the files accessible recursively from a directory
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the MD5 hash of a file
- Inherited from:
- FilePathReader
succeeds if the file is a directory
succeeds if the file exists
succeeds if the file is not a directory
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
read the content of a file as an Array of Bytes
Attributes
- Returns
-
the content of a file encoded as UTF8
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the content of a file with a specific codec
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the content of a file as UTF-8 lines
- Inherited from:
- FilePathReader
Attributes
- Returns
-
the content of a file with a specific codec
- Inherited from:
- FilePathReader