]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/array.C
fix pullArg when pressing <Delete> at the end of an cell
[lyx.git] / src / mathed / array.C
index eba96ab49546616a7ac21e63d35352959502626b..a15ec82dedc3a38db7b14c4cb9c65aeb5c1070e8 100644 (file)
 
-#include <config.h>
-
 #ifdef __GNUG__
 #pragma implementation
 #endif
 
-#include "array.h"
-#include "math_iter.h"
 #include "math_inset.h"
+#include "debug.h"
+#include "array.h"
+#include "math_scriptinset.h"
+#include "math_parser.h"
+#include "mathed/support.h"
+
+using std::ostream;
+using std::endl;
+
+MathArray::MathArray()
+{}
 
-// Is this still needed? (Lgb)
-static inline
-void * my_memcpy(void * ps_in, void const * pt_in, size_t n)
+
+MathArray::~MathArray()
 {
-       char * ps = static_cast<char *>(ps_in);
-       char const * pt = static_cast<char const *>(pt_in);
-       while (n--) *ps++ = *pt++;
-       return ps_in;
+       for (int pos = 0; pos < size(); next(pos)) 
+               if (isInset(pos)) 
+                       delete nextInset(pos);
 }
 
 
-MathedArray::MathedArray()
-       : bf_(1, '\0'), last_(0)
-{}
-
+MathArray::MathArray(MathArray const & array)
+       : bf_(array.bf_)
+{
+       for (int pos = 0; pos < size(); next(pos)) 
+               if (isInset(pos)) 
+                       replace(pos, nextInset(pos)->clone());
+}
 
-MathedArray::~MathedArray()
+MathArray::MathArray(MathArray const & array, int from, int to)
+       : bf_(array.bf_.begin() + from, array.bf_.begin() + to)
 {
-       // 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 (int pos = 0; pos < size(); next(pos)) 
+               if (isInset(pos)) 
+                       replace(pos, nextInset(pos)->clone());
 }
 
 
-MathedArray::MathedArray(MathedArray const & array)
+bool MathArray::next(int & pos) 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')
+       if (pos >= size() - 1)
+               return false;
 
-       // shallow copy
-       bf_   = array.bf_;
-       last_ = array.last_;
+       pos += item_size(pos);
+       return true;
+}
 
-       // deep copy
-       // we'll not yet get exeption safety
-       MathedIter it(this);
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       inset = inset->Clone();
-                       raw_pointer_insert(inset, it.getPos() + 1, sizeof(inset));
-               }
-               it.Next();
-       }
+
+bool MathArray::prev(int & pos) const
+{
+       if (pos == 0)
+               return false;
+
+       pos -= item_size(pos - 1);
+       return true;
 }
 
 
-MathedArray & MathedArray::operator=(MathedArray const & array)
+bool MathArray::last(int & pos) const
 {
-       MathedArray tmp(array);
-       swap(tmp);
-       return *this;
+       pos = bf_.size();
+       return prev(pos);
 }
 
-void MathedArray::clear()
+
+int MathArray::item_size(int pos) const
 {
-       last_ = 0;
-       bf_.resize(1);
-       bf_[0] = 0;
+       return 2 + (isInset(pos) ? sizeof(MathInset*) : 1);
 }
+               
+
 
