typstyle-core 0.14.4

A pretty printer for typst.
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
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

use typst_syntax::{SyntaxKind, SyntaxNode, ast::AstNode};

use crate::{
    ext::StrExt,
    pretty::{Context, PrettyPrinter, layout::flow::FlowStylist, prelude::*},
};

#[derive(Debug)]
enum PlainItem<'a> {
    Item(ArenaDoc<'a>),
    Comma,
    Linebreak(usize),
    LineComment(ArenaDoc<'a>),
    BlockComment(ArenaDoc<'a>),
}

/// A stylist that keeps the original structure.
pub struct PlainStylist<'a> {
    printer: &'a PrettyPrinter<'a>,
    items: Vec<PlainItem<'a>>,
    is_multiline: bool,
}

impl<'a> PlainStylist<'a> {
    pub fn new(printer: &'a PrettyPrinter<'a>) -> Self {
        Self {
            printer,
            items: Default::default(),
            is_multiline: false,
        }
    }

    #[allow(unused)]
    pub fn process<T: AstNode<'a>>(
        self,
        ctx: Context,
        node: &'a SyntaxNode,
        item_converter: impl Fn(Context, T) -> ArenaDoc<'a>,
    ) -> Self {
        self.process_iterable(ctx, node.children(), item_converter)
    }

    pub fn process_iterable<T: AstNode<'a>>(
        mut self,
        ctx: Context,
        iterable: impl Iterator<Item = &'a SyntaxNode>,
        item_converter: impl Fn(Context, T) -> ArenaDoc<'a>,
    ) -> Self {
        let nl = self.printer.config.blank_lines_upper_bound;
        for child in iterable {
            self.items.push(match child.kind() {
                SyntaxKind::Comma => PlainItem::Comma,
                SyntaxKind::Space => {
                    let newline_count = child.text().count_linebreaks();
                    if newline_count > 0 {
                        self.is_multiline = true;
                        if !self.items.is_empty() {
                            PlainItem::Linebreak(newline_count.min(nl + 1))
                        } else {
                            continue;
                        }
                    } else {
                        continue;
                    }
                }
                SyntaxKind::LineComment => {
                    self.is_multiline = true;
                    PlainItem::LineComment(self.printer.convert_comment(ctx, child))
                }
                SyntaxKind::BlockComment => {
                    PlainItem::BlockComment(self.printer.convert_comment(ctx, child))
                }
                _ => {
                    if let Some(item) = child.cast() {
                        PlainItem::Item(item_converter(ctx, item))
                    } else {
                        continue;
                    }
                }
            });
        }

        // Remove trailing linebreaks.
        while let Some(PlainItem::Linebreak(_)) = self.items.last() {
            self.items.pop();
        }

        self
    }

    pub fn print_doc(self) -> ArenaDoc<'a> {
        let arena = &self.printer.arena;

        let mut flow = FlowStylist::new(self.printer);
        for item in self.items {
            match item {
                PlainItem::Item(body) => flow.push_doc(body, true, true),
                PlainItem::Comma => flow.push_doc(arena.text(","), false, true),
                PlainItem::Linebreak(n) => flow.push_doc(arena.hardline().repeat(n), false, false),
                PlainItem::LineComment(cmt) => flow.push_doc(cmt, true, false),
                PlainItem::BlockComment(cmt) => flow.push_doc(cmt, true, true),
            }
        }

        let doc = flow.into_doc();
        if self.is_multiline {
            doc.enclose(arena.hardline(), arena.hardline())
        } else {
            doc
        }
    }
}