src/mathed/math_hash.C

   1 #include <config.h>
   2 #include <map>
   3
   4 #include "math_defs.h"
   5 #include "math_parser.h"
   6 #include "support/lstrings.h"
   7 #include <iostream>
   8
   9 namespace {
  10
  11 latexkeys const wordlist[] =
  12 {
  13         {"setminus",  LM_TK_SYM, LM_setminus},
  14         {"ldots",  LM_TK_DOTS, LM_ldots},
  15         {"limits",  LM_TK_LIMIT, 1 },
  16         {"stackrel",  LM_TK_STACK, 0},
  17         {"ll",  LM_TK_SYM, LM_ll},
  18         {"label",  LM_TK_LABEL, 0},
  19         {"lceil",  LM_TK_SYM, LM_lceil},
  20         {"sqrt",  LM_TK_SQRT, 0},
  21         {"times",  LM_TK_SYM, LM_times},
  22         {"subset",  LM_TK_SYM, LM_subset},
  23         {"supset",  LM_TK_SYM, LM_supset},
  24         {"spadesuit",  LM_TK_SYM, LM_spadesuit},
  25         {"Re",  LM_TK_SYM, LM_Re},
  26         {"left",  LM_TK_LEFT, 0},
  27         {"smile",  LM_TK_SYM, LM_smile},
  28         {"exists",  LM_TK_SYM, LM_exists},
  29         {"Vert",  LM_TK_SYM, LM_Vert},
  30         //{"scriptstyle",  LM_TK_STY, LM_ST_SCRIPT},
  31         {"uplus",  LM_TK_SYM, LM_uplus},
  32         {"ell",  LM_TK_SYM, LM_ell},
  33         {"langle",  LM_TK_SYM, LM_langle},
  34         //{"scriptscriptstyle",  LM_TK_STY, LM_ST_SCRIPTSCRIPT},
  35         {"zeta",  LM_TK_SYM, LM_zeta},
  36         {"sigma",  LM_TK_SYM, LM_sigma},
  37         {"arccos",  LM_TK_FUNC, 0},
  38         {"sup",  LM_TK_FUNCLIM, 0},
  39         {"sharp",  LM_TK_SYM, LM_sharp},
  40         {"sqcup",  LM_TK_SYM, LM_sqcup},
  41         {"sqcap",  LM_TK_SYM, LM_sqcap},
  42         {"approx",  LM_TK_SYM, LM_approx},
  43         {"triangleleft",  LM_TK_SYM, LM_triangleleft},
  44         {"triangleright",  LM_TK_SYM, LM_triangleright},
  45         {"tilde",  LM_TK_DECORATION, LM_tilde},
  46         {"lambda",  LM_TK_SYM, LM_lambda},
  47         {"emptyset",  LM_TK_MACRO, LM_emptyset},
  48         {"triangle",  LM_TK_SYM, LM_triangle},
  49         //{"textstyle",  LM_TK_STY, LM_ST_TEXT},
  50         {"tau",  LM_TK_SYM, LM_tau},
  51         {"limsup",  LM_TK_FUNCLIM, 0},
  52         {"partial",  LM_TK_SYM, LM_partial},
  53         {"parallel",  LM_TK_SYM, LM_parallel},
  54         {"infty",  LM_TK_SYM, LM_infty},
  55         {"kappa",  LM_TK_SYM, LM_kappa},
  56         {"xi",  LM_TK_SYM, LM_xi},
  57         {"leftharpoonup",  LM_TK_SYM, LM_leftharpoonup},
  58         {"theta",  LM_TK_SYM, LM_theta},
  59         {"Xi",  LM_TK_SYM, LM_Xi},
  60         {"searrow",  LM_TK_SYM, LM_searrow},
  61         {"swarrow",  LM_TK_SYM, LM_swarrow},
  62         {"top",  LM_TK_SYM, LM_top},
  63         {"Rightarrow",  LM_TK_SYM, LM_Rightarrow},
  64         {"underline",  LM_TK_DECORATION, LM_underline},
  65         {"underbrace",  LM_TK_DECORATION, LM_underbrace},
  66         {"eta",  LM_TK_SYM, LM_eta},
  67         {"acute",  LM_TK_DECORATION, LM_acute},
  68         {"angle",  LM_TK_SYM, LM_angle},
  69         {"exp",  LM_TK_FUNC, 0},
  70         {"leftarrow",  LM_TK_SYM, LM_leftarrow},
  71         {"prime",  LM_TK_SYM, LM_prime},
  72         {"int",  LM_TK_BIGSYM, LM_int},
  73         {"longleftarrow",  LM_TK_SYM, LM_longleftarrow},
  74         {"leftrightarrow",  LM_TK_SYM, LM_leftrightarrow},
  75         {"longrightarrow",  LM_TK_SYM, LM_longrightarrow},
  76         {"Gamma",  LM_TK_SYM, LM_Gamma},
  77         {"Pi",  LM_TK_SYM, LM_Pi},
  78         {"Phi",  LM_TK_SYM, LM_Phi},
  79         {"Psi",  LM_TK_SYM, LM_Psi},
  80         {"longleftrightarrow",  LM_TK_SYM, LM_longleftrightarrow},
  81         {"alpha",  LM_TK_SYM, LM_alpha},
  82         {"widehat",  LM_TK_DECORATION, LM_widehat},
  83         {"sin",  LM_TK_FUNC, 0},
  84         {"asymp",  LM_TK_SYM, LM_asymp},
  85         {"nolimits",  LM_TK_LIMIT, 0 },
  86         {"perp",  LM_TK_MACRO, LM_perp},
  87         {"wedge",  LM_TK_SYM, LM_wedge},
  88         {"ln",  LM_TK_FUNC, 0},
  89         {"widetilde",  LM_TK_DECORATION, LM_widetilde},
  90         {"Omega",  LM_TK_SYM, LM_Omega},
  91         {"natural",  LM_TK_SYM, LM_natural},
  92         {"iota",  LM_TK_SYM, LM_iota},
  93         {"uparrow",  LM_TK_SYM, LM_uparrow},
  94         {"Sigma",  LM_TK_SYM, LM_Sigma},
  95         {"pi",  LM_TK_SYM, LM_pi},
  96         {"phi",  LM_TK_SYM, LM_phi},
  97         {"psi",  LM_TK_SYM, LM_psi},
  98         {"updownarrow",  LM_TK_SYM, LM_updownarrow},
  99         {"star",  LM_TK_SYM, LM_star},
 100         {"leftharpoondown",  LM_TK_SYM, LM_leftharpoondown},
 101         {"wp",  LM_TK_SYM, LM_wp},
 102         {"not",  LM_TK_DECORATION, LM_not},
 103         {"tan",  LM_TK_FUNC, 0},
 104         {"Theta",  LM_TK_SYM, LM_Theta},
 105         {"rceil",  LM_TK_SYM, LM_rceil},
 106         {"lfloor",  LM_TK_SYM, LM_lfloor},
 107         {"rightleftharpoons",  LM_TK_SYM, LM_rightleftharpoons},
 108         {"cos",  LM_TK_FUNC, 0},
 109         {"sec",  LM_TK_FUNC, 0},
 110         {"succ",  LM_TK_SYM, LM_succ},
 111         {"cdots",  LM_TK_DOTS, LM_cdots},
 112         {"epsilon",  LM_TK_SYM, LM_epsilon},
 113         {"ker",  LM_TK_FUNC, 0},
 114         {"nu",  LM_TK_SYM, LM_nu},
 115         {"Delta",  LM_TK_SYM, LM_Delta},
 116         {"forall",  LM_TK_SYM, LM_forall},
 117         {"liminf",  LM_TK_FUNCLIM, 0},
 118         {"Uparrow",  LM_TK_SYM, LM_Uparrow},
 119         {"upsilon",  LM_TK_SYM, LM_upsilon},
 120         {"right",  LM_TK_RIGHT, 0},
 121         {"Updownarrow",  LM_TK_SYM, LM_Updownarrow},
 122         {"Pr",  LM_TK_FUNCLIM, 0},
 123         {"nabla",  LM_TK_SYM, LM_nabla},
 124         {"arcsin",  LM_TK_FUNC, 0},
 125         {"arctan",  LM_TK_FUNC, 0},
 126         {"flat",  LM_TK_SYM, LM_flat},
 127         {"check",  LM_TK_DECORATION, LM_check},
 128         {"rangle",  LM_TK_SYM, LM_rangle},
 129         {"cot",  LM_TK_FUNC, 0},
 130         {"cdot",  LM_TK_SYM, LM_cdot},
 131         {"clubsuit",  LM_TK_SYM, LM_clubsuit},
 132         {"in",  LM_TK_SYM, LM_in},
 133         {"ni",  LM_TK_SYM, LM_ni},
 134         {"Downarrow",  LM_TK_SYM, LM_Downarrow},
 135         {"Upsilon",  LM_TK_SYM, LM_Upsilon},
 136         {"sim",  LM_TK_SYM, LM_sim},
 137         {"sum",  LM_TK_BIGSYM, LM_sum},
 138         {"models",  LM_TK_SYM, LM_models},
 139         {"nearrow",  LM_TK_SYM, LM_nearrow},
 140         {"nwarrow",  LM_TK_SYM, LM_nwarrow},
 141         {"max",  LM_TK_FUNCLIM, 0},
 142         {"Im",  LM_TK_SYM, LM_Im},
 143         {"lim",  LM_TK_FUNCLIM, 0},
 144         {"rightharpoonup",  LM_TK_SYM, LM_rightharpoonup},
 145         {"mathcal",  LM_TK_FONT, LM_TC_CAL},
 146         {"cap",  LM_TK_SYM, LM_cap},
 147         {"cup",  LM_TK_SYM, LM_cup},
 148         {"prec",  LM_TK_SYM, LM_prec},
 149         {"mathnormal",  LM_TK_FONT, LM_TC_VAR},
 150         {"wr",  LM_TK_SYM, LM_wr},
 151         {"inf",  LM_TK_FUNCLIM, 0},
 152         {"bigoplus",  LM_TK_BIGSYM, LM_oplus},
 153         {"biguplus",  LM_TK_BIGSYM, LM_biguplus},
 154         {"bigotimes",  LM_TK_BIGSYM, LM_otimes},
 155         {"rightarrow",  LM_TK_SYM, LM_rightarrow},
 156         {"mathit",  LM_TK_FONT, LM_TC_IT},
 157         {"textrm",  LM_TK_FONT, LM_TC_TEXTRM},
 158         {"mathtt",  LM_TK_FONT, LM_TC_TT},
 159         {"chi",  LM_TK_SYM, LM_chi},
 160         {"simeq",  LM_TK_SYM, LM_simeq},
 161         {"succeq",  LM_TK_SYM, LM_succeq},
 162         {"notin",  LM_TK_MACRO, LM_notin},
 163         {"subseteq",  LM_TK_SYM, LM_subseteq},
 164         {"supseteq",  LM_TK_SYM, LM_supseteq},
 165         {"sqsubseteq",  LM_TK_SYM, LM_sqsubseteq},
 166         {"sqsupseteq",  LM_TK_SYM, LM_sqsupseteq},
 167         {"leq",  LM_TK_SYM, LM_leq},
 168         {"surd",  LM_TK_SYM, LM_surd},
 169         {"ddots",  LM_TK_DOTS, LM_ddots},
 170         {"mu",  LM_TK_SYM, LM_mu},
 171         {"bot",  LM_TK_SYM, LM_bot},
 172         {"bullet",  LM_TK_SYM, LM_bullet},
 173         {"bigodot",  LM_TK_BIGSYM, LM_bigodot},
 174         {"sinh",  LM_TK_FUNC, 0},
 175         {"jmath",  LM_TK_SYM, LM_jmath},
 176         {"mp",  LM_TK_SYM, LM_mp},
 177         {"pm",  LM_TK_SYM, LM_pm},
 178         {"nonumber",  LM_TK_NONUM, 0},
 179         {"breve",  LM_TK_DECORATION, LM_breve},
 180         {"bigvee",  LM_TK_BIGSYM, LM_vee},
 181         {"bowtie",  LM_TK_SYM, LM_bowtie},
 182         {"bigwedge",  LM_TK_BIGSYM, LM_wedge},
 183         {"frown",  LM_TK_SYM, LM_frown},
 184         {"rightharpoondown",  LM_TK_SYM, LM_rightharpoondown},
 185         {"det",  LM_TK_FUNCLIM, 0},
 186         {"dot",  LM_TK_DECORATION, LM_dot},
 187         {"ddot",  LM_TK_DECORATION, LM_ddot},
 188         {"lg",  LM_TK_FUNC, 0},
 189         {"log",  LM_TK_FUNC, 0},
 190         {"oplus",  LM_TK_SYM, LM_oplus},
 191         {"ominus",  LM_TK_SYM, LM_ominus},
 192         {"otimes",  LM_TK_SYM, LM_otimes},
 193         {"beta",  LM_TK_SYM, LM_beta},
 194         {"diamondsuit",  LM_TK_SYM, LM_diamondsuit},
 195         {"rfloor",  LM_TK_SYM, LM_rfloor},
 196         {"end",  LM_TK_END, 0},
 197         {"hat",  LM_TK_DECORATION, LM_hat},
 198         {"tanh",  LM_TK_FUNC, 0},
 199         {"vdots",  LM_TK_DOTS, LM_vdots},
 200         {"bigcap",  LM_TK_BIGSYM, LM_cap},
 201         {"bigcup",  LM_TK_BIGSYM, LM_cup},
 202         {"bigsqcup",  LM_TK_BIGSYM, LM_bigsqcup},
 203         {"heartsuit",  LM_TK_SYM, LM_heartsuit},
 204         //{"displaystyle",  LM_TK_STY, LM_ST_DISPLAY},
 205         {"longmapsto",  LM_TK_SYM, LM_longmapsto},
 206         {"bigtriangleup",  LM_TK_SYM, LM_bigtriangleup},
 207         {"preceq",  LM_TK_SYM, LM_preceq},
 208         {"delta",  LM_TK_SYM, LM_delta},
 209         {"odot",  LM_TK_SYM, LM_odot},
 210         {"oint",  LM_TK_BIGSYM, LM_oint},
 211         {"grave",  LM_TK_DECORATION, LM_grave},
 212         {"pmod",  LM_TK_PMOD, 0},
 213         {"prod",  LM_TK_BIGSYM, LM_prod},
 214         {"frac",  LM_TK_FRAC, 0},
 215         {"csc",  LM_TK_FUNC, 0},
 216         {"circ",  LM_TK_SYM, LM_circ},
 217         {"aleph",  LM_TK_SYM, LM_aleph},
 218         {"min",  LM_TK_FUNCLIM, 0},
 219         {"overline",  LM_TK_DECORATION, LM_overline},
 220         {"arg",  LM_TK_FUNC, 0},
 221         {"overbrace",  LM_TK_DECORATION, LM_overbrace},
 222         {"amalg",  LM_TK_SYM, LM_amalg},
 223         {"gamma",  LM_TK_SYM, LM_gamma},
 224         {"vee",  LM_TK_SYM, LM_vee},
 225         {"equiv",  LM_TK_SYM, LM_equiv},
 226         {"omega",  LM_TK_SYM, LM_omega},
 227         {"downarrow",  LM_TK_SYM, LM_downarrow},
 228         {"imath",  LM_TK_SYM, LM_imath},
 229         {"propto",  LM_TK_SYM, LM_propto},
 230         {"begin",  LM_TK_BEGIN, 0},
 231         {"Lambda",  LM_TK_SYM, LM_Lambda},
 232         {"varsigma",  LM_TK_SYM, LM_varsigma},
 233         {"vartheta",  LM_TK_SYM, LM_vartheta},
 234         {"neq",  LM_TK_SYM, LM_neq},
 235         {"hookleftarrow",  LM_TK_SYM, LM_hookleftarrow},
 236         {"hookrightarrow",  LM_TK_SYM, LM_hookrightarrow},
 237         {"bigtriangledown",  LM_TK_SYM, LM_bigtriangledown},
 238         {"mathbf",  LM_TK_FONT, LM_TC_BF},
 239         {"mathsf",  LM_TK_FONT, LM_TC_SF},
 240         {"bar",  LM_TK_DECORATION, LM_bar},
 241         {"varpi",  LM_TK_SYM, LM_varpi},
 242         {"varphi",  LM_TK_SYM, LM_varphi},
 243         {"newcommand",  LM_TK_NEWCOMMAND, 0 },
 244         {"overleftarrow",  LM_TK_DECORATION, LM_overleftarrow},
 245         {"overrightarrow",  LM_TK_DECORATION, LM_overightarrow},
 246         {"Leftarrow",  LM_TK_SYM, LM_Leftarrow},
 247         {"Longleftarrow",  LM_TK_SYM, LM_Longleftarrow},
 248         {"Leftrightarrow",  LM_TK_SYM, LM_Leftrightarrow},
 249         {"Longrightarrow",  LM_TK_SYM, LM_Longrightarrow},
 250         {"neg",  LM_TK_SYM, LM_neg},
 251         {"bigcirc",  LM_TK_SYM, LM_bigcirc},
 252         {"Longleftrightarrow",  LM_TK_SYM, LM_Longleftrightarrow},
 253         {"dagger",  LM_TK_SYM, LM_dagger},
 254         {"ddagger",  LM_TK_SYM, LM_ddagger},
 255         {"hbar",  LM_TK_SYM, LM_hbar},
 256         {"coprod",  LM_TK_BIGSYM, LM_coprod},
 257         {"mathrm",  LM_TK_FONT, LM_TC_RM},
 258         {"varepsilon",  LM_TK_SYM, LM_varepsilon},
 259         {"cosh",  LM_TK_FUNC, 0},
 260         {"coth",  LM_TK_FUNC, 0},
 261         {"rho",  LM_TK_SYM, LM_rho},
 262         {"cong",  LM_TK_SYM, LM_cong},
 263         {"vec",  LM_TK_DECORATION, LM_vec},
 264         {"dim",  LM_TK_FUNC, 0},
 265         {"mid",  LM_TK_SYM, LM_mid},
 266         {"hom",  LM_TK_FUNC, 0},
 267         {"bmod",  LM_TK_FUNC, 0},
 268         {"quad",  LM_TK_SPACE, LM_quad},
 269         {"doteq",  LM_TK_SYM, LM_doteq},
 270         {"qquad",  LM_TK_SPACE, LM_qquad},
 271         {"mapsto",  LM_TK_SYM, LM_mapsto},
 272         {"backslash",  LM_TK_SYM, LM_backslash},
 273         {"diamond",  LM_TK_SYM, LM_diamond},
 274         {"geq",  LM_TK_SYM, LM_geq},
 275         {"deg",  LM_TK_FUNC, 0},
 276         {"gcd",  LM_TK_FUNCLIM, 0},
 277         {"gg",  LM_TK_SYM, LM_gg},
 278         {"div",  LM_TK_SYM, LM_div},
 279         {"dashv",  LM_TK_SYM, LM_dashv},
 280         {"oslash",  LM_TK_SYM, LM_oslash},
 281         {"vdash",  LM_TK_SYM, LM_vdash},
 282 };
 283
 284
 285 struct symbolindex {
 286         unsigned int id;
 287         short token;
 288
 289         symbolindex(unsigned int i, short t) : id(i), token(t)
 290         {}
 291
 292         bool operator<(symbolindex const & s) const
 293         {
 294                 return (id < s.id) || (id == s.id && token < s.token);
 295         }
 296 };
 297
 298
 299 // global maps
 300 std::map<symbolindex, int>  LatexkeyById;
 301 std::map<string, int>       LatexkeyByName;
 302
 303
 304 // helper structure to initialize the maps on startup:
 305 struct init {
 306         init() {
 307                 int const n = sizeof(wordlist)/sizeof(wordlist[0]);
 308                 for (latexkeys const * it = wordlist; it != wordlist + n; ++it) {
 309                         if (LatexkeyByName.find(it->name) != LatexkeyByName.end()) {
 310                                 std::cerr << "math_hash.C: Bug: Duplicate entry: "
 311                                           << it->name << std::endl;
 312                         }
 313                         LatexkeyByName[it->name] = it - wordlist;
 314                         if (it->id != 0 &&
 315                             LatexkeyById.find(symbolindex(it->id, it->token)) !=
 316                             LatexkeyById.end()) {
 317                                 std::cerr << "math_hash.C: Bug: Duplicate entry: "
 318                                           << it->name << " Id: "
 319                                           << it->id << " token: " << it->token
 320                                           << std::endl;
 321                         }
 322                         LatexkeyById[symbolindex(it->id, it->token)] = it - wordlist;
 323                 }
 324         }
 325 };
 326
 327 // the "Initializer": Its default constructor is executed on loading and
 328 // fills the maps
 329 static init dummy;
 330
 331 } // namespace anon
 332
 333
 334 latexkeys const * in_word_set(string const & str)
 335 {
 336         std::map<string, int>::const_iterator pos = LatexkeyByName.find(str);
 337         return pos == LatexkeyByName.end() ? 0 : &wordlist[pos->second];
 338 }
 339
 340
 341 latexkeys const * lm_get_key_by_id(unsigned int id, short tc)
 342 {
 343         std::map<symbolindex, int>::const_iterator pos
 344                 = LatexkeyById.find(symbolindex(id, tc));
 345         return pos == LatexkeyById.end() ? 0 : &wordlist[pos->second];
 346 }