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