Index: dart/compiler/java/com/google/dart/compiler/type/Type.java |
diff --git a/dart/compiler/java/com/google/dart/compiler/type/Type.java b/dart/compiler/java/com/google/dart/compiler/type/Type.java |
deleted file mode 100644 |
index 3fa6a0b89e8c0a283f4e19da3955edccd9be7f54..0000000000000000000000000000000000000000 |
--- a/dart/compiler/java/com/google/dart/compiler/type/Type.java |
+++ /dev/null |
@@ -1,31 +0,0 @@ |
-// Copyright (c) 2012, 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.type; |
- |
-import com.google.dart.compiler.resolver.Element; |
- |
-import java.util.List; |
- |
-/** |
- * Common supertype of all types. |
- */ |
-public interface Type { |
- /** |
- * Performs the substitution [arguments[i]/parameters[i]]this. |
- * The notation is known from this lambda calculus rule: |
- * (lambda x.e0)e1 -> [e1/x]e0. |
- * <p>See {@link TypeVariable} for a motivation for this method. |
- */ |
- Type subst(List<Type> arguments, List<Type> parameters); |
- |
- Element getElement(); |
- |
- TypeKind getKind(); |
- |
- /** |
- * @return the {@link TypeQuality}, not <code>null</code>. |
- */ |
- TypeQuality getQuality(); |
-} |