src/Counters.cpp

   1 /**
   2  * \file Counters.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 Martin Vermeer
   8  * \author André Pönitz
   9  * \author Richard Heck (roman numerals)
  10  *
  11  * Full author contact details are available in file CREDITS.
  12  */
  13
  14 #include <config.h>
  15
  16 #include "Counters.h"
  17 #include "Layout.h"
  18 #include "Lexer.h"
  19
  20 #include "support/convert.h"
  21 #include "support/debug.h"
  22 #include "support/gettext.h"
  23 #include "support/lassert.h"
  24 #include "support/lstrings.h"
  25
  26 #include <algorithm>
  27 #include <sstream>
  28
  29 using namespace std;
  30 using namespace lyx::support;
  31
  32 namespace lyx {
  33
  34
  35 Counter::Counter()
  36         : initial_value_(0)
  37 {
  38         reset();
  39 }
  40
  41
  42 Counter::Counter(docstring const & mc, docstring const & ls,
  43                 docstring const & lsa)
  44         : initial_value_(0), master_(mc), labelstring_(ls), labelstringappendix_(lsa)
  45 {
  46         reset();
  47 }
  48
  49
  50 bool Counter::read(Lexer & lex)
  51 {
  52         enum {
  53                 CT_WITHIN = 1,
  54                 CT_LABELSTRING,
  55                 CT_LABELSTRING_APPENDIX,
  56                 CT_PRETTYFORMAT,
  57                 CT_INITIALVALUE,
  58                 CT_END
  59         };
  60
  61         LexerKeyword counterTags[] = {
  62                 { "end", CT_END },
  63           { "initialvalue", CT_INITIALVALUE},
  64                 { "labelstring", CT_LABELSTRING },
  65                 { "labelstringappendix", CT_LABELSTRING_APPENDIX },
  66                 { "prettyformat", CT_PRETTYFORMAT },
  67                 { "within", CT_WITHIN }
  68         };
  69
  70         lex.pushTable(counterTags);
  71
  72         bool getout = false;
  73         while (!getout && lex.isOK()) {
  74                 int le = lex.lex();
  75                 switch (le) {
  76                         case Lexer::LEX_UNDEF:
  77                                 lex.printError("Unknown counter tag `$$Token'");
  78                                 continue;
  79                         default:
  80                                 break;
  81                 }
  82                 switch (le) {
  83                         case CT_WITHIN:
  84                                 lex.next();
  85                                 master_ = lex.getDocString();
  86                                 if (master_ == "none")
  87                                         master_.erase();
  88                                 break;
  89                         case CT_INITIALVALUE:
  90                                 lex.next();
  91                                 initial_value_ = lex.getInteger();
  92                                 // getInteger() returns -1 on error, and larger
  93                                 // negative values do not make much sense.
  94                                 // In the other case, we subtract one, since the
  95                                 // counter will be incremented before its first use.
  96                                 if (initial_value_ <= -1)
  97                                         initial_value_ = 0;
  98                                 else
  99                                         initial_value_ -= 1;
 100                                 break;
 101                         case CT_PRETTYFORMAT:
 102                                 lex.next();
 103                                 prettyformat_ = lex.getDocString();
 104                                 break;
 105                         case CT_LABELSTRING:
 106                                 lex.next();
 107                                 labelstring_ = lex.getDocString();
 108                                 labelstringappendix_ = labelstring_;
 109                                 break;
 110                         case CT_LABELSTRING_APPENDIX:
 111                                 lex.next();
 112                                 labelstringappendix_ = lex.getDocString();
 113                                 break;
 114                         case CT_END:
 115                                 getout = true;
 116                                 break;
 117                 }
 118         }
 119
 120         // Here if have a full counter if getout == true
 121         if (!getout)
 122                 LYXERR0("No End tag found for counter!");
 123         lex.popTable();
 124         return getout;
 125 }
 126
 127
 128 void Counter::set(int v)
 129 {
 130         value_ = v;
 131 }
 132
 133
 134 void Counter::addto(int v)
 135 {
 136         value_ += v;
 137 }
 138
 139
 140 int Counter::value() const
 141 {
 142         return value_;
 143 }
 144
 145
 146 void Counter::step()
 147 {
 148         ++value_;
 149 }
 150
 151
 152 void Counter::reset()
 153 {
 154         value_ = initial_value_;
 155 }
 156
 157
 158 docstring const & Counter::master() const
 159 {
 160         return master_;
 161 }
 162
 163
 164 bool Counter::checkAndRemoveMaster(docstring const & cnt)
 165 {
 166         if (master_ != cnt)
 167                 return false;
 168         master_ = docstring();
 169         return true;
 170 }
 171
 172
 173 docstring const & Counter::labelString(bool in_appendix) const
 174 {
 175         return in_appendix ? labelstringappendix_ : labelstring_;
 176 }
 177
 178
 179 Counter::StringMap & Counter::flatLabelStrings(bool in_appendix) const
 180 {
 181         return in_appendix ? flatlabelstringappendix_ : flatlabelstring_;
 182 }
 183
 184
 185 Counters::Counters() : appendix_(false), subfloat_(false), longtable_(false)
 186 {
 187         layout_stack_.push_back(0);
 188         counter_stack_.push_back(from_ascii(""));
 189 }
 190
 191
 192 void Counters::newCounter(docstring const & newc,
 193                           docstring const & masterc,
 194                           docstring const & ls,
 195                           docstring const & lsa)
 196 {
 197         if (!masterc.empty() && !hasCounter(masterc)) {
 198                 lyxerr << "Master counter does not exist: "
 199                        << to_utf8(masterc)
 200                        << endl;
 201                 return;
 202         }
 203         counterList_[newc] = Counter(masterc, ls, lsa);
 204 }
 205
 206
 207 bool Counters::hasCounter(docstring const & c) const
 208 {
 209         return counterList_.find(c) != counterList_.end();
 210 }
 211
 212
 213 bool Counters::read(Lexer & lex, docstring const & name, bool makenew)
 214 {
 215         if (hasCounter(name)) {
 216                 LYXERR(Debug::TCLASS, "Reading existing counter " << to_utf8(name));
 217                 return counterList_[name].read(lex);
 218         }
 219
 220         LYXERR(Debug::TCLASS, "Reading new counter " << to_utf8(name));
 221         Counter cnt;
 222         bool success = cnt.read(lex);
 223         // if makenew is false, we will just discard what we read
 224         if (success && makenew)
 225                 counterList_[name] = cnt;
 226         else if (!success)
 227                 LYXERR0("Error reading counter `" << name << "'!");
 228         return success;
 229 }
 230
 231
 232 void Counters::set(docstring const & ctr, int const val)
 233 {
 234         CounterList::iterator const it = counterList_.find(ctr);
 235         if (it == counterList_.end()) {
 236                 lyxerr << "set: Counter does not exist: "
 237                        << to_utf8(ctr) << endl;
 238                 return;
 239         }
 240         it->second.set(val);
 241 }
 242
 243
 244 void Counters::addto(docstring const & ctr, int const val)
 245 {
 246         CounterList::iterator const it = counterList_.find(ctr);
 247         if (it == counterList_.end()) {
 248                 lyxerr << "addto: Counter does not exist: "
 249                        << to_utf8(ctr) << endl;
 250                 return;
 251         }
 252         it->second.addto(val);
 253 }
 254
 255
 256 int Counters::value(docstring const & ctr) const
 257 {
 258         CounterList::const_iterator const cit = counterList_.find(ctr);
 259         if (cit == counterList_.end()) {
 260                 lyxerr << "value: Counter does not exist: "
 261                        << to_utf8(ctr) << endl;
 262                 return 0;
 263         }
 264         return cit->second.value();
 265 }
 266
 267
 268 void Counters::step(docstring const & ctr, UpdateType utype)
 269 {
 270         CounterList::iterator it = counterList_.find(ctr);
 271         if (it == counterList_.end()) {
 272                 lyxerr << "step: Counter does not exist: "
 273                        << to_utf8(ctr) << endl;
 274                 return;
 275         }
 276
 277         it->second.step();
 278         if (utype == OutputUpdate) {
 279                 LBUFERR(!counter_stack_.empty());
 280                 counter_stack_.pop_back();
 281                 counter_stack_.push_back(ctr);
 282         }
 283         it = counterList_.begin();
 284         CounterList::iterator const end = counterList_.end();
 285         for (; it != end; ++it) {
 286                 if (it->second.master() == ctr) {
 287                         it->second.reset();
 288                 }
 289         }
 290 }
 291
 292
 293 void Counters::reset()
 294 {
 295         appendix_ = false;
 296         subfloat_ = false;
 297         current_float_.erase();
 298         CounterList::iterator it = counterList_.begin();
 299         CounterList::iterator const end = counterList_.end();
 300         for (; it != end; ++it)
 301                 it->second.reset();
 302         counter_stack_.clear();
 303         counter_stack_.push_back(from_ascii(""));
 304         layout_stack_.clear();
 305         layout_stack_.push_back(0);
 306 }
 307
 308
 309 void Counters::reset(docstring const & match)
 310 {
 311         LASSERT(!match.empty(), return);
 312
 313         CounterList::iterator it = counterList_.begin();
 314         CounterList::iterator end = counterList_.end();
 315         for (; it != end; ++it) {
 316                 if (it->first.find(match) != string::npos)
 317                         it->second.reset();
 318         }
 319 }
 320
 321
 322 bool Counters::remove(docstring const & cnt)
 323 {
 324         bool retval = counterList_.erase(cnt);
 325         if (!retval)
 326                 return false;
 327         CounterList::iterator it = counterList_.begin();
 328         CounterList::iterator end = counterList_.end();
 329         for (; it != end; ++it) {
 330                 if (it->second.checkAndRemoveMaster(cnt))
 331                         LYXERR(Debug::TCLASS, "Removed master counter `" +
 332                                         to_utf8(cnt) + "' from counter: " + to_utf8(it->first));
 333         }
 334         return retval;
 335 }
 336
 337
 338 void Counters::copy(Counters & from, Counters & to, docstring const & match)
 339 {
 340         CounterList::iterator it = counterList_.begin();
 341         CounterList::iterator end = counterList_.end();
 342         for (; it != end; ++it) {
 343                 if (it->first.find(match) != string::npos || match == "") {
 344                         to.set(it->first, from.value(it->first));
 345                 }
 346         }
 347 }
 348
 349
 350 namespace {
 351
 352 char loweralphaCounter(int const n)
 353 {
 354         if (n < 1 || n > 26)
 355                 return '?';
 356         return 'a' + n - 1;
 357 }
 358
 359
 360 char alphaCounter(int const n)
 361 {
 362         if (n < 1 || n > 26)
 363                 return '?';
 364         return 'A' + n - 1;
 365 }
 366
 367
 368 char hebrewCounter(int const n)
 369 {
 370         static const char hebrew[22] = {
 371                 '\xe0', '\xe1', '\xe2', '\xe3', '\xe4', '\xe5', '\xe6', '\xe7', '\xe8',
 372                 '\xe9', '\xeb', '\xec', '\xee', '\xf0', '\xf1', '\xf2', '\xf4', '\xf6',
 373                 '\xf7', '\xf8', '\xf9', '\xfa'
 374         };
 375
 376         if (n < 1 || n > 22)
 377                 return '?';
 378         return hebrew[n - 1];
 379 }
 380
 381
 382 // On the special cases, see http://mathworld.wolfram.com/RomanNumerals.html
 383 // and for a list of roman numerals up to and including 3999, see
 384 // http://www.research.att.com/~njas/sequences/a006968.txt. (Thanks to Joost
 385 // for this info.)
 386 docstring const romanCounter(int const n)
 387 {
 388         static char const * const ones[9] = {
 389                 "I",   "II",  "III", "IV", "V",
 390                 "VI",  "VII", "VIII", "IX"
 391         };
 392
 393         static char const * const tens[9] = {
 394                 "X", "XX", "XXX", "XL", "L",
 395                 "LX", "LXX", "LXXX", "XC"
 396         };
 397
 398         static char const * const hunds[9] = {
 399                 "C", "CC", "CCC", "CD", "D",
 400                 "DC", "DCC", "DCCC", "CM"
 401         };
 402
 403         if (n > 1000 || n < 1)
 404                 return from_ascii("??");
 405
 406         int val = n;
 407         string roman;
 408         switch (n) {
 409         //special cases
 410         case 900:
 411                 roman = "CM";
 412                 break;
 413         case 400:
 414                 roman = "CD";
 415                 break;
 416         default:
 417                 if (val >= 100) {
 418                         int hundreds = val / 100;
 419                         roman = hunds[hundreds - 1];
 420                         val = val % 100;
 421                 }
 422                 if (val >= 10) {
 423                         switch (val) {
 424                         //special case
 425                         case 90:
 426                                 roman = roman + "XC";
 427                                 val = 0; //skip next
 428                                 break;
 429                         default:
 430                                 int tensnum = val / 10;
 431                                 roman = roman + tens[tensnum - 1];
 432                                 val = val % 10;
 433                         } // end switch
 434                 } // end tens
 435                 if (val > 0)
 436                         roman = roman + ones[val -1];
 437         }
 438         return from_ascii(roman);
 439 }
 440
 441
 442 docstring const lowerromanCounter(int const n)
 443 {
 444         return lowercase(romanCounter(n));
 445 }
 446
 447
 448 docstring const fnsymbolCounter(int const n)
 449 {
 450         switch(n) {
 451         case 1: return docstring(1, 0x002a); //*
 452         case 2: return docstring(1, 0x2020); // dagger
 453         case 3: return docstring(1, 0x2021); // double dagger
 454         case 4: return docstring(1, 0x00A7); // section sign
 455         case 5: return docstring(1, 0x00B6); // pilcrow sign
 456         case 6: return docstring(1, 0x2016); // vertical bar
 457         case 7: return docstring(2, 0x002a); // two *
 458         case 8: return docstring(2, 0x2020); // two daggers
 459         case 9: return docstring(2, 0x2021); // two double daggers
 460         default:
 461                 return from_ascii("?");
 462         };
 463 }
 464
 465 } // namespace anon
 466
 467
 468 docstring Counters::labelItem(docstring const & ctr,
 469                               docstring const & numbertype) const
 470 {
 471         CounterList::const_iterator const cit = counterList_.find(ctr);
 472         if (cit == counterList_.end()) {
 473                 lyxerr << "Counter "
 474                        << to_utf8(ctr)
 475                        << " does not exist." << endl;
 476                 return docstring();
 477         }
 478
 479         int val = cit->second.value();
 480
 481         if (numbertype == "hebrew")
 482                 return docstring(1, hebrewCounter(val));
 483
 484         if (numbertype == "alph")
 485                 return docstring(1, loweralphaCounter(val));
 486
 487         if (numbertype == "Alph")
 488                 return docstring(1, alphaCounter(val));
 489
 490         if (numbertype == "roman")
 491                 return lowerromanCounter(val);
 492
 493         if (numbertype == "Roman")
 494                 return romanCounter(val);
 495
 496         if (numbertype == "fnsymbol")
 497                 return fnsymbolCounter(val);
 498
 499         return convert<docstring>(val);
 500 }
 501
 502
 503 docstring Counters::theCounter(docstring const & counter,
 504                                string const & lang) const
 505 {
 506         CounterList::const_iterator it = counterList_.find(counter);
 507         if (it == counterList_.end())
 508                 return from_ascii("#");
 509         Counter const & ctr = it->second;
 510         Counter::StringMap & sm = ctr.flatLabelStrings(appendix());
 511         Counter::StringMap::iterator smit = sm.find(lang);
 512         if (smit != sm.end())
 513                 return counterLabel(smit->second, lang);
 514
 515         vector<docstring> callers;
 516         docstring const & fls = flattenLabelString(counter, appendix(),
 517                                                    lang, callers);
 518         sm[lang] = fls;
 519         return counterLabel(fls, lang);
 520 }
 521
 522
 523 docstring Counters::flattenLabelString(docstring const & counter,
 524                                        bool in_appendix,
 525                                        string const & lang,
 526                                        vector<docstring> & callers) const
 527 {
 528         docstring label;
 529
 530         if (find(callers.begin(), callers.end(), counter) != callers.end()) {
 531                 // recursion detected
 532                 lyxerr << "Warning: Recursion in label for counter `"
 533                        << counter << "' detected"
 534                        << endl;
 535                 return from_ascii("??");
 536         }
 537
 538         CounterList::const_iterator it = counterList_.find(counter);
 539         if (it == counterList_.end())
 540                 return from_ascii("#");
 541         Counter const & c = it->second;
 542
 543         docstring ls = translateIfPossible(c.labelString(in_appendix), lang);
 544
 545         callers.push_back(counter);
 546         if (ls.empty()) {
 547                 if (!c.master().empty())
 548                         ls = flattenLabelString(c.master(), in_appendix, lang, callers)
 549                                 + from_ascii(".");
 550                 callers.pop_back();
 551                 return ls + from_ascii("\\arabic{") + counter + "}";
 552         }
 553
 554         while (true) {
 555                 //lyxerr << "ls=" << to_utf8(ls) << endl;
 556                 size_t const i = ls.find(from_ascii("\\the"), 0);
 557                 if (i == docstring::npos)
 558                         break;
 559                 size_t const j = i + 4;
 560                 size_t k = j;
 561                 while (k < ls.size() && lowercase(ls[k]) >= 'a'
 562                        && lowercase(ls[k]) <= 'z')
 563                         ++k;
 564                 docstring const newc = ls.substr(j, k - j);
 565                 docstring const repl = flattenLabelString(newc, in_appendix,
 566                                                           lang, callers);
 567                 ls.replace(i, k - j + 4, repl);
 568         }
 569         callers.pop_back();
 570
 571         return ls;
 572 }
 573
 574
 575 docstring Counters::counterLabel(docstring const & format,
 576                                  string const & lang) const
 577 {
 578         docstring label = format;
 579
 580         // FIXME: Using regexps would be better, but we compile boost without
 581         // wide regexps currently.
 582         docstring const the = from_ascii("\\the");
 583         while (true) {
 584                 //lyxerr << "label=" << label << endl;
 585                 size_t const i = label.find(the, 0);
 586                 if (i == docstring::npos)
 587                         break;
 588                 size_t const j = i + 4;
 589                 size_t k = j;
 590                 while (k < label.size() && lowercase(label[k]) >= 'a'
 591                        && lowercase(label[k]) <= 'z')
 592                         ++k;
 593                 docstring const newc(label, j, k - j);
 594                 label.replace(i, k - i, theCounter(newc, lang));
 595         }
 596         while (true) {
 597                 //lyxerr << "label=" << label << endl;
 598
 599                 size_t const i = label.find('\\', 0);
 600                 if (i == docstring::npos)
 601                         break;
 602                 size_t const j = label.find('{', i + 1);
 603                 if (j == docstring::npos)
 604                         break;
 605                 size_t const k = label.find('}', j + 1);
 606                 if (k == docstring::npos)
 607                         break;
 608                 docstring const numbertype(label, i + 1, j - i - 1);
 609                 docstring const counter(label, j + 1, k - j - 1);
 610                 label.replace(i, k + 1 - i, labelItem(counter, numbertype));
 611         }
 612         //lyxerr << "DONE! label=" << label << endl;
 613         return label;
 614 }
 615
 616
 617 docstring Counters::prettyCounter(docstring const & name,
 618                                string const & lang) const
 619 {
 620         CounterList::const_iterator it = counterList_.find(name);
 621         if (it == counterList_.end())
 622                 return from_ascii("#");
 623         Counter const & ctr = it->second;
 624
 625         docstring const value = theCounter(name, lang);
 626         docstring const & format =
 627             translateIfPossible(ctr.prettyFormat(), lang);
 628         if (format.empty())
 629                 return value;
 630         return subst(format, from_ascii("##"), value);
 631 }
 632
 633
 634 docstring Counters::currentCounter() const
 635 {
 636         LBUFERR(!counter_stack_.empty());
 637         return counter_stack_.back();
 638 }
 639
 640
 641 void Counters::setActiveLayout(Layout const & lay)
 642 {
 643         LASSERT(!layout_stack_.empty(), return);
 644         Layout const * const lastlay = layout_stack_.back();
 645         // we want to check whether the layout has changed and, if so,
 646         // whether we are coming out of or going into an environment.
 647         if (!lastlay) {
 648                 layout_stack_.pop_back();
 649                 layout_stack_.push_back(&lay);
 650                 if (lay.isEnvironment())
 651                         beginEnvironment();
 652         } else if (lastlay->name() != lay.name()) {
 653                 layout_stack_.pop_back();
 654                 layout_stack_.push_back(&lay);
 655                 if (lastlay->isEnvironment()) {
 656                         // we are coming out of an environment
 657                         // LYXERR0("Out: " << lastlay->name());
 658                         endEnvironment();
 659                 }
 660                 if (lay.isEnvironment()) {
 661                         // we are going into a new environment
 662                         // LYXERR0("In: " << lay.name());
 663                         beginEnvironment();
 664                 }
 665         }
 666 }
 667
 668
 669 void Counters::beginEnvironment()
 670 {
 671         counter_stack_.push_back(counter_stack_.back());
 672 }
 673
 674
 675 void Counters::endEnvironment()
 676 {
 677         LASSERT(!counter_stack_.empty(), return);
 678         counter_stack_.pop_back();
 679 }
 680
 681
 682 } // namespace lyx