-void MathedArray::swap(MathedArray & array)
+void MathArray::substitute(MathMacro const & m)
 {
-       if (this != &array) {
-               bf_.swap(array.bf_);
-               std::swap(last_, array.last_);
+       MathArray tmp;
+       for (int pos = 0; pos < size(); next(pos)) {
+               if (isInset(pos)) 
+                       nextInset(pos)->substitute(tmp, m);
+               else 
+                       tmp.push_back(GetChar(pos), GetCode(pos));
        }
+       swap(tmp);
 }
 
 
-MathedArray::iterator MathedArray::begin() 
+MathArray & MathArray::operator=(MathArray const & array)
 {
-       return bf_.begin();
+       MathArray tmp(array);
+       swap(tmp);
+       return *this;
 }
 
 
-MathedArray::iterator MathedArray::end() 
+MathInset * MathArray::nextInset(int pos) const
 {
-       return bf_.end();
+       if (!isInset(pos))
+               return 0;
+       MathInset * p;
+       memcpy(&p, &bf_[0] + pos + 1, sizeof(p));
+       return p;
 }
 
-
-MathedArray::const_iterator MathedArray::begin() const
+MathInset * MathArray::prevInset(int pos) const
 {
-       return bf_.begin();
+       if (!pos)
+               return 0;
+       prev(pos);
+       return nextInset(pos);
 }
 
+unsigned char MathArray::GetChar(int pos) const
+{
+       return pos < size() ? bf_[pos + 1] : '\0';
+}
 
-MathedArray::const_iterator MathedArray::end() const
+string MathArray::GetString(int & pos) const
 {
-       return bf_.end();
+       string s;
+       if (isInset(pos))
+               return s;
+
+       MathTextCodes const fcode = GetCode(pos);
+       do {
+               s += GetChar(pos);
+               next(pos);
+       } while (pos < size() && !isInset(pos) && GetCode(pos) == fcode);
+
+       return s;
 }
 
+MathTextCodes MathArray::GetCode(int pos) const
+{
+       return pos < size() ? MathTextCodes(bf_[pos]) : LM_TC_MIN;
+}
 
-int MathedArray::empty() const
+void MathArray::setCode(int pos, MathTextCodes t)
 {
-       return (last_ == 0);
+       if (pos > size() || isInset(pos))
+               return;
+       bf_[pos] = t;
+       bf_[pos + 2] = t;
 }
-   
 
-int MathedArray::last() const
+void MathArray::insert(int pos, MathInset * p)
 {
-       return last_;
+       bf_.insert(bf_.begin() + pos, 2 + sizeof(p), LM_TC_INSET);
+       memcpy(&bf_[pos + 1], &p, sizeof(p));
 }
 
 
-void MathedArray::last(int l)
+void MathArray::replace(int pos, MathInset * p)
 {
-       last_ = l;
+       memcpy(&bf_[pos + 1], &p, sizeof(p));
 }
 
-
-void MathedArray::need_size(int needed)
+void MathArray::insert(int pos, unsigned char b, MathTextCodes t)
 {
-       if (needed >= static_cast<int>(bf_.size()))
-               resize(needed);
+       bf_.insert(bf_.begin() + pos, 3, t);
+       bf_[pos + 1] = b;
 }
 
 
-void MathedArray::resize(int newsize)
+void MathArray::insert(int pos, MathArray const & array)
 {
-       // still a bit smelly...
-       ++newsize;
-       bf_.resize(newsize + 1);
-       if (last_ >= newsize)
-               last_ = newsize - 1;
-       bf_[last_] = 0;
+       bf_.insert(bf_.begin() + pos, array.bf_.begin(), array.bf_.end());
+       for (int p = pos; p < pos + array.size(); next(p)) 
+               if (isInset(p)) 
+                       replace(p, nextInset(p)->clone());
 }
 
 
-void MathedArray::move(int p, int shift)
+void MathArray::push_back(MathInset * p)
+{      
+       insert(size(), p);
+}
+
+void MathArray::push_back(unsigned char b, MathTextCodes c)
 {
-       if (p <= last_) {
-               need_size(last_ + shift);
-               memmove(&bf_[p + shift], &bf_[p], last_ - p);
-               last_ += shift;
-               bf_[last_] = 0;
-       }
+       insert(size(), b, c);
+}
+
+void MathArray::push_back(MathArray const & array)
+{
+       insert(size(), array);
 }
 
 
 
-void MathedArray::shrink(int pos1, int pos2)
+void MathArray::clear()
 {
-       if (pos1 == 0 && pos2 >= last())        
-               return;
+       bf_.clear();
+}
 
-       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;
+void MathArray::swap(MathArray & array)
+{
+       if (this != &array) 
+               bf_.swap(array.bf_);
+}
 
-       int dx = pos2 - pos1;
-       MathedArray a;
-       a.resize(dx + 1);
-       strange_copy(&a, (fc) ? 1 : 0, pos1, dx);
-       if (fc) {
-               a[0] = fc;
-               ++dx;
-       }
-       a.last(dx);
-       a[dx] = '\0';
 
-       MathedIter it(&a);
-       it.Reset();
+bool MathArray::empty() const
+{
+       return bf_.empty();
+}
+   
 
-       while (it.OK()) {
-               if (it.IsInset()) {
-                       MathedInset * inset = it.GetInset();
-                       inset = inset->Clone();
-                       a.raw_pointer_insert(inset, it.getPos() + 1, sizeof(inset));
-               }
-               it.Next();
-       }
-       swap(a);
+int MathArray::size() const
+{
+       return bf_.size();
 }
 
 
-#if 0
-void MathedArray::insert(MathedArray::iterator pos,
-                        MathedArray::const_iterator beg,
-                        MathedArray::const_iterator end)
+void MathArray::erase()
 {
-       bf_.insert(pos, beg, end);
-       last_ = bf_.size() - 1;
+       erase(0, size());
 }
-#else
-void MathedArray::merge(MathedArray const & a, int p)
+
+
+void MathArray::erase(int pos)
 {
-       my_memcpy(&bf_[p], &a.bf_[0], a.last());
+       if (pos < static_cast<int>(bf_.size()))
+               erase(pos, pos + item_size(pos));
 }
-#endif
 
 
-void MathedArray::raw_pointer_copy(MathedInset ** p, int pos) const
+void MathArray::erase(int pos1, int pos2)
 {
-       my_memcpy(p, &bf_[pos], sizeof(MathedInset*));
+       bf_.erase(bf_.begin() + pos1, bf_.begin() + pos2);
 }
 
 
-#if 0
-void MathedArray::insertInset(int pos, MathedInset * p, int type)
+bool MathArray::isInset(int pos) const
 {
-       //bf_.insert(pos, type);
-       InsetTable tmp(pos, p);
-       insetList_.push_back(tmp);
+       if (pos >= size())
+               return false;
+       return MathIsInset(static_cast<MathTextCodes>(bf_[pos]));
 }
 
 
-MathedInset * MathedArray::getInset(int pos) 
+MathInset * MathArray::back_inset() const
 {
-       InsetList::const_iterator cit = insetList_.begin();
-       InsetList::const_iterator end = insetList_.end();
-       for (; cit != end; ++cit) {
-               if ((*cit).pos == pos)
-                       return (*cit).inset;
+       if (!empty()) {
+               int pos = size();
+               prev(pos);
+               if (isInset(pos))
+                       return nextInset(pos);
        }
-       // 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, int len)
+
+void MathArray::dump2(ostream & os) const
 {
-       my_memcpy(&bf_[pos], &p, len);
+       for (buffer_type::const_iterator it = bf_.begin(); it != bf_.end(); ++it)
+               os << int(*it) << ' ';
+       os << endl;
 }
-#endif
 
 
-void MathedArray::strange_copy(MathedArray * dest, int dpos,
-                               int spos, int len)
+
+void MathArray::dump(ostream & os) const
 {
-       my_memcpy(&dest->bf_[dpos], &bf_[spos], len);
+       for (int pos = 0; pos < size(); next(pos)) {
+               if (isInset(pos)) 
+                       os << "<inset: " << nextInset(pos) << ">";
+               else 
+                       os << "<" << int(bf_[pos]) << " " << int(bf_[pos+1]) << ">";
+       }
 }
 
 
-byte MathedArray::operator[](int i) const
+std::ostream & operator<<(std::ostream & os, MathArray const & ar)
 {
-       return bf_[i];
+       ar.dump2(os);
+       return os;
 }
 
 
-byte & MathedArray::operator[](int i)
+void MathArray::Write(ostream & os, bool fragile) const
 {
-       return bf_[i];
+       if (empty())
+               return;
+
+       int brace = 0;
+       
+       for (int pos = 0; pos < size(); next(pos)) {
+               if (isInset(pos)) {
+
+                       nextInset(pos)->Write(os, fragile);
+
+               } else {
+
+                       MathTextCodes fcode = GetCode(pos);
+                       unsigned char c = GetChar(pos);
+
+                       if (MathIsSymbol(fcode)) {
+                               latexkeys const * l = lm_get_key_by_id(c, LM_TK_SYM);
+
+                               if (l == 0) {
+                                       l = lm_get_key_by_id(c, LM_TK_BIGSYM);
+                               }
+
+                               if (l) {
+                                       os << '\\' << l->name << ' ';
+                               } else {
+                                       lyxerr << "Could not find the LaTeX name for  " << c << " and fcode " << fcode << "!" << std::endl;
+                               }
+                       } else {
+                               if (fcode >= LM_TC_RM && fcode <= LM_TC_TEXTRM) 
+                                       os << '\\' << math_font_name[fcode - LM_TC_RM] << '{';
+
+                               // Is there a standard logical XOR?
+                               if ((fcode == LM_TC_TEX && c != '{' && c != '}') ||
+                                               (fcode == LM_TC_SPECIAL))
+                                       os << '\\';
+                               else {
+                                       if (c == '{')
+                                               ++brace;
+                                       if (c == '}')
+                                               --brace;
+                               }
+                               if (c == '}' && fcode == LM_TC_TEX && brace < 0) 
+                                       lyxerr <<"Math warning: Unexpected closing brace.\n";
+                               else           
+                                       os << c;
+                       }
+
+                       if (fcode >= LM_TC_RM && fcode <= LM_TC_TEXTRM)
+                               os << '}';
+                       
+               }
+       }
+
+       if (brace > 0)
+               os << string(brace, '}');
 }
+
+
+void MathArray::WriteNormal(ostream & os) const
+{
+       if (empty()) {
+               os << "[par] ";
+               return;
+       }
+
+       Write(os, true);
+}
+
+
+void MathArray::Validate(LaTeXFeatures & features) const
+{
+       for (int pos = 0; pos < size(); next(pos)) 
+               if (isInset(pos)) 
+                       nextInset(pos)->Validate(features);
+}
+