Added API Dart_PostCMessage for posting a Dart_CMessage structure

runtime/vm/snapshot_test.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 "include/dart_debugger_api.h"
 #include "platform/assert.h"
 #include "vm/bigint_operations.h"
 #include "vm/class_finalizer.h"
 #include "vm/dart_api_impl.h"
 #include "vm/dart_api_state.h"
@@ skipping 42 matching lines @@
 
 
 static Dart_CMessage* DecodeMessage(uint8_t* message,
                                     intptr_t length,
                                     ReAlloc allocator) {
   CMessageReader message_reader(message, length, allocator);
   return message_reader.ReadMessage();
 }
 
 
+// Compare two Dart_CObject object graphs rooted in first and
+// second. The second graph will be destroyed by this operation no matter
+// whether the graphs are equal or not.
+static void CompareDartCObjects(Dart_CObject* first, Dart_CObject* second) {
+  // Return immediately if entering a cycle.
+  if (second->type == Dart_CObject::kNumberOfTypes) return;
+
+  EXPECT_NE(first, second);
+  EXPECT_EQ(first->type, second->type);
+  switch (first->type) {
+    case Dart_CObject::kNull:
+      // Nothing more to compare.
+      break;
+    case Dart_CObject::kBool:
+      EXPECT_EQ(first->value.as_bool, second->value.as_bool);
+      break;
+    case Dart_CObject::kInt32:
+      EXPECT_EQ(first->value.as_int32, second->value.as_int32);
+      break;
+    case Dart_CObject::kDouble:
+      EXPECT_EQ(first->value.as_double, second->value.as_double);
+      break;
+    case Dart_CObject::kString:
+      EXPECT_STREQ(first->value.as_string, second->value.as_string);
+      break;
+    case Dart_CObject::kArray:
+      // Use invalid type as a visited marker to avoid infinite
+      // recursion on graphs with cycles.
+      second->type = Dart_CObject::kNumberOfTypes;
+      EXPECT_EQ(first->value.as_array.length, second->value.as_array.length);
+      for (int i = 0; i < first->value.as_array.length; i++) {
+        CompareDartCObjects(first->value.as_array.values[i],
+                            second->value.as_array.values[i]);
+      }
+      break;
+    default:
+      EXPECT(false);
+  }
+}
+
+
+static void CheckEncodeDecodeMessage(Dart_CMessage* cmessage) {
+  // Encode and decode the message.
+  uint8_t* buffer = NULL;
+  MessageWriter writer(&buffer, &malloc_allocator);
+  writer.WriteCMessage(cmessage->root);
+
+  Zone zone(Isolate::Current());
+  Dart_CMessage* new_cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
+                                              writer.BytesWritten(),
+                                              &zone_allocator);
+
+  // Check that the two messages are the same.
+  CompareDartCObjects(cmessage->root, new_cmessage->root);
+}
+
 TEST_CASE(SerializeNull) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Object& null_object = Object::Handle();
   writer.WriteObject(null_object.raw());
   writer.FinalizeBuffer();
 
   // Create a snapshot object using the buffer.
   const Snapshot* snapshot = Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot.
   SnapshotReader reader(snapshot, Isolate::Current());
   const Object& serialized_object = Object::Handle(reader.ReadObject());
   EXPECT(Equals(null_object, serialized_object));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kNull, cobject->type);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeSmi1) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Smi& smi = Smi::Handle(Smi::New(124));
   writer.WriteObject(smi.raw());
   writer.FinalizeBuffer();
 
   // Create a snapshot object using the buffer.
   const Snapshot* snapshot = Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot.
   SnapshotReader reader(snapshot, Isolate::Current());
   const Object& serialized_object = Object::Handle(reader.ReadObject());
   EXPECT(Equals(smi, serialized_object));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kInt32, cobject->type);
   EXPECT_EQ(smi.Value(), cobject->value.as_int32);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeSmi2) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Smi& smi = Smi::Handle(Smi::New(-1));
   writer.WriteObject(smi.raw());
   writer.FinalizeBuffer();
 
   // Create a snapshot object using the buffer.
   const Snapshot* snapshot = Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot.
   SnapshotReader reader(snapshot, Isolate::Current());
   const Object& serialized_object = Object::Handle(reader.ReadObject());
   EXPECT(Equals(smi, serialized_object));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kInt32, cobject->type);
   EXPECT_EQ(smi.Value(), cobject->value.as_int32);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeDouble) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Double& dbl = Double::Handle(Double::New(101.29));
   writer.WriteObject(dbl.raw());
   writer.FinalizeBuffer();
 
   // Create a snapshot object using the buffer.
   const Snapshot* snapshot = Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot.
   SnapshotReader reader(snapshot, Isolate::Current());
   const Object& serialized_object = Object::Handle(reader.ReadObject());
   EXPECT(Equals(dbl, serialized_object));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kDouble, cobject->type);
   EXPECT_EQ(dbl.value(), cobject->value.as_double);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeBool) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Bool& bool1 = Bool::Handle(Bool::True());
