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

All Known Implementing Classes:

DebugConstraintResolutionListener, PrintingConstraintResolutionListener

public interface ConstraintResolutionListener

Field Summary

static ConstraintResolutionListener

DO_NOTHING

Method Summary

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)