> is present:
1. Let targetMatchResult be the result of
- [=URL pattern/match|match a URL pattern=]
+ [=URL pattern/match|matching a URL pattern=]
given urlPattern and linkTarget.
1. Let navigationMatchResult be the result of
- [=URL pattern/match|match a URL pattern=] given
+ [=URL pattern/match|matching a URL pattern=] given
urlPattern and navigationURL.
1. If navigationMatchResult or targetMatchResult is null, return false.
@@ -671,185 +631,111 @@ the following steps return true:
1. Return true.
-1. Otherwise:
-
- 1. Return true if linkTarget [=url/equals=] navigationURL.
-
- 1. Return false.
-
NOTE: Some of the design discussion for this feature has been in
w3c/csswg-drafts#13163.
-Definitions of current navigation state
-
-Both the ''@navigation'' rule and the '':link-to()'' pseudo-class
-rely on the following definitions of [=current at URL=]
-the [=current with URL=], [=current from URL=], and [=current to URL=].
-
-The current from URL of a [=/document=] is a URL or null.
-It is defined as follows:
-
-1. If the [=document's navigation API=] of the document is non-null and
- its [=transition=] is non-null,
- its [=from entry=]'s {{NavigationHistoryEntry/url}}.
-
- NOTE: This part is for when the old document in the navigation
- is still the current document.
-
-1. If the [=document's navigation API=] of the document is non-null,
- its [=activation=] is non-null,
- the activation's {{NavigationActivation/from}} is non-null, and
- the document's [=has been revealed=] is false or
- was false at the start of the current [=task=],
- the activation's {{NavigationActivation/from}}'s
- {{NavigationHistoryEntry/url}}.
-
- NOTE: This part is for when the new document in the navigation
- has become the current document.
-
-1. Otherwise, null.
-
- NOTE: The previous two branches can also produce null results.
+Processing model
-The current to URL of a [=/document=] is a URL or null.
-It is defined as follows:
+The at rules and pseudo-classes defined in this document rely on the [=current navigation state=].
-1. If the [=document's navigation API=] of the document is non-null and
- its [=ongoing navigate event=] is non-null:
+A navigation state is a [=struct=] with the following items:
- 1. if the {{pageswap}} event has fired since that navigation began,
- and its {{PageSwapEvent/activation}} was non-null,
- and that {{PageSwapEvent/activation}}'s
- {{NavigationActivation/entry}}'s
- {{NavigationHistoryEntry/url}} is non-null,
- then that
- {{NavigationHistoryEntry/url}}.
+
+ : old URL
+ : new URL
+ :: a [=/URL=]
+
+ : type
+ :: a {{NavigationType}}
+
+ : old index
+ : new index
+ :: an integer
- NOTE: This part does expose the result of redirects.
+ : phase
+ :: `loading`, `ready`, or `committed`.
- NOTE: This part is not relevant to normal page rendering.
- However, it can be relevant to what is rendered
- when [=capturing the image=]
- for a [[css-view-transitions-2#cross-document-view-transitions|cross-document view transition]].
-
- ISSUE: Is the final "non-null" check needed?
-
- 1. otherwise, the [=ongoing navigate event=]'s
- {{NavigateEvent/destination}}'s
- {{NavigationDestination/url}}
-
- NOTE: This part does not expose the result of redirects.
-
- ISSUE: This assumes that the [=ongoing navigate event=]
- and the [=transition=] have the same lifetime,
- but this isn't really
- true if the event is intercepted.
- After
- whatwg/html#11690 /
- whatwg/html#11692.
- we could probably define this more like "from" above.
- But which lifetime is the one we want?
-
- NOTE: This part is for when the old document in the navigation
- is still the current document.
-
-1. If the [=document's navigation API=] of the document is non-null and
- its [=activation=] is non-null,
- the document's [=has been revealed=] is false or
- was false at the start of the current [=task=],
- and the activation's {{NavigationActivation/entry}}'s
- {{NavigationHistoryEntry/url}}.
+ : source element
+ :: null or an {{Element}}.
+
- NOTE: This part is for when the new document in the navigation
- has become the current document.
+
+To get the current navigation state of a {{Document}} |document|:
- ISSUE: Does it make sense to expose this when
- the activation's {{NavigationActivation/from}} is null,
- and thus there is no [=current from URL=]?
+1. If |document| is not [=Document/fully active=], return null.
-1. Otherwise, null.
+1. Let |navigation| be |document|'s [=relevant global object=]'s [=navigation API=].
- NOTE: The previous two branches can also produce null results.
+1. Let |activation| be |navigation|'s {{Navigation/activation}}.
-ISSUE: The above definitions of from and to apparently don't work right
-if you start a same-document navigation (e.g., with {{History/pushState}})
-in the middle of a cross-document navigation.
+1. If |document| has not [=has been revealed|been revealed=]:
+ 1. If |activation| is null, return null.
-The current at URL of a [=/document=] is a URL or null.
-It is defined as follows:
+ 1. [=Assert=]: |activation|'s {{NavigationActivation/entry}} is not null.
-1. ISSUE: Write this! (It should be null if there is no active navigation,
- and the same as the document's [=Document/URL=] if there is.)
+ 1. Return a new [=navigation state=] whose
+ [=navigation state/old URL=] is |activation|'s {{NavigationActivation/from}}'s {{NavigationHistoryEntry/url}},
+ [=navigation state/new URL=] is |activation|'s {{NavigationActivation/entry}}'s {{NavigationHistoryEntry/url}},
+ [=navigation state/type=] is |activation|'s {{NavigationActivation/navigationType}},
+ [=navigation state/old index=] is |activation|'s {{NavigationActivation/from}}'s {{NavigationHistoryEntry/index}},
+ [=navigation state/new index=] is |activation|'s {{NavigationActivation/entry}}'s {{NavigationHistoryEntry/index}},
+ [=navigation state/phase=] is `committed`,
+ and [=navigation state/source element=] is null.
-The current with URL of a [=/document=] is a URL or null.
-It is defined as follows:
+ Note: this means that navigations that occur before the page is revealed, e.g. calling {{History/pushState()}} in the head do not reflect in CSS.
-1. ISSUE: Write this! (It should be like [=current to URL=] and [=current from URL=]
- but always referring to the other Document in the navigation.)
+1. Let |navigateEvent| be the [=ongoing navigate event=] of |navigation|.
-The current navigation type of a [=/document=] is a {{NavigationType}} or null.
-It is defined as follows:
+1. Let |phase| be `loading`.
-1. If the [=document's navigation API=] of the document is non-null and
- its [=transition=] is non-null,
- the transition's {{NavigationTransition/navigationType}}.
+1. If |navigateEvent| is null and |navigation|'s [=traversing navigate event=] is not null:
+ 1. Set |navigateEvent| to |navigation|'s [=traversing navigate event=].
- NOTE: This part is for when the old document in the navigation
- is still the current document.
+ 1. Set |phase| to `ready`.
-1. If the [=document's navigation API=] of the document is non-null and
- its [=activation=] is non-null,
- the document's [=has been revealed=] is false or
- was false at the start of the current [=task=],
- the activation's {{NavigationActivation/navigationType}}.
+1. If |navigateEvent| is null, return null.
- NOTE: This part is for when the new document in the navigation
- has become the current document.
+1. Return a new [=navigation state=] whose
+ [=navigation state/old URL=] is |document|'s [=Document/URL=],
+ [=navigation state/new URL=] is |navigateEvent|'s {{NavigateEvent/destination}}'s {{NavigationDestination/url}},
+ [=navigation state/type=] is |ongoingNavigateEvent|'s {{NavigateEvent/navigationType}},
+ [=navigation state/old index=] is |navigation|'s [=navigation API/current entry=]'s {{NavigationHistoryEntry/index}},
+ [=navigation state/new index=] is |navigateEvent|'s {{NavigateEvent/destination}}'s {{NavigationDestination/index}},
+ [=navigation state/phase=] is |phase|,
+ and [=navigation state/source element=] is |ongoingNavigateEvent|'s {{NavigateEvent/sourceElement}}.
-1. Otherwise, null.
+
-The current navigation delta of a [=/document=] is a {{NavigationType}} or null.
-It is defined as follows:
+To get the current navigation URL given a {{Document}} |document| and a <> |relation|:
-1. If the [=document's navigation API=] of the document is non-null and
- its [=transition=] is non-null,
+1. Let |state| be |document|'s [=current navigation state=].
+1. If |state| is null, return null.
+1. Return the result of switching on |relation|:
- 1. If the transition's {{NavigationTransition/navigationType}} is not {{NavigationType/traverse}}, null.
+
+: ''to''
+:: |state|'s [=navigation state/new URL=].
- 1. Otherwise,
- the transition's {{NavigationTransition/to}}'s {{NavigationDestination/index}}
- minus
- the transition's {{NavigationTransition/from}}'s {{NavigationHistoryEntry/index}}.
+: ''from''
+:: |state|'s [=navigation state/old URL=].
- NOTE: This part is for when the old document in the navigation
- is still the current document.
+: ''at''
+:: |state|'s [=navigation state/new URL=] if |state|'s [=navigation state/phase=] is `committed`; Otherwise |state|'s [=navigation state/old URL=].
-1. If the [=document's navigation API=] of the document is non-null,
- its [=activation=] is non-null,
- the activation's {{NavigationActivation/from}} is non-null, and
- the document's [=has been revealed=] is false or
- was false at the start of the current [=task=],
+: ''with''
+:: |state|'s [=navigation state/old URL=] if |state|'s [=navigation state/phase=] is `committed`; Otherwise |state|'s [=navigation state/new URL=].
- 1. If the activation's {{NavigationActivation/navigationType}} is not {{NavigationType/traverse}}, null.
+
- 1. Otherwise,
- the activation's {{NavigationActivation/entry}}'s {{NavigationHistoryEntry/index}}
- minus
- the activation's {{NavigationActivation/from}}'s {{NavigationHistoryEntry/index}}.
+To get the current navigation type of a [=/document=] |document|:
+ 1. If |document|'s [=current navigation state=] is non-null, return its [=navigation state/type=].
+ 1. Return null.
- NOTE: This part is for when the new document in the navigation
- has become the current document.
+The traversing navigate event is the [=ongoing navigate event=] which was reset when the [=ongoing navigation=] is set to `traversal`.
-1. Otherwise, null.
-ISSUE: Generally improve integration with the HTML spec for these definitions,
-instead of monkeypatching.
-This includes the interaction with [=has been revealed=]
-and the interaction with the {{pageswap}} event,
-and other things where this section links to non-exported definitions.
-ISSUE: Generally figure out if these definitions should care about
-the [=ongoing navigate event=] or the [=transition=].
+ISSUE: Improve integration with the HTML standard, especially the concept of [=traversing navigate event=] and unexported definitions.
Privacy Considerations