| Index: compiler/java/com/google/dart/compiler/resolver/ClassElement.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/ClassElement.java b/compiler/java/com/google/dart/compiler/resolver/ClassElement.java
|
| index 9a2e77e9f4467af7f4d0c7e27d5941c6c3a3ec9b..467667122efea9fa70b253225453ded3f26a4e07 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/ClassElement.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/ClassElement.java
|
| @@ -28,6 +28,8 @@ public interface ClassElement extends EnclosingElement {
|
| LibraryElement getLibrary();
|
|
|
| List<InterfaceType> getInterfaces();
|
| +
|
| + List<InterfaceType> getMixins();
|
|
|
| List<InterfaceType> getAllSupertypes() throws CyclicDeclarationException;
|
|
|
|
|