| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project 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 V8_ASSERT_SCOPE_H_ | 5 #ifndef V8_ASSERT_SCOPE_H_ |
| 6 #define V8_ASSERT_SCOPE_H_ | 6 #define V8_ASSERT_SCOPE_H_ |
| 7 | 7 |
| 8 #include <stdint.h> | 8 #include <stdint.h> |
| 9 #include "src/base/macros.h" | 9 #include "src/base/macros.h" |
| 10 #include "src/globals.h" | 10 #include "src/globals.h" |
| 11 | 11 |
| 12 namespace v8 { | 12 namespace v8 { |
| 13 namespace internal { | 13 namespace internal { |
| 14 | 14 |
| 15 // Forward declarations. | 15 // Forward declarations. |
| 16 class Isolate; | 16 class Isolate; |
| 17 class PerThreadAssertData; | 17 class PerThreadAssertData; |
| 18 | 18 |
| 19 | 19 |
| 20 enum PerThreadAssertType { | 20 enum PerThreadAssertType { |
| 21 HEAP_ALLOCATION_ASSERT, | 21 HEAP_ALLOCATION_ASSERT, |
| 22 HANDLE_ALLOCATION_ASSERT, | 22 HANDLE_ALLOCATION_ASSERT, |
| 23 HANDLE_DEREFERENCE_ASSERT, | 23 HANDLE_DEREFERENCE_ASSERT, |
| 24 DEFERRED_HANDLE_DEREFERENCE_ASSERT, | 24 DEFERRED_HANDLE_DEREFERENCE_ASSERT, |
| 25 CODE_DEPENDENCY_CHANGE_ASSERT, | 25 CODE_DEPENDENCY_CHANGE_ASSERT, |
| 26 LAST_PER_THREAD_ASSERT_TYPE | 26 LAST_PER_THREAD_ASSERT_TYPE |
| 27 }; | 27 }; |
| 28 | 28 |
| 29 | |
| 30 enum PerIsolateAssertType { | 29 enum PerIsolateAssertType { |
| 31 JAVASCRIPT_EXECUTION_ASSERT, | 30 JAVASCRIPT_EXECUTION_ASSERT, |
| 32 JAVASCRIPT_EXECUTION_THROWS, | 31 JAVASCRIPT_EXECUTION_THROWS, |
| 33 DEOPTIMIZATION_ASSERT, | 32 DEOPTIMIZATION_ASSERT, |
| 34 COMPILATION_ASSERT | 33 COMPILATION_ASSERT, |
| 34 NO_EXCEPTION_ASSERT |
| 35 }; | 35 }; |
| 36 | 36 |
| 37 template <PerThreadAssertType kType, bool kAllow> | 37 template <PerThreadAssertType kType, bool kAllow> |
| 38 class PerThreadAssertScope { | 38 class PerThreadAssertScope { |
| 39 public: | 39 public: |
| 40 V8_EXPORT_PRIVATE PerThreadAssertScope(); | 40 V8_EXPORT_PRIVATE PerThreadAssertScope(); |
| 41 V8_EXPORT_PRIVATE ~PerThreadAssertScope(); | 41 V8_EXPORT_PRIVATE ~PerThreadAssertScope(); |
| 42 | 42 |
| 43 V8_EXPORT_PRIVATE static bool IsAllowed(); | 43 V8_EXPORT_PRIVATE static bool IsAllowed(); |
| 44 | 44 |
| (...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 140 // Per-isolate assert scopes. | 140 // Per-isolate assert scopes. |
| 141 | 141 |
| 142 // Scope to document where we do not expect javascript execution. | 142 // Scope to document where we do not expect javascript execution. |
| 143 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, false> | 143 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, false> |
| 144 DisallowJavascriptExecution; | 144 DisallowJavascriptExecution; |
| 145 | 145 |
| 146 // Scope to introduce an exception to DisallowJavascriptExecution. | 146 // Scope to introduce an exception to DisallowJavascriptExecution. |
| 147 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, true> | 147 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_ASSERT, true> |
| 148 AllowJavascriptExecution; | 148 AllowJavascriptExecution; |
| 149 | 149 |
| 150 // Scope to document where we do not expect javascript execution (debug only) |
| 151 typedef PerIsolateAssertScopeDebugOnly<JAVASCRIPT_EXECUTION_ASSERT, false> |
| 152 DisallowJavascriptExecutionDebugOnly; |
| 153 |
| 154 // Scope to introduce an exception to DisallowJavascriptExecutionDebugOnly. |
| 155 typedef PerIsolateAssertScopeDebugOnly<JAVASCRIPT_EXECUTION_ASSERT, true> |
| 156 AllowJavascriptExecutionDebugOnly; |
| 157 |
| 150 // Scope in which javascript execution leads to exception being thrown. | 158 // Scope in which javascript execution leads to exception being thrown. |
| 151 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, false> | 159 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, false> |
| 152 ThrowOnJavascriptExecution; | 160 ThrowOnJavascriptExecution; |
| 153 | 161 |
| 154 // Scope to introduce an exception to ThrowOnJavascriptExecution. | 162 // Scope to introduce an exception to ThrowOnJavascriptExecution. |
| 155 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, true> | 163 typedef PerIsolateAssertScope<JAVASCRIPT_EXECUTION_THROWS, true> |
| 156 NoThrowOnJavascriptExecution; | 164 NoThrowOnJavascriptExecution; |
| 157 | 165 |
| 158 // Scope to document where we do not expect deoptimization. | 166 // Scope to document where we do not expect deoptimization. |
| 159 typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, false> | 167 typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, false> |
| 160 DisallowDeoptimization; | 168 DisallowDeoptimization; |
| 161 | 169 |
| 162 // Scope to introduce an exception to DisallowDeoptimization. | 170 // Scope to introduce an exception to DisallowDeoptimization. |
| 163 typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, true> | 171 typedef PerIsolateAssertScopeDebugOnly<DEOPTIMIZATION_ASSERT, true> |
| 164 AllowDeoptimization; | 172 AllowDeoptimization; |
| 165 | 173 |
| 166 // Scope to document where we do not expect deoptimization. | 174 // Scope to document where we do not expect deoptimization. |
| 167 typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, false> | 175 typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, false> |
| 168 DisallowCompilation; | 176 DisallowCompilation; |
| 169 | 177 |
| 170 // Scope to introduce an exception to DisallowDeoptimization. | 178 // Scope to introduce an exception to DisallowDeoptimization. |
| 171 typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, true> | 179 typedef PerIsolateAssertScopeDebugOnly<COMPILATION_ASSERT, true> |
| 172 AllowCompilation; | 180 AllowCompilation; |
| 181 |
| 182 // Scope to document where we do not expect exceptions. |
| 183 typedef PerIsolateAssertScopeDebugOnly<NO_EXCEPTION_ASSERT, false> |
| 184 DisallowExceptions; |
| 185 |
| 186 // Scope to introduce an exception to DisallowExceptions. |
| 187 typedef PerIsolateAssertScopeDebugOnly<NO_EXCEPTION_ASSERT, true> |
| 188 AllowExceptions; |
| 173 } // namespace internal | 189 } // namespace internal |
| 174 } // namespace v8 | 190 } // namespace v8 |
| 175 | 191 |
| 176 #endif // V8_ASSERT_SCOPE_H_ | 192 #endif // V8_ASSERT_SCOPE_H_ |
| OLD | NEW |