Struct creusot_contracts::std::fs::FileTimes

pub struct FileTimes(/* private fields */);

Representation of the various timestamps on a file.

Implementations

impl FileTimes

pub fn new() -> FileTimes

Create a new FileTimes with no times set.

Using the resulting FileTimes in File::set_times will not modify any timestamps.

pub fn set_accessed(self, t: SystemTime) -> FileTimes

Set the last access time of a file.

pub fn set_modified(self, t: SystemTime) -> FileTimes

Set the last modified time of a file.

Trait Implementations

impl Clone for FileTimes

fn clone(&self) -> FileTimes

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FileTimes

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for FileTimes

fn default() -> FileTimes

Returns the “default value” for a type.

impl Copy for FileTimes