X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fparagraph_pimpl.C;h=6e3c63cb5538af80d8be44c7e7ab40cbe96428db;hb=e94889a041628203c50b66b9a4add63210de6928;hp=abe2ece5b771918520f64a84ac6b7619c2345805;hpb=260c7f3187a7dd392888b1d1eea513abffd8f2f7;p=lyx.git

diff --git a/src/paragraph_pimpl.C b/src/paragraph_pimpl.C
index abe2ece5b7..6e3c63cb55 100644
--- a/src/paragraph_pimpl.C
+++ b/src/paragraph_pimpl.C
@@ -1,38 +1,43 @@
-/* This file is part of
- * ======================================================
+/**
+ * \file paragraph_pimpl.C
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
  *
- *           LyX, The Document Processor
+ * \author Lars Gullik Bjønnes
+ * \author Jean-Marc Lasgouttes
+ * \author John Levon
+ * \author André Pönitz
  *
- *           Copyright 1995 Matthias Ettrich
- *           Copyright 1995-2001 The LyX Team.
- *
- * ====================================================== */
+ * Full author contact details are available in file CREDITS.
+ */
 
 #include <config.h>
 
-#ifdef __GNUG__
-#pragma implementation
-#endif
-
 #include "paragraph_pimpl.h"
-#include "LaTeXFeatures.h"
-#include "texrow.h"
-#include "language.h"
+#include "paragraph.h"
+
 #include "bufferparams.h"
+#include "debug.h"
 #include "encoding.h"
+#include "language.h"
+#include "LaTeXFeatures.h"
+#include "LColor.h"
+#include "lyxlength.h"
 #include "lyxrc.h"
-#include "debug.h"
+#include "outputparams.h"
+#include "texrow.h"
 
-#include "support/LAssert.h"
+#include <boost/next_prior.hpp>
 
 using lyx::pos_type;
+
 using std::endl;
-using std::ostream;
 using std::upper_bound;
 using std::lower_bound;
+using std::string;
+using std::ostream;
+
 
-// Initialize static member.
-ShareContainer<LyXFont> Paragraph::Pimpl::FontTable::container;
 // Initialization of the counter for the paragraph id's,
 unsigned int Paragraph::Pimpl::paragraph_id = 0;
 
@@ -64,70 +69,228 @@ Paragraph::Pimpl::Pimpl(Paragraph * owner)
 }
 
 
-Paragraph::Pimpl::Pimpl(Pimpl const & p, Paragraph * owner, bool same_ids)
+Paragraph::Pimpl::Pimpl(Pimpl const & p, Paragraph * owner)
 	: params(p.params), owner_(owner)
 {
 	inset_owner = p.inset_owner;
-	text = p.text;
 	fontlist = p.fontlist;
-	if (same_ids)
-		id_ = p.id_;
-	else
-		id_ = paragraph_id++;
+	id_ = paragraph_id++;
+
+	if (p.tracking())
+		changes_.reset(new Changes(*p.changes_.get()));
 }
 
 
-void Paragraph::Pimpl::clear()
+void Paragraph::Pimpl::setContentsFromPar(Paragraph const & par)
 {
-	text.clear();
+	owner_->text_ = par.text_;
+	if (par.pimpl_->tracking()) {
+		changes_.reset(new Changes(*(par.pimpl_->changes_.get())));
+	}
 }
 
 
-void Paragraph::Pimpl::setContentsFromPar(Paragraph const * par)
+void Paragraph::Pimpl::trackChanges(Change::Type type)
 {
-	lyx::Assert(par);
-	text = par->pimpl_->text;
+	if (tracking()) {
+		lyxerr[Debug::CHANGES] << "already tracking for par " << id_ << endl;
+		return;
+	}
+
+	lyxerr[Debug::CHANGES] << "track changes for par "
+		<< id_ << " type " << type << endl;
+	changes_.reset(new Changes(type));
+	changes_->set(type, 0, size() + 1);
 }
 
 
