net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/text/rules/OuterDocumentView.java

   1 /*
   2  * Copyright (c) 2002-2004 Widespace, OU and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://solareclipse.sourceforge.net/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     Igor Malinin - initial contribution
  10  *
  11  * $Id: OuterDocumentView.java,v 1.2 2004-09-22 18:51:51 jsurfer Exp $
  12  */
  13
  14 package net.sourceforge.phpeclipse.ui.text.rules;
  15
  16 import java.util.Iterator;
  17 import java.util.List;
  18
  19 import org.eclipse.jface.text.AbstractDocument;
  20 import org.eclipse.jface.text.BadLocationException;
  21 import org.eclipse.jface.text.DefaultLineTracker;
  22 import org.eclipse.jface.text.DocumentEvent;
  23 import org.eclipse.jface.text.IDocument;
  24 import org.eclipse.jface.text.ITextStore;
  25
  26 /**
  27  * Outer view to parent document.
  28  *
  29  * @author Igor Malinin
  30  */
  31 public class OuterDocumentView extends AbstractDocument implements
  32                 IDocumentView {
  33
  34         /**
  35          * Implements ITextStore based on IDocument.
  36          */
  37         class TextStore implements ITextStore {
  38
  39                 /*
  40                  * @see ITextStore#set
  41                  */
  42                 public void set(String txt) {
  43                         try {
  44                                 parent.replace(0, parent.getLength(), txt);
  45                         } catch (BadLocationException x) {
  46                                 // cannot happen
  47                         }
  48                 }
  49
  50                 /*
  51                  * @see ITextStore#replace
  52                  */
  53                 public void replace(int offset, int length, String txt) {
  54                         try {
  55                                 int start = getParentOffset(offset);
  56                                 int end = getParentOffset(offset + length - 1) + 1;
  57
  58                                 parent.replace(start, end - start, txt);
  59                         } catch (BadLocationException x) {
  60                                 // ignored as surrounding document should have handled this
  61                         }
  62                 }
  63
  64                 /*
  65                  * @see ITextStore#getLength
  66                  */
  67                 public int getLength() {
  68                         int length = parent.getLength();
  69
  70                         Iterator i = ranges.iterator();
  71                         while (i.hasNext()) {
  72                                 length -= ((FlatNode) i.next()).length;
  73                         }
  74
  75                         return length;
  76                 }
  77
  78                 /*
  79                  * @see ITextStore#get
  80                  */
  81                 public String get(int offset, int length) {
  82                         StringBuffer buf = new StringBuffer(length);
  83
  84                         try {
  85                                 FlatNode range = null;
  86
  87                                 Iterator i = ranges.iterator();
  88                                 while (i.hasNext()) {
  89                                         range = (FlatNode) i.next();
  90
  91                                         if (offset < range.offset) {
  92                                                 break;
  93                                         }
  94
  95                                         offset += range.length;
  96
  97                                         range = null;
  98                                 }
  99
 100                                 int remainder = length - buf.length();
 101                                 while (remainder > 0) {
 102                                         if (range == null || offset + remainder < range.offset) {
 103                                                 buf.append(parent.get(offset, remainder));
 104                                                 break;
 105                                         }
 106
 107                                         buf.append(parent.get(offset, range.offset - offset));
 108                                         offset = range.offset + range.length;
 109                                         range = i.hasNext() ? (FlatNode) i.next() : null;
 110
 111                                         remainder = length - buf.length();
 112                                 }
 113                         } catch (BadLocationException x) {
 114                                 return null;
 115                         }
 116
 117                         return buf.toString();
 118                 }
 119
 120                 /*
 121                  * @see ITextStore#get
 122                  */
 123                 public char get(int offset) {
 124                         try {
 125                                 return parent.getChar(getParentOffset(offset));
 126                         } catch (BadLocationException x) {
 127                         }
 128
 129                         return (char) 0;
 130                 }
 131         }
 132
 133         /** The parent document */
 134         IDocument parent;
 135
 136         /** The section inside the parent document */
 137         List ranges;
 138
 139         /**
 140          * Constructs outer view to parent document.
 141          *
 142          * @param parent
 143          *            parent document
 144          */
 145         public OuterDocumentView(IDocument parent, List ranges) {
 146                 this.parent = parent;
 147                 this.ranges = ranges;
 148
 149                 setTextStore(new TextStore());
 150                 setLineTracker(new DefaultLineTracker());
 151                 int length = getLength();
 152                 if (length<0) {
 153                   length = 0;
 154                 }
 155                 getTracker().set(getStore().get(0, length));
 156
 157                 completeInitialization();
 158         }
 159
 160 //      public void addRange(Position range) {
 161 //              DocumentEvent event = new DocumentEvent(this,
 162 //                      getLocalOffset(range.offset), range.length, "");
 163 //              fireDocumentAboutToBeChanged(event);
 164 //              ranges.add(-getIndex(range) - 1, range);
 165 //              fireDocumentChanged(event);
 166 //      }
 167 //
 168 //      public void removeRange(Position range) {
 169 //              String text;
 170 //              try {
 171 //                      text = parent.get(range.offset, range.length);
 172 //              } catch (BadLocationException e) {
 173 //                      return;
 174 //              }
 175 //              DocumentEvent event = new DocumentEvent(this,
 176 //                      getLocalOffset(range.offset), 0, text);
 177 //              fireDocumentAboutToBeChanged(event);
 178 //              deleteRange(range);
 179 //              fireDocumentChanged(event);
 180 //      }
 181 //
 182 //      public void deleteRange(Position range) {
 183 //              ranges.remove(getIndex(range));
 184 //      }
 185 //
 186 //      private int getIndex(Position range) {
 187 //              return Collections.binarySearch(ranges, range, new Comparator() {
 188 //                      public int compare(Object o1, Object o2) {
 189 //                              int offset1 = ((Position) o1).offset;
 190 //                              int offset2 = ((Position) o2).offset;
 191 //
 192 //                              if (offset1 < offset2) return -1;
 193 //                              if (offset1 > offset2) return 1;
 194 //                              return 0;
 195 //                      }
 196 //              });
 197 //      }
 198
 199         /*
 200          * @see org.eclipse.jface.text.AbstractDocument#fireDocumentAboutToBeChanged(DocumentEvent)
 201          */
 202         protected void fireDocumentAboutToBeChanged(DocumentEvent event) {
 203                 super.fireDocumentAboutToBeChanged(event);
 204         }
 205
 206         /*
 207          * @see org.eclipse.jface.text.AbstractDocument#fireDocumentChanged(DocumentEvent)
 208          */
 209         protected void fireDocumentChanged(DocumentEvent event) {
 210                 try {
 211                         // TODO: move to a better place
 212                         getTracker().replace(event.getOffset(), event.getLength(),
 213                                         event.getText());
 214                 } catch (BadLocationException x) {
 215                 }
 216
 217                 super.fireDocumentChanged(event);
 218         }
 219
 220         /*
 221          * @see net.sourceforge.phpeclipse.text.rules.IDocumentView#getParentDocument()
 222          */
 223         public IDocument getParentDocument() {
 224                 return parent;
 225         }
 226
 227         /*
 228          * @see net.sourceforge.phpeclipse.text.rules.IDocumentView#getParentOffset(int)
 229          */
 230         public int getParentOffset(int localOffset) {
 231                 int offset = localOffset;
 232
 233                 Iterator i = ranges.iterator();
 234                 while (i.hasNext()) {
 235                         FlatNode range = (FlatNode) i.next();
 236
 237                         if (offset < range.offset) {
 238                                 break;
 239                         }
 240
 241                         offset += range.length;
 242                 }
 243
 244                 return offset;
 245         }
 246
 247         /*
 248          * @see net.sf.wdte.text.rules.IDocumentView#getLocalOffset(int)
 249          */
 250         public int getLocalOffset(int parentOffset) {
 251 //          Assert.isTrue(parentOffset>=0);
 252                 int localOffset = parentOffset;
 253
 254                 Iterator i = ranges.iterator();
 255                 while (i.hasNext()) {
 256                         FlatNode range = (FlatNode) i.next();
 257
 258                         if (parentOffset <= range.offset) {
 259                                 break;
 260                         }
 261
 262                         if (parentOffset <= range.offset + range.length) {
 263                                 localOffset -= parentOffset - range.offset;
 264                                 break;
 265                         }
 266
 267                         localOffset -= range.length;
 268                 }
 269                 // TODO jsurfer change start - check this
 270 //        if (localOffset<0) {
 271 //          return 0;
 272 //        }
 273         // jsurfer change end
 274                 return localOffset;
 275         }
 276 }