public interface StreamedSiGMLReceiver
<signing_ref> elements in the SiGML document, and the
interface provides a checkpoint/abort mechanism for use by the
relevant SiGML document scanning controller.| Modifier and Type | Method and Description |
|---|---|
void |
abortCurrentSiGMLStream()
Notifies this receiver that the sign stream associated with the
most recent checkpoint (established using
addStreamAbortCheckpoint()) has now been aborted, so that
the receiver can respond appropriately. |
void |
addStreamAbortCheckpoint()
Sets a checkpoint for abortion of the sign stream generated for an
individual SiGML document.
|
void |
beginSignStream()
Notifies the receiver of the start of the SiGML sequence, including
possibly the start of a nested sequence specified by a SiGML
<signing_ref> element. |
void |
clearStreamAbortCheckpoint()
Clears the most recently established stream abortion checkpoint.
|
void |
endSignStream()
Notifies the receiver that the most recently begun SiGML content
stream is now complete.
|
void |
setNewPlayerSettings(sigmlgen.playerctrl.PlayerSettings ps)
Notifies the receiver that the next sign to be received (via
setNextSign(String,String)) has the given
PlayerSettings attached to it. |
void |
setNextSign(java.lang.String gsigml,
java.lang.String gloss)
Supplies the next sign in the source SiGML document to the receiver,
in the form of its gestural SiGML text and its gloss name.
|
void |
setNextSignWithAnim(AnimatedSign sign)
Supplies the next sign obtained (indirectly) from the source SiGML
document to the receiver, as a sign with animation data already attached.
|
void beginSignStream()
<signing_ref> element.void setNewPlayerSettings(sigmlgen.playerctrl.PlayerSettings ps)
setNextSign(String,String)) has the given
PlayerSettings attached to it.void setNextSign(java.lang.String gsigml,
java.lang.String gloss)
void setNextSignWithAnim(AnimatedSign sign)
void endSignStream()
void addStreamAbortCheckpoint()
clearStreamAbortCheckpoint() or of
abortCurrentSiGMLStream().void abortCurrentSiGMLStream()
addStreamAbortCheckpoint()) has now been aborted, so that
the receiver can respond appropriately.void clearStreamAbortCheckpoint()