-Paragraph::value_type Paragraph::Pimpl::getChar(pos_type pos) const
+void Paragraph::Pimpl::untrackChanges()
 {
-	// This is in the critical path for loading!
-	pos_type const siz = size();
-	lyx::Assert(pos <= siz);
-	// This is stronger, and I belive that this is the assertion
-	// that we should really use. (Lgb)
-	//Assert(pos < size());
-
-	// Then this has no meaning. (Lgb)
-	if (!siz || pos == siz)
-		return '\0';
-
-	return text[pos];
+	changes_.reset(0);
+}
+
+
+void Paragraph::Pimpl::cleanChanges(Paragraph::ChangeTracking ct)
+{
+	// if the paragraph was not tracked and we don't know the buffer's
+	// change tracking state, we do nothing
+	if ((ct == Paragraph::trackingUnknown) && !tracking())
+		return;
+
+	// untrack everything if we are in a buffer where ct is disabled
+	else if (ct == Paragraph::trackingOff) {
+		untrackChanges();
+		return;
+	}
+	
+	// in a buffer where ct is enabled, set everything to INSERTED
+	changes_.reset(new Changes(Change::INSERTED));
+	changes_->set(Change::INSERTED, 0, size() + 1);
+}
+
+
+bool Paragraph::Pimpl::isChanged(pos_type start, pos_type end) const
+{
+	if (!tracking())
+		return false;
+
+	return changes_->isChange(start, end);
+}
+
+
+bool Paragraph::Pimpl::isChangeEdited(pos_type start, pos_type end) const
+{
+	if (!tracking())
+		return false;
+
+	return changes_->isChangeEdited(start, end);
+}
+
+
+void Paragraph::Pimpl::setChangeType(pos_type pos, Change::Type type)
+{
+	if (!tracking())
+		return;
+
+	changes_->set(type, pos);
+}
+
+
+void Paragraph::Pimpl::setChange(pos_type pos, Change change)
+{
+	if (!tracking())
+		return;
+
+	changes_->set(change, pos);
+}
+
+
+Change const Paragraph::Pimpl::lookupChange(pos_type pos) const
+{
+	if (!tracking())
+		return Change(Change::UNCHANGED);
+
+	return changes_->lookup(pos);
+}
+
+
+void Paragraph::Pimpl::markErased(bool erased)
+{
+	BOOST_ASSERT(tracking());
+
+	if (erased) {
+		erase(0, size());
+	} else {
+		for (pos_type i = 0; i < size(); ++i) {
+			changes_->set(Change::UNCHANGED, i);
+			if (owner_->isInset(i))
+				owner_->getInset(i)->markErased(false);
+		}
+	}
+}
+
+
+void Paragraph::Pimpl::acceptChange(pos_type start, pos_type end)
+{
+	if (!tracking())
+		return;
+
+	if (!size()) {
+		changes_.reset(new Changes(Change::UNCHANGED));
+		return;
+	}
+
+	lyxerr[Debug::CHANGES] << "acceptchange" << endl;
+	pos_type i = start;
+
+	for (; i < end; ++i) {
+		switch (lookupChange(i).type) {
+			case Change::UNCHANGED:
+				break;
+
+			case Change::INSERTED:
+				changes_->set(Change::UNCHANGED, i);
+				break;
+
+			case Change::DELETED:
+				// Suppress access to nonexistent
+				// "end-of-paragraph char":
+				if (i < size()) {
+					eraseIntern(i);
+					changes_->erase(i);
+					--end;
+					--i;
+				}
+				break;
+		}
+	}
+
+	lyxerr[Debug::CHANGES] << "endacceptchange" << endl;
+	changes_->reset(Change::UNCHANGED);
+}
+
+
+void Paragraph::Pimpl::rejectChange(pos_type start, pos_type end)
+{
+	if (!tracking())
+		return;
+
+	if (!size()) {
+		changes_.reset(new Changes(Change::UNCHANGED));
+		return;
+	}
+
+	pos_type i = start;
+
+	for (; i < end; ++i) {
+		switch (lookupChange(i).type) {
+			case Change::UNCHANGED:
+				break;
+
+			case Change::INSERTED:
+				if (i < size()) {
+					eraseIntern(i);
+					changes_->erase(i);
+					--end;
+					--i;
+				}
+				break;
+
+			case Change::DELETED:
+				changes_->set(Change::UNCHANGED, i);
+				// No real char at position size():
+				if (i < size() && owner_->isInset(i))
+					owner_->getInset(i)->markErased(false);
+				break;
+		}
+	}
+	changes_->reset(Change::UNCHANGED);
 }
 
 
