equal
deleted
inserted
replaced
436 val close_decoded = decode(close) |
436 val close_decoded = decode(close) |
437 |
437 |
438 |
438 |
439 /* control symbols */ |
439 /* control symbols */ |
440 |
440 |
441 val ctrl_decoded: Set[Symbol] = |
441 val control_decoded: Set[Symbol] = |
442 Set((for ((sym, _) <- symbols if sym.startsWith("\\<^")) yield decode(sym)): _*) |
442 Set((for ((sym, _) <- symbols if sym.startsWith("\\<^")) yield decode(sym)): _*) |
443 |
443 |
444 val sub_decoded = decode("\\<^sub>") |
444 val sub_decoded = decode("\\<^sub>") |
445 val sup_decoded = decode("\\<^sup>") |
445 val sup_decoded = decode("\\<^sup>") |
446 val bsub_decoded = decode("\\<^bsub>") |
446 val bsub_decoded = decode("\\<^bsub>") |
514 def is_symbolic_char(sym: Symbol): Boolean = symbols.sym_chars.contains(sym) |
514 def is_symbolic_char(sym: Symbol): Boolean = symbols.sym_chars.contains(sym) |
515 |
515 |
516 |
516 |
517 /* control symbols */ |
517 /* control symbols */ |
518 |
518 |
519 def is_ctrl(sym: Symbol): Boolean = |
519 def is_control(sym: Symbol): Boolean = |
520 sym.startsWith("\\<^") || symbols.ctrl_decoded.contains(sym) |
520 sym.startsWith("\\<^") || symbols.control_decoded.contains(sym) |
521 |
521 |
522 def is_controllable(sym: Symbol): Boolean = |
522 def is_controllable(sym: Symbol): Boolean = |
523 !is_blank(sym) && !is_ctrl(sym) && !is_open(sym) && !is_close(sym) && !is_malformed(sym) |
523 !is_blank(sym) && !is_control(sym) && !is_open(sym) && !is_close(sym) && !is_malformed(sym) |
524 |
524 |
525 def sub_decoded: Symbol = symbols.sub_decoded |
525 def sub_decoded: Symbol = symbols.sub_decoded |
526 def sup_decoded: Symbol = symbols.sup_decoded |
526 def sup_decoded: Symbol = symbols.sup_decoded |
527 def bsub_decoded: Symbol = symbols.bsub_decoded |
527 def bsub_decoded: Symbol = symbols.bsub_decoded |
528 def esub_decoded: Symbol = symbols.esub_decoded |
528 def esub_decoded: Symbol = symbols.esub_decoded |