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
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130

Ty = {}

function Ty.new(kind)
    local self = {}

    self[1] = "Ty"
    self.id = DUMMY_NODE_ID
    self.span = DUMMY_SP
    self.kind = kind

    setmetatable(self, Ty)
    Ty.__index = Ty

    return self
end

Expr = {}

function Expr.new(kind, attrs)
    local self = {}

    self[1] = "Expr"
    self.id = DUMMY_NODE_ID
    self.span = DUMMY_SP
    self.kind = kind
    self.attrs = attrs or {}

    setmetatable(self, Expr)
    Expr.__index = Expr

    return self
end

Pat = {}

function Pat.new(kind)
    local self = {}

    self[1] = "Pat"
    self.id = DUMMY_NODE_ID
    self.span = DUMMY_SP
    self.kind = kind

    setmetatable(self, Pat)
    Pat.__index = Pat

    return self
end

Local = {}

function Local.new(pat, ty, init, attrs)
    local self = {}

    self[1] = "Local"
    self.id = DUMMY_NODE_ID
    self.span = DUMMY_SP
    self.pat = pat
    self.ty = ty
    self.init = init
    self.attrs = attrs

    return self
end

Stmt = {}

function Stmt.new(kind)
    local self = {}

    self[1] = "Stmt"
    self.kind = kind

    return self
end

Ident = {}

function Ident.new(name)
    local self = {}

    self[1] = "Ident"
    self.name = name
    self.span = DUMMY_SP

    setmetatable(self, Ident)
    Ident.__index = Ident

    return self
end

PathSegment = {}

-- Ident is assumed to be a string, but we could check the type
-- and skip Ident.new() if it is an Ident already
function PathSegment.new(ident, args)
    local self = {}

    self[1] = "PathSegment"
    self.ident = Ident.new(ident)
    self.args = args
    self.id = DUMMY_NODE_ID

    setmetatable(self, PathSegment)
    PathSegment.__index = PathSegment

    return self
end

Path = {}

-- Segments are assumed to be strings, but we could check the type
-- and skip PathSegment.new() if it is a PathSegment already
function Path.new(segments)
    local self = {}
    local path_segments = {}

    for _, segment in ipairs(segments) do
        table.insert(path_segments, PathSegment.new(segment))
    end

    self[1] = "Path"
    self.span = DUMMY_SP
    self.segments = path_segments

    setmetatable(self, Path)
    Path.__index = Path

    return self
end