4 * This file is part of LyX, the document processor.
5 * Licence details can be found in the file COPYING.
8 * \author Stefan Schimanski
10 * Full author contact details are available in file CREDITS.
13 #ifndef MATH_MACROTABLE_H
14 #define MATH_MACROTABLE_H
16 #include "DocIterator.h"
18 #include "support/docstring.h"
28 class MathMacroTemplate;
41 /// Constructor to make STL containers happy
42 MacroData(Buffer * buf = 0);
43 /// Create lazy MacroData which only queries the macro template when needed
44 MacroData(Buffer * buf, DocIterator const & pos);
45 /// Create non-lazy MacroData which directly queries the macro template
46 MacroData(Buffer * buf, MathMacroTemplate const & macro);
49 docstring const & definition() const { updateData(); return definition_; }
51 docstring const & display() const { updateData(); return display_; }
52 /// arity including optional arguments (if there is any)
53 size_t numargs() const { updateData(); return numargs_; }
54 /// replace #1,#2,... by given MathAtom 0,1,.., _including_ the possible
56 /// \return whether anything was expanded
57 bool expand(std::vector<MathData> const & from, MathData & to) const;
58 /// number of optional arguments
59 size_t optionals() const;
61 std::vector<docstring> const & defaults() const;
63 std::string const requires() const;
65 docstring const xmlname() const;
67 char const * MathMLtype() const;
69 void setSymbol(latexkeys const * sym) { sym_ = sym; }
71 /// lock while being drawn to avoid recursions
72 int lock() const { return ++lockCount_; }
73 /// is it being drawn?
74 bool locked() const { return lockCount_ != 0; }
79 bool redefinition() const { updateData(); return redefinition_; }
82 MacroType type() const { updateData(); return type_; }
84 /// output as TeX macro, only works for lazy MacroData!!!
85 int write(odocstream & os, bool overwriteRedefinition) const;
88 bool operator==(MacroData const & x) const {
91 return definition_ == x.definition_
92 && numargs_ == x.numargs_
93 && display_ == x.display_
95 && optionals_ == x.optionals_
96 && defaults_ == x.defaults_;
99 bool operator!=(MacroData const & x) const { return !operator==(x); }
103 void queryData(MathMacroTemplate const & macro) const;
105 void updateData() const;
107 Buffer const * buffer_;
108 /// The position of the definition in the buffer.
109 /// There is no guarantee it stays valid if the buffer
110 /// changes. But it (normally) exists only until the
111 /// next Buffer::updateMacros call where new MacroData
112 /// objects are created for each macro definition.
113 /// In the worst case, it is invalidated and the MacroData
114 /// returns its defaults values and the user sees unfolded
116 mutable DocIterator pos_;
118 mutable bool queried_;
120 mutable docstring definition_;
122 mutable size_t numargs_;
124 mutable docstring display_;
126 latexkeys const * sym_;
128 mutable size_t optionals_;
130 mutable std::vector<docstring> defaults_;
132 mutable int lockCount_;
134 mutable bool redefinition_;
136 mutable MacroType type_;
141 class MacroNameSet : public std::set<docstring> {};
143 class MacroSet : public std::set<MacroData const *> {};
146 /// A lookup table of macro definitions.
148 * This contains a table of "global" macros that are always accessible,
149 * either because they implement a feature of standard LaTeX or some
150 * hack to display certain contents nicely.
153 class MacroTable : public std::map<docstring, MacroData>
156 /// Parse full "\\def..." or "\\newcommand..." or ...
157 iterator insert(Buffer * buf, docstring const & definition);
158 /// Insert pre-digested macro definition
159 iterator insert(docstring const & name, MacroData const & data);
161 MacroData const * get(docstring const & name) const;
165 void getMacroNames(std::set<docstring> & names) const;
168 static MacroTable & globalMacros();
172 /// A context to lookup macros at a certain position in a buffer.
174 * The MacroContext is used during metrics calculation to resolve
175 * macro instances according to the position of them in the buffer
176 * document. Only macro definition in front of the macro instance
177 * are visible and are resolved.
182 /// construct context for the insets at pos
183 MacroContext(Buffer const * buf, DocIterator const & pos);
186 MacroData const * get(docstring const & name) const;
192 DocIterator const & pos_;