blob: e0cced15a9ddc7f6f2f0312eda324544a7a4a336 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2004 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.text.edits;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.BadPositionCategoryException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentListener;
import org.eclipse.jface.text.IDocumentPartitioner;
import org.eclipse.jface.text.IDocumentPartitioningListener;
import org.eclipse.jface.text.IPositionUpdater;
import org.eclipse.jface.text.IRegion;
import org.eclipse.jface.text.ITypedRegion;
import org.eclipse.jface.text.Position;
/* package */ class EditDocument implements IDocument {
private StringBuffer fBuffer;
public EditDocument(String content) {
fBuffer= new StringBuffer(content);
}
public void addDocumentListener(IDocumentListener listener) {
throw new UnsupportedOperationException();
}
public void addDocumentPartitioningListener(IDocumentPartitioningListener listener) {
throw new UnsupportedOperationException();
}
public void addPosition(Position position) throws BadLocationException {
throw new UnsupportedOperationException();
}
public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException {
throw new UnsupportedOperationException();
}
public void addPositionCategory(String category) {
throw new UnsupportedOperationException();
}
public void addPositionUpdater(IPositionUpdater updater) {
throw new UnsupportedOperationException();
}
public void addPrenotifiedDocumentListener(IDocumentListener documentAdapter) {
throw new UnsupportedOperationException();
}
public int computeIndexInCategory(String category, int offset) throws BadLocationException, BadPositionCategoryException {
throw new UnsupportedOperationException();
}
public int computeNumberOfLines(String text) {
throw new UnsupportedOperationException();
}
public ITypedRegion[] computePartitioning(int offset, int length) throws BadLocationException {
throw new UnsupportedOperationException();
}
public boolean containsPosition(String category, int offset, int length) {
throw new UnsupportedOperationException();
}
public boolean containsPositionCategory(String category) {
throw new UnsupportedOperationException();
}
public String get() {
return fBuffer.toString();
}
public String get(int offset, int length) throws BadLocationException {
char[] result= new char[length];
fBuffer.getChars(offset, offset + length, result, 0);
return new String(result);
}
public char getChar(int offset) throws BadLocationException {
throw new UnsupportedOperationException();
}
public String getContentType(int offset) throws BadLocationException {
throw new UnsupportedOperationException();
}
public IDocumentPartitioner getDocumentPartitioner() {
throw new UnsupportedOperationException();
}
public String[] getLegalContentTypes() {
throw new UnsupportedOperationException();
}
public String[] getLegalLineDelimiters() {
throw new UnsupportedOperationException();
}
public int getLength() {
return fBuffer.length();
}
public String getLineDelimiter(int line) throws BadLocationException {
throw new UnsupportedOperationException();
}
public IRegion getLineInformation(int line) throws BadLocationException {
throw new UnsupportedOperationException();
}
public IRegion getLineInformationOfOffset(int offset) throws BadLocationException {
throw new UnsupportedOperationException();
}
public int getLineLength(int line) throws BadLocationException {
throw new UnsupportedOperationException();
}
public int getLineOffset(int line) throws BadLocationException {
throw new UnsupportedOperationException();
}
public int getLineOfOffset(int offset) throws BadLocationException {
throw new UnsupportedOperationException();
}
public int getNumberOfLines() {
throw new UnsupportedOperationException();
}
public int getNumberOfLines(int offset, int length) throws BadLocationException {
throw new UnsupportedOperationException();
}
public ITypedRegion getPartition(int offset) throws BadLocationException {
throw new UnsupportedOperationException();
}
public String[] getPositionCategories() {
throw new UnsupportedOperationException();
}
public Position[] getPositions(String category) throws BadPositionCategoryException {
throw new UnsupportedOperationException();
}
public IPositionUpdater[] getPositionUpdaters() {
throw new UnsupportedOperationException();
}
public void insertPositionUpdater(IPositionUpdater updater, int index) {
throw new UnsupportedOperationException();
}
public void removeDocumentListener(IDocumentListener listener) {
throw new UnsupportedOperationException();
}
public void removeDocumentPartitioningListener(IDocumentPartitioningListener listener) {
throw new UnsupportedOperationException();
}
public void removePosition(Position position) {
throw new UnsupportedOperationException();
}
public void removePosition(String category, Position position) throws BadPositionCategoryException {
throw new UnsupportedOperationException();
}
public void removePositionCategory(String category) throws BadPositionCategoryException {
throw new UnsupportedOperationException();
}
public void removePositionUpdater(IPositionUpdater updater) {
throw new UnsupportedOperationException();
}
public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter) {
throw new UnsupportedOperationException();
}
public void replace(int offset, int length, String text) throws BadLocationException {
fBuffer.replace(offset, offset + length, text);
}
public int search(int startOffset, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord) throws BadLocationException {
throw new UnsupportedOperationException();
}
public void set(String text) {
throw new UnsupportedOperationException();
}
public void setDocumentPartitioner(IDocumentPartitioner partitioner) {
throw new UnsupportedOperationException();
}
}