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()