Package org.sosy_lab.common.io
@CheckReturnValue
@ParametersAreNonnullByDefault
@ReturnValuesAreNonnullByDefault
@FieldsAreNonnullByDefault
package org.sosy_lab.common.io
This package contains utilities for I/O.
-
ClassesClassDescriptionThis class is an OutputStream implementation that sends everything to two other OutputStreams.Deprecated.Deprecated.A template for
Pathobjects that uses a counter to produce paths with a fresh new name for every request.A template for paths, from which a real path can be constructed by passing some values to fill in the blanks.Utilities for temporary files.A simple wrapper aroundPaththat callsMoreFiles.deleteRecursively(Path, com.google.common.io.RecursiveDeleteOption...)recursively fromAutoCloseable.close()to delete the directory including its contents.
TempFile.DeleteOnCloseFile.