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> |
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> |
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
<sigml>...</sigml> element tags.
java.io.IOException
public SiGMLPipe() throws java.io.IOException
<sigml>...</sigml> element tags.
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