* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: InnerDocumentView.java,v 1.2 2004-09-22 18:51:51 jsurfer Exp $
+ * $Id: InnerDocumentView.java,v 1.3 2006-10-21 23:13:53 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.ui.text.rules;
*
* @author Igor Malinin
*/
-public class InnerDocumentView extends AbstractDocument implements IDocumentView {
-
- /**
- * Implements ITextStore based on IDocument.
- */
- class TextStore implements ITextStore {
-
- /*
- * @see ITextStore#set
- */
- public void set(String txt) {
- try {
- parent.replace(range.offset, range.length, txt);
- } catch (BadLocationException x) {
- }
- }
-
- /*
- * @see ITextStore#replace
- */
- public void replace(int offset, int length, String txt) {
- try {
- parent.replace(range.offset + offset, length, txt);
- } catch (BadLocationException x) {
- }
- }
-
- /*
- * @see ITextStore#getLength
- */
- public int getLength() {
- return range.length;
- }
-
- /*
- * @see ITextStore#get
- */
- public String get(int offset, int length) {
- try {
- return parent.get(range.offset + offset, length);
- } catch (BadLocationException x) {
- }
-
- return null;
- }
-
- /*
- * @see ITextStore#get
- */
- public char get(int offset) {
- try {
- return parent.getChar(range.offset + offset);
- } catch (BadLocationException x) {
- }
-
- return (char) 0;
- }
- }
-
- /** The parent document */
- IDocument parent;
-
- /** The section inside the parent document */
- ViewNode range;
-
- /**
- * Constructs inner view to parent document.
- *
- * @param parent
- * parent document
- * @param range
- */
- public InnerDocumentView(IDocument parent, ViewNode range) {
- this.parent = parent;
- this.range = range;
-
- setTextStore(new TextStore());
- setLineTracker(new DefaultLineTracker());
- getTracker().set(getStore().get(0, getLength()));
- completeInitialization();
- }
-
- /*
- * @see net.sourceforge.phpeclipse.text.rules.IDocumentView#getParentDocument()
- */
- public IDocument getParentDocument() {
- return parent;
- }
-
- /*
- * @see org.eclipse.jface.text.AbstractDocument#fireDocumentAboutToBeChanged(DocumentEvent)
- */
- protected void fireDocumentAboutToBeChanged(DocumentEvent event) {
- super.fireDocumentAboutToBeChanged(event);
- }
-
- /*
- * @see org.eclipse.jface.text.AbstractDocument#fireDocumentChanged(DocumentEvent)
- */
- protected void fireDocumentChanged(DocumentEvent event) {
- try {
- // TODO: move to a better place
- getTracker().replace(event.getOffset(), event.getLength(), event.getText());
- } catch (BadLocationException x) {
- }
-
- super.fireDocumentChanged(event);
- }
-
- /*
- * @see net.sf.wdte.text.rules.IDocumentView#getParentOffset(int)
- */
- public int getParentOffset(int localOffset) {
- return localOffset + range.offset;
- }
-
- /*
- * @see net.sf.wdte.text.rules.IDocumentView#getLocalOffset(int)
- */
- public int getLocalOffset(int parentOffset) {
- return parentOffset - range.offset;
- }
+public class InnerDocumentView extends AbstractDocument implements
+ IDocumentView {
+
+ /**
+ * Implements ITextStore based on IDocument.
+ */
+ class TextStore implements ITextStore {
+
+ /*
+ * @see ITextStore#set
+ */
+ public void set(String txt) {
+ try {
+ parent.replace(range.offset, range.length, txt);
+ } catch (BadLocationException x) {
+ }
+ }
+
+ /*
+ * @see ITextStore#replace
+ */
+ public void replace(int offset, int length, String txt) {
+ try {
+ parent.replace(range.offset + offset, length, txt);
+ } catch (BadLocationException x) {
+ }
+ }
+
+ /*
+ * @see ITextStore#getLength
+ */
+ public int getLength() {
+ return range.length;
+ }
+
+ /*
+ * @see ITextStore#get
+ */
+ public String get(int offset, int length) {
+ try {
+ return parent.get(range.offset + offset, length);
+ } catch (BadLocationException x) {
+ }
+
+ return null;
+ }
+
+ /*
+ * @see ITextStore#get
+ */
+ public char get(int offset) {
+ try {
+ return parent.getChar(range.offset + offset);
+ } catch (BadLocationException x) {
+ }
+
+ return (char) 0;
+ }
+ }
+
+ /** The parent document */
+ IDocument parent;
+
+ /** The section inside the parent document */
+ ViewNode range;
+
+ /**
+ * Constructs inner view to parent document.
+ *
+ * @param parent
+ * parent document
+ * @param range
+ */
+ public InnerDocumentView(IDocument parent, ViewNode range) {
+ this.parent = parent;
+ this.range = range;
+
+ setTextStore(new TextStore());
+ setLineTracker(new DefaultLineTracker());
+ getTracker().set(getStore().get(0, getLength()));
+ completeInitialization();
+ }
+
+ /*
+ * @see net.sourceforge.phpeclipse.text.rules.IDocumentView#getParentDocument()
+ */
+ public IDocument getParentDocument() {
+ return parent;
+ }
+
+ /*
+ * @see org.eclipse.jface.text.AbstractDocument#fireDocumentAboutToBeChanged(DocumentEvent)
+ */
+ protected void fireDocumentAboutToBeChanged(DocumentEvent event) {
+ super.fireDocumentAboutToBeChanged(event);
+ }
+
+ /*
+ * @see org.eclipse.jface.text.AbstractDocument#fireDocumentChanged(DocumentEvent)
+ */
+ protected void fireDocumentChanged(DocumentEvent event) {
+ try {
+ // TODO: move to a better place
+ getTracker().replace(event.getOffset(), event.getLength(),
+ event.getText());
+ } catch (BadLocationException x) {
+ }
+
+ super.fireDocumentChanged(event);
+ }
+
+ /*
+ * @see net.sf.wdte.text.rules.IDocumentView#getParentOffset(int)
+ */
+ public int getParentOffset(int localOffset) {
+ return localOffset + range.offset;
+ }
+
+ /*
+ * @see net.sf.wdte.text.rules.IDocumentView#getLocalOffset(int)
+ */
+ public int getLocalOffset(int parentOffset) {
+ return parentOffset - range.offset;
+ }
}
\ No newline at end of file