1
0
mirror of https://github.com/golang/go synced 2024-11-21 22:14:41 -07:00

html: detect quirks mode

Pass tests3.dat, test 23:
<p><table></table>

| <html>
|   <head>
|   <body>
|     <p>
|       <table>

R=nigeltao
CC=golang-dev
https://golang.org/cl/5446043
This commit is contained in:
Andrew Balholm 2011-11-29 11:18:49 +11:00 committed by Nigel Tao
parent 6d4c18a4af
commit c32b607687
2 changed files with 109 additions and 10 deletions

View File

@ -37,6 +37,8 @@ type parser struct {
// fosterParenting is whether new elements should be inserted according to // fosterParenting is whether new elements should be inserted according to
// the foster parenting rules (section 11.2.5.3). // the foster parenting rules (section 11.2.5.3).
fosterParenting bool fosterParenting bool
// quirks is whether the parser is operating in "quirks mode."
quirks bool
} }
func (p *parser) top() *Node { func (p *parser) top() *Node {
@ -321,25 +323,91 @@ func (p *parser) resetInsertionMode() {
const whitespace = " \t\r\n\f" const whitespace = " \t\r\n\f"
// quirkyIDs is a list of public doctype identifiers that cause a document
// to be interpreted in quirks mode. The identifiers should be in lower case.
var quirkyIDs = []string{
"+//silmaril//dtd html pro v0r11 19970101//",
"-//advasoft ltd//dtd html 3.0 aswedit + extensions//",
"-//as//dtd html 3.0 aswedit + extensions//",
"-//ietf//dtd html 2.0 level 1//",
"-//ietf//dtd html 2.0 level 2//",
"-//ietf//dtd html 2.0 strict level 1//",
"-//ietf//dtd html 2.0 strict level 2//",
"-//ietf//dtd html 2.0 strict//",
"-//ietf//dtd html 2.0//",
"-//ietf//dtd html 2.1e//",
"-//ietf//dtd html 3.0//",
"-//ietf//dtd html 3.2 final//",
"-//ietf//dtd html 3.2//",
"-//ietf//dtd html 3//",
"-//ietf//dtd html level 0//",
"-//ietf//dtd html level 1//",
"-//ietf//dtd html level 2//",
"-//ietf//dtd html level 3//",
"-//ietf//dtd html strict level 0//",
"-//ietf//dtd html strict level 1//",
"-//ietf//dtd html strict level 2//",
"-//ietf//dtd html strict level 3//",
"-//ietf//dtd html strict//",
"-//ietf//dtd html//",
"-//metrius//dtd metrius presentational//",
"-//microsoft//dtd internet explorer 2.0 html strict//",
"-//microsoft//dtd internet explorer 2.0 html//",
"-//microsoft//dtd internet explorer 2.0 tables//",
"-//microsoft//dtd internet explorer 3.0 html strict//",
"-//microsoft//dtd internet explorer 3.0 html//",
"-//microsoft//dtd internet explorer 3.0 tables//",
"-//netscape comm. corp.//dtd html//",
"-//netscape comm. corp.//dtd strict html//",
"-//o'reilly and associates//dtd html 2.0//",
"-//o'reilly and associates//dtd html extended 1.0//",
"-//o'reilly and associates//dtd html extended relaxed 1.0//",
"-//softquad software//dtd hotmetal pro 6.0::19990601::extensions to html 4.0//",
"-//softquad//dtd hotmetal pro 4.0::19971010::extensions to html 4.0//",
"-//spyglass//dtd html 2.0 extended//",
"-//sq//dtd html 2.0 hotmetal + extensions//",
"-//sun microsystems corp.//dtd hotjava html//",
"-//sun microsystems corp.//dtd hotjava strict html//",
"-//w3c//dtd html 3 1995-03-24//",
"-//w3c//dtd html 3.2 draft//",
"-//w3c//dtd html 3.2 final//",
"-//w3c//dtd html 3.2//",
"-//w3c//dtd html 3.2s draft//",
"-//w3c//dtd html 4.0 frameset//",
"-//w3c//dtd html 4.0 transitional//",
"-//w3c//dtd html experimental 19960712//",
"-//w3c//dtd html experimental 970421//",
"-//w3c//dtd w3 html//",
"-//w3o//dtd w3 html 3.0//",
"-//webtechs//dtd mozilla html 2.0//",
"-//webtechs//dtd mozilla html//",
}
// parseDoctype parses the data from a DoctypeToken into a name, // parseDoctype parses the data from a DoctypeToken into a name,
// public identifier, and system identifier. It returns a Node whose Type // public identifier, and system identifier. It returns a Node whose Type
// is DoctypeNode, whose Data is the name, and which has attributes // is DoctypeNode, whose Data is the name, and which has attributes
// named "system" and "public" for the two identifiers if they were present. // named "system" and "public" for the two identifiers if they were present.
func parseDoctype(s string) *Node { // quirks is whether the document should be parsed in "quirks mode".
n := &Node{Type: DoctypeNode} func parseDoctype(s string) (n *Node, quirks bool) {
n = &Node{Type: DoctypeNode}
// Find the name. // Find the name.
space := strings.IndexAny(s, whitespace) space := strings.IndexAny(s, whitespace)
if space == -1 { if space == -1 {
space = len(s) space = len(s)
} }
n.Data = strings.ToLower(s[:space]) n.Data = s[:space]
// The comparison to "html" is case-sensitive.
if n.Data != "html" {
quirks = true
}
n.Data = strings.ToLower(n.Data)
s = strings.TrimLeft(s[space:], whitespace) s = strings.TrimLeft(s[space:], whitespace)
if len(s) < 6 { if len(s) < 6 {
// It can't start with "PUBLIC" or "SYSTEM". // It can't start with "PUBLIC" or "SYSTEM".
// Ignore the rest of the string. // Ignore the rest of the string.
return n return n, quirks || s != ""
} }
key := strings.ToLower(s[:6]) key := strings.ToLower(s[:6])
@ -371,7 +439,35 @@ func parseDoctype(s string) *Node {
} }
} }
return n if key != "" || s != "" {
quirks = true
} else if len(n.Attr) > 0 {
if n.Attr[0].Key == "public" {
public := strings.ToLower(n.Attr[0].Val)
switch public {
case "-//w3o//dtd w3 html strict 3.0//en//", "-/w3d/dtd html 4.0 transitional/en", "html":
quirks = true
default:
for _, q := range quirkyIDs {
if strings.HasPrefix(public, q) {
quirks = true
break
}
}
}
// The following two public IDs only cause quirks mode if there is no system ID.
if len(n.Attr) == 1 && (strings.HasPrefix(public, "-//w3c//dtd html 4.01 frameset//") ||
strings.HasPrefix(public, "-//w3c//dtd html 4.01 transitional//")) {
quirks = true
}
}
if lastAttr := n.Attr[len(n.Attr)-1]; lastAttr.Key == "system" &&
strings.ToLower(lastAttr.Val) == "http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd" {
quirks = true
}
}
return n, quirks
} }
// Section 11.2.5.4.1. // Section 11.2.5.4.1.
@ -390,12 +486,13 @@ func initialIM(p *parser) bool {
}) })
return true return true
case DoctypeToken: case DoctypeToken:
p.doc.Add(parseDoctype(p.tok.Data)) n, quirks := parseDoctype(p.tok.Data)
p.doc.Add(n)
p.quirks = quirks
p.im = beforeHTMLIM p.im = beforeHTMLIM
return true return true
} }
// TODO: set "quirks mode"? It's defined in the DOM spec instead of HTML5 proper, p.quirks = true
// and so switching on "quirks mode" might belong in a different package.
p.im = beforeHTMLIM p.im = beforeHTMLIM
return false return false
} }
@ -698,7 +795,9 @@ func inBodyIM(p *parser) bool {
p.acknowledgeSelfClosingTag() p.acknowledgeSelfClosingTag()
p.framesetOK = false p.framesetOK = false
case "table": case "table":
p.popUntil(buttonScopeStopTags, "p") // TODO: skip this step in quirks mode. if !p.quirks {
p.popUntil(buttonScopeStopTags, "p")
}
p.addElement(p.tok.Data, p.tok.Attr) p.addElement(p.tok.Data, p.tok.Attr)
p.framesetOK = false p.framesetOK = false
p.im = inTableIM p.im = inTableIM

View File

@ -152,7 +152,7 @@ func TestParser(t *testing.T) {
{"doctype01.dat", -1}, {"doctype01.dat", -1},
{"tests1.dat", -1}, {"tests1.dat", -1},
{"tests2.dat", -1}, {"tests2.dat", -1},
{"tests3.dat", 23}, {"tests3.dat", -1},
} }
for _, tf := range testFiles { for _, tf := range testFiles {
f, err := os.Open("testdata/webkit/" + tf.filename) f, err := os.Open("testdata/webkit/" + tf.filename)