org.jetbrains.kotlin.resolve.calls.inference
Class SubtypingConstraint

java.lang.Object
  org.jetbrains.kotlin.resolve.calls.inference.SubtypingConstraint

public class SubtypingConstraint
extends java.lang.Object

Constructor Summary

SubtypingConstraint(ConstraintType type, KotlinType subtype, KotlinType supertype)

Method Summary

java.lang.String	getErrorMessage()
KotlinType	getSubtype()
KotlinType	getSupertype()
ConstraintType	getType()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubtypingConstraint

public SubtypingConstraint(@NotNull
                           ConstraintType type,
                           @NotNull
                           KotlinType subtype,
                           @NotNull
                           KotlinType supertype)

Method Detail

getSubtype

@NotNull
public KotlinType getSubtype()

getSupertype

@NotNull
public KotlinType getSupertype()

getType

@NotNull
public ConstraintType getType()

getErrorMessage

@NotNull
public java.lang.String getErrorMessage()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object