org.gjt.sp.jedit.buffer
Class LineManager
java.lang.Object
org.gjt.sp.jedit.buffer.LineManager
public class LineManager
- 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.2pre3
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LineManager
public LineManager()
getLineCount
public final int getLineCount()
getLineOfOffset
public int getLineOfOffset(int offset)
getLineEndOffset
public final int getLineEndOffset(int line)
getFoldLevel
public final int getFoldLevel(int line)
setFoldLevel
public final void setFoldLevel(int line,
int level)
setFirstInvalidFoldLevel
public void setFirstInvalidFoldLevel(int firstInvalidFoldLevel)
getFirstInvalidFoldLevel
public int getFirstInvalidFoldLevel()
getLineContext
public final TokenMarker.LineContext getLineContext(int line)
setLineContext
public final void setLineContext(int line,
TokenMarker.LineContext context)
setFirstInvalidLineContext
public void setFirstInvalidLineContext(int firstInvalidLineContext)
getFirstInvalidLineContext
public int getFirstInvalidLineContext()
_contentInserted
public void _contentInserted(IntegerArray endOffsets)
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)