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.IOExceptionpublic SiGMLPipe()
throws java.io.IOException
<sigml>...</sigml> element tags.java.io.IOExceptionpublic java.io.InputStream getSiGMLInputStream()
public void appendSiGMLFragment(java.lang.String sigmlfrag)
throws java.io.IOException
appendSiGMLFragment in interface JALoadingPlayer.SiGMLPipeWriterjava.io.IOExceptionpublic void terminatePipe()
throws java.io.IOException
terminatePipe in interface JALoadingPlayer.SiGMLPipeWriterjava.io.IOException