oak_vampire/formatter/
mod.rs

1use crate::language::VampireLanguage;
2use oak_core::tree::RedNode;
3use oak_pretty_print::{FormatConfig, FormatOutput, FormatResult, Formatter};
4
5/// Vampire 语言的格式化器
6pub struct VampireFormatter {
7    inner: Formatter<VampireLanguage>,
8}
9
10impl VampireFormatter {
11    pub fn new(config: FormatConfig) -> Self {
12        Self { inner: Formatter::new(config) }
13    }
14
15    pub fn format(&mut self, root: &RedNode<VampireLanguage>, source: &str) -> FormatResult<FormatOutput> {
16        self.inner.format(root, source)
17    }
18}