| 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 |