src/ltj-math.lua

   1 --
   2 -- ltj-math.lua
   3 --
   4
   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
  11
  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
  19
  20 local to_node = node.direct.tonode
  21 local to_direct = node.direct.todirect
  22
  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
  31
  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']
  38
  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
  55
  56 local PROCESSED  = luatexja.icflag_table.PROCESSED
  57
  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
  62
  63 -- table of mathematical characters
  64 local is_math_letters = {}
  65 local list_dir
  66
  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)
  76       end
  77    end
  78    return sb
  79 end
  80
  81 local conv_jchar_to_hbox_A
  82
  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
  86       local pid = getid(p)
  87       if pid == id_simple or pid == id_accent then
  88          if getsubtype(p)==12 then
  89             conv_vcenter(getfield(p, 'nucleus'))
  90          else
  91             setfield(p, 'nucleus', conv_jchar_to_hbox_A(getfield(p, 'nucleus'), sty))
  92          end
  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))
 109          end
 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
 114             sty = 0
 115          elseif  ps == "script'" or  ps == 'script' then
 116             sty = 1
 117          else sty = 2
 118          end
 119        end
 120    end
 121    return head
 122 end
 123
 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
 129
 130 conv_jchar_to_hbox_A =
 131 function (p, sty)
 132    if not p then return nil
 133    else
 134       local pid = getid(p)
 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))
 138          end
 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'))
 144             if f ~= -1 then
 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)
 155             end
 156          end
 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)
 163       end
 164    end
 165    return p
 166 end
 167
 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
 175       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)
 180
 181 luatexja.math = { is_math_letters = is_math_letters }