[modules] Implement namespace imports.

src/objects-debug.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/objects.h"
 
 #include "src/bootstrapper.h"
 #include "src/disasm.h"
 #include "src/disassembler.h"
 #include "src/field-type.h"
@@ skipping 122 matching lines @@
       break;
     case PROPERTY_CELL_TYPE:
       PropertyCell::cast(this)->PropertyCellVerify();
       break;
     case WEAK_CELL_TYPE:
       WeakCell::cast(this)->WeakCellVerify();
       break;
     case JS_ARRAY_TYPE:
       JSArray::cast(this)->JSArrayVerify();
       break;
+    case JS_MODULE_NAMESPACE_TYPE:
+      JSModuleNamespace::cast(this)->JSModuleNamespaceVerify();
+      break;
     case JS_SET_TYPE:
       JSSet::cast(this)->JSSetVerify();
       break;
     case JS_MAP_TYPE:
       JSMap::cast(this)->JSMapVerify();
       break;
     case JS_SET_ITERATOR_TYPE:
       JSSetIterator::cast(this)->JSSetIteratorVerify();
       break;
     case JS_MAP_ITERATOR_TYPE:
@@ skipping 759 matching lines @@
 void PromiseContainer::PromiseContainerVerify() {
   CHECK(IsPromiseContainer());
   thenable()->ObjectVerify();
   then()->ObjectVerify();
   resolve()->ObjectVerify();
   reject()->ObjectVerify();
   before_debug_event()->ObjectVerify();
   after_debug_event()->ObjectVerify();
 }
 
+void JSModuleNamespace::JSModuleNamespaceVerify() {
+  CHECK(IsJSModuleNamespace());
+  module()->ObjectVerify();
+}
+
 void Module::ModuleVerify() {
+  Isolate* isolate = GetIsolate();
   CHECK(IsModule());
   CHECK(code()->IsSharedFunctionInfo() || code()->IsJSFunction());
   code()->ObjectVerify();
   exports()->ObjectVerify();
   requested_modules()->ObjectVerify();
   VerifySmiField(kFlagsOffset);
   embedder_data()->ObjectVerify();
   CHECK(shared()->name()->IsSymbol());
+  CHECK(module_namespace()->IsUndefined(isolate) ||
+        module_namespace()->IsJSModuleNamespace());
   // TODO(neis): Check more.
 }
 
 void PrototypeInfo::PrototypeInfoVerify() {
   CHECK(IsPrototypeInfo());
   if (prototype_users()->IsWeakFixedArray()) {
     WeakFixedArray::cast(prototype_users())->FixedArrayVerify();
   } else {
     CHECK(prototype_users()->IsSmi());
   }
@@ skipping 421 matching lines @@
 
   // Both are done at the same time.
   CHECK_EQ(new_it.done(), old_it.done());
 }
 
 
 #endif  // DEBUG
 
 }  // namespace internal
 }  // namespace v8