| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| index 0f6eab1eb1d9fdb59aa325a2b9638d9c63aaf4dc..b36c04c92f5f00dab4ef9cf2b5efa5a776ec6ce2 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| @@ -31,9 +31,9 @@ import org.apache.commons.lang3.StringUtils;
|
| public class OverriddenMember {
|
|
|
| /**
|
| - * The name of the class in which the member is defined.
|
| + * An empty array of {@link OverriddenMember}s.
|
| */
|
| - private final String className;
|
| + public static final OverriddenMember[] EMPTY_ARRAY = new OverriddenMember[0];
|
|
|
| /**
|
| * The element that is being overridden.
|
| @@ -41,6 +41,11 @@ public class OverriddenMember {
|
| private final Element element;
|
|
|
| /**
|
| + * The name of the class in which the member is defined.
|
| + */
|
| + private final String className;
|
| +
|
| + /**
|
| * Constructor for {@link OverriddenMember}.
|
| */
|
| public OverriddenMember(Element element, String className) {
|
|
|