@@ skipping 26 matching lines @@
   Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kBool, cobject->type);
   EXPECT_EQ(true, cobject->value.as_bool);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeFalse) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with false object.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Bool& bl = Bool::Handle(Bool::False());
   writer.WriteObject(bl.raw());
   writer.FinalizeBuffer();
 
   // Create a snapshot object using the buffer.
   Snapshot::SetupFromBuffer(buffer);
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_NOTNULL(cobject);
   EXPECT_EQ(Dart_CObject::kBool, cobject->type);
   EXPECT_EQ(false, cobject->value.as_bool);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeBigint) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Bigint& bigint = Bigint::Handle(Bigint::New(0xfffffffffLL));
@@ skipping 94 matching lines @@
   serialized_str ^= reader.ReadObject();
   EXPECT(str.Equals(serialized_str));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_EQ(Dart_CObject::kString, cobject->type);
   EXPECT_STREQ(cstr, cobject->value.as_string);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeArray) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const int kArrayLength = 10;
@@ skipping 20 matching lines @@
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_EQ(Dart_CObject::kArray, cobject->type);
   EXPECT_EQ(kArrayLength, cobject->value.as_array.length);
   for (int i = 0; i < kArrayLength; i++) {
     Dart_CObject* element = cobject->value.as_array.values[i];
     EXPECT_EQ(Dart_CObject::kInt32, element->type);
     EXPECT_EQ(i, element->value.as_int32);
   }
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeEmptyArray) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const int kArrayLength = 0;
@@ skipping 11 matching lines @@
   EXPECT(array.Equals(serialized_array));
 
   // Read object back from the snapshot into a C structure.
   Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_EQ(Dart_CObject::kArray, cobject->type);
   EXPECT_EQ(kArrayLength, cobject->value.as_array.length);
   EXPECT(cobject->value.as_array.values == NULL);
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 TEST_CASE(SerializeScript) {
   const char* kScriptChars =
       "class A {\n"
       "  static bar() { return 42; }\n"
       "  static fly() { return 5; }\n"
       "}\n";
 
@@ skipping 312 matching lines @@
                                           writer.BytesWritten(),
                                           &zone_allocator);
   Dart_CObject* cobject = cmessage->root;
   EXPECT_EQ(Dart_CObject::kArray, cobject->type);
   EXPECT_EQ(kArrayLength, cobject->value.as_array.length);
   for (int i = 0; i < kArrayLength; i++) {
     Dart_CObject* element = cobject->value.as_array.values[i];
     EXPECT_EQ(Dart_CObject::kInt32, element->type);
     EXPECT_EQ(i + 1, element->value.as_int32);
   }
+  CheckEncodeDecodeMessage(cmessage);
 }
 
 
 // Helper function to call a top level Dart function, serialize the
 // result and deserialize the result into a Dart_CObject structure.
 static Dart_CMessage* GetDeserializedDartMessage(Dart_Handle lib,
                                                  const char* dart_function) {
   Dart_Handle result;
   result = Dart_InvokeStatic(lib,
                              Dart_NewString(""),
@@ skipping 66 matching lines @@
       writer.FinalizeBuffer();
 
       // Read object back from the snapshot into a C structure.
       Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                               writer.BytesWritten(),
                                               &zone_allocator);
       Dart_CObject* cobject = cmessage->root;
       EXPECT_NOTNULL(cobject);
       EXPECT_EQ(Dart_CObject::kInt32, cobject->type);
       EXPECT_EQ(42, cobject->value.as_int32);
+      CheckEncodeDecodeMessage(cmessage);
     }
     {
       Zone zone(Isolate::Current());
       uint8_t* buffer;
       SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
       String& str = String::Handle();
       str ^= Api::UnwrapHandle(string_result);
       writer.WriteObject(str.raw());
       writer.FinalizeBuffer();
 
       // Read object back from the snapshot into a C structure.
       Dart_CMessage* cmessage = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                               writer.BytesWritten(),
                                               &zone_allocator);
       Dart_CObject* cobject = cmessage->root;
       EXPECT_NOTNULL(cobject);
       EXPECT_EQ(Dart_CObject::kString, cobject->type);
       EXPECT_STREQ("Hello, world!", cobject->value.as_string);
