Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Strawman Model: Difference between revisions
Jump to navigation
Jump to search
→Functions
| Line 109: | Line 109: | ||
Let load(w, s) = stack.push(w), w.location = urlString(s), parse(w, fetch(w, w.location)), stack.pop() | Let load(w, s) = stack.push(w), w.location = urlString(s), parse(w, fetch(w, w.location)), stack.pop() | ||
Let open(s) = (let w = new Window('about:blank', urlPrincipal(s), global()), | Let open(s) = (let w = new Window('about:blank', urlPrincipal(s), global()), !s || load(w, s), w). | ||
Let principal(x) = (x is Window) ? x.principal : principal(x.parent). | Let principal(x) = (x is Window) ? x.principal : principal(x.parent). | ||