Mon, 26 Oct 2009 02:29:45 +0000
Converting to unix line endings
1
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
1 | ------------------------------------------------------------------------------- |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
2 | -- This module implements a function that traverses all live objects. |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
3 | -- You can implement your own function to pass as a parameter of traverse |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
4 | -- and give you the information you want. As an example we have implemented |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
5 | -- countreferences and findallpaths |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
6 | -- |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
7 | -- Alexandra Barros - 2006.03.15 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
8 | ------------------------------------------------------------------------------- |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
9 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
10 | module("gc", package.seeall) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
11 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
12 | local List = {} |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
13 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
14 | function List.new () |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
15 | return {first = 0, last = -1} |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
16 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
17 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
18 | function List.push (list, value) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
19 | local last = list.last + 1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
20 | list.last = last |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
21 | list[last] = value |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
22 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
23 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
24 | function List.pop (list) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
25 | local first = list.first |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
26 | if first > list.last then error("list is empty") end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
27 | local value = list[first] |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
28 | list[first] = nil |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
29 | list.first = first + 1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
30 | return value |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
31 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
32 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
33 | function List.isempty (list) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
34 | return list.first > list.last |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
35 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
36 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
37 | -- Counts all references for a given object |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
38 | function countreferences(value) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
39 | local count = -1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
40 | local f = function(from, to, how, v) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
41 | if to == value then |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
42 | count = count + 1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
43 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
44 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
45 | traverse({edge=f}, {count, f}) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
46 | return count |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
47 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
48 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
49 | -- Prints all paths to an object |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
50 | function findallpaths(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
51 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
52 | local comefrom = {} |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
53 | local f = function(from, to, how, value) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
54 | if not comefrom[to] then comefrom[to] = {} end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
55 | table.insert(comefrom[to], 1, {f = from, h = how, v=value}) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
56 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
57 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
58 | traverse({edge=f}, {comefrom, f}) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
59 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
60 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
61 | local function printpath(to) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
62 | if not to or comefrom[to].visited or to == _G then |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
63 | print("-----") |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
64 | return |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
65 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
66 | comefrom[to].visited = true |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
67 | for i=1, #comefrom[to] do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
68 | local tfrom = comefrom[to][i].f |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
69 | print("from: ", tfrom, "\nhow:", comefrom[to][i].h, |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
70 | "\nvalue:", comefrom[to][i].v) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
71 | printpath(tfrom) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
72 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
73 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
74 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
75 | printpath(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
76 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
77 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
78 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
79 | -- Main function |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
80 | -- 'funcs' is a table that contains a funcation for every lua type and also the |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
81 | -- function edge edge (traverseedge). |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
82 | function traverse(funcs, ignoreobjs) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
83 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
84 | -- The keys of the marked table are the objetcts (for example, table: 00442330). |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
85 | -- The value of each key is true if the object has been found and false |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
86 | -- otherwise. |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
87 | local env = {marked = {}, list=List.new(), funcs=funcs} |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
88 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
89 | if ignoreobjs then |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
90 | for i=1, #ignoreobjs do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
91 | env.marked[ignoreobjs[i]] = true |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
92 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
93 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
94 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
95 | env.marked["gc"] = true |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
96 | env.marked[gc] = true |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
97 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
98 | -- marks and inserts on the list |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
99 | edge(env, nil, "_G", "isname", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
100 | edge(env, nil, _G, "key", "_G") |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
101 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
102 | -- traverses the active thread |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
103 | -- inserts the local variables |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
104 | -- interates over the function on the stack, starting from the one that |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
105 | -- called traverse |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
106 | for i=2, math.huge do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
107 | local info = debug.getinfo(i, "f") |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
108 | if not info then break end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
109 | for j=1, math.huge do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
110 | local n, v = debug.getlocal(i, j) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
111 | if not n then break end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
112 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
113 | edge(env, nil, n, "isname", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
114 | edge(env, nil, v, "local", n) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
115 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
116 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
117 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
118 | while not List.isempty(env.list) do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
119 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
120 | local obj = List.pop(env.list) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
121 | local t = type(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
122 | gc["traverse" .. t](env, obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
123 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
124 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
125 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
126 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
127 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
128 | function traversetable(env, obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
129 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
130 | local f = env.funcs.table |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
131 | if f then f(obj) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
132 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
133 | for key, value in pairs(obj) do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
134 | edge(env, obj, key, "iskey", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
135 | edge(env, obj, value, "key", key) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
136 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
137 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
138 | local mtable = debug.getmetatable(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
139 | if mtable then edge(env, obj, mtable, "ismetatable", nil) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
140 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
141 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
142 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
143 | function traversestring(env, obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
144 | local f = env.funcs.string |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
145 | if f then f(obj) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
146 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
147 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
148 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
149 | function traverseuserdata(env, obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
150 | local f = env.funcs.userdata |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
151 | if f then f(obj) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
152 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
153 | local mtable = debug.getmetatable(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
154 | if mtable then edge(env, obj, mtable, "ismetatable", nil) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
155 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
156 | local fenv = debug.getfenv(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
157 | if fenv then edge(env, obj, fenv, "environment", nil) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
158 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
159 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
160 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
161 | function traversefunction(env, obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
162 | local f = env.funcs.func |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
163 | if f then f(obj) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
164 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
165 | -- gets the upvalues |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
166 | local i = 1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
167 | while true do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
168 | local n, v = debug.getupvalue(obj, i) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
169 | if not n then break end -- when there is no upvalues |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
170 | edge(env, obj, n, "isname", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
171 | edge(env, obj, v, "upvalue", n) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
172 | i = i + 1 |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
173 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
174 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
175 | local fenv = debug.getfenv(obj) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
176 | edge(env, obj, fenv, "enviroment", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
177 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
178 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
179 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
180 | function traversethread(env, t) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
181 | local f = env.funcs.thread |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
182 | if f then f(t) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
183 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
184 | for i=1, math.huge do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
185 | local info = debug.getinfo(t, i, "f") |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
186 | if not info then break end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
187 | for j=1, math.huge do |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
188 | local n, v = debug.getlocal(t, i , j) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
189 | if not n then break end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
190 | print(n, v) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
191 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
192 | edge(env, nil, n, "isname", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
193 | edge(env, nil, v, "local", n) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
194 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
195 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
196 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
197 | local fenv = debug.getfenv(t) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
198 | edge(env, t, fenv, "enviroment", nil) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
199 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
200 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
201 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
202 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
203 | -- 'how' is a string that identifies the content of 'to' and 'value': |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
204 | -- if 'how' is "iskey", then 'to' é is a key and 'value' is nil. |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
205 | -- if 'how' is "key", then 'to' is an object and 'value' is the name of the |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
206 | -- key. |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
207 | function edge(env, from, to, how, value) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
208 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
209 | local t = type(to) |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
210 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
211 | if to and (t~="boolean") and (t~="number") and (t~="new") then |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
212 | -- If the destination object has not been found yet |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
213 | if not env.marked[to] then |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
214 | env.marked[to] = true |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
215 | List.push(env.list, to) -- puts on the list to be traversed |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
216 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
217 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
218 | local f = env.funcs.edge |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
219 | if f then f(from, to, how, value) end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
220 | |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
221 | end |
036168493972
Converting to unix line endings
Matthew Wild <mwild1@gmail.com>
parents:
0
diff
changeset
|
222 | |
0
907015aa722f
Initial commit of luatraverse.lua by Alexandra Barros
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
223 | end |