public class SiGMLPipe extends java.lang.Object implements JALoadingPlayer.SiGMLPipeWriter
Constructor and Description |
---|
SiGMLPipe()
Constructs a new SiGML pipe, which will wrap the sequence of
SiGML fragments it receives in a pair of
<sigml>...</sigml> element tags.
|
SiGMLPipe(boolean dosigmlwrap)
Constructs a new SiGML pipe, which, in accordance with the given
flag parameter, will or will not wrap the sequence of
SiGML fragments it receives in a pair of
<sigml>...</sigml> element tags.
|
Modifier and Type | Method and Description |
---|---|
void |
appendSiGMLFragment(java.lang.String sigmlfrag)
Appends the given fragment of SiGML text to this pipe.
|
java.io.InputStream |
getSiGMLInputStream()
Returns the input stream for the SiGML data fed into this pipe.
|
void |
terminatePipe()
Terminates writing to this SiGML pipe.
|
public SiGMLPipe(boolean dosigmlwrap) throws java.io.IOException
java.io.IOException
public SiGMLPipe() throws java.io.IOException
java.io.IOException
public java.io.InputStream getSiGMLInputStream()
public void appendSiGMLFragment(java.lang.String sigmlfrag) throws java.io.IOException
appendSiGMLFragment
in interface JALoadingPlayer.SiGMLPipeWriter
java.io.IOException
public void terminatePipe() throws java.io.IOException
terminatePipe
in interface JALoadingPlayer.SiGMLPipeWriter
java.io.IOException