Class TempFile.DeleteOnCloseDir

java.lang.Object
org.sosy_lab.common.io.TempFile.DeleteOnCloseDir
All Implemented Interfaces:
AutoCloseable
Enclosing class:
TempFile

@Immutable public static final class TempFile.DeleteOnCloseDir extends Object implements AutoCloseable
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.
  • Method Details

    • toPath

      public Path toPath()
    • close

      public void close() throws IOException
      Recursively delete all files and directories in the directory represented by this instance.
      Specified by:
      close in interface AutoCloseable
      Throws:
      IOException