stak_file/primitive_set/
primitive.rs

1/// A primitive of a file system.
2#[derive(Clone, Copy, Debug, Eq, PartialEq)]
3pub enum Primitive {
4    /// Open a file.
5    OpenFile,
6    /// Close a file.
7    CloseFile,
8    /// Read a file.
9    ReadFile,
10    /// Write a file.
11    WriteFile,
12    /// Delete a file.
13    DeleteFile,
14    /// Check if a file exists.
15    ExistsFile,
16    /// Flush a file.
17    FlushFile,
18}
19
20impl Primitive {
21    pub(super) const OPEN_FILE: usize = Self::OpenFile as _;
22    pub(super) const CLOSE_FILE: usize = Self::CloseFile as _;
23    pub(super) const READ_FILE: usize = Self::ReadFile as _;
24    pub(super) const WRITE_FILE: usize = Self::WriteFile as _;
25    pub(super) const DELETE_FILE: usize = Self::DeleteFile as _;
26    pub(super) const EXISTS_FILE: usize = Self::ExistsFile as _;
27    pub(super) const FLUSH_FILE: usize = Self::FlushFile as _;
28}