(doctype-public-identifier-double-quoted-state) ( document n/f string ch/f -- document n'/f string )

Vocabulary

html5

Inputs

document	an object
n/f	an object
string	an object
ch/f	an object

Outputs

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

Definition

USING: combinators kernel ;

IN: html5

: (doctype-public-identifier-double-quoted-state)
    ( document n/f string ch/f -- document n'/f string )
    {
        {
            [ dup 34 = ]
            [ drop after-doctype-public-identifier-state ]
        }
        {
            [ dup 0 = ]
            [
                drop
                "unexpected-null-character" report-parse-error
                65533 reach push-doctype-public-identifier
                doctype-public-identifier-double-quoted-state
            ]
        }
        {
            [ dup 62 = ]
            [
                drop
                "abrupt-doctype-public-identifier"
                report-parse-error pick
                [ force-quirks ] [ emit-doctype ] bi data-state
            ]
        }
        { [ dup f = ] [ drop doctype-eof ] }
        [
            reach push-doctype-public-identifier
            doctype-public-identifier-double-quoted-state
        ]
    } cond ;