| Index: compiler/java/com/google/dart/compiler/resolver/DuplicateElement.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/LibraryPrefixElement.java b/compiler/java/com/google/dart/compiler/resolver/DuplicateElement.java
|
| similarity index 63%
|
| copy from compiler/java/com/google/dart/compiler/resolver/LibraryPrefixElement.java
|
| copy to compiler/java/com/google/dart/compiler/resolver/DuplicateElement.java
|
| index 96486174bc46ba9289ade0c03885c6d1c8e1bbcf..ed526db9af2140f909eb8dd749c240cacdd56b91 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/LibraryPrefixElement.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/DuplicateElement.java
|
| @@ -6,8 +6,9 @@ package com.google.dart.compiler.resolver;
|
|
|
| import java.util.List;
|
|
|
| -public interface LibraryPrefixElement extends EnclosingElement {
|
| - Scope getScope();
|
| - void addLibrary(LibraryElement library);
|
| - List<LibraryElement> getLibraries();
|
| +/**
|
| + * {@link Element} for duplicate import.
|
| + */
|
| +public interface DuplicateElement extends Element {
|
| + List<String> getLocations();
|
| }
|
|
|