c2rust-refactor 0.15.0

C2Rust refactoring tool implementation
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

'''Input file parsing, to separate text from refactoring script and break the
script into commands.'''
from typing import List, Union, NamedTuple

class Text(NamedTuple):
    '''A block of unprocessed markdown.'''

    lines: List[str]
    '''The lines of markdown input, with `\n` terminators intact.'''

class Code(NamedTuple):
    '''A markdown fenced code block.

        ```language and-other attrs
        code goes here...
        ```
    '''

    attrs: List[str]
    '''The attributes from the opening line of the block, split on
    whitespace.'''

    lines: List[str]
    '''The content of the block, not including the opening and closing
    lines.'''

Block = Union[Text, Code]

def parse_blocks(f) -> List[Block]:
    '''Parse a sequence of `Text` and `Code` blocks out of an input Markdown
    file.'''
    blocks = []

    cur = []
    # Inside a code block, this is a list of attrs from the start of the block.
    # Elsewhere, it's `None`.
    code_attrs = None

    def commit():
        nonlocal cur
        if len(cur) > 0:
            if code_attrs is not None:
                blocks.append(Code(code_attrs, cur))
            else:
                blocks.append(Text(cur))
        cur = []

    for line in f:
        sline = line.strip()
        if sline.startswith('```'):
            if code_attrs is not None:
                commit()
                code_attrs = None
            else:
                commit()
                code_attrs = sline[3:].strip().split()
        else:
            cur.append(line)

    commit()

    return blocks