]> git.lyx.org Git - features.git/blobdiff - src/mathed/array.C
write \mathrm{x}\mathrm{y} as \mathrm{xy} again
[features.git] / src / mathed / array.C
index e8f337704344fb470e80895ccdde8f9520ed15bb..48deaf73ab7066e3b125c9b91b8cb0d7bb11a3bb 100644 (file)
-
-#include <config.h>
-
 #ifdef __GNUG__
 #pragma implementation
 #endif
 
+#include "math_inset.h"
+#include "math_charinset.h"
+#include "math_scriptinset.h"
+#include "math_stringinset.h"
 #include "debug.h"
 #include "array.h"
-#include "math_iter.h"
-#include "math_inset.h"
-#include "math_macro.h"
-
-#include "support/LOstream.h"
+#include "mathed/support.h"
+#include "support/LAssert.h"
 
 using std::ostream;
 using std::endl;
 
-namespace {
-
-inline
-void * my_memcpy(void * ps_in, void const * pt_in, size_t n)
-{
-       char * ps = static_cast<char *>(ps_in);
-       char const * pt = static_cast<char const *>(pt_in);
-       while (n--) *ps++ = *pt++;
-       return ps_in;
-}
 
-} // namespace anon
+MathArray::MathArray()
+{}
 
 
-MathedArray::MathedArray()
-       : bf_(1, '\0'), last_(0)
+MathArray::MathArray(MathArray const & array, size_type from, size_type to)
+       : bf_(array.begin() + from, array.begin() + to)
 {}
 
 
-MathedArray::~MathedArray()
+void MathArray::substitute(MathMacro const & m)
 {
-       // deep destruction
-       // let's leak for a while... 
-/*
-       MathedIter it;
-       it.SetData(this);
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       delete inset;
-               }
-               it.Next();
-       }
-*/
+       for (iterator it = begin(); it != end(); ++it)
+               it->nucleus()->substitute(m);
 }
 
 
-MathedArray::MathedArray(MathedArray const & array)
+MathScriptInset const * MathArray::asScript(const_iterator it) const
 {
-       // this "implementation" is obviously wrong: MathedIter should be
-       // implemented by MathedArray (not the other way round) but I think
-       // getting the _interface_ of MathedArray right is more important right
-       // now (Andre')
-
-       // shallow copy
-       bf_   = array.bf_;
-       last_ = array.last_;
-
-       // deep copy
-       deep_copy();
+       if (it->nucleus()->asScriptInset())
+               return 0;
+       const_iterator jt = it + 1;
+       if (jt == end())
+               return 0;
+       return jt->nucleus()->asScriptInset();
 }
 
 
-void MathedArray::deep_copy()
+MathAtom & MathArray::at(size_type pos)
 {
-       MathedIter it(this);
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       inset = inset->Clone();
-                       raw_pointer_insert(inset, it.getPos() + 1);
-               }
-               it.Next();
-       }
+       lyx::Assert(pos < size());
+       return bf_[pos];
 }
 
 
-void MathedArray::substitute(MathMacro * m)
+MathAtom const & MathArray::at(size_type pos) const
 {
-       if (m->nargs() == 0)
-               return;
-
-       MathedIter it(this);
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       if (inset->GetType() == LM_OT_MACRO_ARG) {
-                               int n = static_cast<MathMacroArgument *>(inset)->number() - 1;
-                               //lyxerr << "substituting an argument inset: " << n << "\n";
-                               inset = m->arg(n)->Clone();
-                       } else {
-                               inset->substitute(m);
-/*                             
-                               if (it.IsActive()) {
-                                       MathParInset * pinset = static_cast<MathParInset *>(inset);
-                                       int n = pinset->getMaxArgumentIdx();
-                                       int idx = pinset->getArgumentIdx();
-                                       for (int i = 0; i <= n; ++i) {
-                                               pinset->setArgumentIdx(i);
-                                               pinset->GetData().substitute(m);
-                                       }
-                                       pinset->setArgumentIdx(idx);
-                               }
-*/
-
-                               //lyxerr << "substituting in an ordinary inset\n";
-                       }
-                       raw_pointer_insert(inset, it.getPos() + 1);
-               }
-               it.Next();
-       }
+       lyx::Assert(pos < size());
+       return bf_[pos];
 }
 
 
-MathedArray & MathedArray::operator=(MathedArray const & array)
+void MathArray::insert(size_type pos, MathAtom const & t)
 {
-       MathedArray tmp(array);
-       swap(tmp);
-       return *this;
+       bf_.insert(begin() + pos, t);
 }
 
 
-void MathedArray::push_back(MathedInset * inset, int t)
+void MathArray::insert(size_type pos, MathArray const & array)
 {
-       MathedIter it(this);
-       while (it.Next())
-               ;
-       it.insertInset(inset, t);
+       bf_.insert(begin() + pos, array.begin(), array.end());
 }
 
 
