org.jetbrains.jet.lang.resolve.calls.inference

Interface ConstraintResolutionListener

All Known Implementing Classes:

DebugConstraintResolutionListener, PrintingConstraintResolutionListener

public interface ConstraintResolutionListener

Field Summary

Fields

Modifier and Type	Field and Description
static ConstraintResolutionListener	DO_NOTHING

Method Summary

Methods

Modifier and Type	Method and Description
void	constraintsForKnownType(JetType type, BoundsOwner typeValue)
void	constraintsForUnknown(TypeParameterDescriptor typeParameterDescriptor, BoundsOwner typeValue)
void	done(ConstraintSystemSolution solution, java.util.Set<TypeParameterDescriptor> typeParameterDescriptors)
void	error(java.lang.Object... messageFragments)
void	log(java.lang.Object... messageFragments)

Field Detail

DO_NOTHING

static final ConstraintResolutionListener DO_NOTHING

Method Detail

constraintsForUnknown

void constraintsForUnknown(TypeParameterDescriptor typeParameterDescriptor,
                         BoundsOwner typeValue)

constraintsForKnownType

void constraintsForKnownType(JetType type,
                           BoundsOwner typeValue)

done

void done(ConstraintSystemSolution solution,
        java.util.Set<TypeParameterDescriptor> typeParameterDescriptors)

log

void log(java.lang.Object... messageFragments)

error

void error(java.lang.Object... messageFragments)