public interface Page
PagingManager
Modifier and Type | Method and Description |
---|---|
void |
close() |
boolean |
delete(PagedMessage[] messages) |
int |
getNumberOfMessages() |
int |
getPageId() |
int |
getSize() |
void |
open() |
List<PagedMessage> |
read(StorageManager storage) |
void |
setLiveCache(LivePageCache pageCache) |
void |
sync() |
void |
write(PagedMessage message) |
int getPageId()
void write(PagedMessage message) throws Exception
Exception
List<PagedMessage> read(StorageManager storage) throws Exception
Exception
void setLiveCache(LivePageCache pageCache)
int getSize()
int getNumberOfMessages()
boolean delete(PagedMessage[] messages) throws Exception
Exception
Copyright © 2012 JBoss by Red Hat. All Rights Reserved.