豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

寻观「标准库」之「语言核心」之「内建类型」之书。

「：文言：离当前页而往他址（可相对当前页而解）；解得非 http 或 https、逾八千一百九十二码元、含控制字符，则事故。汉语：让浏览器前往新地址（location.assign，会在历史里留下一条）；地址可以是相对当前页面的相对引用，解析后只允许 http 与 https，长度至多 8192 个 UTF-16 码元且不含控制字符，否则抛事故。页面随即卸载，之后的应用调用不保证执行。：」
「前往网址」乃化「字符串」而「有」也。

「：文言：以他址易当前历史项，返回键不复至旧址；律同前往网址。汉语：用新地址替换当前历史记录（location.replace），后退不会回到旧地址；地址规则同前往网址。：」
「替换当前网址」乃化「字符串」而「有」也。

「：文言：重载当前页。汉语：重新载入当前页面（location.reload）；页面随即卸载。：」
「重载页面」乃化「有」而「有」也。

「：文言：不离本页而增一历史项并改所示之址，惟限同源，不载状态，不生回退之事。汉语：压入历史记录（history.pushState(null, '', 地址)），只改地址栏与历史，不重新载入、不触发 popstate；地址解析后必须与当前页面同源，否则抛事故。：」
「压入历史」乃化「字符串」而「有」也。

「：文言：不离本页而易当前历史项之址，限同源。汉语：替换当前历史记录的地址（history.replaceState(null, '', 地址)，规则同压入历史。：」
「替换历史」乃化「字符串」而「有」也。

「：文言：依历史前后移，负后正前，不得为零，绝对值至多五十。汉语：在历史记录里移动（history.go）：负数后退、正数前进，0 无效（重载请用重载页面），绝对值至多 50；移动完成后浏览器触发 popstate（或页面卸载）。：」
「移动历史」乃化「整数」而「有」也。