org.gjt.sp.jedit.buffer
Class OffsetManager
java.lang.Object
|
+--org.gjt.sp.jedit.buffer.OffsetManager
- public class OffsetManager
- extends java.lang.Object
A class internal to jEdit's document model. You should not use it
directly. To improve performance, none of the methods in this class
check for out of bounds access, nor are they thread-safe. The
Buffer
class, through which these methods must be
called through, implements such protection.
- Since:
- jEdit 4.0pre1
- Version:
- $Id: OffsetManager.java,v 1.33 2003/02/23 04:05:21 spestov Exp $
- Author:
- Slava Pestov
Method Summary |
void |
contentInserted(int startLine,
int offset,
int numLines,
int length,
IntegerArray endOffsets)
|
void |
contentRemoved(int startLine,
int offset,
int numLines,
int length)
|
javax.swing.text.Position |
createPosition(int offset)
|
void |
expandFolds(int foldLevel)
Like FoldVisibilityManager.expandFolds() , but does
it for all fold visibility managers viewing this buffer. |
int |
getFoldLevel(int line)
|
TokenMarker.LineContext |
getLineContext(int line)
|
int |
getLineCount()
|
int |
getLineEndOffset(int line)
|
int |
getLineOfOffset(int offset)
|
int |
getVirtualLineCount(int index)
|
boolean |
isFoldLevelValid(int line)
|
boolean |
isLineContextValid(int line)
|
boolean |
isLineVisible(int line,
int index)
|
void |
lineInfoChangedFrom(int startLine)
|
void |
setFoldLevel(int line,
int level)
|
void |
setLineContext(int line,
TokenMarker.LineContext context)
|
void |
setLineVisible(int line,
int index,
boolean visible)
|
void |
setVirtualLineCount(int index,
int lineCount)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OffsetManager
public OffsetManager(Buffer buffer)
getLineCount
public final int getLineCount()
getVirtualLineCount
public final int getVirtualLineCount(int index)
setVirtualLineCount
public final void setVirtualLineCount(int index,
int lineCount)
getLineOfOffset
public int getLineOfOffset(int offset)
getLineEndOffset
public final int getLineEndOffset(int line)
isFoldLevelValid
public final boolean isFoldLevelValid(int line)
getFoldLevel
public final int getFoldLevel(int line)
setFoldLevel
public final void setFoldLevel(int line,
int level)
isLineVisible
public final boolean isLineVisible(int line,
int index)
setLineVisible
public final void setLineVisible(int line,
int index,
boolean visible)
isLineContextValid
public final boolean isLineContextValid(int line)
getLineContext
public final TokenMarker.LineContext getLineContext(int line)
setLineContext
public final void setLineContext(int line,
TokenMarker.LineContext context)
createPosition
public javax.swing.text.Position createPosition(int offset)
expandFolds
public void expandFolds(int foldLevel)
- Like
FoldVisibilityManager.expandFolds()
, but does
it for all fold visibility managers viewing this buffer. Should
only be called after loading.
contentInserted
public void contentInserted(int startLine,
int offset,
int numLines,
int length,
IntegerArray endOffsets)
contentRemoved
public void contentRemoved(int startLine,
int offset,
int numLines,
int length)
lineInfoChangedFrom
public void lineInfoChangedFrom(int startLine)