org.sfj

Interface ReplacementDiskSort.ExternalAppender<EE extends ReplacementDiskSort.Element>

Type Parameters:

EE - Element subclass

Enclosing class:

ReplacementDiskSort<E extends ReplacementDiskSort.Element>

public static interface ReplacementDiskSort.ExternalAppender<EE extends ReplacementDiskSort.Element>

An external appender. Appends Elements until the close methodis called explicitly.

Method Summary

Modifier and Type	Method and Description
void	append(EE elem)
void	close()

Method Detail

append

void append(EE elem)
     throws IOException

Throws:

IOException

close

void close()