| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "platform/assert.h" | 5 #include "platform/assert.h" |
| 6 #include "vm/class_finalizer.h" | 6 #include "vm/class_finalizer.h" |
| 7 #include "vm/unit_test.h" | 7 #include "vm/unit_test.h" |
| 8 | 8 |
| 9 namespace dart { | 9 namespace dart { |
| 10 | 10 |
| 11 | 11 |
| 12 static RawClass* CreateTestClass(const char* name) { | 12 static RawClass* CreateTestClass(const char* name) { |
| 13 const Array& empty_array = Array::Handle(Array::Empty()); | 13 const Array& empty_array = Array::Handle(Array::Empty()); |
| 14 const String& class_name = String::Handle(String::NewSymbol(name)); | 14 const String& class_name = String::Handle(String::NewSymbol(name)); |
| 15 const Script& script = Script::Handle(); | 15 const Script& script = Script::Handle(); |
| 16 const Class& cls = | 16 const Class& cls = |
| 17 Class::Handle(Class::New(class_name, script, Scanner::kDummyTokenIndex)); | 17 Class::Handle(Class::New(class_name, script, Scanner::kDummyTokenIndex)); |
| 18 cls.set_interfaces(empty_array); | 18 cls.set_interfaces(empty_array); |
| 19 cls.SetFunctions(empty_array); | 19 cls.SetFunctions(empty_array); |
| 20 cls.SetFields(empty_array); | 20 cls.SetFields(empty_array); |
| 21 return cls.raw(); | 21 return cls.raw(); |
| 22 } | 22 } |
| 23 | 23 |
| 24 | 24 |
| 25 TEST_CASE(ClassFinalizer) { | 25 TEST_CASE(ClassFinalizer) { |
| 26 Isolate* isolate = Isolate::Current(); |
| 27 ObjectStore* object_store = isolate->object_store(); |
| 28 const GrowableObjectArray& pending_classes = |
| 29 GrowableObjectArray::Handle(isolate, object_store->pending_classes()); |
| 26 GrowableArray<const Class*> classes_1; | 30 GrowableArray<const Class*> classes_1; |
| 27 classes_1.Add(&Class::ZoneHandle(CreateTestClass("BMW"))); | 31 classes_1.Add(&Class::Handle(CreateTestClass("BMW"))); |
| 28 classes_1.Add(&Class::ZoneHandle(CreateTestClass("Porsche"))); | 32 pending_classes.Add(*classes_1[0]); |
| 29 ClassFinalizer::AddPendingClasses(classes_1); | 33 classes_1.Add(&Class::Handle(CreateTestClass("Porsche"))); |
| 34 pending_classes.Add(*classes_1[1]); |
| 35 |
| 30 GrowableArray<const Class*> classes_2; | 36 GrowableArray<const Class*> classes_2; |
| 31 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Ferrari"))); | 37 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Ferrari"))); |
| 38 pending_classes.Add(*classes_2[0]); |
| 32 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Fiat"))); | 39 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Fiat"))); |
| 40 pending_classes.Add(*classes_2[1]); |
| 33 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Alfa"))); | 41 classes_2.Add(&Class::ZoneHandle(CreateTestClass("Alfa"))); |
| 34 ClassFinalizer::AddPendingClasses(classes_2); | 42 pending_classes.Add(*classes_2[2]); |
| 35 EXPECT(ClassFinalizer::FinalizePendingClasses()); | 43 EXPECT(ClassFinalizer::FinalizePendingClasses()); |
| 36 for (int i = 0; i < classes_1.length(); i++) { | 44 for (int i = 0; i < classes_1.length(); i++) { |
| 37 EXPECT(classes_1[i]->is_finalized()); | 45 EXPECT(classes_1[i]->is_finalized()); |
| 38 } | 46 } |
| 39 for (int i = 0; i < classes_2.length(); i++) { | 47 for (int i = 0; i < classes_2.length(); i++) { |
| 40 EXPECT(classes_2[i]->is_finalized()); | 48 EXPECT(classes_2[i]->is_finalized()); |
| 41 } | 49 } |
| 42 EXPECT(ClassFinalizer::FinalizePendingClasses()); | 50 EXPECT(ClassFinalizer::FinalizePendingClasses()); |
| 43 } | 51 } |
| 44 | 52 |
| 45 | 53 |
| 46 TEST_CASE(ClassFinalize_Cycles) { | 54 TEST_CASE(ClassFinalize_Cycles) { |
| 55 Isolate* isolate = Isolate::Current(); |
| 56 ObjectStore* object_store = isolate->object_store(); |
| 57 const GrowableObjectArray& pending_classes = |
| 58 GrowableObjectArray::Handle(isolate, object_store->pending_classes()); |
| 47 GrowableArray<const Class*> classes; | 59 GrowableArray<const Class*> classes; |
| 48 classes.Add(&Class::ZoneHandle(CreateTestClass("Jungfrau"))); | 60 classes.Add(&Class::Handle(CreateTestClass("Jungfrau"))); |
| 49 classes.Add(&Class::ZoneHandle(CreateTestClass("Eiger"))); | 61 pending_classes.Add(*classes[0]); |
| 62 classes.Add(&Class::Handle(CreateTestClass("Eiger"))); |
| 63 pending_classes.Add(*classes[1]); |
| 50 // Create a cycle. | 64 // Create a cycle. |
| 51 classes[0]->set_super_type( | 65 classes[0]->set_super_type( |
| 52 Type::Handle(Type::NewNonParameterizedType(*classes[1]))); | 66 Type::Handle(Type::NewNonParameterizedType(*classes[1]))); |
| 53 classes[1]->set_super_type( | 67 classes[1]->set_super_type( |
| 54 Type::Handle(Type::NewNonParameterizedType(*classes[0]))); | 68 Type::Handle(Type::NewNonParameterizedType(*classes[0]))); |
| 55 ClassFinalizer::AddPendingClasses(classes); | |
| 56 EXPECT(!ClassFinalizer::FinalizePendingClasses()); | 69 EXPECT(!ClassFinalizer::FinalizePendingClasses()); |
| 57 } | 70 } |
| 58 | 71 |
| 59 | 72 |
| 60 static RawLibrary* NewLib(const char* url_chars) { | 73 static RawLibrary* NewLib(const char* url_chars) { |
| 61 String& url = String::ZoneHandle(String::NewSymbol(url_chars)); | 74 String& url = String::ZoneHandle(String::NewSymbol(url_chars)); |
| 62 return Library::New(url); | 75 return Library::New(url); |
| 63 } | 76 } |
| 64 | 77 |
| 65 | 78 |
| 66 TEST_CASE(ClassFinalize_Resolve) { | 79 TEST_CASE(ClassFinalize_Resolve) { |
| 67 GrowableArray<const Class*> classes; | 80 Isolate* isolate = Isolate::Current(); |
| 68 Class& rhb = Class::ZoneHandle(CreateTestClass("RhB")); | 81 ObjectStore* object_store = isolate->object_store(); |
| 69 Class& sbb = Class::ZoneHandle(CreateTestClass("SBB")); | 82 const GrowableObjectArray& pending_classes = |
| 83 GrowableObjectArray::Handle(isolate, object_store->pending_classes()); |
| 84 Class& rhb = Class::Handle(CreateTestClass("RhB")); |
| 85 pending_classes.Add(rhb); |
| 86 Class& sbb = Class::Handle(CreateTestClass("SBB")); |
| 87 pending_classes.Add(sbb); |
| 70 Library& lib = Library::Handle(NewLib("TestLib")); | 88 Library& lib = Library::Handle(NewLib("TestLib")); |
| 71 classes.Add(&rhb); | |
| 72 classes.Add(&sbb); | |
| 73 lib.AddClass(rhb); | 89 lib.AddClass(rhb); |
| 74 lib.AddClass(sbb); | 90 lib.AddClass(sbb); |
| 75 const String& superclass_name = String::Handle(sbb.Name()); | 91 const String& superclass_name = String::Handle(sbb.Name()); |
| 76 const UnresolvedClass& unresolved = UnresolvedClass::Handle( | 92 const UnresolvedClass& unresolved = UnresolvedClass::Handle( |
| 77 UnresolvedClass::New(LibraryPrefix::Handle(), | 93 UnresolvedClass::New(LibraryPrefix::Handle(), |
| 78 superclass_name, | 94 superclass_name, |
| 79 Scanner::kDummyTokenIndex)); | 95 Scanner::kDummyTokenIndex)); |
| 80 const TypeArguments& type_arguments = TypeArguments::Handle(); | 96 const TypeArguments& type_arguments = TypeArguments::Handle(); |
| 81 rhb.set_super_type(Type::Handle( | 97 rhb.set_super_type(Type::Handle( |
| 82 Type::New(Object::Handle(unresolved.raw()), | 98 Type::New(Object::Handle(unresolved.raw()), |
| 83 type_arguments, | 99 type_arguments, |
| 84 Scanner::kDummyTokenIndex))); | 100 Scanner::kDummyTokenIndex))); |
| 85 ClassFinalizer::AddPendingClasses(classes); | |
| 86 EXPECT(ClassFinalizer::FinalizePendingClasses()); | 101 EXPECT(ClassFinalizer::FinalizePendingClasses()); |
| 87 } | 102 } |
| 88 | 103 |
| 89 } // namespace dart | 104 } // namespace dart |
| OLD | NEW |