org.jetbrains.jet.lang.resolve.calls.inference
Class ConstraintSystemWithPriorities.Solution

java.lang.Object
  org.jetbrains.jet.lang.resolve.calls.inference.ConstraintSystemWithPriorities.Solution

All Implemented Interfaces:

ConstraintSystemSolution

Enclosing class:

ConstraintSystemWithPriorities

public class ConstraintSystemWithPriorities.Solution
extends java.lang.Object
implements ConstraintSystemSolution

Constructor Summary

ConstraintSystemWithPriorities.Solution()

Method Summary

SolutionStatus	getStatus()
TypeSubstitutor	getSubstitutor()
JetType	getValue(TypeParameterDescriptor typeParameterDescriptor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintSystemWithPriorities.Solution

public ConstraintSystemWithPriorities.Solution()

Method Detail

getStatus

@NotNull
public SolutionStatus getStatus()

Specified by:

getStatus in interface ConstraintSystemSolution

getValue

public JetType getValue(TypeParameterDescriptor typeParameterDescriptor)

Specified by:

getValue in interface ConstraintSystemSolution

getSubstitutor

@NotNull
public TypeSubstitutor getSubstitutor()

Specified by:

getSubstitutor in interface ConstraintSystemSolution