Package org.sosy_lab.common.io

Class MoreFiles

java.lang.Object

org.sosy_lab.common.io.MoreFiles

@Deprecated
public final class MoreFiles
extends Object

Deprecated.

Provides helper functions for file access.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	MoreFiles.DeleteOnCloseFile	Deprecated. Use TempFile.DeleteOnCloseFile.

Method Summary

Modifier and Type	Method	Description
static void	appendToFile(Path file, Charset charset, Object content)	Deprecated. moved to IO
static ByteSink	asByteSink(Path path, FileWriteMode... options)	Deprecated.
static ByteSource	asByteSource(Path path)	Deprecated.
static CharSink	asCharSink(Path path, Charset charset, FileWriteMode... options)	Deprecated.
static CharSource	asCharSource(Path path, Charset charset)	Deprecated.
static void	checkReadableFile(Path path)	Deprecated. moved to IO
static void	createParentDirs(Path path)	Deprecated.
static MoreFiles.DeleteOnCloseFile	createTempFile(String prefix, @Nullable String suffix)	Deprecated. Use TempFile.builder() and TempFile.TempFileBuilder.createDeleteOnClose().
static Path	createTempFile(String prefix, @Nullable String suffix, @Nullable String content)	Deprecated. Use TempFile.builder().
static Writer	openOutputFile(Path file, Charset charset, FileWriteMode... options)	Deprecated. moved to IO
static String	toString(Path file, Charset charset)	Deprecated. use asCharSource(file, charset).read()
static void	writeFile(Path file, Charset charset, Object content)	Deprecated. moved to IO
static void	writeGZIPFile(Path file, Charset charset, Object content)	Deprecated. moved to IO

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

asByteSink

@Deprecated
public static ByteSink asByteSink(Path path,
 FileWriteMode... options)

Deprecated.

See Files.asByteSink(java.io.File, FileWriteMode...).

asByteSource

@Deprecated
@InlineMe(replacement="com.google.common.io.MoreFiles.asByteSource(path)")
public static ByteSource asByteSource(Path path)

Deprecated.

See Files.asByteSource(java.io.File).

asCharSink

@Deprecated
public static CharSink asCharSink(Path path,
 Charset charset,
 FileWriteMode... options)

Deprecated.

See Files.asCharSink(java.io.File, Charset, FileWriteMode...).

asCharSource

@Deprecated
@InlineMe(replacement="com.google.common.io.MoreFiles.asCharSource(path, charset)")
public static CharSource asCharSource(Path path,
 Charset charset)

Deprecated.

See Files.asCharSource(java.io.File, Charset).

createTempFile

@Deprecated
public static Path createTempFile(String prefix,
 @Nullable String suffix,
 @Nullable String content)
                           throws IOException

Deprecated.

Use TempFile.builder().

Creates a temporary file with an optional content. The file is marked for deletion when the Java VM exits.

Parameters:

prefix - The prefix string to be used in generating the file's name; must be at least three characters long

suffix - The suffix string to be used in generating the file's name; may be null , in which case the suffix ".tmp" will be used

content - The content to write (may be null). Will be written with default charset.

Throws:

IllegalArgumentException - If the prefix argument contains fewer than three characters

IOException - If a file could not be created

createTempFile

@Deprecated
public static MoreFiles.DeleteOnCloseFile createTempFile(String prefix,
 @Nullable String suffix)
                                                  throws IOException

Deprecated.

Use TempFile.builder() and TempFile.TempFileBuilder.createDeleteOnClose().

Create a temporary file similar to File.createTempFile(String, String).

The resulting Path object is wrapped in a MoreFiles.DeleteOnCloseFile, which deletes the file as soon as MoreFiles.DeleteOnCloseFile.close() is called.

It is recommended to use the following pattern: try (DeleteOnCloseFile tempFile = Files.createTempFile(...)) { // use tempFile.toPath() for writing and reading of the temporary file } The file can be opened and closed multiple times, potentially from different processes.

Throws:

IOException

toString

@Deprecated
@InlineMe(replacement="com.google.common.io.MoreFiles.asCharSource(file, charset).read()")
public static String toString(Path file,
 Charset charset)
                       throws IOException

Deprecated.

use asCharSource(file, charset).read()

Read the full content of a file.

Parameters:

file - The file.

Throws:

IOException

writeFile

@Deprecated
@InlineMe(replacement="IO.writeFile(file, charset, content)",
          imports="org.sosy_lab.common.io.IO")
public static void writeFile(Path file,
 Charset charset,
 Object content)
                      throws IOException

Deprecated.

moved to IO

Writes content to a file.

Parameters:

file - The file.

content - The content which shall be written.

Throws:

IOException

writeGZIPFile

@Deprecated
@InlineMe(replacement="IO.writeGZIPFile(file, charset, content)",
          imports="org.sosy_lab.common.io.IO")
public static void writeGZIPFile(Path file,
 Charset charset,
 Object content)
                          throws IOException

Deprecated.

moved to IO

Writes content to a file compressed in GZIP format.

Parameters:

file - The file.

content - The content which shall be written.

Throws:

IOException

openOutputFile

@Deprecated
public static Writer openOutputFile(Path file,
 Charset charset,
 FileWriteMode... options)
                             throws IOException

Deprecated.

moved to IO

Open a buffered Writer to a file. This method creates necessary parent directories beforehand.

Throws:

IOException

appendToFile

@Deprecated
@InlineMe(replacement="IO.appendToFile(file, charset, content)",
          imports="org.sosy_lab.common.io.IO")
public static void appendToFile(Path file,
 Charset charset,
 Object content)
                         throws IOException

Deprecated.

moved to IO

Appends content to a file (without overwriting the file, but creating it if necessary).

Parameters:

file - The file.

content - The content which will be written to the end of the file.

Throws:

IOException

checkReadableFile

@Deprecated
@InlineMe(replacement="IO.checkReadableFile(path)",
          imports="org.sosy_lab.common.io.IO")
public static void checkReadableFile(Path path)
                              throws FileNotFoundException

Deprecated.

moved to IO

Verifies if a file exists, is a normal file and is readable. If this is not the case, a FileNotFoundException with a nice message is thrown.

Parameters:

path - The file to check.

Throws:

FileNotFoundException - If one of the conditions is not true.

createParentDirs

@Deprecated
@InlineMe(replacement="com.google.common.io.MoreFiles.createParentDirectories(path)")
public static void createParentDirs(Path path)
                             throws IOException

Deprecated.

See Files.createParentDirs(java.io.File).

Throws:

IOException