numeric-character-reference-end-state ( document n/f string -- document n'/f string )

Vocabulary

html5

Inputs

document	an object
n/f	an object
string	an object

Outputs

document	an object
n'/f	an object
string	an object

Definition

USING: kernel ;

IN: html5

: numeric-character-reference-end-state
    ( document n/f string -- document n'/f string )
    pick
    [ finish-numeric-reference ] [ flush-temporary-buffer ] bi
    return-state ;