@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault

Package org.sosy_lab.common.io

This package contains utilities for I/O.

Class Summary

Class	Description
DuplicateOutputStream	This class is an OutputStream implementation that sends everything to two other OutputStreams.
IO	Provides helper functions for file access, in addition to Files and MoreFiles.
MoreFiles	Deprecated.
MoreFiles.DeleteOnCloseFile	Deprecated. Use TempFile.DeleteOnCloseFile.
PathCounterTemplate	A template for Path objects that uses a counter to produce paths with a fresh new name for every request.
PathTemplate	A template for paths, from which a real path can be constructed by passing some values to fill in the blanks.
TempFile	Utilities for temporary files.
TempFile.DeleteOnCloseDir	A simple wrapper around Path that calls MoreFiles.deleteRecursively(Path, com.google.common.io.RecursiveDeleteOption...) recursively from AutoCloseable.close() to delete the directory including its contents.
TempFile.DeleteOnCloseFile	A simple wrapper around Path that calls Files.deleteIfExists(Path) from AutoCloseable.close().
TempFile.TempFileBuilder