(plaintext-state) ( document n/f string ch/f -- document n'/f string )


Vocabulary
html5

Inputs
documentan object
n/fan object
stringan object
ch/fan object


Outputs
documentan object
n'/fan object
stringan object


Definition


: (plaintext-state)
( document n/f string ch/f -- document n'/f string )
{
{
[ dup 0 = ]
[
drop
"unexpected-null-character" report-parse-error
65533 reach emit-char plaintext-state
]
}
{ [ dup f = ] [ drop pick emit-eof ] }
[ reach emit-char plaintext-state ]
} cond ;