FilesysIO

Filesystem I/O from the backend.

TODO: rename outputDir to workdir. It is the terminology used in git.

The implementation of the interface shall: ensure all SafeOutput objects are inside the _output directory_.

The design is intended to create a clear distinction between output and input. It is to make it easier to do code review and reason about where filesystem output is created.

Members

Functions

getOutputDir
AbsolutePath getOutputDir()

File output is restricted to this directory

makeInput
SafeInput makeInput(AbsolutePath p)
makeOutput
SafeOutput makeOutput(AbsolutePath p)

Meta