oak_vampire/language/
mod.rs

1use crate::{ast::VampireRoot, lexer::VampireTokenType, parser::VampireElementType};
2use oak_core::{Language, LanguageCategory};
3
4/// Vampire language configuration and metadata.
5#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
6#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
7pub struct VampireLanguage;
8
9impl VampireLanguage {
10    /// Creates a new Vampire language configuration.
11    pub fn new() -> Self {
12        Self
13    }
14}
15
16impl Default for VampireLanguage {
17    fn default() -> Self {
18        Self::new()
19    }
20}
21
22impl Language for VampireLanguage {
23    const NAME: &'static str = "vampire";
24    const CATEGORY: LanguageCategory = LanguageCategory::Programming;
25
26    type TokenType = VampireTokenType;
27    type ElementType = VampireElementType;
28    type TypedRoot = crate::ast::VampireRoot;
29}
oak_vampire/language/mod.rs

oak_vampire/language/
mod.rs
