Package org.yakindu.base.xtext.utils.gmf.directedit

Class DummyDocument

java.lang.Object

org.yakindu.base.xtext.utils.gmf.directedit.DummyDocument

All Implemented Interfaces:

IDocument

public class DummyDocument
extends Object
implements IDocument

Field Summary

Fields inherited from interface org.eclipse.jface.text.IDocument

DEFAULT_CATEGORY, DEFAULT_CONTENT_TYPE

Constructor Summary

Constructors

Constructor	Description
DummyDocument(String content)

Method Summary

Modifier and Type	Method	Description
void	addDocumentListener(IDocumentListener listener)
void	addDocumentPartitioningListener(IDocumentPartitioningListener listener)
void	addPosition(String category, Position position)
void	addPosition(Position position)
void	addPositionCategory(String category)
void	addPositionUpdater(IPositionUpdater updater)
void	addPrenotifiedDocumentListener(IDocumentListener documentAdapter)
int	computeIndexInCategory(String category, int offset)
int	computeNumberOfLines(String text)
ITypedRegion[]	computePartitioning(int offset, int length)
boolean	containsPosition(String category, int offset, int length)
boolean	containsPositionCategory(String category)
String	get()
String	get(int offset, int length)
char	getChar(int offset)
String	getContentType(int offset)
IDocumentPartitioner	getDocumentPartitioner()
String[]	getLegalContentTypes()
String[]	getLegalLineDelimiters()
int	getLength()
String	getLineDelimiter(int line)
IRegion	getLineInformation(int line)
IRegion	getLineInformationOfOffset(int offset)
int	getLineLength(int line)
int	getLineOffset(int line)
int	getLineOfOffset(int offset)
int	getNumberOfLines()
int	getNumberOfLines(int offset, int length)
ITypedRegion	getPartition(int offset)
String[]	getPositionCategories()
Position[]	getPositions(String category)
IPositionUpdater[]	getPositionUpdaters()
void	insertPositionUpdater(IPositionUpdater updater, int index)
void	removeDocumentListener(IDocumentListener listener)
void	removeDocumentPartitioningListener(IDocumentPartitioningListener listener)
void	removePosition(String category, Position position)
void	removePosition(Position position)
void	removePositionCategory(String category)
void	removePositionUpdater(IPositionUpdater updater)
void	removePrenotifiedDocumentListener(IDocumentListener documentAdapter)
void	replace(int offset, int length, String text)
int	search(int startOffset, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord)	Deprecated.
void	set(String text)
void	setDocumentPartitioner(IDocumentPartitioner partitioner)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DummyDocument

public DummyDocument(String content)

Method Detail

getChar

public char getChar(int offset)
             throws BadLocationException

Specified by:

getChar in interface IDocument

Throws:

BadLocationException

getLength

public int getLength()

Specified by:

getLength in interface IDocument

get

public String get()

Specified by:

get in interface IDocument

get

public String get(int offset,
                  int length)
           throws BadLocationException

Specified by:

get in interface IDocument

Throws:

BadLocationException

set

public void set(String text)

Specified by:

set in interface IDocument

replace

public void replace(int offset,
                    int length,
                    String text)
             throws BadLocationException

Specified by:

replace in interface IDocument

Throws:

BadLocationException

addDocumentListener

public void addDocumentListener(IDocumentListener listener)

Specified by:

addDocumentListener in interface IDocument

removeDocumentListener

public void removeDocumentListener(IDocumentListener listener)

Specified by:

removeDocumentListener in interface IDocument

addPrenotifiedDocumentListener

public void addPrenotifiedDocumentListener(IDocumentListener documentAdapter)

Specified by:

addPrenotifiedDocumentListener in interface IDocument

removePrenotifiedDocumentListener

public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter)

Specified by:

removePrenotifiedDocumentListener in interface IDocument

addPositionCategory

public void addPositionCategory(String category)

Specified by:

addPositionCategory in interface IDocument

removePositionCategory

public void removePositionCategory(String category)
                            throws BadPositionCategoryException

Specified by:

removePositionCategory in interface IDocument

Throws:

BadPositionCategoryException

getPositionCategories

public String[] getPositionCategories()

Specified by:

getPositionCategories in interface IDocument

containsPositionCategory

public boolean containsPositionCategory(String category)

Specified by:

containsPositionCategory in interface IDocument

addPosition

public void addPosition(Position position)
                 throws BadLocationException

Specified by:

addPosition in interface IDocument

Throws:

BadLocationException

removePosition

public void removePosition(Position position)

Specified by:

removePosition in interface IDocument

addPosition

