]> git.lyx.org Git - lyx.git/blob - src/tex2lyx/table.C
handle \cr in math arrays and tables
[lyx.git] / src / tex2lyx / table.C
1 /**
2  * \file table.C
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author André Pönitz
7  * \author Jean-Marc Lasgouttes
8  *
9  * Full author contact details are available in file CREDITS.
10  */
11
12 // {[(
13
14 #include <config.h>
15
16 #include "tex2lyx.h"
17
18 #include <cctype>
19 #include <fstream>
20 #include <iostream>
21 #include <sstream>
22 #include <vector>
23 #include <map>
24
25 using std::cerr;
26 using std::endl;
27 using std::istringstream;
28 using std::ostream;
29 using std::ostringstream;
30 using std::string;
31 using std::vector;
32
33 #include "mathed/math_gridinfo.h"
34
35 // filled in preamble.C
36 std::map<char, int> special_columns;
37
38
39 namespace {
40
41 int string2int(string const & s, int deflt = 0)
42 {
43         istringstream is(s);
44         int i = deflt;
45         is >> i;
46         return i;
47 }
48
49
50 string read_hlines(Parser & p)
51 {
52         ostringstream os;
53         p.skip_spaces();
54         while (p.good()) {
55                 if (p.next_token().cs() == "hline") {
56                         p.get_token();
57                         os << "\\hline";
58                 } else if (p.next_token().cs() == "cline") {
59                         p.get_token();
60                         os << "\\cline{" << p.verbatim_item() << "}";
61                 } else
62                         break;
63                 p.skip_spaces();
64         };
65         //cerr << "read_hlines(), read: '" << os.str() << "'\n";
66         //cerr << "read_hlines(), next token: " << p.next_token() << "\n";
67         return os.str();
68 }
69
70
71 /* rather brutish way to code table structure in a string:
72
73   \begin{tabular}{ccc}
74     1 & 2 & 3\\ \hline
75     \multicolumn{2}{c}{4} & 5 //
76     6 & 7 \\
77   \end{tabular}
78
79  gets "translated" to:
80
81   1 TAB 2 TAB 3 LINE
82   \hline HLINE  TAB 5 LINE
83   5 TAB 7 LINE
84 */
85
86 char const TAB   = '\001';
87 char const LINE  = '\002';
88 char const HLINE = '\004';
89
90
91 void handle_colalign(Parser & p, vector<ColInfo> & colinfo)
92 {
93         if (p.get_token().cat() != catBegin)
94                 cerr << "wrong syntax for table column alignment. '{' expected\n";
95
96         char nextalign = 'b';
97         bool leftline = false;
98         for (Token t=p.get_token(); p.good() && t.cat() != catEnd; t = p.get_token()){
99 #ifdef FILEDEBUG
100                 cerr << "t: " << t << "  c: '" << t.character() << "'\n";
101 #endif
102
103                 switch (t.character()) {
104                         case 'c':
105                         case 'l':
106                         case 'r': {
107                                 ColInfo ci;
108                                 ci.align = t.character();
109                                 if (colinfo.size() && colinfo.back().rightline > 1) {
110                                         ci.leftline = true;
111                                         --colinfo.back().rightline;
112                                 }
113                                 colinfo.push_back(ci);
114                                 break;
115                         }
116                         case 'p':
117                                 colinfo.push_back(ColInfo());
118                                 colinfo.back().align = nextalign;
119                                 colinfo.back().width = p.verbatim_item();
120                                 nextalign = 'b';
121                                 break;
122                         case '|':
123                                 if (colinfo.empty())
124                                         leftline = true;
125                                 else
126                                         ++colinfo.back().rightline;
127                                 break;
128                         case '>': {
129                                 string s = p.verbatim_item();
130                                 if (s == "\\raggedleft ")
131                                         nextalign = 'l';
132                                 else if (s == "\\raggedright ")
133                                         nextalign = 'r';
134                                 else
135                                         cerr << "unknown '>' column '" << s << "'\n";
136                                 break;
137                         }
138                         default:
139                                 if (special_columns.find(t.character()) != special_columns.end()) {
140                                         ColInfo ci;
141                                         ci.align = 'c';
142                                         ci.special += t.character();
143                                         int const nargs = special_columns[t.character()];
144                                         for (int i = 0; i < nargs; ++i)
145                                                 ci.special += "{" + p.verbatim_item() + "}";
146                                         //cerr << "handling special column '" << t << "' " << nargs
147                                         //      << "  '" << ci.special << "'\n";
148                                         colinfo.push_back(ci);
149                                 } else {
150                                         cerr << "ignoring special separator '" << t << "'\n";
151                                 }
152                                 break;
153                         }
154         }
155         if (colinfo.size() && leftline)
156                 colinfo[0].leftline = true;
157 }
158
159
160 } // anonymous namespace
161
162
163 void parse_table(Parser & p, ostream & os, unsigned flags)
164 {
165         string hlines;
166
167         while (p.good()) {
168                 Token const & t = p.get_token();
169
170 #ifdef FILEDEBUG
171                 cerr << "t: " << t << " flags: " << flags << "\n";
172 #endif
173
174                 //
175                 // cat codes
176                 //
177                 if (t.cat() == catMath) {
178                         // we are inside some text mode thingy, so opening new math is allowed
179                         Token const & n = p.get_token();
180                         if (n.cat() == catMath) {
181                                 // TeX's $$...$$ syntax for displayed math
182                                 os << "\\[";
183                                 parse_math(p, os, FLAG_SIMPLE, MATH_MODE);
184                                 os << "\\]";
185                                 p.get_token(); // skip the second '$' token
186                         } else {
187                                 // simple $...$  stuff
188                                 p.putback();
189                                 os << '$';
190                                 parse_math(p, os, FLAG_SIMPLE, MATH_MODE);
191                                 os << '$';
192                         }
193                 }
194
195                 else if (t.cat() == catSpace || t.cat() == catNewline)
196                                 os << t.cs();
197
198                 else if (t.cat() == catLetter ||
199                                t.cat() == catSuper ||
200                                t.cat() == catSub ||
201                                t.cat() == catOther ||
202                                t.cat() == catActive ||
203                                t.cat() == catParameter)
204                         os << t.character();
205
206                 else if (t.cat() == catBegin) {
207                         os << '{';
208                         parse_table(p, os, FLAG_BRACE_LAST);
209                         os << '}';
210                 }
211
212                 else if (t.cat() == catEnd) {
213                         if (flags & FLAG_BRACE_LAST)
214                                 return;
215                         cerr << "unexpected '}'\n";
216                 }
217
218                 else if (t.cat() == catAlign) {
219                         os << TAB;
220                         p.skip_spaces();
221                 }
222
223                 else if (t.cs() == "tabularnewline" || t.cs() == "\\" ||
224                          t.cs() == "cr") {
225                         if (t.cs() == "cr")
226                                 cerr << "Warning: Converting TeX '\\cr' to LaTeX '\\\\'."
227                                      << endl;
228                         // stuff before the line break
229                         // and look ahead for stuff after the line break
230                         os << HLINE << hlines << HLINE << LINE << read_hlines(p) << HLINE;
231                         hlines.erase();
232                 }
233
234                 else if (t.cs() == "hline")
235                         hlines += "\\hline";
236
237                 else if (t.cs() == "cline")
238                         hlines += "\\cline{" + p.verbatim_item() + '}';
239
240                 else if (t.cat() == catComment)
241                         os << t.asInput();
242
243                 else if (t.cs() == "(") {
244                         os << "\\(";
245                         parse_math(p, os, FLAG_SIMPLE2, MATH_MODE);
246                         os << "\\)";
247                 }
248
249                 else if (t.cs() == "[") {
250                         os << "\\[";
251                         parse_math(p, os, FLAG_EQUATION, MATH_MODE);
252                         os << "\\]";
253                 }
254
255                 else if (t.cs() == "begin") {
256                         string const name = p.getArg('{', '}');
257                         active_environments.push_back(name);
258                         os << "\\begin{" << name << '}';
259                         if (is_math_env(name)) {
260                                 parse_math(p, os, FLAG_END, MATH_MODE);
261                         } else {
262                                 parse_table(p, os, FLAG_END);
263                         }
264                         os << "\\end{" << name << '}';
265                         active_environments.pop_back();
266                 }
267
268                 else if (t.cs() == "end") {
269                         if (flags & FLAG_END) {
270                                 // eat environment name
271                                 string const name = p.getArg('{', '}');
272                                 if (name != active_environment())
273                                         p.error("\\end{" + name + "} does not match \\begin{"
274                                                 + active_environment() + "}");
275                                 return;
276                         }
277                         p.error("found 'end' unexpectedly");
278                 }
279
280                 else
281                         os << t.asInput();
282         }
283 }
284
285
286 void handle_hline_above(RowInfo & ri, vector<CellInfo> & ci)
287 {
288         ri.topline = true;
289         for (size_t col = 0; col < ci.size(); ++col)
290                 ci[col].topline = true;
291 }
292
293
294 void handle_hline_below(RowInfo & ri, vector<CellInfo> & ci)
295 {
296         ri.bottomline = true;
297         for (size_t col = 0; col < ci.size(); ++col)
298                 ci[col].bottomline = true;
299 }
300
301
302 void handle_tabular(Parser & p, ostream & os,
303                     Context & context)
304 {
305         string posopts = p.getOpt();
306         if (!posopts.empty())
307                 cerr << "vertical tabular positioning '" << posopts << "' ignored\n";
308
309         vector<ColInfo>            colinfo;
310
311         // handle column formatting
312         handle_colalign(p, colinfo);
313
314         // handle initial hlines
315
316         // first scan of cells
317         // use table mode to keep it minimal-invasive
318         // not exactly what's TeX doing...
319         vector<string> lines;
320         ostringstream ss;
321         ss << read_hlines(p) << HLINE; // handle initial hlines
322         parse_table(p, ss, FLAG_END);
323         split(ss.str(), lines, LINE);
324
325         vector< vector<CellInfo> > cellinfo(lines.size());
326         vector<RowInfo> rowinfo(lines.size());
327
328         // split into rows
329         //cerr << "// split into rows\n";
330         for (size_t row = 0; row < rowinfo.size(); ++row) {
331
332                 // init row
333                 cellinfo[row].resize(colinfo.size());
334
335                 // split row
336                 vector<string> dummy;
337                 //cerr << "\n########### LINE: " << lines[row] << "########\n";
338                 split(lines[row], dummy, HLINE);
339
340                 // handle horizontal line fragments
341                 if (dummy.size() != 3) {
342                         if (dummy.size() != 1)
343                                 cerr << "unexpected dummy size: " << dummy.size()
344                                         << " content: " << lines[row] << "\n";
345                         dummy.resize(3);
346                 }
347                 lines[row] = dummy[1];
348
349                 //cerr << "line: " << row << " above 0: " << dummy[0] << "\n";
350                 //cerr << "line: " << row << " below 2: " << dummy[2] <<  "\n";
351                 //cerr << "line: " << row << " cells 1: " << dummy[1] <<  "\n";
352
353                 for (int i = 0; i <= 2; i += 2) {
354                         //cerr << "   reading from line string '" << dummy[i] << "'\n";
355                         Parser p1(dummy[i]);
356                         while (p1.good()) {
357                                 Token t = p1.get_token();
358                                 //cerr << "read token: " << t << "\n";
359                                 if (t.cs() == "hline") {
360                                         if (i == 0) {
361                                                 if (rowinfo[row].topline) {
362                                                         if (row > 0) // extra bottomline above
363                                                                 handle_hline_below(rowinfo[row - 1], cellinfo[row - 1]);
364                                                         else
365                                                                 cerr << "dropping extra hline\n";
366                                                         //cerr << "below row: " << row-1 << endl;
367                                                 } else {
368                                                         handle_hline_above(rowinfo[row], cellinfo[row]);
369                                                         //cerr << "above row: " << row << endl;
370                                                 }
371                                         } else {
372                                                 //cerr << "below row: " << row << endl;
373                                                 handle_hline_below(rowinfo[row], cellinfo[row]);
374                                         }
375                                 } else if (t.cs() == "cline") {
376                                         string arg = p1.verbatim_item();
377                                         //cerr << "read cline arg: '" << arg << "'\n";
378                                         vector<string> t;
379                                         split(arg, t, '-');
380                                         t.resize(2);
381                                         size_t from = string2int(t[0]) - 1;
382                                         size_t to = string2int(t[1]);
383                                         for (size_t col = from; col < to; ++col) {
384                                                 //cerr << "row: " << row << " col: " << col << " i: " << i << endl;
385                                                 if (i == 0) {
386                                                         rowinfo[row].topline = true;
387                                                         cellinfo[row][col].topline = true;
388                                                 } else {
389                                                         rowinfo[row].bottomline = true;
390                                                         cellinfo[row][col].bottomline = true;
391                                                 }
392                                         }
393                                 } else {
394                                         cerr << "unexpected line token: " << t << endl;
395                                 }
396                         }
397                 }
398
399                 // split into cells
400                 vector<string> cells;
401                 split(lines[row], cells, TAB);
402                 // Has the last multicolumn cell a rightline?
403                 bool last_rightline = false;
404                 for (size_t col = 0, cell = 0;
405                                 cell < cells.size() && col < colinfo.size(); ++col, ++cell) {
406                         //cerr << "cell content: '" << cells[cell] << "'\n";
407                         Parser p(cells[cell]);
408                         p.skip_spaces();
409                         //cells[cell] << "'\n";
410                         if (p.next_token().cs() == "multicolumn") {
411                                 // how many cells?
412                                 p.get_token();
413                                 size_t const ncells = string2int(p.verbatim_item());
414
415                                 // special cell properties alignment
416                                 vector<ColInfo> t;
417                                 handle_colalign(p, t);
418                                 cellinfo[row][col].multi     = 1;
419                                 cellinfo[row][col].align     = t.front().align;
420                                 ostringstream os;
421                                 parse_text_in_inset(p, os, FLAG_ITEM, false, context);
422                                 cellinfo[row][col].content   = os.str();
423
424                                 // multicolumn cells are tricky: This
425                                 // \multicolumn{2}{|c|}{col1-2}&
426                                 // \multicolumn{2}{|c|}{col3-4} "\\"
427                                 // gives | col1-2 | col3-4 | and not
428                                 //       | col1-2 || col3-4 |
429                                 // So:
430                                 if (last_rightline && t.front().leftline) {
431                                         t.front().leftline = false;
432                                 }
433                                 last_rightline = t.front().rightline;
434
435                                 // multicolumn lines override normal cell lines
436                                 cellinfo[row][col].leftline  = t.front().leftline;
437                                 cellinfo[row][col].rightline = t.front().rightline;
438
439                                 // add dummy cells for multicol
440                                 for (size_t i = 0; i < ncells - 1 && col < colinfo.size(); ++i) {
441                                         ++col;
442                                         cellinfo[row][col].multi = 2;
443                                         cellinfo[row][col].align = 'c';
444                                 }
445
446                                 // more than one line on the right?
447                                 if (t.front().rightline > 1)
448                                         cellinfo[row][col + 1].leftline = true;
449
450                         } else {
451                                 // FLAG_END is a hack, we need to read all of it
452                                 cellinfo[row][col].leftline = colinfo[col].leftline;
453                                 cellinfo[row][col].rightline = colinfo[col].rightline;
454                                 cellinfo[row][col].align = colinfo[col].align;
455                                 ostringstream os;
456                                 parse_text_in_inset(p, os, FLAG_CELL, false, context);
457                                 cellinfo[row][col].content   = os.str();
458                                 last_rightline = false;
459                         }
460                 }
461
462                 //cerr << "//  handle almost empty last row what we have\n";
463                 // handle almost empty last row
464                 if (row && lines[row].empty() && row + 1 == rowinfo.size()) {
465                         //cerr << "remove empty last line\n";
466                         if (rowinfo[row].topline)
467                                 rowinfo[row - 1].bottomline = true;
468                         for (size_t col = 0; col < colinfo.size(); ++col)
469                                 if (cellinfo[row][col].topline)
470                                         cellinfo[row - 1][col].bottomline = true;
471                         rowinfo.pop_back();
472                 }
473
474         }
475
476         //cerr << "// output what we have\n";
477         // output what we have
478         os << "\n<lyxtabular version=\"3\" rows=\"" << rowinfo.size()
479                  << "\" columns=\"" << colinfo.size() << "\">\n"
480                  << "<features>\n";
481
482         //cerr << "// after header\n";
483         for (size_t col = 0; col < colinfo.size(); ++col) {
484                 os << "<column alignment=\""
485                    << verbose_align(colinfo[col].align) << "\"";
486                 os << " valignment=\"top\"";
487                 if (colinfo[col].leftline)
488                         os << " leftline=\"true\"";
489                 if (colinfo[col].rightline)
490                         os << " rightline=\"true\"";
491                 if (!colinfo[col].width.empty())
492                         os << " width=\"" << colinfo[col].width << "\"";
493                 if (!colinfo[col].special.empty())
494                         os << " special=\"" << colinfo[col].special << "\"";
495                 os << ">\n";
496         }
497         //cerr << "// after cols\n";
498
499         for (size_t row = 0; row < rowinfo.size(); ++row) {
500                 os << "<row";
501                 if (rowinfo[row].topline)
502                         os << " topline=\"true\"";
503                 if (rowinfo[row].bottomline)
504                         os << " bottomline=\"true\"";
505                 os << ">\n";
506                 for (size_t col = 0; col < colinfo.size(); ++col) {
507                         CellInfo const & cell = cellinfo[row][col];
508                         os << "<cell";
509                         if (cell.multi)
510                                 os << " multicolumn=\"" << cell.multi << "\"";
511                         os << " alignment=\"" << verbose_align(cell.align)
512                            << "\""
513                            << " valignment=\"top\"";
514                         if (cell.topline)
515                                 os << " topline=\"true\"";
516                         if (cell.bottomline)
517                                 os << " bottomline=\"true\"";
518                         if (cell.leftline)
519                                 os << " leftline=\"true\"";
520                         if (cell.rightline)
521                                 os << " rightline=\"true\"";
522                         //cerr << "\nrow: " << row << " col: " << col;
523                         //if (cell.topline)
524                         //      cerr << " topline=\"true\"";
525                         //if (cell.bottomline)
526                         //      cerr << " bottomline=\"true\"";
527                         os << " usebox=\"none\""
528                            << ">"
529                            << "\n\\begin_inset Text\n"
530                            << cell.content
531                            << "\n\\end_inset \n"
532                            << "</cell>\n";
533                 }
534                 os << "</row>\n";
535         }
536
537         os << "</lyxtabular>\n";
538 }
539
540
541
542
543 // }])