diff --git a/index.src.html b/index.src.html index a2721dc..158ed99 100644 --- a/index.src.html +++ b/index.src.html @@ -339,6 +339,11 @@

Framework

IP Address Space

+ Define {{IPAddressSpace}} as follows: +
+    enum IPAddressSpace { "public","private", "local" };
+  
+ Every IP address belongs to an IP address space, which can be one of three different values: @@ -963,10 +968,6 @@

Fetch API

The Fetch API needs to be adjusted as well. - - Define {{IPAddressSpace}} as follows. -
-        enum IPAddressSpace { "public","private", "local" };
-      
- Append an optional [=map/entry=] to {{RequestInfo}}, whose [=map/key=] is targetAddressSpace, and [=map/value=] is a {{IPAddressSpace}}. @@ -975,17 +976,25 @@

Fetch API

IPAddressSpace targetAddressSpace; }; + + - Define a new {=targetAddressSpace=} representing the + above in [=request=]. +
+        partial interface Request {
+          readonly attribute IPAddressSpace targetAddressSpace;
+        };
+      
+ - The new Request(input, |init|) is appended with the following step right before setting [=this=]'s [=request=] to |request|: - 1. If |init|["{{RequestInit/targetAddressSpace}}"] [=map/exists=], and - |request|'s [=request/client=] is a [=secure context=], then switch on - |init|["{{RequestInit/targetAddressSpace}}"]: + 1. If |init|["{{RequestInit/targetAddressSpace}}"] [=map/exists=], then + switch on |init|["{{RequestInit/targetAddressSpace}}"]:
public -
Set |request|'s [=target IP address space=] to [=IP address - space/public=] +
Ignore it and keep |request|'s [=target IP address space=] as + null.
private
Set |request|'s [=target IP address space=] to [=IP address @@ -993,7 +1002,7 @@

Fetch API

local
Set |request|'s [=target IP address space=] to [=IP address - space/local=] + space/local=].

Forbidden header names