stak_file/primitive_set/
primitive.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
/// A primitive of a file system.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum Primitive {
    /// Open a file.
    OpenFile,
    /// Close a file.
    CloseFile,
    /// Read a file.
    ReadFile,
    /// Write a file.
    WriteFile,
    /// Delete a file.
    DeleteFile,
    /// Check if a file exists.
    ExistsFile,
}

impl Primitive {
    pub(super) const OPEN_FILE: usize = Self::OpenFile as _;
    pub(super) const CLOSE_FILE: usize = Self::CloseFile as _;
    pub(super) const READ_FILE: usize = Self::ReadFile as _;
    pub(super) const WRITE_FILE: usize = Self::WriteFile as _;
    pub(super) const DELETE_FILE: usize = Self::DeleteFile as _;
    pub(super) const EXISTS_FILE: usize = Self::ExistsFile as _;
}