| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
|
| index 7c24476f81cfebe23b6eb330ca489458c2b6b392..7b759e93fe5d7e7abc8bac5c1b1b6c37e8468cab 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
|
| @@ -26,7 +26,6 @@ import com.google.dart.engine.element.TypeVariableElement;
|
| import com.google.dart.engine.internal.type.InterfaceTypeImpl;
|
| import com.google.dart.engine.type.InterfaceType;
|
|
|
| -import java.util.Collection;
|
| import java.util.HashSet;
|
|
|
| /**
|
| @@ -107,7 +106,7 @@ public class ClassElementImpl extends ElementImpl implements ClassElement {
|
|
|
| @Override
|
| public InterfaceType[] getAllSupertypes() {
|
| - Collection<InterfaceType> list = new HashSet<InterfaceType>();
|
| + HashSet<InterfaceType> list = new HashSet<InterfaceType>();
|
| collectAllSupertypes(list);
|
| return list.toArray(new InterfaceType[list.size()]);
|
| }
|
| @@ -528,7 +527,7 @@ public class ClassElementImpl extends ElementImpl implements ClassElement {
|
| }
|
| }
|
|
|
| - private void collectAllSupertypes(Collection<InterfaceType> list) {
|
| + private void collectAllSupertypes(HashSet<InterfaceType> list) {
|
| if (supertype == null || list.contains(supertype)) {
|
| return;
|
| }
|
|
|