001 /*
002 * Copyright 2010-2013 JetBrains s.r.o.
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License");
005 * you may not use this file except in compliance with the License.
006 * You may obtain a copy of the License at
007 *
008 * http://www.apache.org/licenses/LICENSE-2.0
009 *
010 * Unless required by applicable law or agreed to in writing, software
011 * distributed under the License is distributed on an "AS IS" BASIS,
012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013 * See the License for the specific language governing permissions and
014 * limitations under the License.
015 */
016
017 package org.jetbrains.jet.lang.resolve.calls.inference;
018
019 import org.jetbrains.jet.lang.descriptors.TypeParameterDescriptor;
020 import org.jetbrains.jet.lang.types.JetType;
021
022 import java.util.Set;
023
024 public interface ConstraintResolutionListener {
025
026 public static final ConstraintResolutionListener DO_NOTHING = new ConstraintResolutionListener() {
027 @Override
028 public void constraintsForUnknown(TypeParameterDescriptor typeParameterDescriptor, BoundsOwner typeValue) {
029 }
030
031 @Override
032 public void constraintsForKnownType(JetType type, BoundsOwner typeValue) {
033 }
034
035 @Override
036 public void done(ConstraintSystemSolution solution, Set<TypeParameterDescriptor> typeParameterDescriptors) {
037 }
038
039 @Override
040 public void log(Object... messageFragments) {
041 }
042
043 @Override
044 public void error(Object... messageFragments) {
045 }
046 };
047
048 void constraintsForUnknown(TypeParameterDescriptor typeParameterDescriptor, BoundsOwner typeValue);
049 void constraintsForKnownType(JetType type, BoundsOwner typeValue);
050 void done(ConstraintSystemSolution solution, Set<TypeParameterDescriptor> typeParameterDescriptors);
051
052 void log(Object... messageFragments);
053 void error(Object... messageFragments);
054 }