+      CheckEncodeDecodeMessage(cmessage);
     }
   }
   Dart_ExitScope();
   Dart_ShutdownIsolate();
 }
 
 
 UNIT_TEST_CASE(DartGeneratedListMessages) {
   const int kArrayLength = 10;
   static const char* kScriptChars =
@@ skipping 23 matching lines @@
   TestCase::CreateTestIsolate();
   Isolate* isolate = Isolate::Current();
   EXPECT(isolate != NULL);
   Dart_EnterScope();
 
   Dart_Handle lib = TestCase::LoadTestScript(kScriptChars, NULL);
   EXPECT_VALID(lib);
 
   {
     DARTSCOPE_NOCHECKS(isolate);
-
     {
       // Generate a list of nulls from Dart code.
       Zone zone(Isolate::Current());
       Dart_CMessage* cmessage = GetDeserializedDartMessage(lib, "getList");
       Dart_CObject* value = cmessage->root;
       EXPECT_NOTNULL(value);
       EXPECT_EQ(Dart_CObject::kArray, value->type);
       EXPECT_EQ(kArrayLength, value->value.as_array.length);
       for (int i = 0; i < kArrayLength; i++) {
         EXPECT_EQ(Dart_CObject::kNull, value->value.as_array.values[i]->type);
       }
+      CheckEncodeDecodeMessage(cmessage);
     }
     {
       // Generate a list of ints from Dart code.
       Zone zone(Isolate::Current());
       Dart_CMessage* cmessage = GetDeserializedDartMessage(lib, "getIntList");
       Dart_CObject* value = cmessage->root;
       EXPECT_NOTNULL(value);
       EXPECT_EQ(Dart_CObject::kArray, value->type);
       EXPECT_EQ(kArrayLength, value->value.as_array.length);
       for (int i = 0; i < kArrayLength; i++) {
         EXPECT_EQ(Dart_CObject::kInt32, value->value.as_array.values[i]->type);
         EXPECT_EQ(i, value->value.as_array.values[i]->value.as_int32);
       }
+      CheckEncodeDecodeMessage(cmessage);
     }
     {
       // Generate a list of strings from Dart code.
       Zone zone(Isolate::Current());
       Dart_CMessage* cmessage =
           GetDeserializedDartMessage(lib, "getStringList");
       Dart_CObject* value = cmessage->root;
       EXPECT_NOTNULL(value);
       EXPECT_EQ(Dart_CObject::kArray, value->type);
       EXPECT_EQ(kArrayLength, value->value.as_array.length);
@@ skipping 142 matching lines @@
         Dart_CObject* element = object->value.as_array.values[i];
         EXPECT_EQ(Dart_CObject::kArray, element->type);
         EXPECT_EQ(object, element);
       }
     }
   }
   Dart_ExitScope();
   Dart_ShutdownIsolate();
 }
 
+
+UNIT_TEST_CASE(PostCMessage) {
+  // Create a native port for posting from C to Dart
+  TestIsolateScope __test_isolate__;
+  const char* kScriptChars =
+      "void main() {\n"
+      "  var messageCount = 0;\n"
+      "  var exception = '';\n"
+      "  var port = new ReceivePort();\n"
+      "  port.receive((message, replyTo) {\n"
+      "    exception += message.toString();\n"
+      "    messageCount++;\n"
+      "    if (messageCount == 7) throw new Exception(exception);\n"
+      "  });\n"
+      "  return port.toSendPort();\n"
+      "}\n";
+  Dart_Handle lib = TestCase::LoadTestScript(kScriptChars, NULL);
+  Dart_EnterScope();
+
+  // xxx
+  Dart_Handle send_port = Dart_InvokeStatic(lib,
+                                            Dart_NewString(""),
+                                            Dart_NewString("main"),
+                                            0,
+                                            NULL);
+  EXPECT_VALID(send_port);
+  Dart_Handle result =
+      Dart_GetInstanceField(send_port, Dart_NewString("_id"));
+  ASSERT(!Dart_IsError(result));
+  ASSERT(Dart_IsInteger(result));
+  int64_t send_port_id;
+  Dart_Handle result2 = Dart_IntegerToInt64(result, &send_port_id);
+  ASSERT(!Dart_IsError(result2));
+
+  // Setup single object message.
+  Dart_CObject object;
+  Dart_CMessage message;
+  message.root = &object;
+
+  object.type = Dart_CObject::kNull;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kBool;
+  object.value.as_bool = true;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kBool;
+  object.value.as_bool = false;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kInt32;
+  object.value.as_int32 = 123;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kString;
+  object.value.as_string = const_cast<char*>("456");
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kDouble;
+  object.value.as_double = 3.14;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  object.type = Dart_CObject::kArray;
+  object.value.as_array.length = 0;
+  EXPECT(Dart_PostCMessage(send_port_id, &message));
+
+  result = Dart_RunLoop();
+  EXPECT(Dart_IsError(result));
+  EXPECT(Dart_ErrorHasException(result));
+  EXPECT_SUBSTRING("Exception: nulltruefalse1234563.14[]\n",
+                   Dart_GetError(result));
+
+  Dart_ExitScope();
+}
+
 #endif  // defined(TARGET_ARCH_IA32) || defined(TARGET_ARCH_X64).
 
 }  // namespace dart