| OLD | NEW |
| 1 // Copyright (c) 2009 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2010 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 CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ | 5 #ifndef CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ |
| 6 #define CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ | 6 #define CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ |
| 7 #pragma once | 7 #pragma once |
| 8 | 8 |
| 9 #include <map> | |
| 10 #include <set> | 9 #include <set> |
| 11 #include <string> | 10 #include <string> |
| 12 #include <vector> | 11 #include <vector> |
| 13 | 12 |
| 14 #include "base/scoped_ptr.h" | 13 #include "base/scoped_ptr.h" |
| 15 #include "base/shared_memory.h" | 14 #include "base/shared_memory.h" |
| 16 #include "base/stl_util-inl.h" | 15 #include "base/stl_util-inl.h" |
| 17 #include "base/string_piece.h" | 16 #include "base/string_piece.h" |
| 18 #include "chrome/common/extensions/user_script.h" | 17 #include "chrome/common/extensions/user_script.h" |
| 19 #include "third_party/WebKit/WebKit/chromium/public/WebScriptSource.h" | 18 #include "third_party/WebKit/WebKit/chromium/public/WebScriptSource.h" |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 52 std::vector<UserScript*> scripts_; | 51 std::vector<UserScript*> scripts_; |
| 53 STLElementDeleter<std::vector<UserScript*> > script_deleter_; | 52 STLElementDeleter<std::vector<UserScript*> > script_deleter_; |
| 54 | 53 |
| 55 // Greasemonkey API source that is injected with the scripts. | 54 // Greasemonkey API source that is injected with the scripts. |
| 56 base::StringPiece api_js_; | 55 base::StringPiece api_js_; |
| 57 | 56 |
| 58 DISALLOW_COPY_AND_ASSIGN(UserScriptSlave); | 57 DISALLOW_COPY_AND_ASSIGN(UserScriptSlave); |
| 59 }; | 58 }; |
| 60 | 59 |
| 61 #endif // CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ | 60 #endif // CHROME_RENDERER_USER_SCRIPT_SLAVE_H_ |
| OLD | NEW |