java/java-impl/src/com/intellij/refactoring/typeCook/deductive/builder/Subtype.java

   1 /*
   2  * Copyright 2000-2009 JetBrains s.r.o.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  * http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16 package com.intellij.refactoring.typeCook.deductive.builder;
  17
  18 import com.intellij.psi.PsiType;
  19 import com.intellij.refactoring.typeCook.deductive.resolver.Binding;
  20
  21 /**
  22  * Created by IntelliJ IDEA.
  23  * User: db
  24  * Date: Jul 20, 2004
  25  * Time: 6:02:29 PM
  26  * To change this template use File | Settings | File Templates.
  27  */
  28 public class Subtype extends Constraint {
  29   public Subtype(PsiType left, PsiType right) {
  30     super(left, right);
  31   }
  32
  33   String relationString() {
  34     return "<:";
  35   }
  36
  37   int relationType() {
  38     return 1;
  39   }
  40
  41   public Constraint apply(final Binding b) {
  42     return new Subtype(b.apply(myLeft), b.apply(myRight));
  43   }
  44 }