-void Paragraph::Pimpl::setChar(pos_type pos, value_type c)
+Paragraph::value_type Paragraph::Pimpl::getChar(pos_type pos) const
 {
-	text[pos] = c;
+	return owner_->getChar(pos);
 }
 
 
-void Paragraph::Pimpl::insertChar(pos_type pos, value_type c,
-				  LyXFont const & font)
+void Paragraph::Pimpl::insertChar(pos_type pos, value_type c, Change change)
 {
-	lyx::Assert(pos <= size());
+	BOOST_ASSERT(pos <= size());
+
+	if (tracking()) {
+		changes_->record(change, pos);
+	}
 
 	// This is actually very common when parsing buffers (and
 	// maybe inserting ascii text)
 	if (pos == size()) {
 		// when appending characters, no need to update tables
-		text.push_back(c);
-		owner_->setFont(pos, font);
+		owner_->text_.push_back(c);
 		return;
 	}
 
-	text.insert(text.begin() + pos, c);
+	owner_->text_.insert(owner_->text_.begin() + pos, c);
 
 	// Update the font table.
 	FontTable search_font(pos, LyXFont());
@@ -141,38 +304,31 @@ void Paragraph::Pimpl::insertChar(pos_type pos, value_type c,
 
 	// Update the insets
 	owner_->insetlist.increasePosAfterPos(pos);
-	
-	owner_->setFont(pos, font);
 }
 
 
 void Paragraph::Pimpl::insertInset(pos_type pos,
-				   Inset * inset, LyXFont const & font)
+				   InsetBase * inset, Change change)
 {
-	lyx::Assert(inset);
-	lyx::Assert(pos <= size());
+	BOOST_ASSERT(inset);
+	BOOST_ASSERT(pos <= size());
 
-	insertChar(pos, META_INSET, font);
-	lyx::Assert(text[pos] == META_INSET);
+	insertChar(pos, META_INSET, change);
+	BOOST_ASSERT(owner_->text_[pos] == META_INSET);
 
 	// Add a new entry in the insetlist.
 	owner_->insetlist.insert(inset, pos);
-	inset->parOwner(owner_);
-	
-	if (inset_owner)
-		inset->setOwner(inset_owner);
 }
 
 
