palmed.buffer
Interface IBufferManager

All Superinterfaces:

ISerializable

All Known Implementing Classes:

RecordBufferManager

public interface IBufferManager
extends ISerializable

This interface defines the operations available on a buffer manager.

Version:

$Revision: 360 $ $Date: 2005-12-24 23:35:35 +0900 (sam., 24 déc. 2005) $

Author:

Mathieu Champlon

Method Summary

void	close() Close the current buffer.
boolean	hasBeenModified() Test if the current buffer has been modified.
void	next() Switch to the next buffer.
void	open() Open an empty buffer.
void	open(IFile file) Open the given file in a buffer.
void	previous() Switch to the previous buffer.
boolean	save() Save the file in the current buffer.
void	save(IFile file) Save the current buffer into the given file.

Methods inherited from interface palmed.io.ISerializable

marshall, unmarshall

Method Detail

open

void open()

Open an empty buffer.

open

void open(IFile file)

Open the given file in a buffer.

Parameters:

file - the file to read from

close

void close()

Close the current buffer.

save

boolean save()

Save the file in the current buffer.

This operation must fail if no file is associated to the buffer.

Returns:

whether the file could be saved or not

save

void save(IFile file)

Save the current buffer into the given file.

Parameters:

file - the file to write into

hasBeenModified

boolean hasBeenModified()

Test if the current buffer has been modified.

Returns:

whether the buffer has been modified or not

previous

void previous()

Switch to the previous buffer.

next

void next()

Switch to the next buffer.