public static interface JALoadingPlayer.SiGMLPipeWriter
Modifier and Type | Method and Description |
---|---|
void |
appendSiGMLFragment(java.lang.String sigmlfrag)
Appends the given SiGML fragment to this pipe.
|
void |
terminatePipe()
Terminates writing to this SiGML pipe.
|
void appendSiGMLFragment(java.lang.String sigmlfrag) throws java.io.IOException
java.io.IOException
void terminatePipe() throws java.io.IOException
java.io.IOException