-void Paragraph::Pimpl::erase(pos_type pos)
+void Paragraph::Pimpl::eraseIntern(pos_type pos)
 {
-	lyx::Assert(pos < size());
 	// if it is an inset, delete the inset entry
-	if (text[pos] == Paragraph::META_INSET) {
+	if (owner_->text_[pos] == Paragraph::META_INSET) {
 		owner_->insetlist.erase(pos);
 	}
 
-	text.erase(text.begin() + pos);
+	owner_->text_.erase(owner_->text_.begin() + pos);
 
 	// Erase entries in the tables.
 	FontTable search_font(pos, LyXFont());
@@ -209,19 +365,58 @@ void Paragraph::Pimpl::erase(pos_type pos)
 }
 
 
+bool Paragraph::Pimpl::erase(pos_type pos)
+{
+	BOOST_ASSERT(pos <= size());
+
+	if (tracking()) {
+		Change::Type changetype(changes_->lookup(pos).type);
+		changes_->record(Change(Change::DELETED), pos);
+
+		// only allow the actual removal if it was /new/ text
+		if (changetype != Change::INSERTED) {
+			if (pos < size() && owner_->isInset(pos))
+				owner_->getInset(pos)->markErased(true);
+			return false;
+		}
+	}
+
+	// Don't physically access nonexistent end-of-paragraph char
+	if (pos < size()) {
+		eraseIntern(pos);
+		return true;
+	}
+
+	return false;
+}
+
+
+int Paragraph::Pimpl::erase(pos_type start, pos_type end)
+{
+	pos_type i = start;
+	for (pos_type count = end - start; count; --count) {
+		if (!erase(i))
+			++i;
+	}
+	return end - i;
+}
+
+
 void Paragraph::Pimpl::simpleTeXBlanks(ostream & os, TexRow & texrow,
 				       pos_type const i,
-				       int & column, LyXFont const & font,
+				       unsigned int & column,
+				       LyXFont const & font,
 				       LyXLayout const & style)
 {
-	if (style.pass_thru) return;
+	if (style.pass_thru)
+		return;
+
 	if (column > lyxrc.ascii_linelen
 	    && i
 	    && getChar(i - 1) != ' '
 	    && (i < size() - 1)
 	    // same in FreeSpacing mode
-	    && !style.free_spacing
-		&& !owner_->isFreeSpacing()
+	    && !owner_->isFreeSpacing()
 	    // In typewriter mode, we want to avoid
 	    // ! . ? : at the end of a line
 	    && !(font.family() == LyXFont::TYPEWRITER_FAMILY
@@ -231,7 +426,7 @@ void Paragraph::Pimpl::simpleTeXBlanks(ostream & os, TexRow & texrow,
 		     || getChar(i - 1) == '!'))) {
 		os << '\n';
 		texrow.newline();
-		texrow.start(owner_, i + 1);
+		texrow.start(owner_->id(), i + 1);
 		column = 0;
 	} else if (style.free_spacing) {
 		os << '~';
@@ -251,7 +446,7 @@ bool Paragraph::Pimpl::isTextAt(string const & str, pos_type pos) const
 
 	// does the wanted text start at point?
 	for (string::size_type i = 0; i < str.length(); ++i) {
-		if (str[i] != text[pos + i])
+		if (str[i] != owner_->text_[pos + i])
 			return false;
 	}
 
@@ -269,41 +464,95 @@ bool Paragraph::Pimpl::isTextAt(string const & str, pos_type pos) const
 }
 
 
-void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const * buf,
+void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const & buf,
 					     BufferParams const & bparams,
 					     ostream & os,
 					     TexRow & texrow,
-					     bool moving_arg,
+					     OutputParams const & runparams,
 					     LyXFont & font,
 					     LyXFont & running_font,
 					     LyXFont & basefont,
+					     LyXFont const & outerfont,
 					     bool & open_font,
+					     Change::Type & running_change,
 					     LyXLayout const & style,
 					     pos_type & i,
-					     int & column,
+					     unsigned int & column,
 					     value_type const c)
 {
 	if (style.pass_thru) {
-		if (c != '\0') os << c;
+		if (c != Paragraph::META_INSET) {
+			if (c != '\0')
+				os << c;
+		} else {
+			owner_->getInset(i)->plaintext(buf, os, runparams);
+		}
 		return;
 	}
+
 	// Two major modes:  LaTeX or plain
 	// Handle here those cases common to both modes
 	// and then split to handle the two modes separately.
 	switch (c) {
 	case Paragraph::META_INSET: {
-		Inset * inset = owner_->getInset(i);
-		if (inset) {
-			bool close = false;
-			int const len = os.tellp();
-			//ostream::pos_type const len = os.tellp();
-			if ((inset->lyxCode() == Inset::GRAPHICS_CODE
-			     || inset->lyxCode() == Inset::MATH_CODE
-			     || inset->lyxCode() == Inset::URL_CODE)
-			    && running_font.isRightToLeft()) {
-				os << "\\L{";
-				close = true;
+		InsetBase * inset = owner_->getInset(i);
+
+		// FIXME: remove this check
+		if (!inset)
+			break;
+
+		// FIXME: move this to InsetNewline::latex
+		if (inset->lyxCode() == InsetBase::NEWLINE_CODE) {
+			// newlines are handled differently here than
+			// the default in simpleTeXSpecialChars().
+			if (!style.newline_allowed) {
+				os << '\n';
+			} else {
+				if (open_font) {
+					column += running_font.latexWriteEndChanges(os, basefont, basefont);
+					open_font = false;
+				}
+				basefont = owner_->getLayoutFont(bparams, outerfont);
+				running_font = basefont;
+
+				if (font.family() == LyXFont::TYPEWRITER_FAMILY)
+					os << '~';
+
+				if (runparams.moving_arg)
+					os << "\\protect ";
+
+				os << "\\\\\n";
 			}
+			texrow.newline();
+			texrow.start(owner_->id(), i + 1);
+			column = 0;
+			break;
+		}
+
+		// output change tracking marks only if desired,
+		// if dvipost is installed,
+		// and with dvi/ps (other formats don't work)
+		LaTeXFeatures features(buf, bparams, runparams);
+		bool const output = bparams.output_changes
+			&& runparams.flavor == OutputParams::LATEX
+			&& features.isAvailable("dvipost");
+
+		if (inset->canTrackChanges()) {
+			column += Changes::latexMarkChange(os, running_change,
+				Change::UNCHANGED, output);
+			running_change = Change::UNCHANGED;
+		}
+
+		bool close = false;
+		ostream::pos_type const len = os.tellp();
+
+		if ((inset->lyxCode() == InsetBase::GRAPHICS_CODE
+		     || inset->lyxCode() == InsetBase::MATH_CODE
+		     || inset->lyxCode() == InsetBase::URL_CODE)
+		    && running_font.isRightToLeft()) {
+			os << "\\L{";
+			close = true;
+		}
 
 #ifdef WITH_WARNINGS
 #warning Bug: we can have an empty font change here!
@@ -311,52 +560,34 @@ void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const * buf,
 // right now, which means stupid latex code like \textsf{}. AFAIK,
 // this does not harm dvi output. A minor bug, thus (JMarc)
 #endif
-			// some insets cannot be inside a font change command
-			if (open_font && inset->noFontChange()) {
-				column +=running_font.
-					latexWriteEndChanges(os,
-							     basefont,
-							     basefont);
-				open_font = false;
-				basefont = owner_->getLayoutFont(bparams);
-				running_font = basefont;
-			}
+		// some insets cannot be inside a font change command
+		if (open_font && inset->noFontChange()) {
+			column +=running_font.
+				latexWriteEndChanges(os,
+						     basefont,
+						     basefont);
+			open_font = false;
+			basefont = owner_->getLayoutFont(bparams, outerfont);
+			running_font = basefont;
+		}
 
-			int tmp = inset->latex(buf, os, moving_arg,
-					       style.free_spacing);
+		int tmp = inset->latex(buf, os, runparams);
 
-			if (close)
-				os << "}";
+		if (close)
+			os << '}';
 
-			if (tmp) {
-				for (int j = 0; j < tmp; ++j) {
-					texrow.newline();
-				}
-				texrow.start(owner_, i + 1);
-				column = 0;
-			} else {
-				column += int(os.tellp()) - len;
+		if (tmp) {
+			for (int j = 0; j < tmp; ++j) {
+				texrow.newline();
 			}
+			texrow.start(owner_->id(), i + 1);
+			column = 0;
+		} else {
+			column += os.tellp() - len;
 		}
 	}
 	break;
 
-	case Paragraph::META_NEWLINE:
-		if (open_font) {
-			column += running_font.latexWriteEndChanges(os,
-								    basefont,
-								    basefont);
-			open_font = false;
-		}
-		basefont = owner_->getLayoutFont(bparams);
-		running_font = basefont;
-		break;
-
-	case Paragraph::META_HFILL:
-		os << "\\hfill{}";
-		column += 7;
-		break;
-
 	default:
 		// And now for the special cases within each mode
 
@@ -372,9 +603,9 @@ void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const * buf,
 			if ((bparams.inputenc == "latin1" ||
 			     bparams.inputenc == "latin9") ||
 			    (bparams.inputenc == "auto" &&
-			     (font.language()->encoding()->LatexName()
+			     (font.language()->encoding()->latexName()
 			      == "latin1" ||
-			      font.language()->encoding()->LatexName()
+			      font.language()->encoding()->latexName()
 			      == "latin9"))) {
 				os << "\\ensuremath{"
 				   << c
@@ -468,7 +699,7 @@ void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const * buf,
 			column += 17;
 			break;
 
-		case '*': case '[': case ']':
+		case '*': case '[':
 			// avoid being mistaken for optional arguments
 			os << '{' << c << '}';
 			column += 2;
@@ -520,37 +751,12 @@ void Paragraph::Pimpl::simpleTeXSpecialChars(Buffer const * buf,
 }
 
 
-
-Paragraph * Paragraph::Pimpl::TeXDeeper(Buffer const * buf,
-					BufferParams const & bparams,
-					ostream & os, TexRow & texrow)
-{
-	lyxerr[Debug::LATEX] << "TeXDeeper...     " << this << endl;
-	Paragraph * par = owner_;
-
-	while (par && par->params().depth() == owner_->params().depth()) {
-		if (par->layout()->isEnvironment()) {
-			par = par->TeXEnvironment(buf, bparams,
-						  os, texrow);
-		} else {
-			par = par->TeXOnePar(buf, bparams,
-					     os, texrow, false);
-		}
-	}
-	lyxerr[Debug::LATEX] << "TeXDeeper...done " << par << endl;
-
-	return par;
-}
-
-
 void Paragraph::Pimpl::validate(LaTeXFeatures & features,
 				LyXLayout const & layout) const
 {
 	BufferParams const & bparams = features.bufferParams();
 
 	// check the params.
-	if (params.lineTop() || params.lineBottom())
-		features.require("lyxline");
 	if (!params.spacing().isDefault())
 		features.require("setspace");
 
@@ -591,9 +797,6 @@ void Paragraph::Pimpl::validate(LaTeXFeatures & features,
 		Language const * language = fcit->font().language();
 		if (language->babel() != doc_language->babel() &&
 		    language != ignore_language &&
-#ifdef INHERIT_LANGUAGE
-		    language != inherit_language &&
-#endif
 		    language != latex_language)
 		{
 			features.useLanguage(language);
@@ -606,13 +809,13 @@ void Paragraph::Pimpl::validate(LaTeXFeatures & features,
 		features.require("ParagraphLeftIndent");
 
 	// then the insets
-	InsetList::iterator icit = owner_->insetlist.begin();
-	InsetList::iterator iend = owner_->insetlist.end();
+	InsetList::const_iterator icit = owner_->insetlist.begin();
+	InsetList::const_iterator iend = owner_->insetlist.end();
 	for (; icit != iend; ++icit) {
-		if (icit.getInset()) {
-			icit.getInset()->validate(features);
+		if (icit->inset) {
+			icit->inset->validate(features);
 			if (layout.needprotect &&
-			    icit.getInset()->lyxCode() == Inset::FOOT_CODE)
+			    icit->inset->lyxCode() == InsetBase::FOOT_CODE)
 				features.require("NeedLyXFootnoteCode");
 		}
 	}
@@ -628,47 +831,3 @@ void Paragraph::Pimpl::validate(LaTeXFeatures & features,
 		}
 	}
 }
-
-
-Paragraph * Paragraph::Pimpl::getParFromID(int id) const
-{
-	InsetList::iterator cit = owner_->insetlist.begin();
-	InsetList::iterator lend = owner_->insetlist.end();
-	Paragraph * result;
-	for (; cit != lend; ++cit) {
-		if ((result = cit.getInset()->getParFromID(id)))
-			return result;
-	}
-	return 0;
-}
-
-
-LyXFont const Paragraph::Pimpl::realizeFont(LyXFont const & font,
-					    BufferParams const & bparams) const
-{
-	LyXFont tmpfont(font);
-
-	// check for environment font information
-	char par_depth = owner_->getDepth();
-	Paragraph const * par = owner_;
-	LyXTextClass const & tclass = bparams.getLyXTextClass();
-
-	while (par && par->getDepth() && !tmpfont.resolved()) {
-		par = par->outerHook();
-		if (par) {
-			tmpfont.realize(par->layout()->font
-#ifdef INHERIT_LANGUAGE
-					, bparams.language
-#endif
-					);
-			par_depth = par->getDepth();
-		}
-	}
-
-	tmpfont.realize(tclass.defaultfont()
-#ifdef INHERIT_LANGUAGE
-		, bparams.language
-#endif
-		);
-	return tmpfont;
-}