From cf7d7bfafba4d8de9a698957771ae0c552e86dae Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Fri, 13 Jul 2012 14:00:51 +0400
Subject: [PATCH] ConstraintKind moved to TypeConstraintsImpl

---
 .../calls/inference/TypeConstraintsImpl.java  | 42 ++++++++++++++-----
 1 file changed, 31 insertions(+), 11 deletions(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/TypeConstraintsImpl.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/TypeConstraintsImpl.java
index 10e38d7030d..5c6cc7ec0f4 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/TypeConstraintsImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/TypeConstraintsImpl.java
@@ -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;
+        }
+    }
 }