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_EFFECTS_H_ | 5 #ifndef V8_EFFECTS_H_ |
6 #define V8_EFFECTS_H_ | 6 #define V8_EFFECTS_H_ |
7 | 7 |
8 #include "v8.h" | 8 #include "src/v8.h" |
9 | 9 |
10 #include "types.h" | 10 #include "src/types.h" |
11 | 11 |
12 namespace v8 { | 12 namespace v8 { |
13 namespace internal { | 13 namespace internal { |
14 | 14 |
15 | 15 |
16 // A simple struct to represent (write) effects. A write is represented as a | 16 // A simple struct to represent (write) effects. A write is represented as a |
17 // modification of type bounds (e.g. of a variable). | 17 // modification of type bounds (e.g. of a variable). |
18 // | 18 // |
19 // An effect can either be definite, if the write is known to have taken place, | 19 // An effect can either be definite, if the write is known to have taken place, |
20 // or 'possible', if it was optional. The difference is relevant when composing | 20 // or 'possible', if it was optional. The difference is relevant when composing |
(...skipping 306 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
327 NestedEffects result = *this; | 327 NestedEffects result = *this; |
328 result.pop(); | 328 result.pop(); |
329 ASSERT(!this->is_empty()); | 329 ASSERT(!this->is_empty()); |
330 return result; | 330 return result; |
331 } | 331 } |
332 }; | 332 }; |
333 | 333 |
334 } } // namespace v8::internal | 334 } } // namespace v8::internal |
335 | 335 |
336 #endif // V8_EFFECTS_H_ | 336 #endif // V8_EFFECTS_H_ |
OLD | NEW |