| OLD | NEW |
| 1 // Copyright (c) 2009 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2009 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 WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ | 5 #ifndef WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ |
| 6 #define WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ | 6 #define WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ |
| 7 | 7 |
| 8 #include <wtf/HashMap.h> | 8 #include <wtf/HashMap.h> |
| 9 #include <wtf/Noncopyable.h> | 9 #include <wtf/Noncopyable.h> |
| 10 | 10 |
| 11 #include "v8/include/v8-debug.h" | 11 #include "v8/include/v8-debug.h" |
| 12 #include "webkit/api/public/WebDevToolsAgent.h" | 12 #include "third_party/WebKit/WebKit/chromium/public/WebDevToolsAgent.h" |
| 13 | 13 |
| 14 namespace WebCore { | 14 namespace WebCore { |
| 15 class PageGroupLoadDeferrer; | 15 class PageGroupLoadDeferrer; |
| 16 } | 16 } |
| 17 | 17 |
| 18 namespace WebKit { | 18 namespace WebKit { |
| 19 class WebFrameImpl; | 19 class WebFrameImpl; |
| 20 class WebViewImpl; | 20 class WebViewImpl; |
| 21 } | 21 } |
| 22 | 22 |
| (...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 91 static bool in_host_dispatch_handler_; | 91 static bool in_host_dispatch_handler_; |
| 92 typedef HashMap<WebKit::WebViewImpl*, WebCore::PageGroupLoadDeferrer*> | 92 typedef HashMap<WebKit::WebViewImpl*, WebCore::PageGroupLoadDeferrer*> |
| 93 DeferrersMap; | 93 DeferrersMap; |
| 94 static DeferrersMap page_deferrers_; | 94 static DeferrersMap page_deferrers_; |
| 95 | 95 |
| 96 static bool in_utility_context_; | 96 static bool in_utility_context_; |
| 97 static bool debug_break_delayed_; | 97 static bool debug_break_delayed_; |
| 98 }; | 98 }; |
| 99 | 99 |
| 100 #endif // WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ | 100 #endif // WEBKIT_GLUE_DEVTOOLS_DEBUGGER_AGENT_MANAGER_H_ |
| OLD | NEW |