org.gjt.sp.jedit.buffer
Class ContentManager
java.lang.Object
org.gjt.sp.jedit.buffer.ContentManager
- public class ContentManager
- extends 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: ContentManager.java,v 1.11 2003/03/09 19:26:05 spestov Exp $
- Author:
- Slava Pestov
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ContentManager
public ContentManager()
getLength
public final int getLength()
getText
public String getText(int start,
int len)
getText
public void getText(int start,
int len,
Segment seg)
insert
public void insert(int start,
String str)
insert
public void insert(int start,
Segment seg)
_setContent
public void _setContent(char[] text,
int length)
remove
public void remove(int start,
int len)