2 -- luatexja/ltj-math.lua
5 luatexja.load_module('base'); local ltjb = luatexja.base
6 luatexja.load_module('direction'); local ltjd = luatexja.direction
7 luatexja.load_module('charrange'); local ltjc = luatexja.charrange
8 luatexja.load_module('jfont'); local ltjf = luatexja.jfont
9 luatexja.load_module('stack'); local ltjs = luatexja.stack
10 luatexja.load_module('setwidth'); local ltjw = luatexja.setwidth
12 local setfield = node.direct.setfield
13 local getfield = node.direct.getfield
14 local getid = node.direct.getid
15 local getsubtype = node.direct.getsubtype
16 local getlist = node.direct.getlist
17 -- getlist cannot be used for sub_box nodes. Use instead λp. getfield(p, 'head')
18 local getchar = node.direct.getchar
20 local to_node = node.direct.tonode
21 local to_direct = node.direct.todirect
23 local node_traverse = node.direct.traverse
24 local node_new = node.direct.new
25 local node_next = node.direct.getnext
26 local node_remove = node.direct.remove
27 local node_free = node.direct.free
28 local has_attr = node.direct.has_attribute
29 local set_attr = node.direct.set_attribute
30 local tex_getcount = tex.getcount
32 local attr_jchar_class = luatexbase.attributes['ltj@charclass']
33 local attr_dir = luatexbase.attributes['ltj@dir']
34 local attr_icflag = luatexbase.attributes['ltj@icflag']
35 local attr_curjfnt = luatexbase.attributes['ltj@curjfnt']
36 local attr_jfam = luatexbase.attributes['jfam']
37 local attr_yablshift = luatexbase.attributes['ltj@yablshift']
39 local id_glyph = node.id('glyph')
40 local id_hlist = node.id('hlist')
41 local id_vlist = node.id('vlist')
42 local id_mchar = node.id('math_char')
43 local id_sub_box = node.id('sub_box')
44 local id_radical = node.id('radical')
45 local id_choice = node.id('choice')
46 local id_accent = node.id('accent')
47 local id_style = node.id('style')
48 local id_frac = node.id('fraction')
49 local id_simple = node.id('noad')
50 local id_sub_mlist = node.id('sub_mlist')
51 local id_whatsit = node.id('whatsit')
52 local sid_user = node.subtype('user_defined')
53 local DIR = luatexja.userid_table.DIR
54 local dir_node_auto = luatexja.dir_table.dir_node_auto
56 local PROCESSED = luatexja.icflag_table.PROCESSED
58 local ltjf_font_metric_table = ltjf.font_metric_table
59 local ltjf_find_char_class = ltjf.find_char_class
60 local ltjd_get_dir_count = ltjd.get_dir_count
61 local ltjd_make_dir_whatsit = ltjd.make_dir_whatsit
63 -- table of mathematical characters
64 local is_math_letters = {}
67 -- vcenter noad は軸に揃えるため,欧文ベースライン補正がかかる
68 local function conv_vcenter(sb)
69 local h = getfield(sb, 'head');local hd = getlist(h)
70 if getid(hd)==id_whatsit and
71 getsubtype(hd)==sid_user and getfield(hd, 'user_id')==DIR then
72 local d = node_next(hd)
73 if getid(d)==id_vlist and has_attr(d, attr_dir)>=dir_node_auto then
74 node_free(hd); setfield(h, 'head', nil); node_free(h)
75 setfield(sb, 'head', d); set_attr(d, attr_icflag, 0)
81 local conv_jchar_to_hbox_A
83 -- sty : 0 (display or text), 1 (script), >=2 (scriptscript)
84 local function conv_jchar_to_hbox(head, sty)
85 for p in node_traverse(head) do
87 if pid == id_simple or pid == id_accent then
88 if getsubtype(p)==12 then
89 conv_vcenter(getfield(p, 'nucleus'))
91 setfield(p, 'nucleus', conv_jchar_to_hbox_A(getfield(p, 'nucleus'), sty))
93 setfield(p, 'sub', conv_jchar_to_hbox_A(getfield(p, 'sub'), sty+1))
94 setfield(p, 'sup', conv_jchar_to_hbox_A(getfield(p, 'sup'), sty+1))
95 elseif pid == id_choice then
96 setfield(p, 'display', conv_jchar_to_hbox_A(getfield(p, 'display'), 0))
97 setfield(p, 'text', conv_jchar_to_hbox_A(getfield(p, 'text'), 0))
98 setfield(p, 'script', conv_jchar_to_hbox_A(getfield(p, 'script'), 1))
99 setfield(p, 'scriptscript', conv_jchar_to_hbox_A(getfield(p, 'scriptscript'), 2))
100 elseif pid == id_frac then
101 setfield(p, 'num', conv_jchar_to_hbox_A(getfield(p, 'num'), sty+1))
102 setfield(p, 'denom', conv_jchar_to_hbox_A(getfield(p, 'denom'), sty+1))
103 elseif pid == id_radical then
104 setfield(p, 'nucleus', conv_jchar_to_hbox_A(getfield(p, 'nucleus'), sty))
105 setfield(p, 'sub', conv_jchar_to_hbox_A(getfield(p, 'sub'), sty+1))
106 setfield(p, 'sup', conv_jchar_to_hbox_A(getfield(p, 'sup'), sty+1))
107 if getfield(p, 'degree') then
108 setfield(p, 'degree', conv_jchar_to_hbox_A(getfield(p, 'degree'), sty + 1))
110 elseif pid == id_style then
111 local ps = getfield(p, 'style')
112 if ps == "display'" or ps == 'display'
113 or ps == "text'" or ps == 'text' then
115 elseif ps == "script'" or ps == 'script' then
124 local MJT = luatexja.stack_table_index.MJT
125 local MJS = luatexja.stack_table_index.MJS
126 local MJSS = luatexja.stack_table_index.MJSS
127 local capsule_glyph_math = ltjw.capsule_glyph_math
128 local is_ucs_in_japanese_char = ltjc.is_ucs_in_japanese_char_direct
130 conv_jchar_to_hbox_A =
132 if not p then return nil
135 if pid == id_sub_mlist then
136 if getfield(p, 'head') then
137 setfield(p, 'head', conv_jchar_to_hbox(getfield(p, 'head'), sty))
139 elseif pid == id_mchar then
140 local fam = has_attr(p, attr_jfam) or -1
141 local pc = getchar(p)
142 if (not is_math_letters[pc]) and is_ucs_in_japanese_char(p) and fam>=0 then
143 local f = ltjs.get_stack_table(MJT + 0x100 * sty + fam, -1, tex_getcount('ltj@@stack'))
145 local q = node_new(id_sub_box)
146 local r = node_new(id_glyph); setfield(r, 'next', nil)
147 setfield(r, 'char', pc); setfield(r, 'font', f); setfield(r, 'subtype', 256)
148 local k = has_attr(r,attr_ykblshift) or 0
149 set_attr(r, attr_ykblshift, 0)
150 -- ltj-setwidth 内で実際の位置補正はおこなうので,補正量を退避
151 local met = ltjf_font_metric_table[f]
152 r = capsule_glyph_math(r, met, met.char_type[ltjf_find_char_class(pc, met)]);
153 setfield(q, 'head', r); node_free(p); p=q;
154 set_attr(r, attr_yablshift, k)
157 elseif pid == id_sub_box and getfield(p, 'head') then
158 -- \hbox で直に与えられた内容は上下位置を補正する必要はない
159 local h = getfield(p, 'head')
160 h = ltjd_make_dir_whatsit(h, h, list_dir, 'math')
161 setfield(p, 'head', h)
162 set_attr(h, attr_icflag, PROCESSED)
168 luatexbase.add_to_callback('mlist_to_hlist',
169 function (n, display_type, penalties)
170 n = to_direct(n); list_dir = ltjd_get_dir_count()
171 if getid(n)==id_whatsit and getsubtype(n)==sid_user and
172 getfield(n, 'user_id') == DIR then
173 local old_n = n; n = node_remove(n, n)
174 node_free(old_n); if not n then return nil end
176 return node.mlist_to_hlist(
177 to_node(conv_jchar_to_hbox(n, 0)),
178 display_type, penalties)
179 end,'ltj.mlist_to_hlist', 1)
181 luatexja.math = { is_math_letters = is_math_letters }