end-body-form ( document token -- )


Vocabulary
html5

Inputs
documentan object
tokenan object


Outputs
None

Definition


:: end-body-form ( document token -- )
document parsing-template? [
document "form" scope-boundaries element-in-scope? [
document "" generate-implied-end-tags
document "form" current-element-named?
[ "unexpected-form-end-tag" report-parse-error ]
unless document token close-element
] [ "unexpected-form-end-tag" report-parse-error ] if
] [
document form-element-pointer>> :> form document f
>>form-element-pointer drop form
[ document form node-in-scope? ] [ f ] if [
document "" generate-implied-end-tags
document open-elements>> last form eq?
[ "unexpected-form-end-tag" report-parse-error ]
unless form token >>end-tag drop
form document open-elements>> remove-node
] [ "unexpected-form-end-tag" report-parse-error ] if
] if ;