[Navigation Experiment] Add WKBasedNavigationManagerImpl.

ios/web/web_state/ui/crw_web_controller.h

 // Copyright 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef IOS_WEB_WEB_STATE_UI_CRW_WEB_CONTROLLER_H_
 #define IOS_WEB_WEB_STATE_UI_CRW_WEB_CONTROLLER_H_
 
 #import <UIKit/UIKit.h>
+#import <WebKit/WebKit.h>
 
+#import "ios/web/navigation/web_view_navigation_proxy.h"
 #import "ios/web/net/crw_request_tracker_delegate.h"
 #import "ios/web/public/navigation_manager.h"
 #import "ios/web/public/web_state/js/crw_js_injection_evaluator.h"
 #import "ios/web/public/web_state/ui/crw_web_delegate.h"
 #include "ios/web/public/web_state/url_verification_constants.h"
 #import "ios/web/web_state/ui/crw_touch_tracking_recognizer.h"
 
 namespace web {
 
 // Page load phases.
@@ skipping 47 matching lines @@
 @property(nonatomic, readonly) web::WebState* webState;
 @property(nonatomic, readonly) web::WebStateImpl* webStateImpl;
 
 // The container view used to display content.  If the view has been purged due
 // to low memory, this will recreate it.
 @property(nonatomic, readonly) UIView* view;
 
 // The web view proxy associated with this controller.
 @property(nonatomic, readonly) id<CRWWebViewProxy> webViewProxy;
 
+// The web view navigation proxy associated with this controller.
+@property(nonatomic, readonly)
+    web::WebViewNavigationProxy* webViewNavigationProxy;
+
 // The view that generates print data when printing. It is nil if printing
 // is not supported.
 @property(nonatomic, readonly) UIView* viewForPrinting;
 
 // Content view was reset due to low memory.  Use placeholder overlay view on
 // next creation.
 @property(nonatomic, readwrite, assign) BOOL usePlaceholderOverlay;
 
 // Returns the current page loading phase.
 @property(nonatomic, readonly) web::LoadPhase loadPhase;
@@ skipping 192 matching lines @@
 
 // Returns the number of observers registered for this CRWWebController.
 - (NSUInteger)observerCount;
 
 // Loads the HTML into the page at the given URL.
 - (void)loadHTML:(NSString*)HTML forURL:(const GURL&)URL;
 
 @end
 
 #endif  // IOS_WEB_WEB_STATE_UI_CRW_WEB_CONTROLLER_H_