Skip to content

Commit 829d8d4

Browse files
caugnersadym-chromium
authored andcommitted
Improve CDDL syntax (#870)
* fix: remove stray semicolons Causes christian-bromann/cddl#107. * Remove extraneous group delimiter * Add missing comma
1 parent 29e8327 commit 829d8d4

File tree

1 file changed

+16
-16
lines changed

1 file changed

+16
-16
lines changed

index.bs

+16-16
Original file line numberDiff line numberDiff line change
@@ -1614,7 +1614,7 @@ session.CapabilityRequest = {
16141614
? proxy: session.ProxyConfiguration,
16151615
? unhandledPromptBehavior: session.UserPromptHandler,
16161616
Extensible
1617-
};
1617+
}
16181618
</pre>
16191619

16201620
The <code>session.CapabilityRequest</code> type represents a specific set of
@@ -1662,7 +1662,7 @@ session.ProxyConfiguration = {
16621662
session.DirectProxyConfiguration //
16631663
session.ManualProxyConfiguration //
16641664
session.PacProxyConfiguration //
1665-
session.SystemProxyConfiguration //
1665+
session.SystemProxyConfiguration
16661666
}
16671667

16681668
session.AutodetectProxyConfiguration = (
@@ -1697,7 +1697,7 @@ session.PacProxyConfiguration = (
16971697
)
16981698

16991699
session.SystemProxyConfiguration = (
1700-
proxyType: "system"
1700+
proxyType: "system",
17011701
Extensible
17021702
)
17031703

@@ -1715,7 +1715,7 @@ session.UserPromptHandler = {
17151715
? default: session.UserPromptHandlerType,
17161716
? file: session.UserPromptHandlerType,
17171717
? prompt: session.UserPromptHandlerType,
1718-
};
1718+
}
17191719
</pre>
17201720

17211721
The <code>session.UserPromptHandler</code> type represents the configuration of
@@ -2268,7 +2268,7 @@ BrowserCommand = (
22682268
browser.GetClientWindows //
22692269
browser.GetUserContexts //
22702270
browser.RemoveUserContext //
2271-
browser.SetClientWindowState //
2271+
browser.SetClientWindowState
22722272
)
22732273
</pre>
22742274

@@ -5967,7 +5967,7 @@ network.Cookie = {
59675967
sameSite: network.SameSite,
59685968
? expiry: js-uint,
59695969
Extensible,
5970-
};
5970+
}
59715971
</pre>
59725972

59735973
The <code>network.Cookie</code> type represents a cookie.
@@ -6021,7 +6021,7 @@ samesite-flag, which is from [[SAME-SITE-COOKIES]].
60216021
network.CookieHeader = {
60226022
name: text,
60236023
value: network.BytesValue,
6024-
};
6024+
}
60256025
</pre>
60266026

60276027
The <code>network.CookieHeader</code> type represents the subset of cookie data
@@ -6063,7 +6063,7 @@ network.FetchTimingInfo = {
60636063
responseStart: float,
60646064
<!-- TODO responseHeadersEnd: float: Not sure quite what to use for this -->
60656065
responseEnd: float,
6066-
};
6066+
}
60676067
</pre>
60686068

60696069
The <code>network.FetchTimingInfo</code> type represents the time of each part
@@ -6189,7 +6189,7 @@ network.Initiator = {
61896189
? request: network.Request,
61906190
? stackTrace: script.StackTrace,
61916191
? type: "parser" / "script" / "preflight" / "other"
6192-
};
6192+
}
61936193
</pre>
61946194

61956195
The <code>network.Initiator</code> type represents the source of a network
@@ -6273,7 +6273,7 @@ network.RequestData = {
62736273
destination: text,
62746274
initiatorType: text / null,
62756275
timings: network.FetchTimingInfo,
6276-
};
6276+
}
62776277
</pre>
62786278

62796279
The <code>network.RequestData</code> type represents an ongoing network request.
@@ -6346,7 +6346,7 @@ To <dfn>get the request data</dfn> given |request|:
63466346
<pre class="cddl local-cddl">
63476347
network.ResponseContent = {
63486348
size: js-uint
6349-
};
6349+
}
63506350
</pre>
63516351

63526352
The <code>network.ResponseContent</code> type represents the decoded response to
@@ -6382,7 +6382,7 @@ network.ResponseData = {
63826382
bodySize: js-uint / null,
63836383
content: network.ResponseContent,
63846384
?authChallenges: [*network.AuthChallenge],
6385-
};
6385+
}
63866386
</pre>
63876387

63886388
The <code>network.ResponseData</code> type represents the response to a network
@@ -8086,7 +8086,7 @@ used to send custom messages from the [=remote end=] to the [=local end=].
80868086
script.ChannelValue = {
80878087
type: "channel",
80888088
value: script.ChannelProperties,
8089-
};
8089+
}
80908090

80918091
script.ChannelProperties = {
80928092
channel: script.Channel,
@@ -8155,7 +8155,7 @@ script.ExceptionDetails = {
81558155
lineNumber: js-uint,
81568156
stackTrace: script.StackTrace,
81578157
text: text,
8158-
};
8158+
}
81598159
</pre>
81608160

81618161
The <code>script.ExceptionDetails</code> type represents a JavaScript exception.
@@ -9850,7 +9850,7 @@ To <dfn>get the source</dfn> given |source realm|:
98509850
<pre class="cddl remote-cddl">
98519851
script.RealmTarget = {
98529852
realm: script.Realm
9853-
};
9853+
}
98549854

98559855
script.ContextTarget = {
98569856
context: browsingContext.BrowsingContext,
@@ -9860,7 +9860,7 @@ script.ContextTarget = {
98609860
script.Target = (
98619861
script.ContextTarget /
98629862
script.RealmTarget
9863-
);
9863+
)
98649864
</pre>
98659865

98669866
The <code>script.Target</code> type represents a value that is either a

0 commit comments

Comments
 (0)