lmntalc-ide 0.13.1

IDE-oriented document/session APIs for lmntalc
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
use crate::Span;

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum OutlineKind {
    InitialProcess,
    Rule,
    Membrane,
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub struct OutlineSymbol {
    pub name: String,
    pub kind: OutlineKind,
    pub span: Span,
    pub selection_span: Span,
    pub children: Vec<OutlineSymbol>,
}