Class DummyDocument
- java.lang.Object
-
- org.yakindu.base.xtext.utils.gmf.directedit.DummyDocument
-
-
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
-
-
-
Constructor Detail
-
DummyDocument
public DummyDocument(String content)
-
-
Method Detail
-
getChar
public char getChar(int offset) throws BadLocationException
- Specified by:
getChar
in interfaceIDocument
- Throws:
BadLocationException
-
get
public String get(int offset, int length) throws BadLocationException
- Specified by:
get
in interfaceIDocument
- Throws:
BadLocationException
-
replace
public void replace(int offset, int length, String text) throws BadLocationException
- Specified by:
replace
in interfaceIDocument
- Throws:
BadLocationException
-
addDocumentListener
public void addDocumentListener(IDocumentListener listener)
- Specified by:
addDocumentListener
in interfaceIDocument
-
removeDocumentListener
public void removeDocumentListener(IDocumentListener listener)
- Specified by:
removeDocumentListener
in interfaceIDocument
-
addPrenotifiedDocumentListener
public void addPrenotifiedDocumentListener(IDocumentListener documentAdapter)
- Specified by:
addPrenotifiedDocumentListener
in interfaceIDocument
-
removePrenotifiedDocumentListener
public void removePrenotifiedDocumentListener(IDocumentListener documentAdapter)
- Specified by:
removePrenotifiedDocumentListener
in interfaceIDocument
-
addPositionCategory
public void addPositionCategory(String category)
- Specified by:
addPositionCategory
in interfaceIDocument
-
removePositionCategory
public void removePositionCategory(String category) throws BadPositionCategoryException
- Specified by:
removePositionCategory
in interfaceIDocument
- Throws:
BadPositionCategoryException
-
getPositionCategories
public String[] getPositionCategories()
- Specified by:
getPositionCategories
in interfaceIDocument
-
containsPositionCategory
public boolean containsPositionCategory(String category)
- Specified by:
containsPositionCategory
in interfaceIDocument
-
addPosition
public void addPosition(Position position) throws BadLocationException
- Specified by:
addPosition
in interfaceIDocument
- Throws:
BadLocationException
-
removePosition
public void removePosition(Position position)
- Specified by:
removePosition
in interfaceIDocument
-
addPosition
public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException
- Specified by:
addPosition
in interfaceIDocument
- Throws:
BadLocationException
BadPositionCategoryException
-
removePosition
public void removePosition(String category, Position position) throws BadPositionCategoryException
- Specified by:
removePosition
in interfaceIDocument
- Throws:
BadPositionCategoryException
-
getPositions
public Position[] getPositions(String category) throws BadPositionCategoryException
- Specified by:
getPositions
in interfaceIDocument
- Throws:
BadPositionCategoryException
-
containsPosition
public boolean containsPosition(String category, int offset, int length)
- Specified by:
containsPosition
in interfaceIDocument
-
computeIndexInCategory
public int computeIndexInCategory(String category, int offset) throws BadLocationException, BadPositionCategoryException
- Specified by:
computeIndexInCategory
in interfaceIDocument
- Throws:
BadLocationException
BadPositionCategoryException
-
addPositionUpdater
public void addPositionUpdater(IPositionUpdater updater)
- Specified by:
addPositionUpdater
in interfaceIDocument
-
removePositionUpdater
public void removePositionUpdater(IPositionUpdater updater)
- Specified by:
removePositionUpdater
in interfaceIDocument
-
insertPositionUpdater
public void insertPositionUpdater(IPositionUpdater updater, int index)
- Specified by:
insertPositionUpdater
in interfaceIDocument
-
getPositionUpdaters
public IPositionUpdater[] getPositionUpdaters()
- Specified by:
getPositionUpdaters
in interfaceIDocument
-
getLegalContentTypes
public String[] getLegalContentTypes()
- Specified by:
getLegalContentTypes
in interfaceIDocument
-
getContentType
public String getContentType(int offset) throws BadLocationException
- Specified by:
getContentType
in interfaceIDocument
- Throws:
BadLocationException
-
getPartition
public ITypedRegion getPartition(int offset) throws BadLocationException
- Specified by:
getPartition
in interfaceIDocument
- Throws:
BadLocationException
-
computePartitioning
public ITypedRegion[] computePartitioning(int offset, int length) throws BadLocationException
- Specified by:
computePartitioning
in interfaceIDocument
- Throws:
BadLocationException
-
addDocumentPartitioningListener
public void addDocumentPartitioningListener(IDocumentPartitioningListener listener)
- Specified by:
addDocumentPartitioningListener
in interfaceIDocument
-
removeDocumentPartitioningListener
public void removeDocumentPartitioningListener(IDocumentPartitioningListener listener)
- Specified by:
removeDocumentPartitioningListener
in interfaceIDocument
-
setDocumentPartitioner
public void setDocumentPartitioner(IDocumentPartitioner partitioner)
- Specified by:
setDocumentPartitioner
in interfaceIDocument
-
getDocumentPartitioner
public IDocumentPartitioner getDocumentPartitioner()
- Specified by:
getDocumentPartitioner
in interfaceIDocument
-
getLineLength
public int getLineLength(int line) throws BadLocationException
- Specified by:
getLineLength
in interfaceIDocument
- Throws:
BadLocationException
-
getLineOfOffset
public int getLineOfOffset(int offset) throws BadLocationException
- Specified by:
getLineOfOffset
in interfaceIDocument
- Throws:
BadLocationException
-
getLineOffset
public int getLineOffset(int line) throws BadLocationException
- Specified by:
getLineOffset
in interfaceIDocument
- Throws:
BadLocationException
-
getLineInformation
public IRegion getLineInformation(int line) throws BadLocationException
- Specified by:
getLineInformation
in interfaceIDocument
- Throws:
BadLocationException
-
getLineInformationOfOffset
public IRegion getLineInformationOfOffset(int offset) throws BadLocationException
- Specified by:
getLineInformationOfOffset
in interfaceIDocument
- Throws:
BadLocationException
-
getNumberOfLines
public int getNumberOfLines()
- Specified by:
getNumberOfLines
in interfaceIDocument
-
getNumberOfLines
public int getNumberOfLines(int offset, int length) throws BadLocationException
- Specified by:
getNumberOfLines
in interfaceIDocument
- Throws:
BadLocationException
-
computeNumberOfLines
public int computeNumberOfLines(String text)
- Specified by:
computeNumberOfLines
in interfaceIDocument
-
getLegalLineDelimiters
public String[] getLegalLineDelimiters()
- Specified by:
getLegalLineDelimiters
in interfaceIDocument
-
getLineDelimiter
public String getLineDelimiter(int line) throws BadLocationException
- Specified by:
getLineDelimiter
in interfaceIDocument
- Throws:
BadLocationException
-
search
@Deprecated public int search(int startOffset, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord) throws BadLocationException
Deprecated.- Specified by:
search
in interfaceIDocument
- Throws:
BadLocationException
-
-