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

'''This module generates `ListNodeIds` impls for each AST node type.

Attributes:

- `#[list_node_ids=custom]`: Don't generate an `impl` for this type, so that a
  custom one can be provided.
'''

from datetime import datetime
from textwrap import indent, dedent

from ast import *
from util import *


@linewise
def list_rec(se, target):
    yield 'match %s {' % target
    for v, path in variants_paths(se):
        yield '  &%s => {' % struct_pattern(v, path)
        for f in v.fields:
            yield '    ListNodeIds::add_node_ids(%s, node_id_list);' % (f.name,)
        yield '  }'
    yield '}'

@linewise
def list_impl(se):
    yield '#[allow(unused, non_shorthand_field_patterns)]'
    yield 'impl ListNodeIds for %s {' % se.name
    yield '  fn add_node_ids(&self, node_id_list: &mut Vec<NodeId>) {'
    yield indent(list_rec(se, 'self'), '    ')
    yield '  }'
    yield '}'

@linewise
def dummy_impl(se):
    yield '#[allow(unused, non_shorthand_field_patterns)]'
    yield 'impl ListNodeIds for %s {' % se.name
    yield '  fn add_node_ids(&self, _node_id_list: &mut Vec<NodeId>) {'
    yield '    // Do nothing'
    yield '  }'
    yield '}'

@linewise
def generate(decls):
    yield '// AUTOMATICALLY GENERATED - DO NOT EDIT'
    yield '// Produced %s by process_ast.py' % (datetime.now(),)
    yield ''

    for d in decls:
        if d.attrs.get('list_node_ids') == 'custom':
            continue

        if isinstance(d, (Struct, Enum)):
            yield list_impl(d)
        else:
            yield dummy_impl(d)