oak-vampire 0.0.11

High-performance incremental Vampire parser for the oak ecosystem with flexible configuration.
Documentation 
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use oak_core::ElementType;

/// Vampire element types.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub enum VampireElementType {
    /// Root element.
    Root,
}

impl ElementType for VampireElementType {
    type Role = oak_core::UniversalElementRole;

    fn role(&self) -> Self::Role {
        match self {
            VampireElementType::Root => oak_core::UniversalElementRole::Root,
        }
    }
}

impl From<crate::lexer::token_type::VampireTokenType> for VampireElementType {
    fn from(_: crate::lexer::token_type::VampireTokenType) -> Self {
        VampireElementType::Root
    }
}

impl From<VampireElementType> for u16 {
    fn from(t: VampireElementType) -> u16 {
        t as u16
    }
}

impl From<u16> for VampireElementType {
    fn from(i: u16) -> Self {
        match i {
            0 => VampireElementType::Root,
            _ => VampireElementType::Root, // Fallback
        }
    }
}