azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ConstraintKind moved to TypeConstraintsImpl

Browse Source
This commit is contained in:
Svetlana Isakova
2012-07-13 14:00:51 +04:00
parent 5c1a8a66a0
commit cf7d7bfafb
1 changed files with 31 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/TypeConstraintsImpl.java
+31 -11
View File
@@ -18,7 +18,6 @@ package org.jetbrains.jet.lang.resolve.calls.inference;
import com.google.common.collect.Sets;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jetbrains.jet.lang.types.JetType;
import org.jetbrains.jet.lang.types.Variance;
@@ -43,16 +42,17 @@ public class TypeConstraintsImpl implements TypeConstraints {
return varianceOfPosition;
}
public void addUpperBound(@NotNull JetType type) {
upperBounds.add(type);
}
public void addLowerBound(@NotNull JetType type) {
lowerBounds.add(type);
}
public void addExactBound(@NotNull JetType type) {
exactBounds.add(type);
public void addBound(@NotNull ConstraintKind constraintKind, @NotNull JetType type) {
switch (constraintKind) {
case SUPER_TYPE:
lowerBounds.add(type);
break;
case SUB_TYPE:
upperBounds.add(type);
break;
case EQUAL:
exactBounds.add(type);
}
}
@Override
@@ -77,4 +77,24 @@ public class TypeConstraintsImpl implements TypeConstraints {
public Set<JetType> getExactBounds() {
return exactBounds;
}
public static enum ConstraintKind {
SUB_TYPE, SUPER_TYPE, EQUAL;
@NotNull
static ConstraintKind fromVariance(@NotNull Variance variance) {
ConstraintKind constraintKind = null;
switch (variance) {
case INVARIANT:
constraintKind = EQUAL;
break;
case OUT_VARIANCE:
constraintKind = SUPER_TYPE;
break;
case IN_VARIANCE:
constraintKind = SUB_TYPE;
}
return constraintKind;
}
}
}