player
Interface JALoadingPlayer.SiGMLPipeWriter

All Known Implementing Classes:

SiGMLPipe

Enclosing class:

JALoadingPlayer

public static interface JALoadingPlayer.SiGMLPipeWriter

Interface for piped SiGML generation.

Method Summary

void	appendSiGMLFragment(java.lang.String sigmlfrag) Appends the given SiGML fragment to this pipe.
void	terminatePipe() Terminates writing to this SiGML pipe.

Method Detail

appendSiGMLFragment

void appendSiGMLFragment(java.lang.String sigmlfrag)
                         throws java.io.IOException

Appends the given SiGML fragment to this pipe.

Throws:

java.io.IOException

terminatePipe

void terminatePipe()
                   throws java.io.IOException

Terminates writing to this SiGML pipe.

Throws:

java.io.IOException