| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| index 2f98953e926c771f43fb1b7f589a8b5010d9d27d..7ad3df903abaefef2cf8b6cf498e9c31c055b492 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| @@ -138,6 +138,14 @@ public class TypeHierarchyItem {
|
| return list;
|
| }
|
|
|
| + public String getBestName() {
|
| + if (displayName == null) {
|
| + return classElement.getName();
|
| + } else {
|
| + return displayName;
|
| + }
|
| + }
|
| +
|
| /**
|
| * The class element represented by this item.
|
| */
|
|
|