Mercurial > projects > dwt-addons
diff dwtx/jface/text/ISlaveDocumentManager.d @ 129:eb30df5ca28b
Added JFace Text sources
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sat, 23 Aug 2008 19:10:48 +0200 |
parents | |
children | c4fb132a086c |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dwtx/jface/text/ISlaveDocumentManager.d Sat Aug 23 19:10:48 2008 +0200 @@ -0,0 +1,107 @@ +/******************************************************************************* + * Copyright (c) 2000, 2005 IBM Corporation and others. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + * Port to the D programming language: + * Frank Benoit <benoit@tionex.de> + *******************************************************************************/ + +module dwtx.jface.text.ISlaveDocumentManager; + +import dwt.dwthelper.utils; + +/** + * Slave documents are documents whose contents is defined in terms of a master + * document. Thus, slave documents usually reflect a projection of the master document. + * Slave documents are causally connected to the master document. This means, changes + * of the master document have immediate effect on the slave document and vice versa. + * <p> + * A slave document manager creates slave documents for given master documents, manages the + * life cycle of the slave documents, and keeps track of the information flow between + * master and slave documents. The slave document manager defines the construction rules of the + * slave documents in terms of the master document.</p> + * <p> +* In order to provided backward compatibility for clients of <code>ISlaveDocumentManager</code>, extension + * interfaces are used to provide a means of evolution. The following extension interfaces + * exist: + * <ul> + * <li> {@link dwtx.jface.text.ISlaveDocumentManagerExtension} since version 3.0 extending the protocol + * with an access to all managed slave document for a given master document. </li> + * </ul> + * </p> + * + * @see dwtx.jface.text.IDocument + * @since 2.1 + */ +public interface ISlaveDocumentManager { + + /** + * Creates a new slave document for the given master document. The slave document + * is causally connected to its master document until <code>freeSlaveDocument</code> + * is called. The connection between the newly created slave document and the master + * document is managed by this slave document manager. + * + * @param master the master document + * @return the newly created slave document + * @see #freeSlaveDocument(IDocument) + */ + IDocument createSlaveDocument(IDocument master); + + /** + * Frees the given slave document. If the given document is not a slave document known + * to this slave document manager, this call does not have any effect. A slave + * document is known to this slave document manager if it has been created by + * this manager using <code>createSlaveDocument</code>. + * + * @param slave the slave document to be freed + * @see #createSlaveDocument(IDocument) + */ + void freeSlaveDocument(IDocument slave); + + /** + * Creates a new document information mapping between the given slave document and + * its master document. Returns <code>null</code> if the given document is unknown + * to this slave document manager. + * + * @param slave the slave document + * @return a document information mapping between the slave document and its master document or + * <code>null</code> + */ + IDocumentInformationMapping createMasterSlaveMapping(IDocument slave); + + /** + * Returns the master document of the given slave document or <code>null</code> if the + * given document is unknown to this slave document manager. + * + * @param slave the slave document + * @return the master document of the given slave document or <code>null</code> + */ + IDocument getMasterDocument(IDocument slave); + + /** + * Returns whether the given document is a slave document known to this slave document manager. A slave document + * is known to this slave document manager, if the document has been created by this manager. + * + * @param document the document to be checked whether it is a slave document known to this manager + * @return <code>true</code> if the document is a slave document, <code>false</code> otherwise + */ + bool isSlaveDocument(IDocument document); + + /** + * Sets the given slave document's auto expand mode. In auto expand mode, a + * slave document is automatically adapted to reflect all changes applied to it's master document. + * Assume a master document contains 30 lines and the slave is defined to contain the lines 11-20. + * In auto expand mode, when the master document is changed at line 8, the slave document is expanded + * to contain the lines 8-20.<p> + * This call is without effect if the given document is unknown to this slave document manager. + * + * @param slave the slave whose auto expand mode should be set + * @param autoExpand <code>true</code> for auto expand, <code>false</code> otherwise + */ + void setAutoExpandMode(IDocument slave, bool autoExpand); +}