]> git.lyx.org Git - lyx.git/blob - src/Trans.cpp
Re-fix #11146 with recent LaTeX
[lyx.git] / src / Trans.cpp
1 /**
2  * \file Trans.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author Lars Gullik Bjønnes
7  * \author Matthias Ettrich
8  *
9  * Full author contact details are available in file CREDITS.
10  */
11
12 #include <config.h>
13
14 #include "Trans.h"
15
16 #include "Buffer.h"
17 #include "BufferView.h"
18 #include "Cursor.h"
19 #include "CutAndPaste.h"
20 #include "Lexer.h"
21 #include "LyXRC.h"
22 #include "Text.h"
23
24 #include "support/debug.h"
25 #include "support/docstream.h"
26 #include "support/FileName.h"
27 #include "support/filetools.h"
28 #include "support/lstrings.h"
29
30 using namespace std;
31 using namespace lyx::support;
32
33 namespace lyx {
34
35 /////////////////////////////////////////////////////////////////////
36 //
37 // TeXAccents
38 //
39 /////////////////////////////////////////////////////////////////////
40
41 /* the names used by TeX and XWindows for deadkeys/accents are not the same
42    so here follows a table to clearify the differences. Please correct this
43    if I got it wrong
44
45    |------------------|------------------|------------------|--------------|
46    |      TeX         |     XWindows     |   \bind/LFUN     | used by intl |
47    |------------------|------------------|------------------|--------------|
48    |    grave         |    grave         |LFUN_ACCENT_GRAVE        | grave
49    |    acute         |    acute         |LFUN_ACCENT_ACUTE        | acute
50    |    circumflex    |    circumflex    |LFUN_ACCENT_CIRCUMFLEX   | circumflex
51    | umlaut/dieresis  |    diaeresis     |LFUN_ACCENT_UMLAUT       | umlaut
52    |    tilde         |    tilde         |LFUN_ACCENT_TILDE        | tilde
53    |    macron        |    maron         |LFUN_ACCENT_MACRON       | macron
54    |    dot           |    abovedot      |LFUN_ACCENT_DOT          | dot
55    |    cedilla       |    cedilla       |LFUN_ACCENT_CEDILLA      | cedilla
56    |    underdot      |                  |LFUN_ACCENT_UNDERDOT     | underdot
57    |    underbar      |                  |LFUN_ACCENT_UNDERBAR     | underbar
58    |    hácek         |    caron         |LFUN_ACCENT_CARON        | caron
59    |    breve         |    breve         |LFUN_ACCENT_BREVE        | breve
60    |    tie           |                  |LFUN_ACCENT_TIE          | tie
61    | Hungarian umlaut |    doubleacute   |LFUN_ACCENT_HUNGARIAN_UMLAUT  | hungarian umlaut
62    |    circle        |    abovering     |LFUN_ACCENT_CIRCLE       | circle
63    |                  |    ogonek        |                  |
64    |                  |    iota          |                  |
65    |                  |    voiced_sound  |                  |
66    |                  | semivoiced_sound |                  |
67    */
68 static TeXAccent lyx_accent_table[] = {
69         {TEX_NOACCENT,   0,      "",                LFUN_NOACTION},
70         {TEX_ACUTE,      0x0301, "acute",           LFUN_ACCENT_ACUTE},
71         {TEX_GRAVE,      0x0300, "grave",           LFUN_ACCENT_GRAVE},
72         {TEX_MACRON,     0x0304, "macron",          LFUN_ACCENT_MACRON},
73         {TEX_TILDE,      0x0303, "tilde",           LFUN_ACCENT_TILDE},
74         {TEX_PERISPOMENI, 0x0342, "perispomeni",    LFUN_ACCENT_PERISPOMENI},
75         {TEX_UNDERBAR,   0x0320, "underbar",        LFUN_ACCENT_UNDERBAR}, // COMBINING MINUS SIGN BELOW or 0x0331 COMBINING MACRON BELOW ?
76
77         {TEX_CEDILLA,    0x0327, "cedilla",         LFUN_ACCENT_CEDILLA},
78         {TEX_UNDERDOT,   0x0323, "underdot",        LFUN_ACCENT_UNDERDOT},
79         {TEX_CIRCUMFLEX, 0x0302, "circumflex",      LFUN_ACCENT_CIRCUMFLEX},
80         {TEX_CIRCLE,     0x030a, "circle",          LFUN_ACCENT_CIRCLE},
81         {TEX_TIE,        0x0361, "tie",             LFUN_ACCENT_TIE},
82         {TEX_BREVE,      0x0306, "breve",           LFUN_ACCENT_BREVE},
83         {TEX_CARON,      0x030c, "caron",           LFUN_ACCENT_CARON},
84         // Don't fix this typo for compatibility reasons!
85         {TEX_HUNGUML,    0x030b, "hugarian_umlaut", LFUN_ACCENT_HUNGARIAN_UMLAUT},
86         {TEX_UMLAUT,     0x0308, "umlaut",          LFUN_ACCENT_UMLAUT},
87         {TEX_DOT,        0x0307, "dot",             LFUN_ACCENT_DOT},
88         {TEX_OGONEK,     0x0328, "ogonek",          LFUN_ACCENT_OGONEK}
89 };
90
91
92 TeXAccent get_accent(FuncCode action)
93 {
94         int i = 0;
95         while (i <= TEX_MAX_ACCENT) {
96                 if (lyx_accent_table[i].action == action)
97                         return lyx_accent_table[i];
98                 ++i;
99         }
100         struct TeXAccent temp = { static_cast<tex_accent>(0), 0,
101                                           0, static_cast<FuncCode>(0)};
102         return temp;
103 }
104
105
106 static docstring const doAccent(docstring const & s, tex_accent accent)
107 {
108         if (s.empty())
109                 return docstring(1, lyx_accent_table[accent].ucs4);
110
111         odocstringstream os;
112         os.put(s[0]);
113         os.put(lyx_accent_table[accent].ucs4);
114         if (s.length() > 1) {
115                 if (accent != TEX_TIE || s.length() > 2)
116                         lyxerr << "Warning: Too many characters given for accent "
117                                << lyx_accent_table[accent].name << '.' << endl;
118                 os << s.substr(1);
119         }
120         return normalize_c(os.str());
121 }
122
123
124 static docstring const doAccent(char_type c, tex_accent accent)
125 {
126         return doAccent(docstring(1, c), accent);
127 }
128
129
130
131 /////////////////////////////////////////////////////////////////////
132 //
133 // Trans
134 //
135 /////////////////////////////////////////////////////////////////////
136
137
138 void Trans::insertException(KmodException & exclist, char_type c,
139         docstring const & data, bool flag, tex_accent accent)
140 {
141         Keyexc p;
142         p.c = c;
143         p.data = data;
144         p.combined = flag;
145         p.accent = accent;
146         exclist.insert(exclist.begin(), p);
147         // or just
148         // exclist.push_back(p);
149 }
150
151
152 void Trans::freeException(KmodException & exclist)
153 {
154         exclist.clear();
155 }
156
157
158 void Trans::freeKeymap()
159 {
160         kmod_list_.clear();
161         keymap_.clear();
162 }
163
164
165 bool Trans::isDefined() const
166 {
167         return !name_.empty();
168 }
169
170
171 enum {
172         KCOMB = 1,
173         KMOD,
174         KMAP,
175         KXMOD
176 };
177
178
179 tex_accent getkeymod(string const &);
180
181
182 void Trans::addDeadkey(tex_accent accent, docstring const & keys)
183 {
184         KmodInfo tmp;
185         tmp.data = keys;
186         tmp.accent = accent;
187         kmod_list_[accent] = tmp;
188
189         for (docstring::size_type i = 0; i < keys.length(); ++i) {
190                 // FIXME This is a hack.
191                 // tmp is no valid UCS4 string, but misused to store the
192                 // accent.
193                 docstring tmp;
194                 tmp += char_type(0);
195                 tmp += char_type(accent);
196                 keymap_[keys[i]] = tmp;
197         }
198 }
199
200
201 int Trans::load(Lexer & lex)
202 {
203         bool error = false;
204
205         while (lex.isOK() && !error) {
206                 switch (lex.lex()) {
207                 case KMOD:
208                 {
209                         LYXERR(Debug::KBMAP, "KMOD:\t" << lex.getString());
210                         if (!lex.next(true))
211                                 return -1;
212
213                         LYXERR(Debug::KBMAP, "key\t`" << lex.getString() << '\'');
214
215                         docstring const keys = lex.getDocString();
216
217                         if (!lex.next(true))
218                                 return -1;
219
220                         LYXERR(Debug::KBMAP, "accent\t`" << lex.getString() << '\'');
221
222                         tex_accent accent = getkeymod(lex.getString());
223
224                         if (accent == TEX_NOACCENT)
225                                 return -1;
226
227 #if 1
228                         // FIXME: This code should be removed...
229                         // But we need to fix up all the kmap files first
230                         // so that this field is not present anymore.
231                         if (!lex.next(true))
232                                 return -1;
233
234                         LYXERR(Debug::KBMAP, "allowed\t`" << lex.getString() << '\'');
235
236                         /* string const allowed = lex.getString(); */
237                         addDeadkey(accent, keys /*, allowed*/);
238 #else
239                         addDeadkey(accent, keys);
240 #endif
241                         break;
242                 }
243                 case KCOMB: {
244                         string str;
245
246                         LYXERR(Debug::KBMAP, "KCOMB:");
247                         if (!lex.next(true))
248                                 return -1;
249
250                         str = lex.getString();
251                         LYXERR(Debug::KBMAP, str);
252
253                         tex_accent accent_1 = getkeymod(str);
254                         if (accent_1 == TEX_NOACCENT)
255                                 return -1;
256
257                         if (!lex.next(true))
258                                 return -1;
259
260                         str = lex.getString();
261                         LYXERR(Debug::KBMAP, str);
262
263                         tex_accent accent_2 = getkeymod(str);
264                         if (accent_2 == TEX_NOACCENT) return -1;
265
266                         map<tex_accent, KmodInfo>::iterator it1 =
267                                 kmod_list_.find(accent_1);
268                         map<tex_accent, KmodInfo>::iterator it2 =
269                                 kmod_list_.find(accent_2);
270                         if (it1 == kmod_list_.end() || it2 == kmod_list_.end())
271                                 return -1;
272
273                         // Find what key accent_2 is on - should
274                         // check about accent_1 also
275                         map<char_type, docstring>::iterator it = keymap_.begin();
276                         map<char_type, docstring>::iterator end = keymap_.end();
277                         for (; it != end; ++it) {
278                                 if (!it->second.empty()
279                                     && it->second[0] == 0
280                                     && it->second[1] == accent_2)
281                                         break;
282                         }
283
284                         // could not find accent2 on a key -- this should not happen.
285                         if (it == end)
286                                 return -1;
287
288                         docstring allowed;
289                         if (!lex.next())
290                                 return -1;
291                         allowed = lex.getDocString();
292                         LYXERR(Debug::KBMAP, "allowed: " << to_utf8(allowed));
293
294                         insertException(kmod_list_[accent_1].exception_list,
295                                         it->first, allowed, true, accent_2);
296                 }
297                 break;
298                 case KMAP: {
299                         unsigned char key_from;
300
301                         LYXERR(Debug::KBMAP, "KMAP:\t" << lex.getString());
302
303                         if (!lex.next(true))
304                                 return -1;
305
306                         key_from = lex.getString()[0];
307                         LYXERR(Debug::KBMAP, "\t`" << lex.getString() << '\'');
308
309                         if (!lex.next(true))
310                                 return -1;
311
312                         docstring const string_to = lex.getDocString();
313                         keymap_[key_from] = string_to;
314                         LYXERR(Debug::KBMAP, "\t`" << to_utf8(string_to) << '\'');
315                         break;
316                 }
317                 case KXMOD: {
318                         tex_accent accent;
319                         char_type key;
320                         docstring str;
321
322                         LYXERR(Debug::KBMAP, "KXMOD:\t" << lex.getString());
323
324                         if (!lex.next(true))
325                                 return -1;
326
327                         LYXERR(Debug::KBMAP, "\t`" << lex.getString() << '\'');
328                         accent = getkeymod(lex.getString());
329
330                         if (!lex.next(true))
331                                 return -1;
332
333                         LYXERR(Debug::KBMAP, "\t`" << lex.getString() << '\'');
334                         key = lex.getDocString()[0];
335
336                         if (!lex.next(true))
337                                 return -1;
338
339                         LYXERR(Debug::KBMAP, "\t`" << lex.getString() << '\'');
340                         str = lex.getDocString();
341
342                         insertException(kmod_list_[accent].exception_list,
343                                         key, str);
344                         break;
345                 }
346                 case Lexer::LEX_FEOF:
347                         LYXERR(Debug::PARSER, "End of parsing");
348                         break;
349                 default:
350                         lex.printError("ParseKeymapFile: Unknown tag: `$$Token'");
351                         return -1;
352                 }
353         }
354         return 0;
355 }
356
357
358 bool Trans::isAccentDefined(tex_accent accent, KmodInfo & i) const
359 {
360         map<tex_accent, KmodInfo>::const_iterator cit = kmod_list_.find(accent);
361         if (cit == kmod_list_.end())
362                 return false;
363         i = cit->second;
364         return true;
365 }
366
367
368 docstring const Trans::process(char_type c, TransManager & k)
369 {
370         docstring const t = match(c);
371
372         if (t.empty() && c != 0)
373                 return k.normalkey(c);
374
375         if (!t.empty() && t[0] != 0)
376                 return t; //return k.normalkey(c);
377
378         return k.deadkey(c, kmod_list_[static_cast<tex_accent>(t[1])]);
379 }
380
381
382 int Trans::load(string const & language)
383 {
384         LexerKeyword kmapTags[] = {
385                 {"\\kcomb", KCOMB },
386                 { "\\kmap", KMAP },
387                 { "\\kmod", KMOD },
388                 { "\\kxmod", KXMOD }
389         };
390
391         FileName const filename = libFileSearch("kbd", language, "kmap");
392         if (filename.empty())
393                 return -1;
394
395         freeKeymap();
396         Lexer lex(kmapTags);
397         lex.setFile(filename);
398
399         int const res = load(lex);
400
401         if (res == 0)
402                 name_ = language;
403         else
404                 name_.erase();
405
406         return res;
407 }
408
409
410 tex_accent getkeymod(string const & p)
411         /* return modifier - decoded from p and update p */
412 {
413         for (int i = 1; i <= TEX_MAX_ACCENT; ++i) {
414                 LYXERR(Debug::KBMAP, "p = " << p
415                        << ", lyx_accent_table[" << i
416                        << "].name = `" << lyx_accent_table[i].name << '\'');
417
418                 if (lyx_accent_table[i].name
419                      && contains(p, lyx_accent_table[i].name)) {
420                         LYXERR(Debug::KBMAP, "Found it!");
421                         return static_cast<tex_accent>(i);
422                 }
423         }
424         return TEX_NOACCENT;
425 }
426
427
428 /////////////////////////////////////////////////////////////////////
429 //
430 // TransState
431 //
432 /////////////////////////////////////////////////////////////////////
433
434
435 // TransFSMData
436 TransFSMData::TransFSMData() : deadkey_(0), deadkey2_(0), init_state_(0),
437         deadkey_state_(0), combined_state_(0), currentState(0)
438 {
439 }
440
441
442 // TransState
443 char_type const TransState::TOKEN_SEP = 4;
444
445
446 // TransInitState
447 TransInitState::TransInitState()
448 {
449         init_state_ = this;
450 }
451
452
453 docstring const TransInitState::normalkey(char_type c)
454 {
455         docstring res;
456         res = c;
457         return res;
458 }
459
460
461 docstring const TransInitState::deadkey(char_type c, KmodInfo d)
462 {
463         deadkey_ = c;
464         deadkey_info_ = d;
465         currentState = deadkey_state_;
466         return docstring();
467 }
468
469
470 // TransDeadkeyState
471 TransDeadkeyState::TransDeadkeyState()
472 {
473         deadkey_state_ = this;
474 }
475
476
477 docstring const TransDeadkeyState::normalkey(char_type c)
478 {
479         docstring res;
480
481         KmodException::iterator it = deadkey_info_.exception_list.begin();
482         KmodException::iterator end = deadkey_info_.exception_list.end();
483
484         for (; it != end; ++it) {
485                 if (it->c == c) {
486                         res = it->data;
487                         break;
488                 }
489         }
490         if (it == end) {
491                 res = doAccent(c, deadkey_info_.accent);
492         }
493         currentState = init_state_;
494         return res;
495 }
496
497
498 docstring const TransDeadkeyState::deadkey(char_type c, KmodInfo d)
499 {
500         docstring res;
501
502         // Check if the same deadkey was typed twice
503         if (deadkey_ == c) {
504                 res = deadkey_;
505                 deadkey_ = 0;
506                 deadkey_info_.accent = TEX_NOACCENT;
507                 currentState = init_state_;
508                 return res;
509         }
510
511         // Check if it is a combination or an exception
512         KmodException::const_iterator cit = deadkey_info_.exception_list.begin();
513         KmodException::const_iterator end = deadkey_info_.exception_list.end();
514         for (; cit != end; ++cit) {
515                 if (cit->combined == true && cit->accent == d.accent) {
516                         deadkey2_ = c;
517                         deadkey2_info_ = d;
518                         comb_info_ = (*cit);
519                         currentState = combined_state_;
520                         return docstring();
521                 }
522                 if (cit->c == c) {
523                         res = cit->data;
524                         deadkey_ = 0;
525                         deadkey_info_.accent = TEX_NOACCENT;
526                         currentState = init_state_;
527                         return res;
528                 }
529         }
530
531         // Not a combination or an exception.
532         // Output deadkey1 and keep deadkey2
533
534         if (deadkey_!= 0)
535                 res = deadkey_;
536         deadkey_ = c;
537         deadkey_info_ = d;
538         currentState = deadkey_state_;
539         return res;
540 }
541
542
543 TransCombinedState::TransCombinedState()
544 {
545         combined_state_ = this;
546 }
547
548
549 docstring const TransCombinedState::normalkey(char_type c)
550 {
551         docstring const temp = doAccent(c, deadkey2_info_.accent);
552         docstring const res = doAccent(temp, deadkey_info_.accent);
553         currentState = init_state_;
554         return res;
555 }
556
557
558 docstring const TransCombinedState::deadkey(char_type c, KmodInfo d)
559 {
560         // Third key in a row. Output the first one and
561         // reenter with shifted deadkeys
562         docstring res;
563         if (deadkey_ != 0)
564                 res = deadkey_;
565         res += TOKEN_SEP;
566         deadkey_ = deadkey2_;
567         deadkey_info_ = deadkey2_info_;
568         res += deadkey_state_->deadkey(c, d);
569         return res;
570 }
571
572
573 // TransFSM
574 TransFSM::TransFSM()
575         : TransFSMData(), TransInitState(), TransDeadkeyState(), TransCombinedState()
576 {
577         currentState = init_state_;
578 }
579
580
581 // TransManager
582
583 // Initialize static member.
584 Trans TransManager::default_;
585
586
587 TransManager::TransManager()
588         : active_(&default_)
589 {}
590
591
592 int TransManager::setPrimary(string const & language)
593 {
594         if (t1_.getName() == language)
595                 return 0;
596
597         return t1_.load(language);
598 }
599
600
601 int TransManager::setSecondary(string const & language)
602 {
603         if (t2_.getName() == language)
604                 return 0;
605
606         return t2_.load(language);
607 }
608
609
610 void TransManager::enablePrimary()
611 {
612         if (t1_.isDefined())
613                 active_ = &t1_;
614
615         LYXERR(Debug::KBMAP, "Enabling primary keymap");
616 }
617
618
619 void TransManager::enableSecondary()
620 {
621         if (t2_.isDefined())
622                 active_ = &t2_;
623         LYXERR(Debug::KBMAP, "Enabling secondary keymap");
624 }
625
626
627 void TransManager::disableKeymap()
628 {
629         active_ = &default_;
630         LYXERR(Debug::KBMAP, "Disabling keymap");
631 }
632
633
634 void  TransManager::translateAndInsert(char_type c, Text * text, Cursor & cur)
635 {
636         docstring res = active_->process(c, *this);
637
638         // Process with tokens
639         docstring temp;
640
641         while (res.length() > 0) {
642                 res = split(res, temp, TransState::TOKEN_SEP);
643                 insert(temp, text, cur);
644         }
645 }
646
647
648 void TransManager::insert(docstring const & str, Text * text, Cursor & cur)
649 {
650         for (size_t i = 0, n = str.size(); i != n; ++i)
651                 text->insertChar(cur, str[i]);
652 }
653
654
655 void TransManager::deadkey(char_type c, tex_accent accent, Text * t, Cursor & cur)
656 {
657         if (c == 0 && active_ != &default_) {
658                 // A deadkey was pressed that cannot be printed
659                 // or a accent command was typed in the minibuffer
660                 KmodInfo i;
661                 if (active_->isAccentDefined(accent, i) == true) {
662                         docstring const res = trans_fsm_
663                                 .currentState->deadkey(c, i);
664                         insert(res, t, cur);
665                         return;
666                 }
667         }
668
669         if (active_ == &default_ || c == 0) {
670                 KmodInfo i;
671                 i.accent = accent;
672                 i.data.erase();
673                 docstring res = trans_fsm_.currentState->deadkey(c, i);
674                 insert(res, t, cur);
675         } else {
676                 // Go through the translation
677                 translateAndInsert(c, t, cur);
678         }
679 }
680
681
682 } // namespace lyx