OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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_ISOLATE_INL_H_ | 5 #ifndef V8_ISOLATE_INL_H_ |
6 #define V8_ISOLATE_INL_H_ | 6 #define V8_ISOLATE_INL_H_ |
7 | 7 |
8 #include "src/debug.h" | 8 #include "src/debug.h" |
9 #include "src/isolate.h" | 9 #include "src/isolate.h" |
10 #include "src/utils/random-number-generator.h" | 10 #include "src/utils/random-number-generator.h" |
(...skipping 14 matching lines...) Expand all Loading... |
25 } | 25 } |
26 | 26 |
27 | 27 |
28 bool Isolate::DebuggerHasBreakPoints() { | 28 bool Isolate::DebuggerHasBreakPoints() { |
29 return debug()->has_break_points(); | 29 return debug()->has_break_points(); |
30 } | 30 } |
31 | 31 |
32 | 32 |
33 RandomNumberGenerator* Isolate::random_number_generator() { | 33 RandomNumberGenerator* Isolate::random_number_generator() { |
34 if (random_number_generator_ == NULL) { | 34 if (random_number_generator_ == NULL) { |
35 random_number_generator_ = new RandomNumberGenerator; | 35 if (FLAG_random_seed != 0) { |
| 36 random_number_generator_ = new RandomNumberGenerator(FLAG_random_seed); |
| 37 } else { |
| 38 random_number_generator_ = new RandomNumberGenerator(); |
| 39 } |
36 } | 40 } |
37 return random_number_generator_; | 41 return random_number_generator_; |
38 } | 42 } |
39 | 43 |
40 } } // namespace v8::internal | 44 } } // namespace v8::internal |
41 | 45 |
42 #endif // V8_ISOLATE_INL_H_ | 46 #endif // V8_ISOLATE_INL_H_ |
OLD | NEW |