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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
|
if not modules then modules = { } end modules ['trac-set'] = { -- might become util-set.lua
version = 1.001,
comment = "companion to luat-lib.mkiv",
author = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
copyright = "PRAGMA ADE / ConTeXt Development Team",
license = "see context related readme files"
}
-- maybe this should be util-set.lua
local type, next, tostring = type, next, tostring
local concat = table.concat
local format, find, lower, gsub, topattern = string.format, string.find, string.lower, string.gsub, string.topattern
local is_boolean = string.is_boolean
local settings_to_hash = utilities.parsers.settings_to_hash
local allocate = utilities.storage.allocate
utilities = utilities or { }
local utilities = utilities
local setters = utilities.setters or { }
utilities.setters = setters
local data = { }
-- We can initialize from the cnf file. This is sort of tricky as
-- later defined setters also need to be initialized then. If set
-- this way, we need to ensure that they are not reset later on.
local trace_initialize = false -- only for testing during development
function setters.initialize(filename,name,values) -- filename only for diagnostics
local setter = data[name]
if setter then
frozen = true -- don't permitoverload
-- trace_initialize = true
local data = setter.data
if data then
for key, newvalue in next, values do
local newvalue = is_boolean(newvalue,newvalue,true) -- strict
local functions = data[key]
if functions then
local oldvalue = functions.value
if functions.frozen then
if trace_initialize then
setter.report("%s: %a is %s to %a",filename,key,"frozen",oldvalue)
end
elseif #functions > 0 and not oldvalue then
-- elseif #functions > 0 and oldvalue == nil then
if trace_initialize then
setter.report("%s: %a is %s to %a",filename,key,"set",newvalue)
end
for i=1,#functions do
functions[i](newvalue)
end
functions.value = newvalue
functions.frozen = functions.frozen or frozen
else
if trace_initialize then
setter.report("%s: %a is %s as %a",filename,key,"kept",oldvalue)
end
end
else
-- we do a simple preregistration i.e. not in the
-- list as it might be an obsolete entry
functions = { default = newvalue, frozen = frozen }
data[key] = functions
if trace_initialize then
setter.report("%s: %a is %s to %a",filename,key,"defaulted",newvalue)
end
end
end
return true
end
end
end
-- user interface code
local function set(t,what,newvalue)
local data = t.data
if not data.frozen then
local done = t.done
if type(what) == "string" then
what = settings_to_hash(what) -- inefficient but ok
end
if type(what) ~= "table" then
return
end
if not done then -- catch ... why not set?
done = { }
t.done = done
end
for w, value in next, what do
if value == "" then
value = newvalue
elseif not value then
value = false -- catch nil
else
value = is_boolean(value,value,true) -- strict
end
w = topattern(w,true,true)
for name, functions in next, data do
if done[name] then
-- prevent recursion due to wildcards
elseif find(name,w) then
done[name] = true
for i=1,#functions do
functions[i](value)
end
functions.value = value
end
end
end
end
end
local function reset(t)
local data = t.data
if not data.frozen then
for name, functions in next, data do
for i=1,#functions do
functions[i](false)
end
functions.value = false
end
end
end
local function enable(t,what)
set(t,what,true)
end
local function disable(t,what)
local data = t.data
if not what or what == "" then
t.done = { }
reset(t)
else
set(t,what,false)
end
end
function setters.register(t,what,...)
local data = t.data
what = lower(what)
local functions = data[what]
if not functions then
functions = { }
data[what] = functions
if trace_initialize then
t.report("defining %a",what)
end
end
local default = functions.default -- can be set from cnf file
for i=1,select("#",...) do
local fnc = select(i,...)
local typ = type(fnc)
if typ == "string" then
if trace_initialize then
t.report("coupling %a to %a",what,fnc)
end
local s = fnc -- else wrong reference
fnc = function(value) set(t,s,value) end
elseif typ ~= "function" then
fnc = nil
end
if fnc then
functions[#functions+1] = fnc
-- default: set at command line or in cnf file
-- value : set in tex run (needed when loading runtime)
local value = functions.value or default
if value ~= nil then
fnc(value)
functions.value = value
end
end
end
return false -- so we can use it in an assignment
end
function setters.enable(t,what)
local e = t.enable
t.enable, t.done = enable, { }
enable(t,what)
t.enable, t.done = e, { }
end
function setters.disable(t,what)
local e = t.disable
t.disable, t.done = disable, { }
disable(t,what)
t.disable, t.done = e, { }
end
function setters.reset(t)
t.done = { }
reset(t)
end
function setters.list(t) -- pattern
local list = table.sortedkeys(t.data)
local user, system = { }, { }
for l=1,#list do
local what = list[l]
if find(what,"^%*") then
system[#system+1] = what
else
user[#user+1] = what
end
end
return user, system
end
function setters.show(t)
local list = setters.list(t)
t.report()
for k=1,#list do
local name = list[k]
local functions = t.data[name]
if functions then
local value, default, modules = functions.value, functions.default, #functions
value = value == nil and "unset" or tostring(value)
default = default == nil and "unset" or tostring(default)
t.report("%-50s modules: %2i default: %-12s value: %-12s",name,modules,default,value)
end
end
t.report()
end
-- we could have used a bit of oo and the trackers:enable syntax but
-- there is already a lot of code around using the singular tracker
-- we could make this into a module but we also want the rest avaliable
local enable, disable, register, list, show = setters.enable, setters.disable, setters.register, setters.list, setters.show
function setters.report(setter,...)
print(format("%-15s : %s\n",setter.name,format(...)))
end
local function default(setter,name)
local d = setter.data[name]
return d and d.default
end
local function value(setter,name)
local d = setter.data[name]
return d and (d.value or d.default)
end
function setters.new(name) -- we could use foo:bar syntax (but not used that often)
local setter -- we need to access it in setter itself
setter = {
data = allocate(), -- indexed, but also default and value fields
name = name,
report = function(...) setters.report (setter,...) end,
enable = function(...) enable (setter,...) end,
disable = function(...) disable (setter,...) end,
reset = function(...) reset (setter,...) end, -- can be dangerous
register = function(...) register(setter,...) end,
list = function(...) list (setter,...) end,
show = function(...) show (setter,...) end,
default = function(...) return default (setter,...) end,
value = function(...) return value (setter,...) end,
}
data[name] = setter
return setter
end
trackers = setters.new("trackers")
directives = setters.new("directives")
experiments = setters.new("experiments")
local t_enable, t_disable = trackers .enable, trackers .disable
local d_enable, d_disable = directives .enable, directives .disable
local e_enable, e_disable = experiments.enable, experiments.disable
-- nice trick: we overload two of the directives related functions with variants that
-- do tracing (itself using a tracker) .. proof of concept
local trace_directives = false local trace_directives = false trackers.register("system.directives", function(v) trace_directives = v end)
local trace_experiments = false local trace_experiments = false trackers.register("system.experiments", function(v) trace_experiments = v end)
function directives.enable(...)
if trace_directives then
directives.report("enabling: % t",{...})
end
d_enable(...)
end
function directives.disable(...)
if trace_directives then
directives.report("disabling: % t",{...})
end
d_disable(...)
end
function experiments.enable(...)
if trace_experiments then
experiments.report("enabling: % t",{...})
end
e_enable(...)
end
function experiments.disable(...)
if trace_experiments then
experiments.report("disabling: % t",{...})
end
e_disable(...)
end
-- a useful example
directives.register("system.nostatistics", function(v)
if statistics then
statistics.enable = not v
else
-- forget about it
end
end)
directives.register("system.nolibraries", function(v)
if libraries then
libraries = nil -- we discard this tracing for security
else
-- no libraries defined
end
end)
-- experiment
if environment then
-- The engineflags are known earlier than environment.arguments but maybe we
-- need to handle them both as the later are parsed differently. The c: prefix
-- is used by mtx-context to isolate the flags from those that concern luatex.
local engineflags = environment.engineflags
if engineflags then
local list = engineflags["c:trackers"] or engineflags["trackers"]
if type(list) == "string" then
setters.initialize("commandline flags","trackers",settings_to_hash(list))
-- t_enable(list)
end
local list = engineflags["c:directives"] or engineflags["directives"]
if type(list) == "string" then
setters.initialize("commandline flags","directives", settings_to_hash(list))
-- d_enable(list)
end
end
end
-- here
if texconfig then
-- this happens too late in ini mode but that is no problem
local function set(k,v)
v = tonumber(v)
if v then
texconfig[k] = v
end
end
directives.register("luatex.expanddepth", function(v) set("expand_depth",v) end)
directives.register("luatex.hashextra", function(v) set("hash_extra",v) end)
directives.register("luatex.nestsize", function(v) set("nest_size",v) end)
directives.register("luatex.maxinopen", function(v) set("max_in_open",v) end)
directives.register("luatex.maxprintline", function(v) set("max_print_line",v) end)
directives.register("luatex.maxstrings", function(v) set("max_strings",v) end)
directives.register("luatex.paramsize", function(v) set("param_size",v) end)
directives.register("luatex.savesize", function(v) set("save_size",v) end)
directives.register("luatex.stacksize", function(v) set("stack_size",v) end)
end
|