43542cc07e
(for std::unique_ptr, with recent libstdc++ 12 trunk) Change-Id: I61b7823dd740ea7cdfe0d7403a50ac73b24d1c4e Reviewed-on: https://gerrit.libreoffice.org/c/core/+/120229 Tested-by: Jenkins Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
293 lines
11 KiB
C++
293 lines
11 KiB
C++
/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
|
|
/*
|
|
* This file is part of the LibreOffice project.
|
|
*
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* This file incorporates work covered by the following license notice:
|
|
*
|
|
* Licensed to the Apache Software Foundation (ASF) under one or more
|
|
* contributor license agreements. See the NOTICE file distributed
|
|
* with this work for additional information regarding copyright
|
|
* ownership. The ASF licenses this file to you under the Apache
|
|
* License, Version 2.0 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.apache.org/licenses/LICENSE-2.0 .
|
|
*/
|
|
|
|
/** The tokens contain the information gathered by the parser.
|
|
*
|
|
* They contain:
|
|
* the data type (~ mathematical operation).
|
|
* The mathematical char.
|
|
* The corresponding code or information to recreate it.
|
|
* Location of the token in the starmath code.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include "types.hxx"
|
|
#include <rtl/ustrbuf.hxx>
|
|
#include <tools/color.hxx>
|
|
#include <o3tl/typed_flags_set.hxx>
|
|
|
|
// std imports
|
|
#include <cassert>
|
|
#include <memory>
|
|
#include <vector>
|
|
#include <stack>
|
|
#include <tuple>
|
|
#include <list>
|
|
#include <set>
|
|
|
|
// TokenGroups
|
|
enum class TG
|
|
{
|
|
NONE = 0x000000,
|
|
Oper = 0x000001,
|
|
Relation = 0x000002,
|
|
Sum = 0x000004,
|
|
Product = 0x000008,
|
|
UnOper = 0x000010,
|
|
Power = 0x000020,
|
|
Attribute = 0x000040,
|
|
Align = 0x000080,
|
|
Function = 0x000100,
|
|
Blank = 0x000200,
|
|
LBrace = 0x000400,
|
|
RBrace = 0x000800,
|
|
Color = 0x001000,
|
|
Font = 0x002000,
|
|
Standalone = 0x004000,
|
|
Limit = 0x010000,
|
|
FontAttr = 0x020000
|
|
};
|
|
|
|
namespace o3tl
|
|
{
|
|
template <> struct typed_flags<TG> : is_typed_flags<TG, 0x037fff>
|
|
{
|
|
};
|
|
}
|
|
|
|
// Tokens identifiers. Allow to know what kind of information the node contains.
|
|
enum SmTokenType
|
|
{
|
|
// clang-format off
|
|
// Uncategorized
|
|
TEND, TSPECIAL, TNONE, TESCAPE, TUNKNOWN,
|
|
TBLANK, TSBLANK, TPLACE, TNOSPACE, TDOTSDOWN,
|
|
TNEWLINE, TDOTSAXIS, TDOTSLOW, TDOTSVERT, TBACKEPSILON,
|
|
TDOTSDIAG, TDOTSUP, TERROR,
|
|
// Basic
|
|
TPLUS, TMINUS, TMULTIPLY, TDIVIDEBY, // +-*/
|
|
TGT, TLT, TGE, TLE, // > < >= <=
|
|
TASSIGN, TNEQ, TGG, TLL, // = != >>> <<<
|
|
TPARALLEL, TORTHO, TEQUIV, // Geometry
|
|
TOPER, TSUM, TPROD, TCOPROD, // Operators
|
|
TIM, TRE, THBAR, TLAMBDABAR, // Complex and constants
|
|
TPLUSMINUS, TMINUSPLUS, TSIM, TSIMEQ, // +- -+ ~ ~=
|
|
TLIM, TLIMSUP, TLIMINF, TTOWARD, // Limits
|
|
TOVER, TTIMES, TCDOT, TDIV, // Product type
|
|
TSLASH, TBACKSLASH, TWIDESLASH, TWIDEBACKSLASH, //Slash
|
|
TFRAC, TIT, // mathml related
|
|
// Structure
|
|
TMATRIX, TPOUND, TDPOUND, TSTACK, TBINOM,
|
|
// Logic
|
|
TAND, TOR, TNEG, // && || !
|
|
TPRECEDES, TSUCCEEDS, TNOTPRECEDES, TNOTSUCCEEDS, // Order
|
|
TPRECEDESEQUAL, TSUCCEEDSEQUAL, TPRECEDESEQUIV, TSUCCEEDSEQUIV, // Order eq
|
|
TLEFTARROW, TRIGHTARROW, TUPARROW, TDOWNARROW, // Arrows
|
|
TDRARROW, TDLARROW, TDLRARROW, TDEF, // Double arrows, definition
|
|
TPROP, TNDIVIDES, TDIVIDES, TAPPROX, // Proportions, approximation
|
|
TLESLANT, TGESLANT, TTRANSL, TTRANSR, // <= >= corresponds
|
|
// Tensors
|
|
TOPLUS, TOMINUS, TOTIMES, TODIVIDE, TODOT,
|
|
TCIRC,
|
|
// Positions
|
|
TRSUB, TRSUP, TCSUB, TCSUP, TLSUB,
|
|
TLSUP, TFROM, TTO, TUOPER, TBOPER,
|
|
// Set theory
|
|
TSETN, TSETZ, TSETQ, TSETR, TSETC,
|
|
TIN, TNOTIN, TNI, TEMPTYSET, // Insideout
|
|
TSUBSET, TSUBSETEQ, TSUPSET, TSUPSETEQ, // Subsupset
|
|
TNSUBSET, TNSUPSET, TNSUBSETEQ, TNSUPSETEQ, // Not subsupset
|
|
TINTERSECT, TUNION, TSETMINUS, TSETQUOTIENT, // +-/
|
|
TALEPH, TWP, TINFINITY, // Abstract sets
|
|
TFORALL, TEXISTS, TNOTEXISTS, // Existential
|
|
// Font
|
|
TFONT, TSIZE, TCOLOR, TPHANTOM, // Basic
|
|
TITALIC, TNITALIC, TBOLD, TNBOLD, // Bold ital
|
|
TALIGNL, TALIGNC, TALIGNR, // Align
|
|
TUNDERLINE, TOVERLINE, TOVERSTRIKE, TBAR, // Lines
|
|
TFIXED, TSANS, TSERIF, // Types
|
|
TACUTE, TGRAVE, THAT, TBREVE, // Accents
|
|
TWIDEVEC, TWIDEHARPOON, TWIDETILDE, TWIDEHAT, // Wide math
|
|
TVEC, THARPOON, TTILDE, TCIRCLE, // math
|
|
TCHECK,
|
|
TTEXT, TNUMBER, TCHARACTER, TIDENT, // Content type
|
|
// Brackets
|
|
TLEFT, TRIGHT, TUNDERBRACE, TOVERBRACE, // Scalable, upsidedown
|
|
TLGROUP, TRGROUP, TLPARENT, TRPARENT, // Structural
|
|
TLBRACKET, TRBRACKET, TLDBRACKET, TRDBRACKET, // Bracket x1 & x2
|
|
TLCEIL, TRCEIL, TLFLOOR, TRFLOOR, // Reals -> Wholes
|
|
TLANGLE, TRANGLE, TLBRACE, TRBRACE, // <x> {x}
|
|
TLLINE, TRLINE, TLDLINE, TRDLINE, // Lines x1 x2
|
|
TMLINE, TEVALUATE, TLRLINE, TLRDLINE, // Custom
|
|
// Differential calculus
|
|
TNABLA, TPARTIAL, TFOURIER, TLAPLACE, // Derivative, Transformation
|
|
TINTD, TINT, TIINT, TIIINT, // Integral
|
|
TLINT, TLLINT, TLLLINT, // Circuit integral
|
|
TDOT, TDDOT, TDDDOT, // Derivative dots
|
|
// Function
|
|
TFUNC, TLN, TLOG, TEXP, // Exp - Log
|
|
TSIN, TCOS, TTAN, TCOT, // Trigo
|
|
TSINH, TCOSH, TTANH, TCOTH, // Trigo hyperbolic
|
|
TASIN, TACOS, TATAN, TACOT, // Arctrigo
|
|
TASINH, TACOSH, TATANH, TACOTH, // Arctrigo hyperbolic
|
|
TSQRT, TNROOT, TFACT, TABS, // roots, n! |z|
|
|
// Color
|
|
TRGB, TRGBA, THEX, THTMLCOL, TDVIPSNAMESCOL,
|
|
TICONICCOL, TMATHMLCOL
|
|
// clang-format on
|
|
};
|
|
|
|
struct SmTokenTableEntry
|
|
{
|
|
std::u16string_view pIdent;
|
|
SmTokenType eType;
|
|
sal_Unicode cMathChar;
|
|
TG nGroup;
|
|
sal_uInt16 nLevel;
|
|
};
|
|
|
|
struct SmColorTokenTableEntry
|
|
{
|
|
const char* pIdent;
|
|
SmTokenType eType;
|
|
Color cColor;
|
|
|
|
SmColorTokenTableEntry()
|
|
: pIdent("")
|
|
, eType(TERROR)
|
|
, cColor()
|
|
{
|
|
}
|
|
|
|
SmColorTokenTableEntry(const SmColorTokenTableEntry* amColorTokenTableEntry)
|
|
: pIdent(amColorTokenTableEntry->pIdent)
|
|
, eType(amColorTokenTableEntry->eType)
|
|
, cColor(amColorTokenTableEntry->cColor)
|
|
{
|
|
}
|
|
|
|
SmColorTokenTableEntry(const std::unique_ptr<SmColorTokenTableEntry> amColorTokenTableEntry)
|
|
: pIdent(amColorTokenTableEntry->pIdent)
|
|
, eType(amColorTokenTableEntry->eType)
|
|
, cColor(amColorTokenTableEntry->cColor)
|
|
{
|
|
}
|
|
|
|
SmColorTokenTableEntry(const char* name, SmTokenType ctype, Color ncolor)
|
|
: pIdent(name)
|
|
, eType(ctype)
|
|
, cColor(ncolor)
|
|
{
|
|
}
|
|
|
|
SmColorTokenTableEntry(const char* name, SmTokenType ctype, sal_uInt32 ncolor)
|
|
: pIdent(name)
|
|
, eType(ctype)
|
|
, cColor(ColorTransparency, ncolor)
|
|
{
|
|
}
|
|
|
|
bool equals(const OUString& colorname) const
|
|
{
|
|
return colorname.compareToIgnoreAsciiCaseAscii(pIdent) == 0;
|
|
}
|
|
|
|
bool equals(sal_uInt32 colorcode) const { return colorcode == static_cast<sal_uInt32>(cColor); }
|
|
|
|
bool equals(Color colorcode) const { return colorcode == cColor; }
|
|
};
|
|
|
|
struct SmToken
|
|
{
|
|
OUString aText; // token text
|
|
SmTokenType eType; // token info
|
|
OUString cMathChar;
|
|
|
|
// parse-help info
|
|
TG nGroup;
|
|
sal_uInt16 nLevel;
|
|
|
|
SmToken()
|
|
: eType(TUNKNOWN)
|
|
, cMathChar('\0')
|
|
, nGroup(TG::NONE)
|
|
, nLevel(0)
|
|
{
|
|
}
|
|
|
|
SmToken(SmTokenType eTokenType, sal_Unicode cMath, const char* pText, TG nTokenGroup = TG::NONE,
|
|
sal_uInt16 nTokenLevel = 0)
|
|
: aText(OUString::createFromAscii(pText))
|
|
, eType(eTokenType)
|
|
, cMathChar(cMath)
|
|
, nGroup(nTokenGroup)
|
|
, nLevel(nTokenLevel)
|
|
{
|
|
}
|
|
|
|
void operator=(const SmTokenTableEntry& aTokenTableEntry)
|
|
{
|
|
aText = aTokenTableEntry.pIdent;
|
|
eType = aTokenTableEntry.eType;
|
|
cMathChar = OUString(&aTokenTableEntry.cMathChar, 1);
|
|
nGroup = aTokenTableEntry.nGroup;
|
|
nLevel = aTokenTableEntry.nLevel;
|
|
}
|
|
|
|
void operator=(const SmTokenTableEntry* aTokenTableEntry)
|
|
{
|
|
aText = aTokenTableEntry->pIdent;
|
|
eType = aTokenTableEntry->eType;
|
|
cMathChar = OUString(&aTokenTableEntry->cMathChar, 1);
|
|
nGroup = aTokenTableEntry->nGroup;
|
|
nLevel = aTokenTableEntry->nLevel;
|
|
}
|
|
|
|
void operator=(const SmColorTokenTableEntry& aTokenTableEntry)
|
|
{
|
|
aText = u"";
|
|
eType = aTokenTableEntry.eType;
|
|
cMathChar = OUString::number(static_cast<sal_uInt32>(aTokenTableEntry.cColor), 16);
|
|
nGroup = TG::Color;
|
|
nLevel = 0;
|
|
}
|
|
|
|
void operator=(const SmColorTokenTableEntry* aTokenTableEntry)
|
|
{
|
|
aText = u"";
|
|
eType = aTokenTableEntry->eType;
|
|
cMathChar = OUString::number(static_cast<sal_uInt32>(aTokenTableEntry->cColor), 16);
|
|
nGroup = TG::Color;
|
|
nLevel = 0;
|
|
}
|
|
|
|
void operator=(const std::unique_ptr<SmColorTokenTableEntry>& aTokenTableEntry)
|
|
{
|
|
aText = u"";
|
|
eType = aTokenTableEntry->eType;
|
|
cMathChar = OUString::number(static_cast<sal_uInt32>(aTokenTableEntry->cColor), 16);
|
|
nGroup = TG::Color;
|
|
nLevel = 0;
|
|
}
|
|
|
|
void setChar(sal_Unicode cChar) { cMathChar = OUString(&cChar, 1); }
|
|
};
|
|
|
|
/* vim:set shiftwidth=4 softtabstop=4 expandtab: */
|