end-body-element ( document token -- )

Vocabulary

html5

Inputs

document	an object
token	an object

Outputs

None

Definition

USING: accessors combinators kernel sequences ;

IN: html5

:: end-body-element ( document token -- )
    token name>> :> name name {
        {
            [ dup formatting-elements member? ]
            [ drop document token adoption-agency ]
        }
        {
            [ dup heading-elements member? ]
            [ drop document token close-heading ]
        }
        {
            [ dup "form" = ]
            [ drop document token end-body-form ]
        }
        {
            [ dup "br" = ]
            [
                drop document <tag> "br" >>name
                start-body-element
            ]
        }
        {
            [ dup "p" = ]
            [
                drop
                document "p" scope-boundaries "button" suffix
                element-in-scope?
                [ document "p" implied-element ] unless
                document close-paragraph
            ]
        }
        {
            [ dup "li" = ]
            [
                drop document token scope-boundaries
                { "ol" "ul" } append scoped-end-tag
            ]
        }
        {
            [ dup { "dd" "dt" } member? ]
            [
                drop
                document token scope-boundaries scoped-end-tag
            ]
        }
        {
            [ dup scoped-end-elements member? ]
            [
                drop
                document token scope-boundaries scoped-end-tag
            ]
        }
        [ drop document token other-formatting-end-tag ]
    } cond ;