2022-12-12 11:46:54 +01:00
/*
* Copyright ( c ) 2022 , Andreas Kling < kling @ serenityos . org >
2023-01-01 17:46:00 +01:00
* Copyright ( c ) 2023 , Aliaksandr Kalenik < kalenik . aliaksandr @ gmail . com >
2022-12-12 11:46:54 +01:00
*
* SPDX - License - Identifier : BSD - 2 - Clause
*/
2023-01-01 17:46:00 +01:00
# include <LibWeb/Crypto/Crypto.h>
2022-12-12 11:46:54 +01:00
# include <LibWeb/DOM/Document.h>
2023-04-06 18:10:12 +03:00
# include <LibWeb/DOM/DocumentLoading.h>
# include <LibWeb/Fetch/Fetching/Fetching.h>
# include <LibWeb/Fetch/Infrastructure/FetchAlgorithms.h>
# include <LibWeb/Fetch/Infrastructure/FetchController.h>
# include <LibWeb/Fetch/Infrastructure/URL.h>
2022-12-12 11:46:54 +01:00
# include <LibWeb/HTML/BrowsingContext.h>
# include <LibWeb/HTML/DocumentState.h>
# include <LibWeb/HTML/Navigable.h>
2023-04-06 18:10:12 +03:00
# include <LibWeb/HTML/NavigationParams.h>
2022-12-12 11:46:54 +01:00
# include <LibWeb/HTML/SessionHistoryEntry.h>
2022-12-12 12:07:41 +01:00
# include <LibWeb/HTML/TraversableNavigable.h>
2023-01-01 17:46:00 +01:00
# include <LibWeb/Platform/EventLoopPlugin.h>
2022-12-12 11:46:54 +01:00
namespace Web : : HTML {
2023-01-01 17:43:05 +01:00
static HashTable < Navigable * > & all_navigables ( )
{
static HashTable < Navigable * > set ;
return set ;
}
Navigable : : Navigable ( )
{
all_navigables ( ) . set ( this ) ;
}
2022-12-12 11:46:54 +01:00
2023-01-01 17:43:05 +01:00
Navigable : : ~ Navigable ( )
{
all_navigables ( ) . remove ( this ) ;
}
2022-12-12 11:46:54 +01:00
void Navigable : : visit_edges ( Cell : : Visitor & visitor )
{
Base : : visit_edges ( visitor ) ;
visitor . visit ( m_parent ) ;
visitor . visit ( m_current_session_history_entry ) ;
visitor . visit ( m_active_session_history_entry ) ;
visitor . visit ( m_container ) ;
}
2023-01-01 17:43:05 +01:00
JS : : GCPtr < Navigable > Navigable : : navigable_with_active_document ( JS : : NonnullGCPtr < DOM : : Document > document )
{
for ( auto * navigable : all_navigables ( ) ) {
if ( navigable - > active_document ( ) = = document )
return navigable ;
}
return nullptr ;
}
2023-04-25 20:46:32 +03:00
// https://html.spec.whatwg.org/multipage/document-sequences.html#initialize-the-navigable
ErrorOr < void > Navigable : : initialize_navigable ( JS : : NonnullGCPtr < DocumentState > document_state , JS : : GCPtr < Navigable > parent )
{
static int next_id = 0 ;
m_id = TRY ( String : : number ( next_id + + ) ) ;
// 1. Let entry be a new session history entry, with
JS : : NonnullGCPtr < SessionHistoryEntry > entry = * heap ( ) . allocate_without_realm < SessionHistoryEntry > ( ) ;
// URL: document's URL
entry - > url = document_state - > document ( ) - > url ( ) ;
// document state: documentState
entry - > document_state = document_state ;
// 2. Set navigable's current session history entry to entry.
m_current_session_history_entry = entry ;
// 3. Set navigable's active session history entry to entry.
m_active_session_history_entry = entry ;
// 4. Set navigable's parent to parent.
m_parent = parent ;
return { } ;
}
2023-04-06 23:30:02 +03:00
// https://html.spec.whatwg.org/multipage/browsing-the-web.html#getting-the-target-history-entry
JS : : GCPtr < SessionHistoryEntry > Navigable : : get_the_target_history_entry ( int target_step ) const
{
// 1. Let entries be the result of getting session history entries for navigable.
auto & entries = get_session_history_entries ( ) ;
// 2. Return the item in entries that has the greatest step less than or equal to step.
JS : : GCPtr < SessionHistoryEntry > result = nullptr ;
for ( auto & entry : entries ) {
auto entry_step = entry - > step . get < int > ( ) ;
if ( entry_step < = target_step ) {
if ( ! result | | result - > step . get < int > ( ) < entry_step ) {
result = entry ;
}
}
}
return result ;
}
2022-12-12 11:46:54 +01:00
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-document
JS : : GCPtr < DOM : : Document > Navigable : : active_document ( )
{
// A navigable's active document is its active session history entry's document.
return m_active_session_history_entry - > document_state - > document ( ) ;
}
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-bc
JS : : GCPtr < BrowsingContext > Navigable : : active_browsing_context ( )
{
// A navigable's active browsing context is its active document's browsing context.
// If this navigable is a traversable navigable, then its active browsing context will be a top-level browsing context.
if ( auto document = active_document ( ) )
return document - > browsing_context ( ) ;
return nullptr ;
}
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-wp
JS : : GCPtr < HTML : : WindowProxy > Navigable : : active_window_proxy ( )
{
// A navigable's active WindowProxy is its active browsing context's associated WindowProxy.
if ( auto browsing_context = active_browsing_context ( ) )
return browsing_context - > window_proxy ( ) ;
return nullptr ;
}
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-window
JS : : GCPtr < HTML : : Window > Navigable : : active_window ( )
{
// A navigable's active window is its active WindowProxy's [[Window]].
if ( auto window_proxy = active_window_proxy ( ) )
return window_proxy - > window ( ) ;
return nullptr ;
}
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-target
String Navigable : : target_name ( ) const
{
// FIXME: A navigable's target name is its active session history entry's document state's navigable target name.
dbgln ( " FIXME: Implement Navigable::target_name() " ) ;
return { } ;
}
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-container
JS : : GCPtr < NavigableContainer > Navigable : : container ( ) const
{
// The container of a navigable navigable is the navigable container whose nested navigable is navigable, or null if there is no such element.
return m_container ;
}
void Navigable : : set_container ( JS : : GCPtr < NavigableContainer > container )
{
m_container = container ;
}
2022-12-12 12:07:41 +01:00
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-traversable
2023-04-06 12:06:45 +03:00
JS : : GCPtr < TraversableNavigable > Navigable : : traversable_navigable ( ) const
2022-12-12 12:07:41 +01:00
{
// 1. Let navigable be inputNavigable.
2023-04-06 12:06:45 +03:00
auto navigable = const_cast < Navigable * > ( this ) ;
2022-12-12 12:07:41 +01:00
// 2. While navigable is not a traversable navigable, set navigable to navigable's parent.
while ( navigable & & ! is < TraversableNavigable > ( * navigable ) )
navigable = navigable - > parent ( ) ;
// 3. Return navigable.
return static_cast < TraversableNavigable * > ( navigable ) ;
}
2022-12-12 12:17:46 +01:00
// https://html.spec.whatwg.org/multipage/document-sequences.html#nav-top
JS : : GCPtr < TraversableNavigable > Navigable : : top_level_traversable ( )
{
// 1. Let navigable be inputNavigable.
auto navigable = this ;
// 2. While navigable's parent is not null, set navigable to navigable's parent.
while ( navigable - > parent ( ) )
navigable = navigable - > parent ( ) ;
// 3. Return navigable.
return verify_cast < TraversableNavigable > ( navigable ) ;
}
2023-04-06 18:08:44 +03:00
// https://html.spec.whatwg.org/multipage/browsing-the-web.html#getting-session-history-entries
Vector < JS : : NonnullGCPtr < SessionHistoryEntry > > & Navigable : : get_session_history_entries ( ) const
{
// 1. Let traversable be navigable's traversable navigable.
auto traversable = traversable_navigable ( ) ;
// FIXME 2. Assert: this is running within traversable's session history traversal queue.
// 3. If navigable is traversable, return traversable's session history entries.
if ( this = = traversable )
return traversable - > session_history_entries ( ) ;
// 4. Let docStates be an empty ordered set of document states.
Vector < JS : : GCPtr < DocumentState > > doc_states ;
// 5. For each entry of traversable's session history entries, append entry's document state to docStates.
for ( auto & entry : traversable - > session_history_entries ( ) )
doc_states . append ( entry - > document_state ) ;
// 6. For each docState of docStates:
while ( ! doc_states . is_empty ( ) ) {
auto doc_state = doc_states . take_first ( ) ;
// 1. For each nestedHistory of docState's nested histories:
for ( auto & nested_history : doc_state - > nested_histories ( ) ) {
// 1. If nestedHistory's id equals navigable's id, return nestedHistory's entries.
if ( nested_history . id = = id ( ) )
return nested_history . entries ;
// 2. For each entry of nestedHistory's entries, append entry's document state to docStates.
for ( auto & entry : nested_history . entries )
doc_states . append ( entry - > document_state ) ;
}
}
VERIFY_NOT_REACHED ( ) ;
}
2023-04-06 18:10:12 +03:00
// https://html.spec.whatwg.org/multipage/browsing-the-web.html#attempt-to-populate-the-history-entry's-document
WebIDL : : ExceptionOr < void > Navigable : : populate_session_history_entry_document ( JS : : GCPtr < SessionHistoryEntry > entry , Optional < NavigationParams > navigation_params , Optional < String > navigation_id , SourceSnapshotParams const & source_snapshot_params , Function < void ( ) > completion_steps )
{
// FIXME: 1. Assert: this is running in parallel.
// 2. Assert: if navigationParams is non-null, then navigationParams's response is non-null.
if ( navigation_params . has_value ( ) )
VERIFY ( navigation_params - > response ) ;
// 3. Let currentBrowsingContext be navigable's active browsing context.
[[maybe_unused]] auto current_browsing_context = active_browsing_context ( ) ;
// 4. Let documentResource be entry's document state's resource.
auto document_resource = entry - > document_state - > resource ( ) ;
// 5. If navigationParams is null, then:
if ( ! navigation_params . has_value ( ) ) {
// 1. If documentResource is a string, then set navigationParams to the result
// of creating navigation params from a srcdoc resource given entry, navigable,
// targetSnapshotParams, navigationId, and navTimingType.
if ( document_resource . has < String > ( ) ) {
TODO ( ) ;
}
// 2. Otherwise, if both of the following are true:
// - entry's URL's scheme is a fetch scheme; and
// - documentResource is null, FIXME: or allowPOST is true and documentResource's request body is not failure
else if ( Fetch : : Infrastructure : : is_fetch_scheme ( entry - > url . scheme ( ) ) & & document_resource . has < Empty > ( ) ) {
TODO ( ) ;
}
// FIXME: 3. Otherwise, if entry's URL's scheme is not a fetch scheme, then set navigationParams to a new non-fetch scheme navigation params, with
// initiator origin: entry's document state's initiator origin
else {
TODO ( ) ;
}
}
// 6. Queue a global task on the navigation and traversal task source, given navigable's active window, to run these steps:
queue_global_task ( Task : : Source : : NavigationAndTraversal , * active_window ( ) , [ this , entry , navigation_params , navigation_id , completion_steps = move ( completion_steps ) ] {
// 1. If navigable's ongoing navigation no longer equals navigationId, then run completionSteps and return.
if ( navigation_id . has_value ( ) & & ( ! ongoing_navigation ( ) . has < String > ( ) | | ongoing_navigation ( ) . get < String > ( ) ! = * navigation_id ) ) {
completion_steps ( ) ;
return ;
}
// 2. Let failure be false.
auto failure = false ;
// FIXME: 3. If navigationParams is a non-fetch scheme navigation params, then set entry's document state's document to the result of running attempt to create a non-fetch
// scheme document given entry's URL, navigable, targetSnapshotParams's sandboxing flags, navigationId, navTimingType, sourceSnapshotParams's has transient
// activation, and navigationParams's initiator origin.
// 4. Otherwise, if navigationParams is null, then set failure to true.
if ( ! navigation_params . has_value ( ) ) {
failure = true ;
}
// FIXME: 5. Otherwise, if the result of should navigation response to navigation request of type in target be blocked by Content Security Policy? given navigationParams's request,
// navigationParams's response, navigationParams's policy container's CSP list, cspNavigationType, and navigable is "Blocked", then set failure to true.
// FIXME: 6. Otherwise, if navigationParams's reserved environment is non-null and the result of checking a navigation response's adherence to its embedder policy given
// navigationParams's response, navigable, and navigationParams's policy container's embedder policy is false, then set failure to true.
// 8. If failure is true, then:
if ( failure ) {
// 1. Set entry's document state's document to the result of creating a document for inline content that doesn't have a DOM, given navigable, null, and navTimingType.
// The inline content should indicate to the user the sort of error that occurred.
// FIXME: Use SourceGenerator to produce error page from file:///res/html/error.html
// and display actual error from fetch response.
auto error_html = String : : formatted ( " <h1>Failed to load {}</h1> " sv , entry - > url ) . release_value_but_fixme_should_propagate_errors ( ) ;
entry - > document_state - > set_document ( create_document_for_inline_content ( this , navigation_id , error_html ) ) ;
// 2. Set entry's document state's document's salvageable to false.
entry - > document_state - > document ( ) - > set_salvageable ( false ) ;
// FIXME: 3. If navigationParams is not null, then:
if ( navigation_params . has_value ( ) ) {
TODO ( ) ;
}
}
// FIXME: 9. Otherwise, if navigationParams's response's status is 204 or 205, then:
else if ( navigation_params - > response - > status ( ) = = 204 | | navigation_params - > response - > status ( ) = = 205 ) {
// 1. Run completionSteps.
completion_steps ( ) ;
// 2. Return.
return ;
}
// FIXME: 10. Otherwise, if navigationParams's response has a `Content-Disposition`
// header specifying the attachment disposition type, then:
// 11. Otherwise:
else {
// 1. Let document be the result of loading a document given navigationParams, sourceSnapshotParams,
// and entry's document state's initiator origin.
auto document = load_document ( navigation_params ) ;
// 2. If document is null, then run completionSteps and return.
if ( ! document ) {
VERIFY_NOT_REACHED ( ) ;
completion_steps ( ) ;
return ;
}
// 3. Set entry's document state's document to document.
entry - > document_state - > set_document ( document . ptr ( ) ) ;
// 4. Set entry's document state's origin to document's origin.
entry - > document_state - > set_origin ( document - > origin ( ) ) ;
}
// FIXME: 12. If entry's document state's request referrer is "client", then set it to request's referrer.
// 13. If entry's document state's document is not null, then set entry's document state's ever populated to true.
if ( entry - > document_state - > document ( ) ) {
entry - > document_state - > set_ever_populated ( true ) ;
}
// 14. Run completionSteps.
completion_steps ( ) ;
( void ) this ;
} ) ;
( void ) source_snapshot_params ;
return { } ;
}
2023-01-01 17:46:00 +01:00
// To navigate a navigable navigable to a URL url using a Document sourceDocument,
// with an optional POST resource, string, or null documentResource (default null),
// an optional response-or-null response (default null), an optional boolean exceptionsEnabled (default false),
// an optional history handling behavior historyHandling (default "push"),
// an optional string cspNavigationType (default "other"),
// and an optional referrer policy referrerPolicy (default the empty string):
// https://html.spec.whatwg.org/multipage/browsing-the-web.html#navigate
WebIDL : : ExceptionOr < void > Navigable : : navigate (
AK : : URL const & url ,
JS : : NonnullGCPtr < DOM : : Document > source_document ,
Variant < Empty , String , POSTResource > document_resource ,
JS : : GCPtr < Fetch : : Infrastructure : : Response > response ,
bool exceptions_enabled ,
HistoryHandlingBehavior history_handling ,
String csp_navigation_type ,
ReferrerPolicy : : ReferrerPolicy referrer_policy )
{
// FIXME: 1. Let sourceSnapshotParams be the result of snapshotting source snapshot params given sourceDocument.
// 2. Let initiatorOriginSnapshot be sourceDocument's origin.
auto initiator_origin_snapshot = source_document - > origin ( ) ;
// FIXME: 3. If sourceDocument's node navigable is not allowed by sandboxing to navigate navigable given and sourceSnapshotParams, then:
if constexpr ( false ) {
// 1. If exceptionsEnabled is true, then throw a "SecurityError" DOMException.
if ( exceptions_enabled ) {
return WebIDL : : SecurityError : : create ( * vm ( ) . current_realm ( ) , " Source document's node navigable is not allowed to navigate " sv ) ;
}
// 2 Return.
return { } ;
}
// 4. Let navigationId be the result of generating a random UUID.
String navigation_id = TRY_OR_THROW_OOM ( vm ( ) , Crypto : : generate_random_uuid ( ) ) ;
// FIXME: 5. If the surrounding agent is equal to navigable's active document's relevant agent, then continue these steps.
// Otherwise, queue a global task on the navigation and traversal task source given navigable's active window to continue these steps.
// FIXME: 6. If navigable's active document's unload counter is greater than 0,
// then invoke WebDriver BiDi navigation failed with a WebDriver BiDi navigation status whose id is navigationId,
// status is "canceled", and url is url, and return.
// 7. If any of the following are true:
// - url equals navigable's active document's URL;
// - url's scheme is "javascript"; or
// - navigable's active document's is initial about:blank is true
if ( url . equals ( active_document ( ) - > url ( ) )
| | url . scheme ( ) = = " javascript " sv
| | active_document ( ) - > is_initial_about_blank ( ) ) {
// then set historyHandling to "replace".
history_handling = HistoryHandlingBehavior : : Replace ;
}
// 8. If all of the following are true:
// - documentResource is null;
// - response is null;
// - url equals navigable's active session history entry's URL with exclude fragments set to true; and
// - url's fragment is non-null
if ( document_resource . has < Empty > ( )
& & ! response
& & url . equals ( active_session_history_entry ( ) - > url , AK : : URL : : ExcludeFragment : : Yes )
& & ! url . fragment ( ) . is_null ( ) ) {
// 1. Navigate to a fragment given navigable, url, historyHandling, and navigationId.
TRY ( navigate_to_a_fragment ( url , history_handling , navigation_id ) ) ;
// 2. Return.
return { } ;
}
// 9. If navigable's parent is non-null, then set navigable's is delaying load events to true.
if ( parent ( ) ! = nullptr ) {
set_delaying_load_events ( true ) ;
}
// 10. Let targetBrowsingContext be navigable's active browsing context.
[[maybe_unused]] auto target_browsing_context = active_browsing_context ( ) ;
// FIXME: 11. Let targetSnapshotParams be the result of snapshotting target snapshot params given navigable.
// FIXME: 12. Invoke WebDriver BiDi navigation started with targetBrowsingContext, and a new WebDriver BiDi navigation status whose id is navigationId, url is url, and status is "pending".
// 13. If navigable's ongoing navigation is "traversal", then:
if ( ongoing_navigation ( ) . has < Traversal > ( ) ) {
// FIXME: 1. Invoke WebDriver BiDi navigation failed with targetBrowsingContext and a new WebDriver BiDi navigation status whose id is navigationId, status is "canceled", and url is url.
// 2. Return.
return { } ;
}
// 14. Set navigable's ongoing navigation to navigationId.
m_ongoing_navigation = navigation_id ;
// 15. If url's scheme is "javascript", then:
if ( url . scheme ( ) = = " javascript " sv ) {
// 1. Queue a global task on the navigation and traversal task source given navigable's active window to navigate to a javascript: URL given navigable, url, historyHandling, initiatorOriginSnapshot, and cspNavigationType.
queue_global_task ( Task : : Source : : NavigationAndTraversal , * active_window ( ) , [ this , url , history_handling , initiator_origin_snapshot , csp_navigation_type ] {
( void ) navigate_to_a_javascript_url ( url , history_handling , initiator_origin_snapshot , csp_navigation_type ) ;
} ) ;
// 2. Return.
return { } ;
}
// 16. In parallel, run these steps:
Platform : : EventLoopPlugin : : the ( ) . deferred_invoke ( [ this , document_resource , url , navigation_id , referrer_policy , initiator_origin_snapshot , response ] {
// FIXME: 1. Let unloadPromptCanceled be the result of checking if unloading is user-canceled for navigable's active document's inclusive descendant navigables.
// FIXME: 2. If unloadPromptCanceled is true, or navigable's ongoing navigation is no longer navigationId, then:
// 3. Queue a global task on the navigation and traversal task source given navigable's active window to abort navigable's active document.
queue_global_task ( Task : : Source : : NavigationAndTraversal , * active_window ( ) , [ this ] {
VERIFY ( active_document ( ) ) ;
active_document ( ) - > abort ( ) ;
} ) ;
// 4. Let documentState be a new document state with
// request referrer policy: referrerPolicy
// initiator origin: initiatorOriginSnapshot
// FIXME: resource: documentResource
// navigable target name: navigable's target name
JS : : NonnullGCPtr < DocumentState > document_state = * heap ( ) . allocate_without_realm < DocumentState > ( ) ;
document_state - > set_request_referrer_policy ( referrer_policy ) ;
document_state - > set_initiator_origin ( initiator_origin_snapshot ) ;
document_state - > set_navigable_target_name ( target_name ( ) ) ;
// 5. If url is about:blank, then set documentState's origin to documentState's initiator origin.
if ( url = = " about:blank " sv ) {
document_state - > set_origin ( document_state - > initiator_origin ( ) ) ;
}
// 6. Otherwise, if url is about:srcdoc, then set documentState's origin to navigable's parent's active document's origin.
else if ( url = = " about:srcdoc " sv ) {
document_state - > set_origin ( parent ( ) - > active_document ( ) - > origin ( ) ) ;
}
// 7. Let historyEntry be a new session history entry, with its URL set to url and its document state set to documentState.
JS : : NonnullGCPtr < SessionHistoryEntry > history_entry = * heap ( ) . allocate_without_realm < SessionHistoryEntry > ( ) ;
history_entry - > url = url ;
history_entry - > document_state = document_state ;
// FIXME: 8. Let navigationParams be null.
// FIXME: 9. If response is non-null:
if ( response ) {
}
} ) ;
return { } ;
}
WebIDL : : ExceptionOr < void > Navigable : : navigate_to_a_fragment ( AK : : URL const & , HistoryHandlingBehavior , String navigation_id )
{
( void ) navigation_id ;
TODO ( ) ;
}
WebIDL : : ExceptionOr < void > Navigable : : navigate_to_a_javascript_url ( AK : : URL const & , HistoryHandlingBehavior , Origin const & initiator_origin , String csp_navigation_type )
{
( void ) initiator_origin ;
( void ) csp_navigation_type ;
TODO ( ) ;
}
2022-12-12 11:46:54 +01:00
}