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