java.io.Externalizable
Page
java.io.Serializable
public interface ExternalizablePage extends Page, java.io.Externalizable
readExternal, writeExternal
getPageID, isDirty, setDirty, setPageID