OLD | NEW |
1 // Copyright 2013 The Chromium Authors. All rights reserved. | 1 // Copyright 2013 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ | 5 #ifndef IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ |
6 #define IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ | 6 #define IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ |
7 | 7 |
| 8 #include <stddef.h> |
| 9 |
8 #include "ios/web/public/browser_url_rewriter.h" | 10 #include "ios/web/public/browser_url_rewriter.h" |
9 | 11 |
10 namespace web { | 12 namespace web { |
11 | 13 |
12 class BrowserState; | 14 class BrowserState; |
13 class NavigationItem; | 15 class NavigationItem; |
14 class WebState; | 16 class WebState; |
15 | 17 |
16 // A NavigationManager maintains the back-forward list for a WebState and | 18 // A NavigationManager maintains the back-forward list for a WebState and |
17 // manages all navigation within that list. | 19 // manages all navigation within that list. |
(...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
96 // Reloads the current entry. If |check_for_repost| is true and the current | 98 // Reloads the current entry. If |check_for_repost| is true and the current |
97 // entry has POST data the user is prompted to see if they really want to | 99 // entry has POST data the user is prompted to see if they really want to |
98 // reload the page. In nearly all cases pass in true. If a transient entry | 100 // reload the page. In nearly all cases pass in true. If a transient entry |
99 // is showing, initiates a new navigation to its URL. | 101 // is showing, initiates a new navigation to its URL. |
100 virtual void Reload(bool check_for_repost) = 0; | 102 virtual void Reload(bool check_for_repost) = 0; |
101 }; | 103 }; |
102 | 104 |
103 } // namespace web | 105 } // namespace web |
104 | 106 |
105 #endif // IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ | 107 #endif // IOS_WEB_PUBLIC_NAVIGATION_MANAGER_H_ |
OLD | NEW |