miri::shims

Module files

Source

Structs§

  • FdId
    A unique id for file descriptions. While we could use the address, considering that is definitely unique, the address would expose interpreter internal state when used for sorting things. So instead we generate a unique id per file description is the name for all duplicates and is never reused.
  • FdTable
    The file descriptor table
  • FileDescWithId
    Structure contains both the file description and its unique identifier.
  • FileDescriptionRef
  • NullOutput
    Like /dev/null
  • WeakFileDescriptionRef
    Holds a weak reference to the actual file description.

Traits§