| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/OverrideMemberImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/OverrideMemberImpl.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/OverrideMemberImpl.java
|
| deleted file mode 100644
|
| index 7f6bde9d8f310986b1b344c73bf78af9214c128c..0000000000000000000000000000000000000000
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/OverrideMemberImpl.java
|
| +++ /dev/null
|
| @@ -1,38 +0,0 @@
|
| -package com.google.dart.server.internal;
|
| -
|
| -import com.google.dart.server.OverrideMember;
|
| -import com.google.dart.server.generated.types.Element;
|
| -
|
| -/**
|
| - * A concrete implementation of {@link OverrideMember}.
|
| - *
|
| - * @coverage dart.server
|
| - */
|
| -public class OverrideMemberImpl implements OverrideMember {
|
| -
|
| - private final int offset;
|
| - private final int length;
|
| - private final Element superclassElement;
|
| -
|
| - public OverrideMemberImpl(int offset, int length, Element superclassElement) {
|
| - this.offset = offset;
|
| - this.length = length;
|
| - this.superclassElement = superclassElement;
|
| - }
|
| -
|
| - @java.lang.Override
|
| - public int getLength() {
|
| - return length;
|
| - }
|
| -
|
| - @java.lang.Override
|
| - public int getOffset() {
|
| - return offset;
|
| - }
|
| -
|
| - @java.lang.Override
|
| - public Element getSuperclassElement() {
|
| - return superclassElement;
|
| - }
|
| -
|
| -}
|
|
|