aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src/algo/visit.rs
blob: 4df275ba4ffc4e127ea88883d4987f8ecf2f715a (plain)
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
//! FIXME: write short doc here

use crate::{AstNode, SyntaxNode};

use std::marker::PhantomData;

pub fn visitor<'a, T>() -> impl Visitor<'a, Output = T> {
    EmptyVisitor { ph: PhantomData }
}

pub fn visitor_ctx<'a, T, C>(ctx: C) -> impl VisitorCtx<'a, Output = T, Ctx = C> {
    EmptyVisitorCtx { ph: PhantomData, ctx }
}

pub trait Visitor<'a>: Sized {
    type Output;
    fn accept(self, node: &'a SyntaxNode) -> Option<Self::Output>;
    fn visit<N, F>(self, f: F) -> Vis<Self, N, F>
    where
        N: AstNode + 'a,
        F: FnOnce(N) -> Self::Output,
    {
        Vis { inner: self, f, ph: PhantomData }
    }
}

pub trait VisitorCtx<'a>: Sized {
    type Output;
    type Ctx;
    fn accept(self, node: &'a SyntaxNode) -> Result<Self::Output, Self::Ctx>;
    fn visit<N, F>(self, f: F) -> VisCtx<Self, N, F>
    where
        N: AstNode + 'a,
        F: FnOnce(N, Self::Ctx) -> Self::Output,
    {
        VisCtx { inner: self, f, ph: PhantomData }
    }
}

#[derive(Debug)]
struct EmptyVisitor<T> {
    ph: PhantomData<fn() -> T>,
}

impl<'a, T> Visitor<'a> for EmptyVisitor<T> {
    type Output = T;

    fn accept(self, _node: &'a SyntaxNode) -> Option<T> {
        None
    }
}

#[derive(Debug)]
struct EmptyVisitorCtx<T, C> {
    ctx: C,
    ph: PhantomData<fn() -> T>,
}

impl<'a, T, C> VisitorCtx<'a> for EmptyVisitorCtx<T, C> {
    type Output = T;
    type Ctx = C;

    fn accept(self, _node: &'a SyntaxNode) -> Result<T, C> {
        Err(self.ctx)
    }
}

#[derive(Debug)]
pub struct Vis<V, N, F> {
    inner: V,
    f: F,
    ph: PhantomData<fn(N)>,
}

impl<'a, V, N, F> Visitor<'a> for Vis<V, N, F>
where
    V: Visitor<'a>,
    N: AstNode + 'a,
    F: FnOnce(N) -> <V as Visitor<'a>>::Output,
{
    type Output = <V as Visitor<'a>>::Output;

    fn accept(self, node: &'a SyntaxNode) -> Option<Self::Output> {
        let Vis { inner, f, .. } = self;
        inner.accept(node).or_else(|| N::cast(node.clone()).map(f))
    }
}

#[derive(Debug)]
pub struct VisCtx<V, N, F> {
    inner: V,
    f: F,
    ph: PhantomData<fn(N)>,
}

impl<'a, V, N, F> VisitorCtx<'a> for VisCtx<V, N, F>
where
    V: VisitorCtx<'a>,
    N: AstNode + 'a,
    F: FnOnce(N, <V as VisitorCtx<'a>>::Ctx) -> <V as VisitorCtx<'a>>::Output,
{
    type Output = <V as VisitorCtx<'a>>::Output;
    type Ctx = <V as VisitorCtx<'a>>::Ctx;

    fn accept(self, node: &'a SyntaxNode) -> Result<Self::Output, Self::Ctx> {
        let VisCtx { inner, f, .. } = self;
        inner.accept(node).or_else(|ctx| match N::cast(node.clone()) {
            None => Err(ctx),
            Some(node) => Ok(f(node, ctx)),
        })
    }
}