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

Interface ConstraintSystemSolution

All Known Implementing Classes:

ConstraintSystemWithPriorities.Solution

public interface ConstraintSystemSolution

Method Summary

Methods

Modifier and Type	Method and Description
SolutionStatus	getStatus()
TypeSubstitutor	getSubstitutor()
JetType	getValue(TypeParameterDescriptor typeParameterDescriptor)

Method Detail

getStatus

@NotNull
SolutionStatus getStatus()

getSubstitutor

@NotNull
TypeSubstitutor getSubstitutor()

getValue

@Nullable
JetType getValue(TypeParameterDescriptor typeParameterDescriptor)