| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | |
| 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. | |
| 4 | |
| 5 import 'dart:collection' show HashMap, HashSet; | |
| 6 import 'package:analyzer/dart/ast/ast.dart' show Identifier; | |
| 7 import 'package:analyzer/dart/element/element.dart'; | |
| 8 | |
| 9 import 'js_codegen.dart' show ExtensionTypeSet; | |
| 10 | |
| 11 /// We use a storage slot for fields that override or can be overridden by | |
| 12 /// getter/setter pairs. | |
| 13 HashSet<FieldElement> findFieldsNeedingStorage( | |
| 14 Iterable<CompilationUnitElement> units, ExtensionTypeSet extensionTypes) { | |
| 15 var overrides = new HashSet<FieldElement>(); | |
| 16 for (var unit in units) { | |
| 17 for (var cls in unit.types) { | |
| 18 var superclasses = getSuperclasses(cls); | |
| 19 for (var field in cls.fields) { | |
| 20 if (!field.isSynthetic && !overrides.contains(field)) { | |
| 21 checkForPropertyOverride( | |
| 22 field, superclasses, overrides, extensionTypes); | |
| 23 } | |
| 24 } | |
| 25 } | |
| 26 } | |
| 27 | |
| 28 return overrides; | |
| 29 } | |
| 30 | |
| 31 void checkForPropertyOverride( | |
| 32 FieldElement field, | |
| 33 List<ClassElement> superclasses, | |
| 34 HashSet<FieldElement> overrides, | |
| 35 ExtensionTypeSet extensionTypes) { | |
| 36 assert(!field.isSynthetic); | |
| 37 | |
| 38 var library = field.library; | |
| 39 | |
| 40 bool found = false; | |
| 41 for (var superclass in superclasses) { | |
| 42 var superprop = getProperty(superclass, library, field.name); | |
| 43 if (superprop != null) { | |
| 44 // If we find an abstract getter/setter pair, stop the search. | |
| 45 var getter = superprop.getter; | |
| 46 var setter = superprop.setter; | |
| 47 if (!extensionTypes.contains(superclass) && | |
| 48 (getter == null || getter.isAbstract) && | |
| 49 (setter == null || setter.isAbstract)) { | |
| 50 break; | |
| 51 } | |
| 52 | |
| 53 found = true; | |
| 54 // Record that the super property is overridden. | |
| 55 if (superprop.library == library) overrides.add(superprop); | |
| 56 } | |
| 57 } | |
| 58 | |
| 59 // If this we found a super property, then this property overrides it. | |
| 60 if (found) overrides.add(field); | |
| 61 } | |
| 62 | |
| 63 FieldElement getProperty( | |
| 64 ClassElement cls, LibraryElement fromLibrary, String name) { | |
| 65 // Properties from a different library are not accessible. | |
| 66 if (Identifier.isPrivateName(name) && cls.library != fromLibrary) { | |
| 67 return null; | |
| 68 } | |
| 69 for (var accessor in cls.accessors) { | |
| 70 var prop = accessor.variable; | |
| 71 if (prop.name == name) return prop; | |
| 72 } | |
| 73 return null; | |
| 74 } | |
| 75 | |
| 76 List<ClassElement> getSuperclasses(ClassElement cls) { | |
| 77 var result = <ClassElement>[]; | |
| 78 var visited = new HashSet<ClassElement>(); | |
| 79 while (cls != null && visited.add(cls)) { | |
| 80 for (var mixinType in cls.mixins.reversed) { | |
| 81 var mixin = mixinType.element; | |
| 82 if (mixin != null) result.add(mixin); | |
| 83 } | |
| 84 var supertype = cls.supertype; | |
| 85 if (supertype == null) break; | |
| 86 | |
| 87 cls = supertype.element; | |
| 88 result.add(cls); | |
| 89 } | |
| 90 return result; | |
| 91 } | |
| OLD | NEW |