public void addPosition(String category,
                        Position position)
                 throws BadLocationException,
                        BadPositionCategoryException

Specified by:

addPosition in interface IDocument

Throws:

BadLocationException

BadPositionCategoryException

removePosition

public void removePosition(String category,
                           Position position)
                    throws BadPositionCategoryException

Specified by:

removePosition in interface IDocument

Throws:

BadPositionCategoryException

getPositions

public Position[] getPositions(String category)
                        throws BadPositionCategoryException

Specified by:

getPositions in interface IDocument

Throws:

BadPositionCategoryException

containsPosition

public boolean containsPosition(String category,
                                int offset,
                                int length)

Specified by:

containsPosition in interface IDocument

computeIndexInCategory

public int computeIndexInCategory(String category,
                                  int offset)
                           throws BadLocationException,
                                  BadPositionCategoryException

Specified by:

computeIndexInCategory in interface IDocument

Throws:

BadLocationException

BadPositionCategoryException

addPositionUpdater

public void addPositionUpdater(IPositionUpdater updater)

Specified by:

addPositionUpdater in interface IDocument

removePositionUpdater

public void removePositionUpdater(IPositionUpdater updater)

Specified by:

removePositionUpdater in interface IDocument

insertPositionUpdater

public void insertPositionUpdater(IPositionUpdater updater,
                                  int index)

Specified by:

insertPositionUpdater in interface IDocument

getPositionUpdaters

public IPositionUpdater[] getPositionUpdaters()

Specified by:

getPositionUpdaters in interface IDocument

getLegalContentTypes

public String[] getLegalContentTypes()

Specified by:

getLegalContentTypes in interface IDocument

getContentType

public String getContentType(int offset)
                      throws BadLocationException

Specified by:

getContentType in interface IDocument

Throws:

BadLocationException

getPartition

public ITypedRegion getPartition(int offset)
                          throws BadLocationException

Specified by:

getPartition in interface IDocument

Throws:

BadLocationException

computePartitioning

public ITypedRegion[] computePartitioning(int offset,
                                          int length)
                                   throws BadLocationException

Specified by:

computePartitioning in interface IDocument

Throws:

BadLocationException

addDocumentPartitioningListener

public void addDocumentPartitioningListener(IDocumentPartitioningListener listener)

Specified by:

addDocumentPartitioningListener in interface IDocument

removeDocumentPartitioningListener

public void removeDocumentPartitioningListener(IDocumentPartitioningListener listener)

Specified by:

removeDocumentPartitioningListener in interface IDocument

setDocumentPartitioner

public void setDocumentPartitioner(IDocumentPartitioner partitioner)

Specified by:

setDocumentPartitioner in interface IDocument

getDocumentPartitioner

public IDocumentPartitioner getDocumentPartitioner()

Specified by:

getDocumentPartitioner in interface IDocument

getLineLength

public int getLineLength(int line)
                  throws BadLocationException

Specified by:

getLineLength in interface IDocument

Throws:

BadLocationException

getLineOfOffset

public int getLineOfOffset(int offset)
                    throws BadLocationException

Specified by:

getLineOfOffset in interface IDocument

Throws:

BadLocationException

getLineOffset

public int getLineOffset(int line)
                  throws BadLocationException

Specified by:

getLineOffset in interface IDocument

Throws:

BadLocationException

getLineInformation

public IRegion getLineInformation(int line)
                           throws BadLocationException

Specified by:

getLineInformation in interface IDocument

Throws:

BadLocationException

getLineInformationOfOffset

public IRegion getLineInformationOfOffset(int offset)
                                   throws BadLocationException

Specified by:

getLineInformationOfOffset in interface IDocument

Throws:

BadLocationException

getNumberOfLines

public int getNumberOfLines()

Specified by:

getNumberOfLines in interface IDocument

getNumberOfLines

public int getNumberOfLines(int offset,
                            int length)
                     throws BadLocationException

Specified by:

getNumberOfLines in interface IDocument

Throws:

BadLocationException

computeNumberOfLines

public int computeNumberOfLines(String text)

Specified by:

computeNumberOfLines in interface IDocument

getLegalLineDelimiters

public String[] getLegalLineDelimiters()

Specified by:

getLegalLineDelimiters in interface IDocument

getLineDelimiter

public String getLineDelimiter(int line)
                        throws BadLocationException

Specified by:

getLineDelimiter in interface IDocument

Throws:

BadLocationException

search

@Deprecated
public int search(int startOffset,
                  String findString,
                  boolean forwardSearch,
                  boolean caseSensitive,
                  boolean wholeWord)
           throws BadLocationException

Deprecated.

Specified by:

search in interface IDocument

Throws:

BadLocationException