git://git.uio.no / ifi-stolz-refaktor.git / blame
| Commit | Line | Data |
|---|---|---|
| 1b2798f6 EK |
1 | /******************************************************************************* |
| 2 | * Copyright (c) 2000, 2011 IBM Corporation and others. | |
| 3 | * All rights reserved. This program and the accompanying materials | |
| 4 | * are made available under the terms of the Eclipse Public License v1.0 | |
| 5 | * which accompanies this distribution, and is available at | |
| 6 | * http://www.eclipse.org/legal/epl-v10.html | |
| 7 | * | |
| 8 | * Contributors: | |
| 9 | * IBM Corporation - initial API and implementation | |
| 10 | *******************************************************************************/ | |
| 11 | package org.eclipse.jdt.internal.corext.refactoring.typeconstraints; | |
| 12 | ||
| 13 | import java.util.Collection; | |
| 14 | ||
| 15 | import org.eclipse.core.runtime.Assert; | |
| 16 | ||
| 17 | import org.eclipse.jdt.core.dom.ITypeBinding; | |
| 18 | ||
| 19 | import org.eclipse.jdt.internal.corext.refactoring.structure.ChangeTypeRefactoring; | |
| 20 | ||
| 21 | public final class SimpleTypeConstraint implements ITypeConstraint { | |
| 22 | ||
| 23 | private final ConstraintVariable fLeft; | |
| 24 | private final ConstraintVariable fRight; | |
| 25 | private final ConstraintOperator fOperator; | |
| 26 | ||
| 27 | /* package */ SimpleTypeConstraint(ConstraintVariable left, ConstraintVariable right, ConstraintOperator operator) { | |
| 28 | Assert.isNotNull(left); | |
| 29 | Assert.isNotNull(right); | |
| 30 | Assert.isNotNull(operator); | |
| 31 | fLeft= left; | |
| 32 | fRight= right; | |
| 33 | fOperator= operator; | |
| 34 | } | |
| 35 | ||
| 36 | public ConstraintVariable getLeft() { | |
| 37 | return fLeft; | |
| 38 | } | |
| 39 | ||
| 40 | public ConstraintVariable getRight() { | |
| 41 | return fRight; | |
| 42 | } | |
| 43 | ||
| 44 | public ConstraintOperator getOperator() { | |
| 45 | return fOperator; | |
| 46 | } | |
| 47 | ||
| 48 | /* (non-Javadoc) | |
| 49 | * @see java.lang.Object#toString() | |
| 50 | */ | |
| 51 | @Override | |
| 52 | public String toString(){ | |
| 53 | return getLeft().toString() + " " + fOperator.toString() + " " + getRight().toString(); //$NON-NLS-1$ //$NON-NLS-2$ | |
| 54 | } | |
| 55 | ||
| 56 | /* (non-Javadoc) | |
| 57 | * @see org.eclipse.jdt.internal.corext.refactoring.experiments.TypeConstraint#toResolvedString() | |
| 58 | */ | |
| 59 | public String toResolvedString() { | |
| 60 | return getLeft().toResolvedString() + " " + fOperator.toString() + " " + getRight().toResolvedString(); //$NON-NLS-1$ //$NON-NLS-2$ | |
| 61 | } | |
| 62 | ||
| 63 | /* (non-Javadoc) | |
| 64 | * @see org.eclipse.jdt.internal.corext.refactoring.experiments.ITypeConstraint#isSimpleTypeConstraint() | |
| 65 | */ | |
| 66 | public boolean isSimpleTypeConstraint() { | |
| 67 | return true; | |
| 68 | } | |
| 69 | ||
| 70 | public boolean isSubtypeConstraint(){ | |
| 71 | return fOperator.isSubtypeOperator(); | |
| 72 | } | |
| 73 | ||
| 74 | public boolean isStrictSubtypeConstraint(){ | |
| 75 | return fOperator.isStrictSubtypeOperator(); | |
| 76 | } | |
| 77 | ||
| 78 | public boolean isEqualsConstraint(){ | |
| 79 | return fOperator.isEqualsOperator(); | |
| 80 | } | |
| 81 | ||
| 82 | public boolean isDefinesConstraint(){ | |
| 83 | return fOperator.isDefinesOperator(); | |
| 84 | } | |
| 85 | ||
| 86 | public void generated_7576130079388084015(Collection<ConstraintVariable> relevantConstraintVars, Collection<ITypeConstraint> result, ITypeConstraint tc) { | |
| 87 | if (relevantConstraintVars.contains(getLeft()) || relevantConstraintVars.contains(getRight())) | |
| 88 | result.add(tc); | |
| 89 | } | |
| 90 | ||
| 91 | public boolean generated_4288874648754587294(ITypeBinding type, Collection<ConstraintVariable> relevantVars, ChangeTypeRefactoring changetyperefactoring) { | |
| 92 | if (relevantVars.contains(getLeft())) { // upper bound | |
| 93 | if (!changetyperefactoring.isSubTypeOf(type, changetyperefactoring.findType(getRight()))) { | |
| 94 | return false; | |
| 95 | } | |
| 96 | } | |
| 97 | return true; | |
| 98 | } | |
| 99 | } |