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