|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.bufferset.BufferSet
public class BufferSet
A BufferSet is an ordered list of buffers.
Nested Class Summary | |
---|---|
static class |
BufferSet.Scope
|
Constructor Summary | |
---|---|
BufferSet(BufferSet source)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public BufferSet(BufferSet source)
Method Detail |
---|
public void addBuffer(Buffer buffer)
BufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)
or
BufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)
buffer
- the buffer to be addedpublic void addBufferAt(Buffer buffer, int position)
BufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)
or
BufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)
buffer
- the buffer to be addedposition
- the position where it must be added or -1 if we don't carepublic Buffer getBuffer(int index)
index
- the index. The index must exists
public Buffer getPreviousBuffer(int index)
public Buffer getNextBuffer(int index)
public int indexOf(Buffer buffer)
public int size()
public void getAllBuffers(BufferSetListener listener)
public Buffer[] getAllBuffers()
public void addBufferSetListener(BufferSetListener listener)
listener
- the new BufferSetListenerpublic void removeBufferSetListener(BufferSetListener listener)
listener
- the removed BufferSetListenerpublic java.lang.String toString()
toString
in class java.lang.Object
public void sort()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |