src/mathed/math_hash.C

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