org.gjt.sp.jedit.bufferset
Class BufferSet

java.lang.Object
  extended by org.gjt.sp.jedit.bufferset.BufferSet

public class BufferSet
extends java.lang.Object

A BufferSet is an ordered list of buffers.

Since:
jEdit 4.3pre15

Nested Class Summary
static class BufferSet.Scope
           
 
Constructor Summary
BufferSet(BufferSet source)
           
 
Method Summary
 void addBuffer(Buffer buffer)
          Internal use only, use 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)
 void addBufferAt(Buffer buffer, int position)
          Internal use only, use 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)
 void addBufferSetListener(BufferSetListener listener)
          Add a BufferSetListener.
 Buffer[] getAllBuffers()
          Returns an array of all buffers in this bufferSet.
 void getAllBuffers(BufferSetListener listener)
           
 Buffer getBuffer(int index)
          Returns the Buffer at the given index.
 Buffer getNextBuffer(int index)
           
 Buffer getPreviousBuffer(int index)
           
 int indexOf(Buffer buffer)
           
 void removeBufferSetListener(BufferSetListener listener)
          Remove a BufferSetListener.
 int size()
           
 void sort()
          Sort the bufferSet (useful if a buffer has been renamed for example
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BufferSet

public BufferSet(BufferSet source)
Method Detail

addBuffer

public void addBuffer(Buffer buffer)
Internal use only, use 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)

Parameters:
buffer - the buffer to be added

addBufferAt

public void addBufferAt(Buffer buffer,
                        int position)
Internal use only, use 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)

Parameters:
buffer - the buffer to be added
position - the position where it must be added or -1 if we don't care

getBuffer

public Buffer getBuffer(int index)
Returns the Buffer at the given index.

Parameters:
index - the index. The index must exists
Returns:
the buffer at the index.

getPreviousBuffer

public Buffer getPreviousBuffer(int index)

getNextBuffer

public Buffer getNextBuffer(int index)

indexOf

public int indexOf(Buffer buffer)

size

public int size()

getAllBuffers

public void getAllBuffers(BufferSetListener listener)

getAllBuffers

public Buffer[] getAllBuffers()
Returns an array of all buffers in this bufferSet.

Returns:
an array of all Buffers

addBufferSetListener

public void addBufferSetListener(BufferSetListener listener)
Add a BufferSetListener.

Parameters:
listener - the new BufferSetListener

removeBufferSetListener

public void removeBufferSetListener(BufferSetListener listener)
Remove a BufferSetListener. If there are no listeners anymore, remove all buffers from the bufferSet.

Parameters:
listener - the removed BufferSetListener

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

sort

public void sort()
Sort the bufferSet (useful if a buffer has been renamed for example

Since:
jEdit 4.4pre1