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( | Let load(w, s) = stack.push(w), parse(w, fetch(w, w.location = urlString(s))), | ||
stack.pop() | |||
Let open(s) = load(new Window('about:blank', urlPrincipal(s), global()), s). | Let open(s) = load(new Window('about:blank', urlPrincipal(s), global()), s). | ||