Fuchsia: Use low-level prng call, add test, update test runner.

runtime/platform/text_buffer.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "platform/text_buffer.h"
 
 #include "platform/assert.h"
 #include "platform/globals.h"
 #include "platform/utils.h"
 #include "vm/os.h"
@@ skipping 39 matching lines @@
 
 
 void TextBuffer::AddRaw(const uint8_t* buffer,
                         intptr_t buffer_length) {
   EnsureCapacity(buffer_length);
   memmove(&buf_[msg_len_], buffer, buffer_length);
   msg_len_ += buffer_length;
   buf_[msg_len_] = '\0';
 }
 
+
 intptr_t TextBuffer::Printf(const char* format, ...) {
   va_list args;
   va_start(args, format);
   intptr_t remaining = buf_size_ - msg_len_;
   ASSERT(remaining >= 0);
   intptr_t len = OS::VSNPrint(buf_ + msg_len_, remaining, format, args);
   va_end(args);
   if (len >= remaining) {
     EnsureCapacity(len);
     remaining = buf_size_ - msg_len_;
     ASSERT(remaining > len);
     va_list args2;
     va_start(args2, format);
     intptr_t len2 = OS::VSNPrint(buf_ + msg_len_, remaining, format, args2);
     va_end(args2);
     ASSERT(len == len2);
   }
   msg_len_ += len;
   buf_[msg_len_] = '\0';
   return len;
 }
 
+
 // Write a UTF-32 code unit so it can be read by a JSON parser in a string
 // literal. Use official encoding from JSON specification. http://json.org/
 void TextBuffer::EscapeAndAddCodeUnit(uint32_t codeunit) {
   switch (codeunit) {
     case '"':
       AddRaw(reinterpret_cast<uint8_t const*>("\\\""), 2);
       break;
     case '\\':
       AddRaw(reinterpret_cast<uint8_t const*>("\\\\"), 2);
       break;
@@ skipping 20 matching lines @@
         EscapeAndAddUTF16CodeUnit(codeunit);
       } else {
         char encoded[6];
         intptr_t length = Utf8::Length(codeunit);
         Utf8::Encode(codeunit, encoded);
         AddRaw(reinterpret_cast<uint8_t const*>(encoded), length);
       }
   }
 }
 
+
 // Write an incomplete UTF-16 code unit so it can be read by a JSON parser in a
 // string literal.
 void TextBuffer::EscapeAndAddUTF16CodeUnit(uint16_t codeunit) {
   Printf("\\u%04X", codeunit);
 }
 
 
 void TextBuffer::AddString(const char* s) {
   Printf("%s", s);
 }
@@ skipping 17 matching lines @@
     // the debugger front-end.
     intptr_t new_size = buf_size_ + len + kBufferSpareCapacity;
     char* new_buf = reinterpret_cast<char*>(realloc(buf_, new_size));
     ASSERT(new_buf != NULL);
     buf_ = new_buf;
     buf_size_ = new_size;
   }
 }
 
 }  // namespace dart