-void MathedArray::push_back(byte b, MathedTextCodes c)
-{
-       MathedIter it(this);
-       while (it.Next())
-               ;
-       it.insert(b, c);
+void MathArray::push_back(MathAtom const & t)
+{      
+       bf_.push_back(t);
 }
 
 
-void MathedArray::clear()
+void MathArray::push_back(MathArray const & array)
 {
-       last_ = 0;
-       bf_.resize(1);
-       bf_[0] = 0;
+       insert(size(), array);
 }
 
 
-void MathedArray::swap(MathedArray & array)
+void MathArray::clear()
 {
-       if (this != &array) {
-               bf_.swap(array.bf_);
-               std::swap(last_, array.last_);
-       }
+       erase();
 }
 
 
-MathedArray::iterator MathedArray::begin() 
+void MathArray::swap(MathArray & array)
 {
-       return bf_.begin();
+       if (this != &array) 
+               bf_.swap(array.bf_);
 }
 
 
-MathedArray::iterator MathedArray::end() 
+bool MathArray::empty() const
 {
-       return bf_.end();
+       return bf_.empty();
 }
 
 
-MathedArray::const_iterator MathedArray::begin() const
+MathArray::size_type MathArray::size() const
 {
-       return bf_.begin();
+       return bf_.size();
 }
 
 
-MathedArray::const_iterator MathedArray::end() const
+void MathArray::erase()
 {
-       return bf_.end();
+       erase(0, size());
 }
 
 
-int MathedArray::empty() const
+void MathArray::erase(size_type pos)
 {
-       return (last_ == 0);
+       if (pos < size())
+               erase(pos, pos + 1);
 }
-   
 
-int MathedArray::last() const
+
+void MathArray::erase(size_type pos1, size_type pos2)
 {
-       return last_;
+       bf_.erase(begin() + pos1, begin() + pos2);
 }
 
 
-void MathedArray::last(int l)
+MathAtom & MathArray::back()
 {
-       last_ = l;
+       return bf_.back();
 }
 
 
-void MathedArray::need_size(int needed)
+void MathArray::dump2(ostream & os) const
 {
-       if (needed >= static_cast<int>(bf_.size()))
-               resize(needed);
+       for (const_iterator it = begin(); it != end(); ++it)
+               os << it->nucleus() << ' ';
 }
 
 
-void MathedArray::resize(int newsize)
+void MathArray::dump(ostream & os) const
 {
-       // still a bit smelly...
-       ++newsize;
-       bf_.resize(newsize + 1);
-       if (last_ >= newsize)
-               last_ = newsize - 1;
-       bf_[last_] = 0;
+       for (const_iterator it = begin(); it != end(); ++it)
+               os << "<" << it->nucleus() << ">";
 }
 
 
-void MathedArray::move(int p, int shift)
+std::ostream & operator<<(std::ostream & os, MathArray const & ar)
 {
-       if (p <= last_) {
-               need_size(last_ + shift);
-               memmove(&bf_[p + shift], &bf_[p], last_ - p);
-               last_ += shift;
-               bf_[last_] = 0;
-       }
+       ar.dump2(os);
+       return os;
 }
 
 
-
-void MathedArray::shrink(int pos1, int pos2)
+// returns sequence of char with same code starting at it up to end
+// it might be less, though...
+string charSequence(MathArray::const_iterator it, MathArray::const_iterator end)
 {
-       if (pos1 == 0 && pos2 >= last())        
-               return;
-
-       short fc = 0;
-       if (pos1 > 0 && bf_[pos1] > ' ') {
-               for (int p = pos1; p >= 0; --p) {
-                       if (MathIsFont(bf_[p])) {
-                               if (p != pos1 - 1)
-                                       fc = bf_[p];
-                               else
-                                       --pos1;
-                               break;
-                       }
-               }
-       }
-
-       if (pos2 > 0 && bf_[pos2] >= ' ' && MathIsFont(bf_[pos2 - 1]))
-               --pos2;
+       string s;
+       MathCharInset const * p = it->nucleus()->asCharInset();
+       if (!p)
+               return s;
 
-       int dx = pos2 - pos1;
-       MathedArray a;
-       a.resize(dx + 1);
-       strange_copy(&a, (fc) ? 1 : 0, pos1, dx);
-       if (fc) {
-               a[0] = fc;
-               ++dx;
+       for (MathTextCodes c = p->code(); it != end; ++it) {
+               if (!it->nucleus())
+                       break;
+               p = it->nucleus()->asCharInset();
+               if (!p || p->code() != c)
+                       break;
+               s += p->getChar();
        }
-       a.last(dx);
-       a[dx] = '\0';
-
-       swap(a);
-       deep_copy();
+       return s;
 }
 
 
-#if 0
-void MathedArray::insert(MathedArray::iterator pos,
-                        MathedArray::const_iterator beg,
-                        MathedArray::const_iterator end)
-{
-       bf_.insert(pos, beg, end);
-       last_ = bf_.size() - 1;
-}
-#else
-void MathedArray::merge(MathedArray const & a, int p)
+MathArray MathArray::glueChars() const
 {
-       my_memcpy(&bf_[p], &a.bf_[0], a.last());
+       MathArray ar;
+       const_iterator it = begin();
+       while (it != end()) {
+               if (it->nucleus() && it->nucleus()->asCharInset()) {
+                       string s = charSequence(it, end());
+                       MathTextCodes c = it->nucleus()->asCharInset()->code();
+                       ar.push_back(MathAtom(new MathStringInset(s, c)));
+                       it += s.size();
+               } else {
+                       ar.push_back(*it);
+                       ++it;
+               }
+       }
+       return ar;
 }
-#endif
 
 
-void MathedArray::raw_pointer_copy(MathedInset ** p, int pos) const
+void MathArray::write(MathWriteInfo & wi) const
 {
-       my_memcpy(p, &bf_[pos], sizeof(MathedInset*));
+       glueChars().write1(wi);
 }
 
 
-#if 0
-void MathedArray::insertInset(int pos, MathedInset * p, int type)
+void MathArray::write1(MathWriteInfo & wi) const
 {
-       //bf_.insert(pos, type);
-       InsetTable tmp(pos, p);
-       insetList_.push_back(tmp);
+       for (const_iterator it = begin(); it != end(); ++it) {  
+               MathInset * p = it->nucleus();
+               if (!p)
+                       continue;
+               if (MathScriptInset const * q = asScript(it)) {
+                       q->write(p, wi);
+                       ++it;
+               } else {
+                       p->write(wi);
+               }
+       }
 }
 
 
-MathedInset * MathedArray::getInset(int pos) 
+void MathArray::writeNormal(ostream & os) const
 {
-       InsetList::const_iterator cit = insetList_.begin();
-       InsetList::const_iterator end = insetList_.end();
-       for (; cit != end; ++cit) {
-               if ((*cit).pos == pos)
-                       return (*cit).inset;
+       for (const_iterator it = begin(); it != end(); ++it) {  
+               MathInset * p = it->nucleus();
+               if (!p)
+                       continue;
+               if (MathScriptInset const * q = asScript(it)) {
+                       q->writeNormal(p, os);
+                       ++it;
+               } else {
+                       p->writeNormal(os);
+               }
        }
-       // not found
-       return 0;
-       // We would really like to throw an exception instead... (Lgb)
-       // throw inset_not_found();
 }
 
-#else
-void MathedArray::raw_pointer_insert(void * p, int pos)
+
+void MathArray::validate(LaTeXFeatures & features) const
 {
-       my_memcpy(&bf_[pos], &p, sizeof(p));
+       for (const_iterator it = begin(); it != end(); ++it)
+               it->nucleus()->validate(features);
 }
-#endif
 
 
-void MathedArray::strange_copy(MathedArray * dest, int dpos,
-                               int spos, int len)
-{
-       my_memcpy(&dest->bf_[dpos], &bf_[spos], len);
+void MathArray::pop_back()
+{      
+       if (!size()) {
+               lyxerr << "pop_back from empty array!\n";
+               return;
+       }
+       bf_.pop_back();
 }
 
 
-byte MathedArray::operator[](int i) const
+MathArray::const_iterator MathArray::begin() const
 {
-       return bf_[i];
+       return bf_.begin();
 }
 
 
-byte & MathedArray::operator[](int i)
+MathArray::const_iterator MathArray::end() const
 {
-       return bf_[i];
+       return bf_.end();
 }
 
 
-void MathedArray::dump2(ostream & os) const
+MathArray::iterator MathArray::begin()
 {
-       buffer_type::const_iterator cit = bf_.begin();
-       buffer_type::const_iterator end = bf_.end();
-       for (; cit != end; ++cit) {
-               os << (*cit);
-       }
-       os << endl;
+       return bf_.begin();
 }
 
 
-void MathedArray::dump(ostream & os) const
+MathArray::iterator MathArray::end()
 {
-       MathedIter it( const_cast<MathedArray*>(this) );
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       os << "<inset: " << inset << ">";
-               } 
-               else if (it.IsTab())
-                       os << "<tab>";
-               else if (it.IsCR())
-                       os << "<cr>";
-               else if (it.IsScript())
-                       os << "<script>";
-               else if (it.IsFont())
-                       os << "<font: " << int(it.at()) << ">";
-               else if (it.at() >= 32 && it.at() < 127)
-                       os << it.at();
-               else
-                       os << "<unknown: " << int(it.at()) << ">";
-               it.Next();
-       }
+       return bf_.end();
 }