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

use crate::{ast::VampireRoot, lexer::VampireTokenType, parser::VampireElementType};
use oak_core::{Language, LanguageCategory};

/// Vampire language configuration and metadata.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct VampireLanguage;

impl VampireLanguage {
    /// Creates a new Vampire language configuration.
    pub fn new() -> Self {
        Self
    }
}

impl Default for VampireLanguage {
    fn default() -> Self {
        Self::new()
    }
}

impl Language for VampireLanguage {
    const NAME: &'static str = "vampire";
    const CATEGORY: LanguageCategory = LanguageCategory::Programming;

    type TokenType = VampireTokenType;
    type ElementType = VampireElementType;
    type TypedRoot = crate::ast::VampireRoot;
}