Index: src/utils/random-number-generator.h |
diff --git a/src/utils/random-number-generator.h b/src/utils/random-number-generator.h |
index 54075716c48c2f4c024600b4ee38cef0d834b2d9..6b077eebdd77539abe233eebca9688df45a64446 100644 |
--- a/src/utils/random-number-generator.h |
+++ b/src/utils/random-number-generator.h |
@@ -71,13 +71,15 @@ class RandomNumberGenerator V8_FINAL { |
// Fills the elements of a specified array of bytes with random numbers. |
void NextBytes(void* buffer, size_t buflen); |
+ // Override the current ssed. |
+ void SetSeed(int64_t seed); |
+ |
private: |
static const int64_t kMultiplier = V8_2PART_UINT64_C(0x5, deece66d); |
static const int64_t kAddend = 0xb; |
static const int64_t kMask = V8_2PART_UINT64_C(0xffff, ffffffff); |
int Next(int bits) V8_WARN_UNUSED_RESULT; |
- void SetSeed(int64_t seed); |
int64_t seed_; |
}; |