| 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();
|
| -}
|
|
|