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

Constructor Summary
OffsetManager(Buffer buffer)
           
 
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
 

Constructor Detail

OffsetManager

public OffsetManager(Buffer buffer)
Method Detail

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)