| Index: compiler/java/com/google/dart/compiler/resolver/DuplicatedInterfaceException.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/DuplicatedInterfaceException.java b/compiler/java/com/google/dart/compiler/resolver/DuplicatedInterfaceException.java
|
| deleted file mode 100644
|
| index a7ee5b07f75f63a990afd6d158d00302396a0bae..0000000000000000000000000000000000000000
|
| --- a/compiler/java/com/google/dart/compiler/resolver/DuplicatedInterfaceException.java
|
| +++ /dev/null
|
| @@ -1,30 +0,0 @@
|
| -// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -package com.google.dart.compiler.resolver;
|
| -
|
| -import com.google.dart.compiler.type.InterfaceType;
|
| -
|
| -/**
|
| - * Exception thrown if a duplicated interface is detected in the supertype graph of a class or
|
| - * interface.
|
| - */
|
| -public class DuplicatedInterfaceException extends Exception {
|
| - private final InterfaceType first;
|
| - private final InterfaceType second;
|
| -
|
| - public DuplicatedInterfaceException(InterfaceType first, InterfaceType second) {
|
| - super(first + " & " + second);
|
| - this.first = first;
|
| - this.second = second;
|
| - }
|
| -
|
| - public InterfaceType getFirst() {
|
| - return first;
|
| - }
|
| -
|
| - public InterfaceType getSecond() {
|
| - return second;
|
| - }
|
| -}
|
|
|