Mixins with Generics

runtime/vm/object.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 "vm/object.h"
 
 #include "include/dart_api.h"
 #include "platform/assert.h"
 #include "vm/assembler.h"
 #include "vm/bigint_operations.h"
@@ skipping 687 matching lines @@
   // Setup type class early in the process.
   cls = Class::New<Type>();
   object_store->set_type_class(cls);
 
   cls = Class::New<TypeParameter>();
   object_store->set_type_parameter_class(cls);
 
   cls = Class::New<BoundedType>();
   object_store->set_bounded_type_class(cls);
 
+  cls = Class::New<MixinAppType>();
+  object_store->set_mixin_app_type_class(cls);
+
   // Pre-allocate the OneByteString class needed by the symbol table.
   cls = Class::NewStringClass(kOneByteStringCid);
   object_store->set_one_byte_string_class(cls);
 
   // Pre-allocate the TwoByteString class needed by the symbol table.
   cls = Class::NewStringClass(kTwoByteStringCid);
   object_store->set_two_byte_string_class(cls);
 
   // Setup the symbol table for the symbols created in the isolate.
   Symbols::SetupSymbolTable(isolate);
@@ skipping 325 matching lines @@
 
   cls = Class::New<Type>();
   object_store->set_type_class(cls);
 
   cls = Class::New<TypeParameter>();
   object_store->set_type_parameter_class(cls);
 
   cls = Class::New<BoundedType>();
   object_store->set_bounded_type_class(cls);
 
+  cls = Class::New<MixinAppType>();
+  object_store->set_mixin_app_type_class(cls);
+
   cls = Class::New<Array>();
   object_store->set_array_class(cls);
 
   cls = Class::New<ImmutableArray>();
   object_store->set_immutable_array_class(cls);
 
   cls = Class::New<GrowableObjectArray>();
   object_store->set_growable_object_array_class(cls);
 
 #define REGISTER_SCALARLIST_CLASS(name, object_store_name)                     \
@@ skipping 523 matching lines @@
 RawClass* Class::SuperClass() const {
   const AbstractType& sup_type = AbstractType::Handle(super_type());
   if (sup_type.IsNull()) {
     return Class::null();
   }
   return sup_type.type_class();
 }
 
 
 void Class::set_super_type(const AbstractType& value) const {
-  ASSERT(value.IsNull() || value.IsType() || value.IsBoundedType());
+  ASSERT(value.IsNull() ||
+         value.IsType() ||
+         value.IsBoundedType() ||
+         value.IsMixinAppType());
   StorePointer(&raw_ptr()->super_type_, value.raw());
 }
 
 
 // Return a TypeParameter if the type_name is a type parameter of this class.
 // Return null otherwise.
 RawTypeParameter* Class::LookupTypeParameter(const String& type_name,
                                              intptr_t token_pos) const {
   ASSERT(!type_name.IsNull());
   const TypeArguments& type_params = TypeArguments::Handle(type_parameters());
@@ skipping 8264 matching lines @@
   const char* cls_cstr =
       cls.IsNull() ? " null" : String::Handle(cls.Name()).ToCString();
   intptr_t len = OS::SNPrint(
       NULL, 0, format, type_cstr, bound_cstr, cls_cstr) + 1;
   char* chars = Isolate::Current()->current_zone()->Alloc<char>(len);
   OS::SNPrint(chars, len, format, type_cstr, bound_cstr, cls_cstr);
   return chars;
 }
 
 
+
+RawString* MixinAppType::Name() const {
+  return String::New("MixinApplication");
+}
+
+
+// The mixin type is resolved if the super type and all mixin
+// types are resolved.
+bool MixinAppType::IsResolved() const {

[regis, 2013/03/14 23:40:34]

I do not think this call is necessary. By definition, a MixinAppType is not
resolved.

[hausner, 2013/03/15 00:36:32]

Done.

+  AbstractType& type = AbstractType::Handle(super_type());
+  if (!type.IsResolved()) {
+    return false;
+  }
+  const Array& mixins = Array::Handle(mixin_types());
+  for (int i = 0; i < mixins.Length(); i++) {
+    type ^= mixins.At(i);
+    if (!type.IsResolved()) {
+      return false;
+    }
+  }
+  return true;
+}
+
+
+const char* MixinAppType::ToCString() const {
+  return "MixinAppType";
+}
+
+
+void MixinAppType::set_super_type(const AbstractType& value) const {
+  StorePointer(&raw_ptr()->super_type_, value.raw());
+}
+
+
+void MixinAppType::set_mixin_types(const Array& value) const {
+  StorePointer(&raw_ptr()->mixin_types_, value.raw());
+}
+
+
+RawMixinAppType* MixinAppType::New() {
+  ASSERT(Isolate::Current()->object_store()->mixin_app_type_class() !=
+         Class::null());
+  // MixinAppType objects do not survive finalization, so allocate
+  // on new heap.
+  RawObject* raw = Object::Allocate(MixinAppType::kClassId,
+                                    MixinAppType::InstanceSize(),
+                                    Heap::kNew);
+  return reinterpret_cast<RawMixinAppType*>(raw);
+}
+
+
+RawMixinAppType* MixinAppType::New(const AbstractType& super_type,
+                                   const Array& mixin_types) {
+  const MixinAppType& result = MixinAppType::Handle(MixinAppType::New());
+  result.set_super_type(super_type);
+  result.set_mixin_types(mixin_types);
+  return result.raw();
+}
+
+
 const char* Number::ToCString() const {
   // Number is an interface. No instances of Number should exist.
   UNREACHABLE();
   return "Number";
 }
 
 
 const char* Integer::ToCString() const {
   // Integer is an interface. No instances of Integer should exist.
   UNREACHABLE();
@@ skipping 3518 matching lines @@
   }
   return result.raw();
 }
 
 
 const char* WeakProperty::ToCString() const {
   return "_WeakProperty";
 }
 
 }  // namespace dart