Module miri::shims::unix::fs

source · [−]

Structs

DirHandler
DummyOutput 🔒
FileHandle 🔒
FileHandler
FileMetadata 🔒
Stores a file’s metadata in order to avoid code duplication in the different metadata related shims.
OpenDir
An open directory, tracked by DirHandler.

Traits

EvalContextExt
EvalContextExtPrivate 🔒
FileDescriptor 🔒

Functions

extract_sec_and_nsec 🔒
Extracts the number of seconds and nanoseconds elapsed between time and the unix epoch when time is Ok. Returns None if time is an error. Fails if time happens before the unix epoch.
maybe_sync_file 🔒