if not modules then modules = { } end modules ['node-fin'] = {
version = 1.001,
optimize = true,
comment = "companion to node-fin.mkiv",
author = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
copyright = "PRAGMA ADE / ConTeXt Development Team",
license = "see context related readme files",
}
-- this module is being reconstructed
-- local functions, only slightly slower
--
-- leaders are also triggers ... see colo-ext for an example (negate a box)
local next, type, format = next, type, string.format
local setmetatableindex = table.setmetatableindex
local attributes, nodes, node = attributes, nodes, node
local nuts = nodes.nuts
local tonut = nodes.tonut
local getnext = nuts.getnext
local getid = nuts.getid
local getlist = nuts.getlist
local getleader = nuts.getleader
local getattr = nuts.getattr
local getwidth = nuts.getwidth
local getwhd = nuts.getwhd
local getorientation = nuts.getorientation
local hasdimensions = nuts.hasdimensions
local getbox = nuts.getbox
local setlist = nuts.setlist
local setleader = nuts.setleader
local copy_node = nuts.copy
local insertnodebefore = nuts.insertbefore
local insertnodeafter = nuts.insertafter
local nextnode = nuts.traversers.node
local nodecodes = nodes.nodecodes
local rulecodes = nodes.rulecodes
local boxrule_code = rulecodes.box
local imagerule_code = rulecodes.image
local emptyrule_code = rulecodes.empty
local glyph_code = nodecodes.glyph
local disc_code = nodecodes.disc
local glue_code = nodecodes.glue
local rule_code = nodecodes.rule
local hlist_code = nodecodes.hlist
local vlist_code = nodecodes.vlist
local texlists = tex.lists
local texgetnest = tex.getnest
local states = attributes.states
local numbers = attributes.numbers
local a_trigger = attributes.private('trigger')
local triggering = false
local implement = interfaces.implement
local starttiming = statistics.starttiming
local stoptiming = statistics.stoptiming
local loadstripped = utilities.lua.loadstripped
local unsetvalue = attributes.unsetvalue
-- these two will be like trackers
function states.enabletriggering () triggering = true end
function states.disabletriggering() triggering = false end
implement { name = "enablestatetriggering", actions = states.enabletriggering }
implement { name = "disablestatetriggering", actions = states.disabletriggering }
nodes.plugindata = nil
-- inheritance: -0x7FFFFFFF -- we can best use nil and skip !
local template = [[
local plugin = nodes.plugindata
local starttiming = statistics.starttiming
local stoptiming = statistics.stoptiming
local namespace = plugin.namespace
local attribute = namespace.attribute or attributes.numbers[plugin.name]
local processor = plugin.processor
local initializer = plugin.initializer
local resolver = plugin.resolver
local finalizer = plugin.finalizer
local flusher = plugin.flusher
if not processor then
return function(head)
return head
end
elseif initializer or finalizer or resolver then
return function(head)
starttiming(attributes)
local used, inheritance
if resolver then
inheritance = resolver()
end
if initializer then
initializer(namespace,attribute,head)
end
head = processor(namespace,attribute,head,inheritance)
if finalizer then
head, used = finalizer(namespace,attribute,head)
if used and flusher then
head = flusher(namespace,attribute,head,used)
end
end
stoptiming(attributes)
return head
end
else
return function(head)
starttiming(attributes)
head = processor(namespace,attribute,head)
stoptiming(attributes)
return head
end
end
nodes.plugindata = nil
]]
function nodes.installattributehandler(plugin)
nodes.plugindata = plugin
return loadstripped(template)()
end
-- the injectors
local nsdata, nsnone, nslistwise, nsforced, nsselector, nstrigger
local current, current_selector = 0, 0 -- nb, stack has a local current !
local nsbegin, nsend, nsreset
function states.initialize(namespace,attribute,head)
nsdata = namespace.data
nsnone = namespace.none
nsforced = namespace.forced
nsselector = namespace.selector
nslistwise = namespace.listwise
nstrigger = triggering and namespace.triggering and a_trigger
current = 0
current_selector = 0
nsstep = namespace.resolve_step
if nsstep then
nsreset = namespace.resolve_reset
nsbegin = namespace.resolve_begin
nsend = namespace.resolve_end
nspush = namespace.push
nspop = namespace.pop
end
end
function states.finalize(namespace,attribute,head) -- is this one ok?
if current > 0 and nsnone then
local id = getid(head)
if id == hlist_code or id == vlist_code then
local content = getlist(head)
if content then
local list = insertnodebefore(content,content,copy_node(nsnone)) -- two return values
if list ~= content then
setlist(head,list)
end
end
else
head = insertnodebefore(head,head,copy_node(nsnone))
end
return head, true
end
return head, false
end
-- we need to deal with literals too (reset as well as oval)
local function process(attribute,head,inheritance,default) -- one attribute
local check = false
local leader = nil
for stack, id in nextnode, head do
if id == glyph_code or id == disc_code then
check = true
elseif id == glue_code then
leader = getleader(stack)
if leader then
check = true
end
elseif id == hlist_code or id == vlist_code then
local content = getlist(stack)
if content then
-- tricky checking
local outer
if getorientation(stack) then
outer = getattr(stack,attribute)
if outer then
if default and outer == inheritance then
if current ~= default then
head = insertnodebefore(head,stack,copy_node(nsdata[default]))
current = default
end
elseif current ~= outer then
head = insertnodebefore(head,stack,copy_node(nsdata[c])) -- hm, what is c ... bug
current = outer
end
elseif default and inheritance then
if current ~= default then
head = insertnodebefore(head,stack,copy_node(nsdata[default]))
current = default
end
elseif current > 0 then
head = insertnodebefore(head,stack,copy_node(nsnone))
current = 0
end
end
-- begin nested --
local list
if nstrigger and getattr(stack,nstrigger) then
if not outer then
outer = getattr(stack,attribute)
end
if outer ~= inheritance then
list = process(attribute,content,inheritance,outer)
else
list = process(attribute,content,inheritance,default)
end
else
list = process(attribute,content,inheritance,default)
end
if content ~= list then
setlist(stack,list)
end
-- end nested --
end
elseif id == rule_code then
check = hasdimensions(stack)
end
-- much faster this way than using a check() and nested() function
if check then
local c = getattr(stack,attribute)
if c then
if default and c == inheritance then
if current ~= default then
head = insertnodebefore(head,stack,copy_node(nsdata[default]))
current = default
end
elseif current ~= c then
head = insertnodebefore(head,stack,copy_node(nsdata[c]))
current = c
end
if leader then
local savedcurrent = current
local ci = getid(leader)
if ci == hlist_code or ci == vlist_code then
-- else we reset inside a box unneeded, okay, the downside is
-- that we trigger color in each repeated box, so there is room
-- for improvement here
current = 0
end
-- begin nested --
local list
if nstrigger and getattr(stack,nstrigger) then
local outer = getattr(stack,attribute)
if outer ~= inheritance then
list = process(attribute,leader,inheritance,outer)
else
list = process(attribute,leader,inheritance,default)
end
else
list = process(attribute,leader,inheritance,default)
end
if leader ~= list then
setleader(stack,list)
end
-- end nested --
current = savedcurrent
leader = false
end
elseif default and inheritance then
if current ~= default then
head = insertnodebefore(head,stack,copy_node(nsdata[default]))
current = default
end
elseif current > 0 then
head = insertnodebefore(head,stack,copy_node(nsnone))
current = 0
end
check = false
end
end
return head
end
states.process = function(namespace,attribute,head,default)
return process(attribute,head,default)
end
-- we can force a selector, e.g. document wide color spaces, saves a little
-- watch out, we need to check both the selector state (like colorspace) and
-- the main state (like color), otherwise we get into troubles when a selector
-- state changes while the main state stays the same (like two glyphs following
-- each other with the same color but different color spaces e.g. \showcolor)
local function selective(attribute,head,inheritance,default) -- two attributes
local check = false
local leader = nil
for stack, id, subtype in nextnode, head do
if id == glyph_code or id == disc_code then
check = true
elseif id == glue_code then
leader = getleader(stack)
if leader then
check = true
end
elseif id == hlist_code or id == vlist_code then
local content = getlist(stack)
if content then
-- tricky checking
local outer
if getorientation(stack) then
outer = getattr(stack,attribute)
if outer then
if default and outer == inheritance then
if current ~= default then
local data = nsdata[default]
head = insertnodebefore(head,stack,copy_node(data[nsforced or getattr(stack,nsselector) or nsselector]))
current = default
end
else
local s = getattr(stack,nsselector)
-- local s = nsforced or getattr(stack,nsselector)
if current ~= outer or current_selector ~= s then
local data = nsdata[outer]
head = insertnodebefore(head,stack,copy_node(data[nsforced or s or nsselector]))
current = outer
current_selector = s
end
end
elseif default and inheritance then
if current ~= default then
local data = nsdata[default]
head = insertnodebefore(head,stack,copy_node(data[nsforced or getattr(stack,nsselector) or nsselector]))
current = default
end
elseif current > 0 then
head = insertnodebefore(head,stack,copy_node(nsnone))
current, current_selector = 0, 0
end
end
-- begin nested
local list
if nstrigger and getattr(stack,nstrigger) then
if not outer then
outer = getattr(stack,attribute)
end
if outer ~= inheritance then
list = selective(attribute,content,inheritance,outer)
else
list = selective(attribute,content,inheritance,default)
end
else
list = selective(attribute,content,inheritance,default)
end
if content ~= list then
setlist(stack,list)
end
-- end nested
end
elseif id == rule_code then
if subtype == boxrule_code or subtype == imagerule_code or subtype == emptyrule_code then
-- so no redundant color stuff (only here, layers for instance should obey)
check = false
else
check = hasdimensions(stack)
end
else
end
if check then
local c = getattr(stack,attribute)
if c then
if default and c == inheritance then
if current ~= default then
local data = nsdata[default]
head = insertnodebefore(head,stack,copy_node(data[nsforced or getattr(stack,nsselector) or nsselector]))
current = default
end
else
local s = getattr(stack,nsselector)
-- local s = nsforced or getattr(stack,nsselector)
if current ~= c or current_selector ~= s then
local data = nsdata[c]
head = insertnodebefore(head,stack,copy_node(data[nsforced or s or nsselector]))
current = c
current_selector = s
end
end
if leader then
-- begin nested
local list
if nstrigger and getattr(stack,nstrigger) then
local outer = getattr(stack,attribute)
if outer ~= inheritance then
list = selective(attribute,leader,inheritance,outer)
else
list = selective(attribute,leader,inheritance,default)
end
else
list = selective(attribute,leader,inheritance,default)
end
if leader ~= list then
setleader(stack,list)
end
-- end nested
leader = false
end
elseif default and inheritance then
if current ~= default then
local data = nsdata[default]
head = insertnodebefore(head,stack,copy_node(data[nsforced or getattr(stack,nsselector) or nsselector]))
current = default
end
elseif current > 0 then
head = insertnodebefore(head,stack,copy_node(nsnone))
current, current_selector = 0, 0
end
check = false
end
end
return head
end
states.selective = function(namespace,attribute,head,default)
return selective(attribute,head,default)
end
-- Ideally the next one should be merged with the previous but keeping it separate is
-- safer. We deal with two situations: efficient boxwise (layoutareas) and mixed layers
-- (as used in the stepper). In the stepper we cannot use the box branch as it involves
-- paragraph lines and then gets mixed up. A messy business (esp since we want to be
-- efficient).
--
-- Todo: make a better stacker. Keep track (in attribute) about nesting level. Not
-- entirely trivial and a generic solution is nicer (compares to the exporter).
local function stacked(attribute,head,default) -- no triggering, no inheritance, but list-wise
local stack = head
local current = default or 0
local depth = 0
local check = false
local leader = false
while stack do
local id = getid(stack)
if id == glyph_code then
check = true
elseif id == glue_code then
leader = getleader(stack)
if leader then
check = true
end
elseif id == hlist_code or id == vlist_code then
local content = getlist(stack)
if content then
-- the problem is that broken lines gets the attribute which can be a later one
local list
if nslistwise then
local a = getattr(stack,attribute)
if a and current ~= a and nslistwise[a] then -- viewerlayer / needs checking, see below
local p = current
current = a
head = insertnodebefore(head,stack,copy_node(nsdata[a]))
list = stacked(attribute,content,current) -- two return values
head, stack = insertnodeafter(head,stack,copy_node(nsnone))
current = p
else
list = stacked(attribute,content,current)
end
else
list = stacked(attribute,content,current)
end
if content ~= list then
setlist(stack,list) -- only if ok
end
end
elseif id == rule_code then
check = hasdimensions(stack)
end
if check then
local a = getattr(stack,attribute)
if a then
if current ~= a then
head = insertnodebefore(head,stack,copy_node(nsdata[a]))
depth = depth + 1
current = a
end
if leader then
local content = getlist(leader)
if content then
local list = stacked(attribute,content,current)
if leader ~= list then
setleader(stack,list) -- only if ok
end
end
leader = false
end
elseif default > 0 then
--
elseif current > 0 then
head = insertnodebefore(head,stack,copy_node(nsnone))
depth = depth - 1
current = 0
end
check = false
end
stack = getnext(stack)
end
while depth > 0 do
head = insertnodeafter(head,stack,copy_node(nsnone))
depth = depth - 1
end
return head
end
states.stacked = function(namespace,attribute,head,default)
return stacked(attribute,head,default)
end
-- experimental
local function stacker(attribute,head,default) -- no triggering, no inheritance, but list-wise
-- nsbegin()
local stacked = false
local current = head
local previous = head
local attrib = default or unsetvalue
local check = false
local leader = false
while current do
local id = getid(current)
if id == glyph_code then
check = true
elseif id == glue_code then
leader = getleader(current)
if leader then
check = true
end
elseif id == hlist_code or id == vlist_code then
local content = getlist(current)
if content then
local list
if nslistwise then
local a = getattr(current,attribute)
if a and attrib ~= a and nslistwise[a] then -- viewerlayer
head = insertnodebefore(head,current,copy_node(nsdata[a]))
list = stacker(attribute,content,a)
if list ~= content then
setlist(current,list)
end
head, current = insertnodeafter(head,current,copy_node(nsnone))
else
list = stacker(attribute,content,attrib)
if list ~= content then
setlist(current,list)
end
end
else
list = stacker(attribute,content,default)
if list ~= content then
setlist(current,list)
end
end
end
elseif id == rule_code then
check = hasdimensions(current)
end
if check then
local a = getattr(current,attribute) or unsetvalue
if a ~= attrib then
if not stacked then
stacked = true
nsbegin()
end
local n = nsstep(a)
if n then
head = insertnodebefore(head,current,n) -- a
end
attrib = a
if leader then
-- tricky as a leader has to be a list so we cannot inject before
-- local list = stacker(attribute,leader,attrib)
-- leader = false
local content = getlist(leader)
if content then
local list = stacker(attribute,leader,attrib)
if leader ~= list then
setleader(current,list)
end
end
leader = false
end
end
check = false
end
previous = current
current = getnext(current)
end
if stacked then
local n = nsend()
while n do
head = insertnodeafter(head,previous,n)
n = nsend()
end
end
return head
end
states.stacker = function(namespace,attribute,head,default)
local head = stacker(attribute,head,default)
nsreset()
return head
end
-- -- --
statistics.register("attribute processing time", function()
return statistics.elapsedseconds(attributes,"front- and backend")
end)